संकारक (गणित): Difference between revisions

From Vigyanwiki
m (Abhishek moved page ऑपरेटर (गणित) to प्रभाव (गणित) without leaving a redirect)
No edit summary
 
(31 intermediate revisions by 6 users not shown)
Line 1: Line 1:
गणित में, '''संकारक''' समान्यतः एक मानचित्रण (गणित) या फलन (गणित) होता है जो किसी स्थान (गणित) के तत्वों पर कार्य करता है ताकि किसी अन्य स्थान के तत्वों का उत्पादन किया जा सके (संभवतः और कभी-कभी एक ही स्थान होने की आवश्यकता होती है)। संकारक की कोई सामान्य परिभाषा नहीं है, लेकिन इस शब्द का प्रयोग प्रायः फलन के स्थान पर किया जाता है, जब [[किसी फ़ंक्शन का डोमेन|किसी फलन का डोमेन]] या अन्य संरचित वस्तुओं का एक समूह होता है। इसके अलावा, एक ऑपरेटर के डोमेन को स्पष्ट रूप से चित्रित करना प्रायः मुश्किल होता है (उदाहरण के लिए एक अभिन्न संकारक के मामले में), और संबंधित वस्तुओं तक बढ़ाया जा सकता है (एक संकारक जो कार्यों पर कार्य करता है, [[अंतर समीकरण]] पर भी कार्य कर सकता है जिसका समाधान फलन हैं जो समीकरण को संतुष्ट करता है)। अन्य उदाहरणों के लिए [[ऑपरेटर (भौतिकी)|संकारक (भौतिकी)]] देखें।


{{Short description|Function acting on function spaces}}
सबसे बुनियादी संकारक रैखिक मानचित्र हैं, जो सदिश समष्टि पर कार्य करते हैं। रेखीय संचालिकाएँ ऐसे रेखीय मानचित्रों को संदर्भित करती हैं जिनके डोमेन और श्रेणी समान स्थान पर हैं, उदाहरण के लिए <math>\R^n</math>से <math>\R^n</math><ref name=RudinAnalysis>{{cite book
{{About|operators in mathematics|other uses|Operator (disambiguation)}}
{{distinguish|text=the symbol denoting a [[mathematical operation]] or [[mathematical symbol]]}}
गणित में, एक ऑपरेटर आम तौर पर एक मैप_ (गणित) या फ़ंक्शन (गणित) होता है जो किसी स्थान (गणित) के तत्वों पर कार्य करता है ताकि किसी अन्य स्थान के तत्वों का उत्पादन किया जा सके (संभवतः और कभी-कभी एक ही स्थान होने की आवश्यकता होती है)। ''ऑपरेटर'' की कोई सामान्य परिभाषा नहीं है, लेकिन इस शब्द का प्रयोग अक्सर ''फ़ंक्शन'' के स्थान पर किया जाता है, जब [[किसी फ़ंक्शन का डोमेन]] फ़ंक्शन या अन्य संरचित वस्तुओं का एक सेट होता है। इसके अलावा, एक ऑपरेटर के डोमेन को स्पष्ट रूप से चित्रित करना अक्सर मुश्किल होता है (उदाहरण के लिए एक अभिन्न ऑपरेटर के मामले में), और संबंधित वस्तुओं तक बढ़ाया जा सकता है (एक ऑपरेटर जो कार्यों पर कार्य करता है, [[अंतर समीकरण]]ों पर भी कार्य कर सकता है जिसका समाधान फ़ंक्शन हैं जो समीकरण को संतुष्ट करता है)। अन्य उदाहरणों के लिए [[ऑपरेटर (भौतिकी)]] देखें।
 
सबसे बुनियादी ऑपरेटर रैखिक मानचित्र हैं, जो वेक्टर रिक्त स्थान पर कार्य करते हैं। रेखीय संचालिकाएँ ऐसे रेखीय मानचित्रों को संदर्भित करती हैं जिनके डोमेन और श्रेणी समान स्थान हैं, उदाहरण के लिए <math>\R^n</math> को <math>\R^n</math>.<ref name=RudinAnalysis>{{cite book
| last1=Rudin
| last1=Rudin
| first1=Walter
| first1=Walter
Line 16: Line 12:
| page=207
| page=207
| quote=Linear transformations of {{mvar|X}} into {{mvar|X}} are often called <em>linear operators</em> on {{mvar|X}}.
| quote=Linear transformations of {{mvar|X}} into {{mvar|X}} are often called <em>linear operators</em> on {{mvar|X}}.
}}</ref>  
}}</ref> <ref name=RomanLinAlg>
<ref name=RomanLinAlg>
{{cite book
{{cite book
| last1=Roman
| last1=Roman
Line 30: Line 25:
| quote=1) A linear transformation from {{mvar|V}} to {{mvar|V}} is called a <strong>linear operator</strong> on {{mvar|V}}. The set of all linear operators on {{mvar|V}} is denoted {{math|''&Lscr;''(''V'')}}. A linear operator on a real vector space is called a <strong>real operator</strong> and a linear operator on a complex vector space is called a <strong>complex operator</strong>. ... We should also mention that some authors use the term linear operator for any linear transformation from {{mvar|V}} to {{mvar|W}}. ... <strong>Definition</strong>The following terms are also employed: 2) <strong>endomorphism</strong> for linear operator ... 6) <strong>automorphism</strong> for bijective linear operator.
| quote=1) A linear transformation from {{mvar|V}} to {{mvar|V}} is called a <strong>linear operator</strong> on {{mvar|V}}. The set of all linear operators on {{mvar|V}} is denoted {{math|''&Lscr;''(''V'')}}. A linear operator on a real vector space is called a <strong>real operator</strong> and a linear operator on a complex vector space is called a <strong>complex operator</strong>. ... We should also mention that some authors use the term linear operator for any linear transformation from {{mvar|V}} to {{mvar|W}}. ... <strong>Definition</strong>The following terms are also employed: 2) <strong>endomorphism</strong> for linear operator ... 6) <strong>automorphism</strong> for bijective linear operator.
}}
}}
</ref>
</ref>ऐसे संकारक अक्सर [[निरंतर कार्य|निरंतरता]] जैसे गुणों को संरक्षित करते हैं। उदाहरण के लिए, अवकलन (गणित) और अनिश्चित समाकलन रैखिक संकारक हैं, संकारक जो उनसे निर्मित होते हैं, उन्हें [[अंतर ऑपरेटर|अंतर संकारक]], समाकलन संकारक या समाकल अवकल संकारक कहा जाता है।
ऐसे ऑपरेटर अक्सर [[निरंतर कार्य]] जैसे गुणों को संरक्षित करते हैं। उदाहरण के लिए, अवकलन (गणित) और अनिश्चित समाकलन रैखिक संकारक हैं; ऑपरेटर जो उनसे निर्मित होते हैं, उन्हें [[अंतर ऑपरेटर]], इंटीग्रल ऑपरेटर या इंटीग्रो-डिफरेंशियल ऑपरेटर कहा जाता है।


ऑपरेटर का उपयोग गणितीय ऑपरेशन के प्रतीक को दर्शाने के लिए भी किया जाता है। यह [[कंप्यूटर प्रोग्रामिंग]] में ऑपरेटर के अर्थ से संबंधित है, [[ऑपरेटर (कंप्यूटर प्रोग्रामिंग)]] देखें।
संकारक का उपयोग गणितीय संक्रियाओं के प्रतीक को दर्शाने के लिए भी किया जाता है। यह [[कंप्यूटर प्रोग्रामिंग]] में संचालक के अर्थ से संबंधित है, [[ऑपरेटर (कंप्यूटर प्रोग्रामिंग)|संचालक (कंप्यूटर प्रोग्रामिंग)]] देखें।


== रैखिक ऑपरेटर ==
== रैखिक संकारक ==
{{Main|Linear operator}}
{{Main|रैखिक संकारक}}
सबसे आम प्रकार के ऑपरेटर का सामना रैखिक ऑपरेटरों से होता है। U और V को [[क्षेत्र (गणित)]] K पर सदिश समष्टियाँ होने दें। मानचित्र (गणित) A: U → V रैखिक है यदि
सबसे आम प्रकार के संकारक का सामना रैखिक संकारकों से होता है। माना ''U'' और ''V'' [[क्षेत्र (गणित)]] K पर सदिश समष्टियाँ है। मानचित्रण (गणित) ''A: U → V'' रैखिक है यदि-
<math display="block">A(\alpha \mathbf{x} + \beta \mathbf{y}) = \alpha A \mathbf{x} + \beta A \mathbf{y}</math>
<math display="block">A(\alpha \mathbf{x} + \beta \mathbf{y}) = \alpha A \mathbf{x} + \beta A \mathbf{y}</math>
सभी x, y के लिए ''U'' में और सभी के लिए ''α'', ''β'' के लिए ''K'' में।
सभी x, y के लिए ''U'' में और सभी <math>\alpha</math> तथा <math>\beta</math> लिए ''K'' में। इसका मतलब यह है कि एक रैखिक संकारक सदिश समष्टियों कि संक्रियाओं को संरक्षित करता है, इस अर्थ में कि इससे कोई फर्क नहीं पड़ता कि आप रैखिक संकारक को गुणन की संक्रिया और अदिश गुणन के पहले या बाद में लागू करते हैं या नहीं। अधिक तकनीकी शब्दों में, रैखिक संकारक सदिश समष्टि के बीच [[morphism|मॉर्फिज्म (]]आकारिता) हैं।
इसका मतलब यह है कि एक रैखिक ऑपरेटर वेक्टर स्पेस ऑपरेशंस को संरक्षित करता है, इस अर्थ में कि इससे कोई फर्क नहीं पड़ता कि आप जोड़ और स्केलर गुणा के संचालन से पहले या बाद में लीनियर ऑपरेटर को लागू करते हैं या नहीं। अधिक तकनीकी शब्दों में, रैखिक ऑपरेटर वेक्टर रिक्त स्थान के बीच [[morphism]]s हैं।


परिमित-आयामी मामले में रैखिक ऑपरेटरों को निम्नलिखित तरीके से [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जा सकता है। होने देना <math>K</math> एक क्षेत्र हो, और <math>U</math> और <math>V</math> परिमित-आयामी वेक्टर रिक्त स्थान बनें <math>K</math>. आइए एक आधार चुनें <math>\mathbf{u}_1, \ldots, \mathbf{u}_n</math> में <math>U</math> और <math>\mathbf{v}_1, \ldots, \mathbf{v}_m</math> में <math>V</math>. तो करने दें <math>\mathbf{x} = x^i \mathbf{u}_i</math> में एक मनमाना वेक्टर बनें <math>U</math> ([[आइंस्टीन सम्मेलन]] मानते हुए), और <math>A: U \to V</math> एक रैखिक ऑपरेटर बनें। तब
परिमित-आयामी मामले में रैखिक संकारकों को निम्नलिखित तरीके से [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] द्वारा दर्शाया जा सकता है। मान लें कि <math>K</math> एक क्षेत्र है और <math>U</math> तथा <math>V</math>, <math>K</math> पर परिमित-आयामी सदिश समष्टि हैं। आइए एक आधार चुनें <math>U</math> में <math>\mathbf{u}_1, \ldots, \mathbf{u}_n</math> तथा <math>V</math> में <math>\mathbf{v}_1, \ldots, \mathbf{v}_m</math>। तब माना <math>\mathbf{x} = x^i \mathbf{u}_i</math>, <math>U</math> में एक यादृच्छिक सदिश है [[आइंस्टीन सम्मेलन|(आइंस्टीन कान्वेंशन]] मानते हुए), और <math>A: U \to V</math> एक रैखिक संकारक है। तब-
<math display="block">A\mathbf{x} = x^i A\mathbf{u}_i = x^i (A\mathbf{u}_i)^j \mathbf{v}_j .</math>
<math display="block">A\mathbf{x} = x^i A\mathbf{u}_i = x^i (A\mathbf{u}_i)^j \mathbf{v}_j .</math>
तब <math>a_i^j := (A\mathbf{u}_i)^j \in K</math> ऑपरेटर का मैट्रिक्स है <math>A</math> निश्चित ठिकानों में। <math>a_i^j</math> की पसंद पर निर्भर नहीं करता है <math>x</math>, और <math>A\mathbf{x} = \mathbf{y}</math> अगर <math>a_i^j x^i = y^j</math>. इस प्रकार निश्चित आधारों में एन-बाय-एम मेट्रिसेस रैखिक ऑपरेटरों के लिए विशेषण पत्राचार में हैं <math>U</math> को <math>V</math>.
तब <math>a_i^j := (A\mathbf{u}_i)^j \in K</math> निश्चित आधारों में संकारक <math>A</math> का आव्यूह है। <math>a_i^j</math>, <math>x</math> की पसंद पर निर्भर नहीं करता है तथा <math>A\mathbf{x} = \mathbf{y}</math> अगर <math>a_i^j x^i = y^j</math>इस प्रकार निश्चित आधारों में एन-बाय-एम आव्यूह  <math>U</math> से <math>V</math> तक रैखिक संकारकों के लिए द्विभाजित सामंजस्य में हैं।


परिमित-आयामी वेक्टर रिक्त स्थान के बीच ऑपरेटरों से सीधे संबंधित महत्वपूर्ण अवधारणाएं [[मैट्रिक्स रैंक]], निर्धारक, व्युत्क्रम संकारक और [[egenspace]] हैं।
परिमित-आयामी सदिश समष्टि के बीच संकारकों से सीधे संबंधित महत्वपूर्ण अवधारणाएं [[मैट्रिक्स रैंक|आव्यूह रैंक]], निर्धारक, व्युत्क्रम संकारक और [[egenspace|अभिलक्षणिक समष्टि]] हैं।


रेखीय संचालक भी अनंत-आयामी मामले में एक बड़ी भूमिका निभाते हैं। रैंक और निर्धारक की अवधारणाओं को अनंत-आयामी मैट्रिसेस तक नहीं बढ़ाया जा सकता है। यही कारण है कि अनंत-आयामी मामले में रैखिक ऑपरेटरों (और सामान्य रूप से ऑपरेटरों) का अध्ययन करते समय बहुत अलग तकनीकें नियोजित होती हैं। अनंत-आयामी मामले में रैखिक ऑपरेटरों के अध्ययन को [[कार्यात्मक विश्लेषण]] के रूप में जाना जाता है (इसलिए कहा जाता है क्योंकि कार्यों के विभिन्न वर्ग अनंत-आयामी वेक्टर रिक्त स्थान के दिलचस्प उदाहरण बनाते हैं)।
रेखीय संकारक भी अनंत-आयामी मामले में एक बड़ी भूमिका निभाते हैं। रैंक और निर्धारक की अवधारणाओं को अनंत-आयामी आव्यूह तक नहीं बढ़ाया जा सकता है। यही कारण है कि अनंत-आयामी मामले में रैखिक संकारकों (और सामान्य रूप से संकारकों) का अध्ययन करते समय बहुत अलग तकनीकें नियोजित होती हैं। अनंत-आयामी मामले में रैखिक संकारकों के अध्ययन को [[कार्यात्मक विश्लेषण]] के रूप में जाना जाता है (इसलिए कहा जाता है क्योंकि कार्यों के विभिन्न वर्ग अनंत-आयामी सदिश समष्टि के महत्वपूर्ण उदाहरण बनाते हैं)।


वास्तविक संख्याओं के [[अनुक्रम]]ों का स्थान, या अधिक सामान्यतः किसी सदिश स्थान में सदिशों के अनुक्रम, स्वयं एक अनंत-आयामी सदिश स्थान बनाते हैं। सबसे महत्वपूर्ण मामले वास्तविक या जटिल संख्याओं के अनुक्रम हैं, और ये स्थान, रैखिक उप-स्थानों के साथ, अनुक्रम रिक्त स्थान के रूप में जाने जाते हैं। इन स्थानों पर ऑपरेटरों को [[अनुक्रम परिवर्तन]] के रूप में जाना जाता है।
वास्तविक संख्याओं के [[अनुक्रम]] का स्थान या अधिक सामान्यतः किसी सदिश समष्टि में सदिशों के अनुक्रम, स्वयं एक अनंत-आयामी सदिश समष्टि बनाते हैं। सबसे महत्वपूर्ण मामले वास्तविक या जटिल संख्याओं के अनुक्रम हैं और ये स्थान, रैखिक उप-स्थानों के साथ, अनुक्रम समष्टि के रूप में जाने जाते हैं। इन स्थानों पर संकारकों को [[अनुक्रम परिवर्तन]] के रूप में जाना जाता है।


मानक ऑपरेटर मानदंड के संबंध में बानाच अंतरिक्ष पर परिबद्ध रैखिक ऑपरेटर एक बानाच बीजगणित बनाते हैं। [[बनच बीजगणित]] का [[सिद्ध]]ांत [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] की एक बहुत ही सामान्य अवधारणा विकसित करता है जो ईजेनस्पेस के सिद्धांत को सामान्य रूप से सामान्यीकृत करता है।
मानक संकारक मानदंड के संबंध में बनच समष्टि पर परिबद्ध रैखिक संकारक एक बनच बीजगणित बनाते हैं। [[बनच बीजगणित]] का [[सिद्ध]]ांत [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] की एक बहुत ही सामान्य अवधारणा विकसित करता है जो अभिलक्षणिक समष्टि के सिद्धांत को सामान्य रूप से सामान्यीकृत करता है।


== बंधे हुए ऑपरेटर ==
== परिबद्ध संकारक ==
{{main|Bounded operator|Operator norm|Banach algebra}}
{{main|परिबद्ध संकारक|संकारक मानदंड|बनच बीजगणित }}
U और V को एक ही क्रमित फ़ील्ड पर दो सदिश स्थान होने दें (उदाहरण के लिए, <math>\R</math>), और वे [[मानदंड (गणित)]] से लैस हैं। तब U से V तक एक रैखिक संकारक को 'परिबद्ध' कहा जाता है यदि वहाँ C > 0 ऐसा मौजूद हो
माना U और V एक ही क्रमित क्षेत्र पर दो सदिश समष्टि हैं (उदाहरण के लिए <math>\R</math>), और वे [[मानदंड (गणित)]] से युक्त हैं। तब U से V तक एक रैखिक संकारक को परिबद्ध कहा जाता है यदि वहाँ ''C'' > 0 ऐसा मौजूद हो
<math display="block">\|A\mathbf{x}\|_V \leq C\|\mathbf{x}\|_U</math>
<math display="block">\|A\mathbf{x}\|_V \leq C\|\mathbf{x}\|_U</math>
'यू' में सभी एक्स के लिए।
<math>U</math> में सभी '''x''' के लिए।


परिबद्ध संकारक एक सदिश स्थान बनाते हैं। इस सदिश स्थान पर हम एक मानदंड पेश कर सकते हैं जो 'यू' और 'वी' के मानदंडों के अनुकूल है:
परिबद्ध संकारक एक सदिश समष्टि बनाते हैं। इस सदिश समष्टि पर हम एक मानदंड पेश कर सकते हैं जो <math>U</math> और <math>V</math> के मानदंडों के अनुकूल है:
<math display="block">\|A\| = \inf\{C: \|A\mathbf{x}\|_V \leq C\|\mathbf{x}\|_U\}.</math>
<math display="block">\|A\| = \inf\{C: \|A\mathbf{x}\|_V \leq C\|\mathbf{x}\|_U\}.</math>
यू से स्वयं के ऑपरेटरों के मामले में यह दिखाया जा सकता है
<math>U</math>से स्वयं के संकारकों के मामले में यह दिखाया जा सकता है-
<math display="block">\|AB\| \leq \|A\| \cdot \|B\|.</math>
<math display="block">\|AB\| \leq \|A\| \cdot \|B\|.</math>
इस संपत्ति के साथ किसी भी यूनिटल नॉर्म्ड बीजगणित को [[बनच बीजगणित]] कहा जाता है। इस तरह के बीजगणितों के लिए [[वर्णक्रमीय सिद्धांत]] को सामान्य बनाना संभव है। C*[[सी * - बीजगणित]], जो कि कुछ अतिरिक्त संरचना वाले बनच एल्जेब्रा हैं, [[क्वांटम यांत्रिकी]] में एक महत्वपूर्ण भूमिका निभाते हैं।
इस विशेषता के साथ किसी भी यूनिटल मानदंडों वाली बीजगणित को [[बनच बीजगणित]] कहा जाता है। इस तरह के बीजगणितों के लिए [[वर्णक्रमीय सिद्धांत]] को सामान्य बनाना संभव है। [[सी * - बीजगणित]], जो कि कुछ अतिरिक्त संरचना वाले बनच बीजगणित हैं, [[क्वांटम यांत्रिकी]] में एक महत्वपूर्ण भूमिका निभाते हैं।


== उदाहरण ==
== उदाहरण ==


=== ज्यामिति ===
=== ज्यामिति ===
{{Main|General linear group|Isometry}}
{{Main|सामान्य रैखिक समूह |समदूरीकता}}
[[ज्यामिति]] में, सदिश स्थानों पर अतिरिक्त संरचनाओं का कभी-कभी अध्ययन किया जाता है। ऑपरेटर्स जो इस तरह के वेक्टर रिक्त स्थान को खुद को विशेष रूप से मैप करते हैं, इन अध्ययनों में बहुत उपयोगी होते हैं, वे स्वाभाविक रूप से संरचना द्वारा [[समूह (गणित)]] बनाते हैं।
[[ज्यामिति]] में, सदिश समष्टि पर अतिरिक्त संरचनाओं का कभी-कभी अध्ययन किया जाता है। संचालक जो इस तरह के सदिश समष्टि में  स्वयं को विशेष रूप से मानचित्रित करते हैं, इन अध्ययनों में बहुत उपयोगी होते हैं, वे स्वाभाविक रूप से संरचना द्वारा [[समूह (गणित)]] बनाते हैं।


उदाहरण के लिए, सदिश स्थान की संरचना को संरक्षित करने वाले विशेषण संचालिका ठीक उलटा कार्य रैखिक संचालक हैं। वे रचना के तहत सामान्य रेखीय समूह बनाते हैं। वे ऑपरेटरों के योग के तहत एक सदिश स्थान नहीं बनाते हैं, उदा। दोनों आईडी और -आईडी व्युत्क्रमणीय (विशेषण) हैं, लेकिन उनका योग, 0 नहीं है।
उदाहरण के लिए, सदिश समष्टि की संरचना को संरक्षित करने वाले द्विभाजित संचालको का ठीक उलटा कार्य रैखिक संचालक का हैं। वे रचना के तहत सामान्य रेखीय समूह बनाते हैं। उदाहरण, वे संचालकों के योग के तहत एक सदिश समष्टि नहीं बनाते हैं। दोनों आईडी और -आईडी व्युत्क्रमणीय (द्विभाजित) हैं, लेकिन उनका योग 0 नहीं है।


ऐसे स्थान पर यूक्लिडियन मीट्रिक को संरक्षित करने वाले ऑपरेटर [[आइसोमेट्री समूह]] बनाते हैं, और जो मूल को ठीक करते हैं वे एक उपसमूह बनाते हैं जिसे [[ऑर्थोगोनल समूह]] के रूप में जाना जाता है। ऑर्थोगोनल समूह में ऑपरेटर जो वेक्टर ट्यूपल्स के अभिविन्यास को भी संरक्षित करते हैं, [[विशेष ऑर्थोगोनल समूह]] या रोटेशन के समूह का निर्माण करते हैं।
ऐसे स्थान पर यूक्लिडियन मीट्रिक को संरक्षित करने वाले संचालक [[आइसोमेट्री समूह|सममिति समूह]] बनाते हैं, और जो मूलभूत रूप को ठीक करते हैं वे एक उपसमूह बनाते हैं जिसे [[ऑर्थोगोनल समूह|आयतीय समूह]] के रूप में जाना जाता है। आयतीय समूह में संचालक जो सदिश टपल के अभिविन्यास को भी संरक्षित करते हैं, [[विशेष ऑर्थोगोनल समूह|विशेष आयतीय समूह]] या घूर्णन समूह का निर्माण करते हैं।


=== संभाव्यता सिद्धांत ===
=== प्रायिकता सिद्धांत ===
{{Main|Probability theory}}
{{Main|प्रायिकता सिद्धांत}}
संभाव्यता सिद्धांत में ऑपरेटर भी शामिल हैं, जैसे [[अपेक्षित मूल्य]], भिन्नता और [[सहप्रसरण]]। दरअसल, हर सहप्रसरण मूल रूप से एक [[डॉट उत्पाद]] है; प्रत्येक विचरण स्वयं के साथ एक सदिश का एक डॉट उत्पाद है, और इस प्रकार एक द्विघात मानदंड है; प्रत्येक मानक विचलन एक मानदंड है (द्विघात मानदंड का वर्गमूल); इस डॉट उत्पाद के अनुरूप कोसाइन [[पियर्सन सहसंबंध गुणांक]] है; अपेक्षित मूल्य मूल रूप से एक अभिन्न ऑपरेटर है (अंतरिक्ष में भारित आकृतियों को मापने के लिए उपयोग किया जाता है)।
प्रायिकता सिद्धांत में संकारक भी सम्मिलित हैं, जैसे [[अपेक्षित मूल्य]], भिन्नता और [[सहप्रसरण]]। दरअसल, हर सहप्रसरण मूल रूप से एक [[डॉट उत्पाद]] है, प्रत्येक विचरण स्वयं के साथ सदिश का एक डॉट उत्पाद है, और इस प्रकार एक द्विघात मानदंड है, प्रत्येक मानक विचलन एक मानदंड है (द्विघात मानदंड का वर्गमूल), इस डॉट उत्पाद के अनुरूप कोज्या [[पियर्सन सहसंबंध गुणांक]] है, अपेक्षित मान मूल रूप से एक अभिन्न संकारक है (अंतरिक्ष में भारित आकृतियों को मापने के लिए उपयोग किया जाता है)।


=== पथरी ===
=== कलन ===
{{Main|Differential operator|Integral operator}}
{{Main|अवकल संकारक |समाकल संकारक}}
कार्यात्मक विश्लेषण के दृष्टिकोण से, कलन दो रैखिक संकारकों का अध्ययन है: अवकल संकारक <math>\frac{d}{dt}</math>, और [[वोल्टेरा ऑपरेटर]] <math>\int_0^t</math>.
कार्यात्मक विश्लेषण के दृष्टिकोण से, कलन दो रैखिक संकारकों का अध्ययन है - अवकल संकारक <math>\frac{d}{dt}</math>, और [[वोल्टेरा ऑपरेटर|वोल्टेरा संकारक]] <math>\int_0^t</math>


==== फूरियर श्रृंखला और फूरियर रूपांतरण ====
==== फूरियर श्रृंखला और फूरियर रूपांतरण ====
{{Main|Fourier series|Fourier transform}}
{{Main|फूरियर श्रृंखला | फूरियर रूपांतरण}}
फूरियर रूपांतरण लागू गणित, विशेष रूप से भौतिकी और सिग्नल प्रोसेसिंग में उपयोगी है। यह एक और इंटीग्रल ऑपरेटर है; यह मुख्य रूप से उपयोगी है क्योंकि यह एक (अस्थायी) डोमेन पर एक फ़ंक्शन को दूसरे (फ़्रीक्वेंसी) डोमेन पर एक फ़ंक्शन में परिवर्तित करता है, एक तरह से प्रभावी रूप से उलटा कार्य करता है। कोई सूचना खोई नहीं है, क्योंकि एक व्युत्क्रम परिवर्तन संकारक है। आवधिक कार्यों के सरल मामले में, यह परिणाम प्रमेय पर आधारित होता है कि किसी निरंतर आवधिक कार्य को [[साइन लहर]]ों और कोसाइन तरंगों की श्रृंखला के योग के रूप में दर्शाया जा सकता है:
फूरियर रूपांतरण गणित, विशेष रूप से भौतिकी और संकेत संसाधन में उपयोगी है। यह एक और समाकल संकारक है, यह मुख्य रूप से उपयोगी है क्योंकि यह एक (अस्थायी) डोमेन पर फलन को दूसरे (आवृत्ती) डोमेन पर फलन में परिवर्तित करता है, एक तरह से प्रभावी रूप से उलटा कार्य करता है। कोई सूचना कि हानि नहीं होती है, क्योंकि एक व्युत्क्रम परिवर्तन संकारक है। आवधिक कार्यों के सरल मामले में, इसका परिणाम प्रमेय पर आधारित होता है कि किसी निरंतर आवधिक कार्य को [[साइन लहर|ज्या तरंगों]] और कोज्या तरंगों की श्रृंखला के योग के रूप में दर्शाया जा सकता है-
<math display="block">f(t) = {a_0 \over 2} + \sum_{n=1}^{\infty}{ a_n \cos ( \omega n t ) + b_n \sin ( \omega n t ) } </math>
<math display="block">f(t) = {a_0 \over 2} + \sum_{n=1}^{\infty}{ a_n \cos ( \omega n t ) + b_n \sin ( \omega n t ) } </math>
टपल (अ़<sub>0</sub>, <sub>1</sub>, बी<sub>1</sub>, <sub>2</sub>, बी<sub>2</sub>, ...) वास्तव में एक अनंत-आयामी सदिश अंतरिक्ष अनुक्रम अंतरिक्ष का एक तत्व है|ℓ{{i sup|2}}, और इस प्रकार फूरियर श्रृंखला एक रैखिक संकारक है।
टपल (a<sub>0</sub>, a<sub>1</sub>, b<sub>1</sub>, a<sub>2</sub>, b<sub>2</sub>, ...) वास्तव में एक अनंत-आयामी सदिश समष्टि ℓ{{i sup|2}} का एक तत्व है, और इस प्रकार फूरियर श्रृंखला एक रैखिक संकारक है।


सामान्य कार्य से निपटने पर <math>\R\to\C</math>, परिवर्तन एक [[अभिन्न]] रूप लेता है:
सामान्य फलन से निपटने पर <math>\R\to\C</math>, रूपांतरण एक [[अभिन्न]] रूप लेता है-
<math display="block">f(t) = {1 \over \sqrt{2 \pi}} \int_{- \infty}^{+ \infty}{g( \omega )e^{ i \omega t } \,d\omega }. </math>
<math display="block">f(t) = {1 \over \sqrt{2 \pi}} \int_{- \infty}^{+ \infty}{g( \omega )e^{ i \omega t } \,d\omega }. </math>


==== लाप्लास रूपांतरण ====
==== लाप्लास रूपांतरण ====
{{Main|Laplace transform}}
{{Main|लाप्लास रूपांतरण}}
लाप्लास परिवर्तन एक अन्य अभिन्न संकारक है और अंतर समीकरणों को हल करने की प्रक्रिया को सरल बनाने में शामिल है।
लाप्लास रूपांतरण एक अन्य अभिन्न संकारक है और अंतर समीकरणों को हल करने की प्रक्रिया को सरल बनाने में सम्मिलित है।


दिया हुआ f = f(s), इसे निम्न द्वारा परिभाषित किया गया है:
दिया हुआ f = f(s), इसे निम्न द्वारा परिभाषित किया गया है-
<math display="block">F(s) = \mathcal{L}\{f\}(s) =\int_0^\infty e^{-st} f(t)\,dt.</math>
<math display="block">F(s) = \mathcal{L}\{f\}(s) =\int_0^\infty e^{-st} f(t)\,dt.</math>


=== अदिश और सदिश क्षेत्रों पर मौलिक संकारक ===
{{Main|सदिश कलन |सदिश क्षेत्र |अदिश क्षेत्र|ग्रेडियेंट|विचलन |कर्ल (गणितीय)|l6=कर्ल}}
[[वेक्टर पथरी|सदिश]] कलन  के लिए तीन संकारक महत्वपूर्ण हैं:
* ग्रेड ([[ग्रेडियेंट]]), (संकारक प्रतीक डेल <math>\nabla</math> के साथ) सदिश क्षेत्र में प्रत्येक बिंदु पर एक [[वेक्टर पथरी|सदिश]] निर्दिष्ट करता है जो उस क्षेत्र की परिवर्तन की सबसे बड़ी दर की दिशा में इंगित करता है और जिसका आदर्श परिवर्तन की उस सबसे बड़ी दर के पूर्ण मान को मापता है।
* दिव([[विचलन]]), (संकारक प्रतीक <math>\nabla \cdot</math> के साथ) एक सदिश संकारक है जो किसी दिए गए बिंदु से किसी सदिश क्षेत्र के विचलन या अभिसरण को मापता है।
* [[कर्ल (गणित)]], (संकारक प्रतीक <math>\nabla \times</math> के साथ) एक सदिश संकारक है जो किसी दिए गए बिंदु के बारे में सदिश क्षेत्र के कर्लिंग (चारों ओर घुमावदार, चारों ओर घूमना) प्रवृत्ति को मापता है।


=== अदिश और सदिश क्षेत्रों पर मौलिक संचालक ===
भौतिकी, इंजीनियरिंग और टेंसर स्पेस के लिए सदिश कलन संकारकों के विस्तार के रूप में, ग्रेड, डिव और कर्ल संकारक भी अक्सर [[टेंसर कैलकुलेशन|टेंसर कलन]] के साथ-साथ सदिश कलन से जुड़े होते हैं।<ref name="Vector and Tensor Operators">{{cite book |isbn= 0-393-92516-1 |title=Div Grad Curl and All that |author=H.M. Schey |location=New York|publisher=W W Norton|year=2005}}</ref>
{{Main|Vector calculus|Vector field|Scalar field|Gradient|Divergence|Curl (mathematics)|l6=Curl}}
[[वेक्टर पथरी]] के लिए तीन ऑपरेटर महत्वपूर्ण हैं:
* ग्रेड ([[ग्रेडियेंट]]), (ऑपरेटर प्रतीक डेल के साथ<math>\nabla</math>) स्केलर फ़ील्ड में प्रत्येक बिंदु पर एक वेक्टर निर्दिष्ट करता है जो उस क्षेत्र की परिवर्तन की सबसे बड़ी दर की दिशा में इंगित करता है और जिसका आदर्श परिवर्तन की उस सबसे बड़ी दर के पूर्ण मूल्य को मापता है।
* Div ([[विचलन]]), (संचालक प्रतीक के साथ Del#Divergence|<math>\nabla \cdot</math>) एक सदिश संचालिका है जो किसी दिए गए बिंदु से किसी सदिश क्षेत्र के विचलन या अभिसरण को मापता है।
* [[कर्ल (गणित)]], (संचालक प्रतीक के साथ Del#Curl|<math>\nabla \times</math>) एक वेक्टर ऑपरेटर है जो किसी दिए गए बिंदु के बारे में वेक्टर फ़ील्ड के कर्लिंग (चारों ओर घुमावदार, चारों ओर घूमना) प्रवृत्ति को मापता है।
 
भौतिकी, इंजीनियरिंग और टेंसर स्पेस के लिए वेक्टर कैलकुलस ऑपरेटरों के विस्तार के रूप में, ग्रेड, डिव और कर्ल ऑपरेटर भी अक्सर [[टेंसर कैलकुलेशन]] के साथ-साथ वेक्टर कैलकुलस से जुड़े होते हैं।<ref name="Vector and Tensor Operators">{{cite book |isbn= 0-393-92516-1 |title=Div Grad Curl and All that |author=H.M. Schey |location=New York|publisher=W W Norton|year=2005}}</ref>
 


== यह भी देखें ==
== यह भी देखें ==
* समारोह (गणित)
* फलन (गणित)
* संचालिका बीजगणित
* बीजगणितीय संकारक
* [[ऑपरेटरों की सूची]]
* [[ऑपरेटरों की सूची|संकारकों की सूची]]


== संदर्भ ==
== संदर्भ ==
{{reflist}}
{{reflist}}
[[Category: बीजगणित]] [[Category: कार्यात्मक विश्लेषण]] [[Category: गणितीय अंकन]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 03/02/2023]]
[[Category:Created On 03/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:कार्यात्मक विश्लेषण]]
[[Category:गणितीय अंकन]]
[[Category:बीजगणित]]

Latest revision as of 15:44, 31 August 2023

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

सबसे बुनियादी संकारक रैखिक मानचित्र हैं, जो सदिश समष्टि पर कार्य करते हैं। रेखीय संचालिकाएँ ऐसे रेखीय मानचित्रों को संदर्भित करती हैं जिनके डोमेन और श्रेणी समान स्थान पर हैं, उदाहरण के लिए से [1] [2]ऐसे संकारक अक्सर निरंतरता जैसे गुणों को संरक्षित करते हैं। उदाहरण के लिए, अवकलन (गणित) और अनिश्चित समाकलन रैखिक संकारक हैं, संकारक जो उनसे निर्मित होते हैं, उन्हें अंतर संकारक, समाकलन संकारक या समाकल अवकल संकारक कहा जाता है।

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

रैखिक संकारक

सबसे आम प्रकार के संकारक का सामना रैखिक संकारकों से होता है। माना U और V क्षेत्र (गणित) K पर सदिश समष्टियाँ है। मानचित्रण (गणित) A: U → V रैखिक है यदि-

सभी x, y के लिए U में और सभी तथा लिए K में। इसका मतलब यह है कि एक रैखिक संकारक सदिश समष्टियों कि संक्रियाओं को संरक्षित करता है, इस अर्थ में कि इससे कोई फर्क नहीं पड़ता कि आप रैखिक संकारक को गुणन की संक्रिया और अदिश गुणन के पहले या बाद में लागू करते हैं या नहीं। अधिक तकनीकी शब्दों में, रैखिक संकारक सदिश समष्टि के बीच मॉर्फिज्म (आकारिता) हैं।

परिमित-आयामी मामले में रैखिक संकारकों को निम्नलिखित तरीके से आव्यूह (गणित) द्वारा दर्शाया जा सकता है। मान लें कि एक क्षेत्र है और तथा , पर परिमित-आयामी सदिश समष्टि हैं। आइए एक आधार चुनें में तथा में । तब माना , में एक यादृच्छिक सदिश है (आइंस्टीन कान्वेंशन मानते हुए), और एक रैखिक संकारक है। तब-

तब निश्चित आधारों में संकारक का आव्यूह है। , की पसंद पर निर्भर नहीं करता है तथा अगर । इस प्रकार निश्चित आधारों में एन-बाय-एम आव्यूह से तक रैखिक संकारकों के लिए द्विभाजित सामंजस्य में हैं।

परिमित-आयामी सदिश समष्टि के बीच संकारकों से सीधे संबंधित महत्वपूर्ण अवधारणाएं आव्यूह रैंक, निर्धारक, व्युत्क्रम संकारक और अभिलक्षणिक समष्टि हैं।

रेखीय संकारक भी अनंत-आयामी मामले में एक बड़ी भूमिका निभाते हैं। रैंक और निर्धारक की अवधारणाओं को अनंत-आयामी आव्यूह तक नहीं बढ़ाया जा सकता है। यही कारण है कि अनंत-आयामी मामले में रैखिक संकारकों (और सामान्य रूप से संकारकों) का अध्ययन करते समय बहुत अलग तकनीकें नियोजित होती हैं। अनंत-आयामी मामले में रैखिक संकारकों के अध्ययन को कार्यात्मक विश्लेषण के रूप में जाना जाता है (इसलिए कहा जाता है क्योंकि कार्यों के विभिन्न वर्ग अनंत-आयामी सदिश समष्टि के महत्वपूर्ण उदाहरण बनाते हैं)।

वास्तविक संख्याओं के अनुक्रम का स्थान या अधिक सामान्यतः किसी सदिश समष्टि में सदिशों के अनुक्रम, स्वयं एक अनंत-आयामी सदिश समष्टि बनाते हैं। सबसे महत्वपूर्ण मामले वास्तविक या जटिल संख्याओं के अनुक्रम हैं और ये स्थान, रैखिक उप-स्थानों के साथ, अनुक्रम समष्टि के रूप में जाने जाते हैं। इन स्थानों पर संकारकों को अनुक्रम परिवर्तन के रूप में जाना जाता है।

मानक संकारक मानदंड के संबंध में बनच समष्टि पर परिबद्ध रैखिक संकारक एक बनच बीजगणित बनाते हैं। बनच बीजगणित का सिद्धांत स्पेक्ट्रम (कार्यात्मक विश्लेषण) की एक बहुत ही सामान्य अवधारणा विकसित करता है जो अभिलक्षणिक समष्टि के सिद्धांत को सामान्य रूप से सामान्यीकृत करता है।

परिबद्ध संकारक

माना U और V एक ही क्रमित क्षेत्र पर दो सदिश समष्टि हैं (उदाहरण के लिए ), और वे मानदंड (गणित) से युक्त हैं। तब U से V तक एक रैखिक संकारक को परिबद्ध कहा जाता है यदि वहाँ C > 0 ऐसा मौजूद हो

में सभी x के लिए।

परिबद्ध संकारक एक सदिश समष्टि बनाते हैं। इस सदिश समष्टि पर हम एक मानदंड पेश कर सकते हैं जो और के मानदंडों के अनुकूल है:

से स्वयं के संकारकों के मामले में यह दिखाया जा सकता है-
इस विशेषता के साथ किसी भी यूनिटल मानदंडों वाली बीजगणित को बनच बीजगणित कहा जाता है। इस तरह के बीजगणितों के लिए वर्णक्रमीय सिद्धांत को सामान्य बनाना संभव है। सी * - बीजगणित, जो कि कुछ अतिरिक्त संरचना वाले बनच बीजगणित हैं, क्वांटम यांत्रिकी में एक महत्वपूर्ण भूमिका निभाते हैं।

उदाहरण

ज्यामिति

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

उदाहरण के लिए, सदिश समष्टि की संरचना को संरक्षित करने वाले द्विभाजित संचालको का ठीक उलटा कार्य रैखिक संचालक का हैं। वे रचना के तहत सामान्य रेखीय समूह बनाते हैं। उदाहरण, वे संचालकों के योग के तहत एक सदिश समष्टि नहीं बनाते हैं। दोनों आईडी और -आईडी व्युत्क्रमणीय (द्विभाजित) हैं, लेकिन उनका योग 0 नहीं है।

ऐसे स्थान पर यूक्लिडियन मीट्रिक को संरक्षित करने वाले संचालक सममिति समूह बनाते हैं, और जो मूलभूत रूप को ठीक करते हैं वे एक उपसमूह बनाते हैं जिसे आयतीय समूह के रूप में जाना जाता है। आयतीय समूह में संचालक जो सदिश टपल के अभिविन्यास को भी संरक्षित करते हैं, विशेष आयतीय समूह या घूर्णन समूह का निर्माण करते हैं।

प्रायिकता सिद्धांत

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

कलन

कार्यात्मक विश्लेषण के दृष्टिकोण से, कलन दो रैखिक संकारकों का अध्ययन है - अवकल संकारक , और वोल्टेरा संकारक

फूरियर श्रृंखला और फूरियर रूपांतरण

फूरियर रूपांतरण गणित, विशेष रूप से भौतिकी और संकेत संसाधन में उपयोगी है। यह एक और समाकल संकारक है, यह मुख्य रूप से उपयोगी है क्योंकि यह एक (अस्थायी) डोमेन पर फलन को दूसरे (आवृत्ती) डोमेन पर फलन में परिवर्तित करता है, एक तरह से प्रभावी रूप से उलटा कार्य करता है। कोई सूचना कि हानि नहीं होती है, क्योंकि एक व्युत्क्रम परिवर्तन संकारक है। आवधिक कार्यों के सरल मामले में, इसका परिणाम प्रमेय पर आधारित होता है कि किसी निरंतर आवधिक कार्य को ज्या तरंगों और कोज्या तरंगों की श्रृंखला के योग के रूप में दर्शाया जा सकता है-

टपल (a0, a1, b1, a2, b2, ...) वास्तव में एक अनंत-आयामी सदिश समष्टि ℓ2 का एक तत्व है, और इस प्रकार फूरियर श्रृंखला एक रैखिक संकारक है।

सामान्य फलन से निपटने पर , रूपांतरण एक अभिन्न रूप लेता है-

लाप्लास रूपांतरण

लाप्लास रूपांतरण एक अन्य अभिन्न संकारक है और अंतर समीकरणों को हल करने की प्रक्रिया को सरल बनाने में सम्मिलित है।

दिया हुआ f = f(s), इसे निम्न द्वारा परिभाषित किया गया है-

अदिश और सदिश क्षेत्रों पर मौलिक संकारक

सदिश कलन के लिए तीन संकारक महत्वपूर्ण हैं:

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

भौतिकी, इंजीनियरिंग और टेंसर स्पेस के लिए सदिश कलन संकारकों के विस्तार के रूप में, ग्रेड, डिव और कर्ल संकारक भी अक्सर टेंसर कलन के साथ-साथ सदिश कलन से जुड़े होते हैं।[3]

यह भी देखें

संदर्भ

  1. Rudin, Walter (1976). "Chapter 9: Functions of Several Variables". Principles of Mathematical Analysis (3rd ed.). McGraw-Hill. p. 207. ISBN 0-07-054235-X. Linear transformations of X into X are often called linear operators on X.
  2. Roman, Steven (2008). "Chapter 2: Linear Transformations". Advanced Linear Algebra (3rd ed.). Springer. p. 59. ISBN 978-0-387-72828-5. 1) A linear transformation from V to V is called a linear operator on V. The set of all linear operators on V is denoted (V). A linear operator on a real vector space is called a real operator and a linear operator on a complex vector space is called a complex operator. ... We should also mention that some authors use the term linear operator for any linear transformation from V to W. ... DefinitionThe following terms are also employed: 2) endomorphism for linear operator ... 6) automorphism for bijective linear operator.
  3. H.M. Schey (2005). Div Grad Curl and All that. New York: W W Norton. ISBN 0-393-92516-1.