आंतरिक मीट्रिक: Difference between revisions

From Vigyanwiki
(Created page with "{{No footnotes|date=March 2023}} मीट्रिक रिक्त स्थान के गणित के अध्ययन में, अंतरिक्ष मे...")
 
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{No footnotes|date=March 2023}}
मीट्रिक रिक्त स्थान के गणित के अध्ययन में, अंतराल में [[पथ (टोपोलॉजी)|कार्यप्रणाली (टोपोलॉजी)]] की [[वक्राकार लंबाई]] पर विचार किया जा सकता है। यदि दो बिंदु एक-दूसरे से दी गई दूरी पर हैं, तो यह उम्मीद करना स्वाभाविक है कि एक कार्यप्रणाली के साथ पहले बिंदु से दूसरे बिंदु तक पहुंचने में सक्षम होना चाहिए, जिसकी चाप की लम्बाई उस दूरी के बराबर (या बहुत करीब) है। आंतरिक मीट्रिक के सापेक्ष एक [[मीट्रिक स्थान]] के दो बिंदुओं के बीच की दूरी को पहले बिंदु से दूसरे तक सभी पथों की न्यूनतम लंबाई के रूप में परिभाषित किया गया है। एक मीट्रिक स्थान एक लंबाई मीट्रिक स्थान है यदि आंतरिक मीट्रिक अंतराल के मूल मीट्रिक से सहमत है।
मीट्रिक रिक्त स्थान के गणित के अध्ययन में, अंतरिक्ष में [[पथ (टोपोलॉजी)]] की [[वक्राकार लंबाई]] पर विचार किया जा सकता है। यदि दो बिंदु एक-दूसरे से दी गई दूरी पर हैं, तो यह उम्मीद करना स्वाभाविक है कि एक पथ के साथ पहले बिंदु से दूसरे बिंदु तक पहुंचने में सक्षम होना चाहिए, जिसकी चाप की लम्बाई उस दूरी के बराबर (या बहुत करीब) है। आंतरिक मीट्रिक के सापेक्ष एक [[मीट्रिक स्थान]] के दो बिंदुओं के बीच की दूरी को पहले बिंदु से दूसरे तक सभी पथों की न्यूनतम लंबाई के रूप में परिभाषित किया गया है। एक मीट्रिक स्थान एक लंबाई मीट्रिक स्थान है यदि आंतरिक मीट्रिक अंतरिक्ष के मूल मीट्रिक से सहमत है।


यदि अंतरिक्ष में मजबूत संपत्ति है कि वहां हमेशा एक रास्ता मौजूद होता है जो लंबाई (एक [[ geodesic ]]) की अनंतता को प्राप्त करता है तो इसे जियोडेसिक मेट्रिक स्पेस या जियोडेसिक स्पेस कहा जाता है। उदाहरण के लिए, यूक्लिडियन प्लेन एक जियोडेसिक स्पेस है, जिसके जियोडेसिक्स के रूप में [[ रेखा खंड ]] हैं। [[उत्पत्ति (गणित)]] के साथ [[यूक्लिडियन विमान]] जियोडेसिक नहीं है, लेकिन अभी भी एक लंबाई मीट्रिक स्थान है।
यदि अंतराल में मजबूत संपत्ति है कि वहां सदैव एक रास्ता अवस्थित होता है जो लंबाई (एक [[ geodesic |अल्पान्तरी]]) की अनंतता को प्राप्त करता है तो इसे जियोडेसिक मेट्रिक स्पेस या जियोडेसिक स्पेस कहा जाता है। उदाहरण के लिए, यूक्लिडियन प्लेन एक जियोडेसिक स्पेस है, जिसके जियोडेसिक्स के रूप में [[ रेखा खंड |रेखा खंड]] हैं। [[उत्पत्ति (गणित)]] के साथ [[यूक्लिडियन विमान|यूक्लिडियन समतल]] जियोडेसिक नहीं है, लेकिन अभी भी एक लंबाई मीट्रिक स्थान है।


== परिभाषाएँ ==
== परिभाषाएँ ==
होने देना <math>(M, d)</math> एक मीट्रिक स्थान हो, यानी, <math>M</math> बिंदुओं का एक संग्रह है (जैसे कि समतल के सभी बिंदु, या वृत्त के सभी बिंदु) और <math>d(x,y)</math> एक ऐसा कार्य है जो हमें बिंदुओं के बीच की दूरी प्रदान करता है <math>x,y\in M</math>. हम एक नया मीट्रिक परिभाषित करते हैं <math>d_\text{I}</math> पर <math>M</math>, इस प्रकार प्रेरित आंतरिक मीट्रिक के रूप में जाना जाता है:
मान लीजिये <math>(M, d)</math> एक मीट्रिक स्थान हो, अर्थात, <math>M</math> बिंदुओं का एक संग्रह है (जैसे कि समतल के सभी बिंदु, या वृत्त के सभी बिंदु) और <math>d(x,y)</math> एक ऐसा कार्य है जो हमें बिंदुओं के बीच की दूरी <math>x,y\in M</math> प्रदान करता है, हम एक नया मीट्रिक <math>d_\text{I}</math> पर <math>M</math> परिभाषित करते हैं, इस प्रकार प्रेरित आंतरिक <math>d_\text{I}(x,y)</math> मीट्रिक के रूप में जाना जाता है:
<math>d_\text{I}(x,y)</math> से सभी पथों की लंबाई का निम्नतम है <math>x</math> को <math>y</math>.


यहाँ से एक रास्ता <math>x</math> को <math>y</math> एक सतत नक्शा है
सभी पथों की लंबाई का निम्नतम <math>x</math> को <math>y</math> है,
 
यहाँ से पाथ <math>x</math> को <math>y</math> सतत नक्शा है
:<math>\gamma \colon [0,1] \rightarrow M</math>
:<math>\gamma \colon [0,1] \rightarrow M</math>
साथ <math>\gamma(0) = x</math> और <math>\gamma(1) = y</math>. इस तरह के पथ की लंबाई को संशोधित वक्रों के लिए समझाया गया परिभाषित किया गया है। हमलोग तैयार हैं <math>d_\text{I}(x,y) =\infty</math> यदि परिमित लंबाई का कोई मार्ग नहीं है <math>x</math> को <math>y</math>. अगर
<math>\gamma(0) = x</math> और <math>\gamma(1) = y</math>. इस तरह के कार्यप्रणाली की लंबाई को संशोधित वक्रों के लिए समझाया गया परिभाषित किया गया है। अगर <math>d_\text{I}(x,y) =\infty</math> यदि परिमित लंबाई का कोई मार्ग नहीं है तो  <math>x</math> को <math>y</math> इस प्रकार हैं,
:<math>d_\text{I}(x,y)=d(x,y)</math>
:<math>d_\text{I}(x,y)=d(x,y)</math>
सभी बिंदुओं के लिए <math>x</math> और <math>y</math> में <math>M</math>, हम कहते हैं <math>(M, d)</math> लंबाई स्थान या पथ मीट्रिक स्थान और मीट्रिक है <math>d</math> आंतरिक है।
सभी बिंदुओं के लिए <math>x</math> और <math>y</math> में <math>M</math>, हम कहते हैं <math>(M, d)</math> लंबाई स्थान या कार्यप्रणाली मीट्रिक स्थान और मीट्रिक है <math>d</math> आंतरिक है।


हम कहते हैं कि मीट्रिक <math>d</math> किसी के लिए अनुमानित मध्यबिंदु है <math>\varepsilon>0</math> और अंक की कोई भी जोड़ी <math>x</math> और <math>y</math> में <math>M</math> वहां मौजूद <math>c</math> में <math>M</math> ऐसा है कि <math>d(x,c)</math> और <math>d(c,y)</math> दोनों से छोटे हैं
हम कहते हैं कि मीट्रिक <math>d</math> किसी के लिए अनुमानित मध्यबिंदु है <math>\varepsilon>0</math> और अंक की कोई भी जोड़ी <math>x</math> और <math>y</math> में <math>M</math> वहां अवस्थित <math>c</math> में <math>M</math> ऐसा है कि <math>d(x,c)</math> और <math>d(c,y)</math> दोनों से छोटे हैं
:<math>{{d(x,y) \over 2} + {\varepsilon}}</math>.
:<math>{{d(x,y) \over 2} + {\varepsilon}}</math>.


== उदाहरण ==
== उदाहरण ==
* [[यूक्लिडियन अंतरिक्ष]] <math>\R^n</math> साधारण यूक्लिडियन मीट्रिक के साथ एक पथ मीट्रिक स्थान है। <math>\R^n - \{0\}</math> साथ ही है।
* [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन अंतराल]] <math>\R^n</math> साधारण यूक्लिडियन मीट्रिक के साथ एक कार्यप्रणाली मीट्रिक स्थान है। <math>\R^n - \{0\}</math> साथ ही है।
* [[यूनिट सर्कल]] <math>S^1</math> के यूक्लिडियन मीट्रिक से विरासत में मिली मीट्रिक के साथ <math>\R^2</math> (कॉर्डल मीट्रिक) पथ मीट्रिक स्थान नहीं है। प्रेरित आंतरिक मीट्रिक चालू <math>S^1</math> [[ कांति ]] में [[कोण]]ों के रूप में दूरियों को मापता है, और परिणामी लंबाई मीट्रिक स्थान को [[रिमानियन सर्कल]] कहा जाता है। दो आयामों में, गोले पर तारकीय मीट्रिक आंतरिक नहीं है, और प्रेरित आंतरिक मीट्रिक महान-सर्कल दूरी द्वारा दी गई है।
* [[यूनिट सर्कल]] <math>S^1</math> के यूक्लिडियन मीट्रिक से विरासत में मिली मीट्रिक के साथ <math>\R^2</math> (कॉर्डल मीट्रिक) कार्यप्रणाली मीट्रिक स्थान नहीं है। प्रेरित आंतरिक मीट्रिक चालू <math>S^1</math> [[ कांति |कांति]] में [[कोण]] के रूप में दूरियों को मापता है, और परिणामी लंबाई मीट्रिक स्थान को [[रिमानियन सर्कल]] कहा जाता है। दो आयामों में, गोले पर तारकीय मीट्रिक आंतरिक नहीं है, और प्रेरित आंतरिक मीट्रिक महान-सर्कल दूरी द्वारा दी गई है।
* प्रत्येक जुड़े हुए [[रीमैनियन कई गुना]] को दो बिंदुओं की दूरी को परिभाषित करके एक पथ मीट्रिक स्थान में बदल दिया जा सकता है, जो दो बिंदुओं को जोड़ने वाले लगातार अलग-अलग वक्रों की लंबाई के न्यूनतम के रूप में होता है। (रीमैनियन संरचना ऐसे वक्रों की लंबाई को परिभाषित करने की अनुमति देती है।) समान रूप से, अन्य कई गुना जिसमें एक लंबाई को परिभाषित किया गया है, में [[फिन्सलर कई गुना]] और [[सब-रीमैनियन मैनिफोल्ड]]्स शामिल हैं।
* प्रत्येक जुड़े हुए [[रीमैनियन कई गुना]] को दो बिंदुओं की दूरी को परिभाषित करके एक कार्यप्रणाली मीट्रिक स्थान में बदल दिया जा सकता है, जो दो बिंदुओं को जोड़ने वाले लगातार अलग-अलग वक्रों की लंबाई के न्यूनतम के रूप में होता है। (रीमैनियन संरचना ऐसे वक्रों की लंबाई को परिभाषित करने की अनुमति देती है।) समान रूप से, अन्य कई गुना जिसमें एक लंबाई को परिभाषित किया गया है, [[फिन्सलर कई गुना]] और [[सब-रीमैनियन मैनिफोल्ड]] सम्मिलित हैं।
* कोई भी [[पूर्ण मीट्रिक स्थान]] और [[उत्तल मीट्रिक स्थान]] एक लंबाई मीट्रिक स्थान है {{harv|Khamsi|Kirk|2001|loc=Theorem 2.16}}, [[कार्ल मेन्जर]] का परिणाम। हालांकि, बातचीत पकड़ में नहीं आती है, यानी लंबाई मीट्रिक रिक्त स्थान मौजूद हैं जो उत्तल नहीं हैं।
* कोई भी [[पूर्ण मीट्रिक स्थान]] और [[उत्तल मीट्रिक स्थान]] एक लंबाई मीट्रिक स्थान है {{harv|Khamsi|Kirk|2001|loc=Theorem 2.16}}, [[कार्ल मेन्जर]] का परिणाम। हालांकि, बातचीत पकड़ में नहीं आती है, अर्थात लंबाई मीट्रिक रिक्त स्थान अवस्थित हैं जो उत्तल नहीं हैं।


== गुण ==
== गुण ==
* सामान्य तौर पर, हमारे पास है <math>d \le d_\text{I}</math> और [[टोपोलॉजिकल स्पेस]] द्वारा परिभाषित <math>d_\text{I}</math> इसलिए हमेशा परिभाषित टोपोलॉजी की तुलना में या उसके बराबर महीन होता है <math>d</math>.
* सामान्यतः, हमारे पास है <math>d \le d_\text{I}</math> और [[टोपोलॉजिकल स्पेस]] द्वारा परिभाषित <math>d_\text{I}</math> इसलिए सदैव <math>d</math> परिभाषित टोपोलॉजी की तुलना में या उसके बराबर महीन होता है.
*अंतरिक्ष <math>(M, d_\text{I})</math> हमेशा एक पथ मीट्रिक स्थान होता है (चेतावनी के साथ, जैसा ऊपर बताया गया है, कि <math>d_\text{I}</math> अनंत हो सकता है)।
*अंतराल <math>(M, d_\text{I})</math> सदैव एक कार्यप्रणाली मीट्रिक स्थान होता है (चेतावनी के साथ, जैसा ऊपर बताया गया है, कि <math>d_\text{I}</math> अनंत हो सकता है)।
*लंबाई के मेट्रिक में अनुमानित मध्य बिंदु होते हैं। इसके विपरीत, प्रत्येक पूर्ण स्थान मीट्रिक स्थान अनुमानित मध्यबिंदुओं के साथ एक लंबाई स्थान है।
*लंबाई के मेट्रिक में अनुमानित मध्य बिंदु होते हैं। इसके विपरीत, प्रत्येक पूर्ण स्थान मीट्रिक स्थान अनुमानित मध्यबिंदुओं के साथ एक लंबाई स्थान है।
* हॉफ-रिनो प्रमेय कहता है कि यदि एक लम्बाई स्थान <math>(M,d)</math> पूर्ण और [[स्थानीय रूप से कॉम्पैक्ट]] है तो किन्हीं दो बिंदुओं में <math>M</math> एक जियोडेसिक और सभी बंधे हुए [[बंद सेट]]ों से जोड़ा जा सकता है <math>M</math> [[कॉम्पैक्ट सेट]] हैं।
* हॉफ-रिनो प्रमेय कहता है कि यदि एक लम्बाई स्थान <math>(M,d)</math> पूर्ण और [[स्थानीय रूप से कॉम्पैक्ट]] है तो किन्हीं दो बिंदुओं में <math>M</math> एक जियोडेसिक और सभी बंधे हुए [[बंद सेट]] से जोड़ा जा सकता है <math>M</math> [[कॉम्पैक्ट सेट]] हैं।


==संदर्भ==
==संदर्भ==


Herbert Busemann, Selected Works, (Athanase Papadopoulos, ed.) Volume I, 908 p., Springer International Publishing, 2018.
हर्बर्ट बुसेमैन, सेलेक्टेड वर्क्स, (एथनेज पापाडोपोलोस, एड.) वॉल्यूम I, 908 पी., स्प्रिंगर इंटरनेशनल पब्लिशिंग, 2018।


Herbert Busemann, Selected Works, (Athanase Papadopoulos, ed.) Volume II, 842 p., Springer International Publishing, 2018.
हर्बर्ट बुसेमैन, सेलेक्टेड वर्क्स, (एथनेज पापाडोपोलोस, एड।) वॉल्यूम II, 842 पी।, स्प्रिंगर इंटरनेशनल पब्लिशिंग, 2018।


* {{citation|authorlink=Mikhail Gromov (mathematician)|first=Mikhail|last=Gromov|title=[[Metric Structures for Riemannian and Non-Riemannian Spaces]]|series=Progress in Math.|volume=152|publisher=Birkhäuser|year=1999|isbn=0-8176-3898-9}}
* {{citation|authorlink=मिखाइल ग्रोमोव (गणितज्ञ)|first=मिखाइल|last=ग्रोमोव|title=[[रीमैनियन और गैर-रिमैनियन स्पेस के लिए मीट्रिक संरचनाएं]]|series=गणित में प्रगति|volume=152|publisher=बिरखौसर|year=1999|isbn=0-8176-3898-9}}
*{{citation
*{{citation
  | authorlink1 = Mohamed Amine Khamsi
  | authorlink1 = मोहम्मद अमीन खम्सी
  | last1      = Khamsi
  | last1      = खम्सी
  | first1      = Mohamed A.  
  | first1      = मोहम्मद ए.  
  | authorlink2 = William Arthur Kirk
  | authorlink2 = विलियम आर्थर किर्क
  | last2      = Kirk
  | last2      = किर्क
  | first2    = William A.
  | first2    = विलियम ए.
  | title      = An Introduction to Metric Spaces and Fixed Point Theory
  | title      = मेट्रिक स्पेस और फिक्स्ड पॉइंट थ्योरी का परिचय
  | publisher  = Wiley-IEEE
  | publisher  = विले-आईईईई
  | date      = 2001
  | date      = 2001
  | pages      =  
  | pages      =  
  | isbn      = 0-471-41825-0
  | isbn      = 0-471-41825-0
}}
}}
[[Category: मीट्रिक ज्यामिति]]


[[Category: Machine Translated Page]]
[[Category:Created On 17/03/2023]]
[[Category:Created On 17/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:मीट्रिक ज्यामिति]]

Latest revision as of 09:56, 28 March 2023

मीट्रिक रिक्त स्थान के गणित के अध्ययन में, अंतराल में कार्यप्रणाली (टोपोलॉजी) की वक्राकार लंबाई पर विचार किया जा सकता है। यदि दो बिंदु एक-दूसरे से दी गई दूरी पर हैं, तो यह उम्मीद करना स्वाभाविक है कि एक कार्यप्रणाली के साथ पहले बिंदु से दूसरे बिंदु तक पहुंचने में सक्षम होना चाहिए, जिसकी चाप की लम्बाई उस दूरी के बराबर (या बहुत करीब) है। आंतरिक मीट्रिक के सापेक्ष एक मीट्रिक स्थान के दो बिंदुओं के बीच की दूरी को पहले बिंदु से दूसरे तक सभी पथों की न्यूनतम लंबाई के रूप में परिभाषित किया गया है। एक मीट्रिक स्थान एक लंबाई मीट्रिक स्थान है यदि आंतरिक मीट्रिक अंतराल के मूल मीट्रिक से सहमत है।

यदि अंतराल में मजबूत संपत्ति है कि वहां सदैव एक रास्ता अवस्थित होता है जो लंबाई (एक अल्पान्तरी) की अनंतता को प्राप्त करता है तो इसे जियोडेसिक मेट्रिक स्पेस या जियोडेसिक स्पेस कहा जाता है। उदाहरण के लिए, यूक्लिडियन प्लेन एक जियोडेसिक स्पेस है, जिसके जियोडेसिक्स के रूप में रेखा खंड हैं। उत्पत्ति (गणित) के साथ यूक्लिडियन समतल जियोडेसिक नहीं है, लेकिन अभी भी एक लंबाई मीट्रिक स्थान है।

परिभाषाएँ

मान लीजिये एक मीट्रिक स्थान हो, अर्थात, बिंदुओं का एक संग्रह है (जैसे कि समतल के सभी बिंदु, या वृत्त के सभी बिंदु) और एक ऐसा कार्य है जो हमें बिंदुओं के बीच की दूरी प्रदान करता है, हम एक नया मीट्रिक पर परिभाषित करते हैं, इस प्रकार प्रेरित आंतरिक मीट्रिक के रूप में जाना जाता है:

सभी पथों की लंबाई का निम्नतम को है,

यहाँ से पाथ को सतत नक्शा है

और . इस तरह के कार्यप्रणाली की लंबाई को संशोधित वक्रों के लिए समझाया गया परिभाषित किया गया है। अगर यदि परिमित लंबाई का कोई मार्ग नहीं है तो को इस प्रकार हैं,

सभी बिंदुओं के लिए और में , हम कहते हैं लंबाई स्थान या कार्यप्रणाली मीट्रिक स्थान और मीट्रिक है आंतरिक है।

हम कहते हैं कि मीट्रिक किसी के लिए अनुमानित मध्यबिंदु है और अंक की कोई भी जोड़ी और में वहां अवस्थित में ऐसा है कि और दोनों से छोटे हैं

.

उदाहरण

  • यूक्लिडियन अंतराल साधारण यूक्लिडियन मीट्रिक के साथ एक कार्यप्रणाली मीट्रिक स्थान है। साथ ही है।
  • यूनिट सर्कल के यूक्लिडियन मीट्रिक से विरासत में मिली मीट्रिक के साथ (कॉर्डल मीट्रिक) कार्यप्रणाली मीट्रिक स्थान नहीं है। प्रेरित आंतरिक मीट्रिक चालू कांति में कोण के रूप में दूरियों को मापता है, और परिणामी लंबाई मीट्रिक स्थान को रिमानियन सर्कल कहा जाता है। दो आयामों में, गोले पर तारकीय मीट्रिक आंतरिक नहीं है, और प्रेरित आंतरिक मीट्रिक महान-सर्कल दूरी द्वारा दी गई है।
  • प्रत्येक जुड़े हुए रीमैनियन कई गुना को दो बिंदुओं की दूरी को परिभाषित करके एक कार्यप्रणाली मीट्रिक स्थान में बदल दिया जा सकता है, जो दो बिंदुओं को जोड़ने वाले लगातार अलग-अलग वक्रों की लंबाई के न्यूनतम के रूप में होता है। (रीमैनियन संरचना ऐसे वक्रों की लंबाई को परिभाषित करने की अनुमति देती है।) समान रूप से, अन्य कई गुना जिसमें एक लंबाई को परिभाषित किया गया है, फिन्सलर कई गुना और सब-रीमैनियन मैनिफोल्ड सम्मिलित हैं।
  • कोई भी पूर्ण मीट्रिक स्थान और उत्तल मीट्रिक स्थान एक लंबाई मीट्रिक स्थान है (Khamsi & Kirk 2001, Theorem 2.16), कार्ल मेन्जर का परिणाम। हालांकि, बातचीत पकड़ में नहीं आती है, अर्थात लंबाई मीट्रिक रिक्त स्थान अवस्थित हैं जो उत्तल नहीं हैं।

गुण

  • सामान्यतः, हमारे पास है और टोपोलॉजिकल स्पेस द्वारा परिभाषित इसलिए सदैव परिभाषित टोपोलॉजी की तुलना में या उसके बराबर महीन होता है.
  • अंतराल सदैव एक कार्यप्रणाली मीट्रिक स्थान होता है (चेतावनी के साथ, जैसा ऊपर बताया गया है, कि अनंत हो सकता है)।
  • लंबाई के मेट्रिक में अनुमानित मध्य बिंदु होते हैं। इसके विपरीत, प्रत्येक पूर्ण स्थान मीट्रिक स्थान अनुमानित मध्यबिंदुओं के साथ एक लंबाई स्थान है।
  • हॉफ-रिनो प्रमेय कहता है कि यदि एक लम्बाई स्थान पूर्ण और स्थानीय रूप से कॉम्पैक्ट है तो किन्हीं दो बिंदुओं में एक जियोडेसिक और सभी बंधे हुए बंद सेट से जोड़ा जा सकता है कॉम्पैक्ट सेट हैं।

संदर्भ

  • हर्बर्ट बुसेमैन, सेलेक्टेड वर्क्स, (एथनेज पापाडोपोलोस, एड.) वॉल्यूम I, 908 पी., स्प्रिंगर इंटरनेशनल पब्लिशिंग, 2018।
  • हर्बर्ट बुसेमैन, सेलेक्टेड वर्क्स, (एथनेज पापाडोपोलोस, एड।) वॉल्यूम II, 842 पी।, स्प्रिंगर इंटरनेशनल पब्लिशिंग, 2018।
  • ग्रोमोव, मिखाइल (1999), रीमैनियन और गैर-रिमैनियन स्पेस के लिए मीट्रिक संरचनाएं, गणित में प्रगति, vol. 152, बिरखौसर, ISBN 0-8176-3898-9
  • खम्सी, मोहम्मद ए.; किर्क, विलियम ए. (2001), मेट्रिक स्पेस और फिक्स्ड पॉइंट थ्योरी का परिचय, विले-आईईईई, ISBN 0-471-41825-0