वास्तविक संरचना: Difference between revisions
No edit summary |
m (6 revisions imported from alpha:वास्तविक_संरचना) |
||
(4 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Mathematics concept}} | {{Short description|Mathematics concept}} | ||
गणित में, सम्मिश्र | गणित में, एक सम्मिश्र सदिश समष्टि पर '''वास्तविक संरचना''', सम्मिश्र सदिश समष्टि को दो वास्तविक सदिश समष्टि के प्रत्यक्ष योग में विघटित करने की एक विधि है। इस प्रकार ऐसी संरचना का प्रोटोटाइप स्वयं सम्मिश्र संख्याओं का क्षेत्र है, जिसे स्वयं पर एक सम्मिश्र सदिश समष्टि माना जाता है और संयुग्मन मानचित्र <math>\sigma: {\mathbb C} \to {\mathbb C}\,</math>, के साथ <math>\sigma (z)={\bar z}</math>, जो कि <math>{\mathbb C}\,</math> पर "कैनोनिकल" वास्तविक संरचना देता है, अर्थात <math>{\mathbb C}={\mathbb R}\oplus i{\mathbb R}\,</math> | ||
संयुग्मन मानचित्र [[प्रतिरेखीय]] | संयुग्मन मानचित्र [[प्रतिरेखीय]] <math>\sigma (\lambda z)={\bar \lambda}\sigma(z)\,</math> और <math>\sigma (z_1+z_2)=\sigma(z_1)+\sigma(z_2)\,</math> है: | ||
== | ==सदिश समष्टि== | ||
सम्मिश्र सदिश समष्टि ''V'' पर वास्तविक संरचना प्रतिरेखीय समावेशन <math>\sigma: V \to V</math> (गणित) है। इस प्रकार वास्तविक संरचना वास्तविक उप-समष्टि <math>V_{\mathbb{R}} \subset V</math> , इसके निश्चित समष्टि और प्राकृतिक मानचित्र को परिभाषित करती है | |||
:<math> V_{\mathbb R} \otimes_{\mathbb{R}} {\mathbb C} \to V </math> | :<math> V_{\mathbb R} \otimes_{\mathbb{R}} {\mathbb C} \to V </math> | ||
समरूपता है | एक समरूपता है इसके विपरीत कोई भी सदिश समष्टि जो वास्तविक सदिश समष्टि का सम्मिश्र है उसकी एक प्राकृतिक वास्तविक संरचना होती है। | ||
वास्तविक सदिश समष्टि | |||
पहला नोट यह है कि प्रत्येक | पहला नोट यह है कि प्रत्येक सम्मिश्र समष्टि V में मूल समुच्चय के समान सदिश और अदिश के प्रतिबंध को वास्तविक मानकर प्राप्ति प्राप्त की जाती है। यदि <math>t\in V\,</math> और <math>t\neq 0</math> फिर सदिश <math>t\,</math> और <math>it\,</math> V की प्राप्ति में [[रैखिक स्वतंत्रता]] हैं। इसलिए: | ||
:<math> \dim_{\mathbb R}V = 2\dim_{\mathbb C}V </math> | :<math> \dim_{\mathbb R}V = 2\dim_{\mathbb C}V </math> | ||
स्वाभाविक रूप से, कोई | स्वाभाविक रूप से, कोई V को दो वास्तविक सदिश समष्टियो, V के वास्तविक और काल्पनिक भागों के प्रत्यक्ष योग के रूप में प्रस्तुत करना चाहेगा। इस प्रकार ऐसा करने का कोई विहित विधि नहीं है: इस प्रकार का विभाजन V में अतिरिक्त 'वास्तविक संरचना' है। इस प्रकार इसे निम्नानुसार प्रस्तुत किया जा सकता है।<ref>Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988, p. 29.</ref> मान लीजिए कि <math>\sigma: V \to V\,</math> ऐसा [[प्रतिरेखीय मानचित्र]] है जैसे कि <math>\sigma\circ\sigma=id_{V}\,</math> सम्मिश्र समष्टि V का प्रतिरेखीय समावेशन है। | ||
इसलिए, किसी को सदिश | कोई भी सदिश <math>v\in V\,</math>, <math>{v = v^{+} + v^{-}}\,</math> लिखा जा सकता है, जहां <math>v^+ ={1\over {2}}(v+\sigma v)</math> और <math>v^- ={1\over {2}}(v-\sigma v)\,</math> | ||
इसलिए, किसी को सदिश समष्टियो <math>V=V^{+}\oplus V^{-}\,</math> का सीधा योग प्राप्त होता है जहाँ: | |||
:<math>V^{+}=\{v\in V | \sigma v = v\}</math> और <math>V^{-}=\{v\in V | \sigma v = -v\}\,</math>. | :<math>V^{+}=\{v\in V | \sigma v = v\}</math> और <math>V^{-}=\{v\in V | \sigma v = -v\}\,</math>. | ||
दोनों | दोनों समुच्चय <math>V^+\,</math> और <math>V^-\,</math> वास्तविक सदिश समष्टि हैं। रेखीय मानचित्र <math>K: V^+ \to V^-\,</math>, जहाँ <math>K(t)=it\,</math>, वास्तविक सदिश समष्टियो की समरूपता है, जहां से: | ||
:<math> \dim_{\mathbb R}V^+ = \dim_{\mathbb R}V^- = \dim_{\mathbb C}V\,</math>. | :<math> \dim_{\mathbb R}V^+ = \dim_{\mathbb R}V^- = \dim_{\mathbb C}V\,</math>. | ||
पहला कारक <math>V^+\,</math> | पहला कारक <math>V^+\,</math>को <math>V_{\mathbb{R}}\,</math> द्वारा भी निरूपित किया जाता है और <math>\sigma\,</math> द्वारा अपरिवर्तनीय छोड़ दिया गया है , अर्थात <math>\sigma(V_{\mathbb{R}})\subset V_{\mathbb{R}}\,</math>. दूसरा कारक <math>V^-\,</math> है सामान्यतः <math>iV_{\mathbb{R}}\,</math> द्वारा निरूपित किया जाता है, सीधा योग <math>V=V^{+}\oplus V^{-}\,</math> अब इस प्रकार पढ़ता है: | ||
:<math>V=V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>, | :<math>V=V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>, | ||
अर्थात वास्तविक <math>V_{\mathbb{R}}\,</math> और काल्पनिक <math>iV_{\mathbb{R}}\,</math> V के भाग के प्रत्यक्ष योग के रूप में। यह निर्माण दृढ़ता से सम्मिश्र सदिश समष्टि V के प्रतिरेखीय समावेशन (गणित) के विकल्प पर निर्भर करता है। इस प्रकार वास्तविक सदिश समष्टि <math>V_{\mathbb{R}}\,</math> की सम्मिश्रता , अर्थात <math>V^{\mathbb{C}}= V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C}\,</math> प्राकृतिक वास्तविक संरचना और इसलिए इसकी दो प्रतियों <math>V_{\mathbb R}\,</math> के प्रत्यक्ष योग के लिए विहित रूप से आइसोमोर्फिक है।, | |||
प्राकृतिक वास्तविक संरचना और इसलिए इसकी दो प्रतियों | |||
:<math>V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C}= V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>. | :<math>V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C}= V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>. | ||
यह प्राकृतिक रैखिक समरूपता | यह किसी दी गई वास्तविक संरचना के साथ सम्मिश्र सदिश समष्टियो के मध्य प्राकृतिक रैखिक समरूपता <math> V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C} \to V\,</math> का अनुसरण करता है। | ||
सम्मिश्र सदिश समष्टि ''V'' पर वास्तविक संरचना, जो प्रतिरेखीय समावेशन <math>\sigma: V \to V\,</math> है , रैखिक मानचित्र के संदर्भ में समान रूप से वर्णित किया जा सकता है।<math>\hat \sigma:V\to\bar V\,</math> सदिश समष्टि से <math>V\,</math> सम्मिश्र संयुग्मी सदिश समष्टि के लिए <math>\bar V\,</math> द्वारा परिभाषित है। | |||
:<math>v \mapsto \hat\sigma (v):=\overline{\sigma(v)}\,</math>.<ref>Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988, p. 29.</ref> | :<math>v \mapsto \hat\sigma (v):=\overline{\sigma(v)}\,</math>.<ref>Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988, p. 29.</ref> | ||
Line 46: | Line 41: | ||
==[[बीजगणितीय विविधता]]== | ==[[बीजगणितीय विविधता]]== | ||
[[वास्तविक संख्या]]ओं के [[फ़ील्ड विस्तार]] पर परिभाषित बीजगणितीय विविधता के लिए, | [[वास्तविक संख्या]]ओं के [[फ़ील्ड विस्तार|उपक्षेत्र]] पर परिभाषित बीजगणितीय विविधता के लिए, वास्तविक संरचना सम्मिश्र प्रक्षेप्य या एफ़िन समष्टि में विविधता के बिंदुओं पर कार्य करने वाला सम्मिश्र संयुग्मन है। इस प्रकार इसका निश्चित समष्टि विविधता के वास्तविक बिंदुओं का समष्टि है (जो खाली हो सकता है)। | ||
वास्तविक संरचना | |||
इसका निश्चित | |||
==योजना== | ==योजना== | ||
वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित योजना के लिए, | इस प्रकार वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित योजना के लिए, सम्मिश्र संयुग्मन स्वाभाविक रूप से आधार क्षेत्र के [[बीजगणितीय समापन]] के गैलोज़ समूह का सदस्य है। इस प्रकार वास्तविक संरचना आधार क्षेत्र के बीजगणितीय समापन पर योजना के विस्तार पर इस संयुग्मन की गैलोज़ क्रिया है । इस प्रकार वास्तविक बिंदु वह बिंदु हैं जिनका अवशेष क्षेत्र निश्चित है (जो खाली हो सकता है)। | ||
स्वाभाविक रूप से आधार क्षेत्र के [[बीजगणितीय समापन]] के गैलोज़ समूह का सदस्य है। | |||
वास्तविक संरचना के विस्तार पर इस संयुग्मन की गैलोज़ क्रिया है | |||
वास्तविक बिंदु | |||
==वास्तविकता संरचना== | ==वास्तविकता संरचना== | ||
गणित में, | गणित में, सम्मिश्र सदिश समष्टि ''V'' पर वास्तविकता संरचना ''V'' का दो वास्तविक उप-समष्टियो में अपघटन है, जिसे ''V'' का वास्तविक भाग और [[काल्पनिक भाग]] कहा जाता है: | ||
:<math>V = V_\mathbb{R} \oplus i V_\mathbb{R}.</math> | :<math>V = V_\mathbb{R} \oplus i V_\mathbb{R}.</math> | ||
यहां | यहां V<sub>'''R'''</sub> V का वास्तविक उपसमष्टि है, अर्थात V का उपसमष्टि वास्तविक संख्याओं पर सदिश समष्टि के रूप में माना जाता है। यदि V का [[जटिल आयाम|सम्मिश्र आयाम]] n (वास्तविक आयाम 2n) है, तो V<sub>'''R'''</sub> वास्तविक आयाम n होना चाहिए। | ||
सदिश समष्टि पर 'मानक वास्तविकता संरचना' <math>\mathbb{C}^n</math> विघटन है | |||
:<math>\mathbb{C}^n = \mathbb{R}^n \oplus i\,\mathbb{R}^n.</math> | :<math>\mathbb{C}^n = \mathbb{R}^n \oplus i\,\mathbb{R}^n.</math> | ||
वास्तविकता संरचना की उपस्थिति में, V में प्रत्येक | वास्तविकता संरचना की उपस्थिति में, V में प्रत्येक सदिश का वास्तविक भाग और काल्पनिक भाग होता है, जिनमें से प्रत्येक V<sub>'''R'''</sub> में सदिश होता है: | ||
:<math>v = \operatorname{Re}\{v\}+i\,\operatorname{Im}\{v\}</math> | :<math>v = \operatorname{Re}\{v\}+i\,\operatorname{Im}\{v\}</math> | ||
इस | इस स्थिति में, सदिश v के सम्मिश्र संयुग्म को निम्नानुसार परिभाषित किया गया है: | ||
:<math>\overline v = \operatorname{Re}\{v\} - i\,\operatorname{Im}\{v\}</math> | :<math>\overline v = \operatorname{Re}\{v\} - i\,\operatorname{Im}\{v\}</math> | ||
यह मानचित्र <math>v \mapsto \overline v</math> | यह मानचित्र <math>v \mapsto \overline v</math> प्रतिरेखीय समावेशन (गणित) है, अर्थात। | ||
:<math>\overline{\overline v} = v,\quad \overline{v + w} = \overline{v} + \overline{w},\quad\text{and}\quad | :<math>\overline{\overline v} = v,\quad \overline{v + w} = \overline{v} + \overline{w},\quad\text{and}\quad | ||
\overline{\alpha v} = \overline\alpha \, \overline{v}.</math> | \overline{\alpha v} = \overline\alpha \, \overline{v}.</math> | ||
इसके विपरीत, | इसके विपरीत, सम्मिश्र सदिश समष्टि V पर, <math>v \mapsto c(v)</math> दिया गया है। इस प्रकार V पर वास्तविकता संरचना को निम्नानुसार परिभाषित करना संभव है। मान लीजिए | ||
:<math>\operatorname{Re}\{v\}=\frac{1}{2}\left(v + c(v)\right),</math> | :<math>\operatorname{Re}\{v\}=\frac{1}{2}\left(v + c(v)\right),</math> | ||
और परिभाषित करें | और परिभाषित करें | ||
Line 77: | Line 67: | ||
तब | तब | ||
:<math>V = V_\mathbb{R} \oplus i V_\mathbb{R}.</math> | :<math>V = V_\mathbb{R} \oplus i V_\mathbb{R}.</math> | ||
यह वास्तव में वास्तविक रैखिक संचालिका c के [[eigenspace]] | यह वास्तव में वास्तविक रैखिक संचालिका c के [[eigenspace|एगेनस्पेस]] के रूप में V का अपघटन है। इस प्रकार c के एगेनवैल्यू औरएगेनस्पेस क्रमशः V<sub>'''R'''</sub> और <math>i</math> V<sub>'''R'''</sub> के साथ +1 और −1 हैं।। सामान्यतः, ऑपरेटर c को, ईजेनस्पेस अपघटन के अतिरिक्त, V पर 'वास्तविकता संरचना' के रूप में जाना जाता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
*एंटीलीनियर मानचित्र | *एंटीलीनियर मानचित्र | ||
*[[विहित जटिल संयुग्मन मानचित्र]] | *[[विहित जटिल संयुग्मन मानचित्र|कैनोनिकल सम्मिश्र संयुग्मन मानचित्र]] | ||
* | *सम्मिश्र सन्युग्म | ||
* | *सम्मिश्र संयुग्म सदिश समष्टि | ||
* | *सम्मिश्रता | ||
*[[रैखिक जटिल संरचना]] | *[[रैखिक जटिल संरचना|रैखिक सम्मिश्र संरचना]] | ||
*रेखीय मानचित्र | *रेखीय मानचित्र | ||
*[[सेसक्विलिनियर फॉर्म]] | *[[सेसक्विलिनियर फॉर्म]] | ||
Line 92: | Line 82: | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{Reflist}} | {{Reflist}} | ||
==संदर्भ== | ==संदर्भ== | ||
* Horn and Johnson, ''Matrix Analysis,'' Cambridge University Press, 1985. {{isbn|0-521-38632-2}}. (antilinear maps are discussed in section 4.6). | * Horn and Johnson, ''Matrix Analysis,'' Cambridge University Press, 1985. {{isbn|0-521-38632-2}}. (antilinear maps are discussed in section 4.6). | ||
Line 104: | Line 92: | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 14/08/2023]] | [[Category:Created On 14/08/2023]] | ||
[[Category:Vigyan Ready]] |
Latest revision as of 22:55, 10 October 2023
गणित में, एक सम्मिश्र सदिश समष्टि पर वास्तविक संरचना, सम्मिश्र सदिश समष्टि को दो वास्तविक सदिश समष्टि के प्रत्यक्ष योग में विघटित करने की एक विधि है। इस प्रकार ऐसी संरचना का प्रोटोटाइप स्वयं सम्मिश्र संख्याओं का क्षेत्र है, जिसे स्वयं पर एक सम्मिश्र सदिश समष्टि माना जाता है और संयुग्मन मानचित्र , के साथ , जो कि पर "कैनोनिकल" वास्तविक संरचना देता है, अर्थात
संयुग्मन मानचित्र प्रतिरेखीय और है:
सदिश समष्टि
सम्मिश्र सदिश समष्टि V पर वास्तविक संरचना प्रतिरेखीय समावेशन (गणित) है। इस प्रकार वास्तविक संरचना वास्तविक उप-समष्टि , इसके निश्चित समष्टि और प्राकृतिक मानचित्र को परिभाषित करती है
एक समरूपता है इसके विपरीत कोई भी सदिश समष्टि जो वास्तविक सदिश समष्टि का सम्मिश्र है उसकी एक प्राकृतिक वास्तविक संरचना होती है।
पहला नोट यह है कि प्रत्येक सम्मिश्र समष्टि V में मूल समुच्चय के समान सदिश और अदिश के प्रतिबंध को वास्तविक मानकर प्राप्ति प्राप्त की जाती है। यदि और फिर सदिश और V की प्राप्ति में रैखिक स्वतंत्रता हैं। इसलिए:
स्वाभाविक रूप से, कोई V को दो वास्तविक सदिश समष्टियो, V के वास्तविक और काल्पनिक भागों के प्रत्यक्ष योग के रूप में प्रस्तुत करना चाहेगा। इस प्रकार ऐसा करने का कोई विहित विधि नहीं है: इस प्रकार का विभाजन V में अतिरिक्त 'वास्तविक संरचना' है। इस प्रकार इसे निम्नानुसार प्रस्तुत किया जा सकता है।[1] मान लीजिए कि ऐसा प्रतिरेखीय मानचित्र है जैसे कि सम्मिश्र समष्टि V का प्रतिरेखीय समावेशन है।
कोई भी सदिश , लिखा जा सकता है, जहां और
इसलिए, किसी को सदिश समष्टियो का सीधा योग प्राप्त होता है जहाँ:
- और .
दोनों समुच्चय और वास्तविक सदिश समष्टि हैं। रेखीय मानचित्र , जहाँ , वास्तविक सदिश समष्टियो की समरूपता है, जहां से:
- .
पहला कारक को द्वारा भी निरूपित किया जाता है और द्वारा अपरिवर्तनीय छोड़ दिया गया है , अर्थात . दूसरा कारक है सामान्यतः द्वारा निरूपित किया जाता है, सीधा योग अब इस प्रकार पढ़ता है:
- ,
अर्थात वास्तविक और काल्पनिक V के भाग के प्रत्यक्ष योग के रूप में। यह निर्माण दृढ़ता से सम्मिश्र सदिश समष्टि V के प्रतिरेखीय समावेशन (गणित) के विकल्प पर निर्भर करता है। इस प्रकार वास्तविक सदिश समष्टि की सम्मिश्रता , अर्थात प्राकृतिक वास्तविक संरचना और इसलिए इसकी दो प्रतियों के प्रत्यक्ष योग के लिए विहित रूप से आइसोमोर्फिक है।,
- .
यह किसी दी गई वास्तविक संरचना के साथ सम्मिश्र सदिश समष्टियो के मध्य प्राकृतिक रैखिक समरूपता का अनुसरण करता है।
सम्मिश्र सदिश समष्टि V पर वास्तविक संरचना, जो प्रतिरेखीय समावेशन है , रैखिक मानचित्र के संदर्भ में समान रूप से वर्णित किया जा सकता है। सदिश समष्टि से सम्मिश्र संयुग्मी सदिश समष्टि के लिए द्वारा परिभाषित है।
- .[2]
बीजगणितीय विविधता
वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित बीजगणितीय विविधता के लिए, वास्तविक संरचना सम्मिश्र प्रक्षेप्य या एफ़िन समष्टि में विविधता के बिंदुओं पर कार्य करने वाला सम्मिश्र संयुग्मन है। इस प्रकार इसका निश्चित समष्टि विविधता के वास्तविक बिंदुओं का समष्टि है (जो खाली हो सकता है)।
योजना
इस प्रकार वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित योजना के लिए, सम्मिश्र संयुग्मन स्वाभाविक रूप से आधार क्षेत्र के बीजगणितीय समापन के गैलोज़ समूह का सदस्य है। इस प्रकार वास्तविक संरचना आधार क्षेत्र के बीजगणितीय समापन पर योजना के विस्तार पर इस संयुग्मन की गैलोज़ क्रिया है । इस प्रकार वास्तविक बिंदु वह बिंदु हैं जिनका अवशेष क्षेत्र निश्चित है (जो खाली हो सकता है)।
वास्तविकता संरचना
गणित में, सम्मिश्र सदिश समष्टि V पर वास्तविकता संरचना V का दो वास्तविक उप-समष्टियो में अपघटन है, जिसे V का वास्तविक भाग और काल्पनिक भाग कहा जाता है:
यहां VR V का वास्तविक उपसमष्टि है, अर्थात V का उपसमष्टि वास्तविक संख्याओं पर सदिश समष्टि के रूप में माना जाता है। यदि V का सम्मिश्र आयाम n (वास्तविक आयाम 2n) है, तो VR वास्तविक आयाम n होना चाहिए।
सदिश समष्टि पर 'मानक वास्तविकता संरचना' विघटन है
वास्तविकता संरचना की उपस्थिति में, V में प्रत्येक सदिश का वास्तविक भाग और काल्पनिक भाग होता है, जिनमें से प्रत्येक VR में सदिश होता है:
इस स्थिति में, सदिश v के सम्मिश्र संयुग्म को निम्नानुसार परिभाषित किया गया है:
यह मानचित्र प्रतिरेखीय समावेशन (गणित) है, अर्थात।
इसके विपरीत, सम्मिश्र सदिश समष्टि V पर, दिया गया है। इस प्रकार V पर वास्तविकता संरचना को निम्नानुसार परिभाषित करना संभव है। मान लीजिए
और परिभाषित करें
तब
यह वास्तव में वास्तविक रैखिक संचालिका c के एगेनस्पेस के रूप में V का अपघटन है। इस प्रकार c के एगेनवैल्यू औरएगेनस्पेस क्रमशः VR और VR के साथ +1 और −1 हैं।। सामान्यतः, ऑपरेटर c को, ईजेनस्पेस अपघटन के अतिरिक्त, V पर 'वास्तविकता संरचना' के रूप में जाना जाता है।
यह भी देखें
- एंटीलीनियर मानचित्र
- कैनोनिकल सम्मिश्र संयुग्मन मानचित्र
- सम्मिश्र सन्युग्म
- सम्मिश्र संयुग्म सदिश समष्टि
- सम्मिश्रता
- रैखिक सम्मिश्र संरचना
- रेखीय मानचित्र
- सेसक्विलिनियर फॉर्म
- स्पिनर कैलकुलस
टिप्पणियाँ
संदर्भ
- Horn and Johnson, Matrix Analysis, Cambridge University Press, 1985. ISBN 0-521-38632-2. (antilinear maps are discussed in section 4.6).
- Budinich, P. and Trautman, A. The Spinorial Chessboard. Springer-Verlag, 1988. ISBN 0-387-19078-3. (antilinear maps are discussed in section 3.3).
- Penrose, Roger; Rindler, Wolfgang (1986), Spinors and space-time. Vol. 2, Cambridge Monographs on Mathematical Physics, Cambridge University Press, ISBN 978-0-521-25267-6, MR 0838301