बिंदुवार: Difference between revisions
No edit summary |
No edit summary |
||
Line 5: | Line 5: | ||
=== औपचारिक परिभाषा === | === औपचारिक परिभाषा === | ||
बाइनरी संचालन {{math|''o'': ''Y'' × ''Y'' → ''Y''}} उपसमुच्चय पर {{mvar|Y}} किसी संचालन {{math|''O'': (''X''→''Y'') × (''X''→''Y'') → (''X''→''Y'')}} से सभी कार्यों के | बाइनरी संचालन {{math|''o'': ''Y'' × ''Y'' → ''Y''}} उपसमुच्चय पर {{mvar|Y}} किसी संचालन {{math|''O'': (''X''→''Y'') × (''X''→''Y'') → (''X''→''Y'')}} से सभी कार्यों के मंच {{math|''X'' → ''Y''}} के लिए बिंदुवार उठाया जा सकता है। {{mvar|X}} से {{mvar|Y}} इस प्रकार है। दो फलन {{math|''f''<sub>1</sub>: ''X'' → ''Y''}} एवं {{math|''f''<sub>2</sub>: ''X'' → ''Y''}} दिए गए हैं। फलन {{math|''O''(''f''<sub>1</sub>, ''f''<sub>2</sub>): ''X'' → ''Y''}} द्वारा परिभाषित किया जा सकता है। | ||
{{block indent | em = 1.5 | text = {{math|1=(''O''(''f''<sub>1</sub>, ''f''<sub>2</sub>))(''x'') = ''o''(''f''<sub>1</sub>(''x''), ''f''<sub>2</sub>(''x''))}} for all {{math|''x'' ∈ ''X''}}.}} | {{block indent | em = 1.5 | text = {{math|1=(''O''(''f''<sub>1</sub>, ''f''<sub>2</sub>))(''x'') = ''o''(''f''<sub>1</sub>(''x''), ''f''<sub>2</sub>(''x''))}} for all {{math|''x'' ∈ ''X''}}.}} | ||
सामान्यतः ''o'' एवं ''O'' को प्रतीक द्वारा निरूपित किया जाता है। समान परिभाषा का उपयोग यूनरी संचालन ''o'' के लिए एवं अन्य [[arity|एरीटी]] के संचालन के लिए किया जाता है। | सामान्यतः ''o'' एवं ''O'' को प्रतीक द्वारा निरूपित किया जाता है। समान परिभाषा का उपयोग यूनरी संचालन ''o'' के लिए एवं अन्य [[arity|एरीटी]] के संचालन के लिए किया जाता है। | ||
Line 18: | Line 18: | ||
जहाँ <math>f, g : X \to R</math>. | जहाँ <math>f, g : X \to R</math>. | ||
बिंदुवार गुणनफल एवं [[अदिश (गणित)]] भी देखें। | बिंदुवार गुणनफल एवं [[अदिश (गणित)|अदिश]] भी देखें। | ||
कार्यों पर संचालन का उदाहरण जो बिंदुवार नहीं है, [[कनवल्शन]] है। | कार्यों पर संचालन का उदाहरण जो बिंदुवार नहीं है, [[कनवल्शन]] है। | ||
=== गुण === | === गुण === | ||
बिंदुवार संचालन को [[कोडोमेन]] पर संबंधित संचालन से [[ संबद्धता ]], [[ क्रमविनिमेयता ]] एवं [[वितरण]] जैसे गुण मिलते हैं। यदि <math>A</math> कुछ [[बीजगणितीय संरचना]] है, सभी कार्यों का उपसमुच्चय <math>X</math> के [[वाहक सेट|वाहक उपसमुच्चय]] के लिए <math>A</math> को समान प्रकार की बीजगणितीय संरचना में परिवर्तित किया जा सकता है। | बिंदुवार संचालन को [[कोडोमेन]] पर संबंधित संचालन से [[ संबद्धता | संबद्धता]], [[ क्रमविनिमेयता |क्रमविनिमेयता]] एवं [[वितरण]] जैसे गुण मिलते हैं। यदि <math>A</math> कुछ [[बीजगणितीय संरचना]] है, सभी कार्यों का उपसमुच्चय <math>X</math> के [[वाहक सेट|वाहक उपसमुच्चय]] के लिए <math>A</math> को समान प्रकार की बीजगणितीय संरचना के रूप में परिवर्तित किया जा सकता है। | ||
== घटकवार संचालन == | == घटकवार संचालन == | ||
Line 47: | Line 47: | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
{{reflist}} | {{reflist}} | ||
== संदर्भ == | == संदर्भ == |
Revision as of 11:48, 23 April 2023
गणित में, क्वालीफायर बिंदुवार उपयोग यह प्रदर्शित करने के लिए किया जाता है, कि प्रत्येक मान पर विचार करके निश्चित संपत्ति परिभाषित की जाती है किसी फलन का होता है। बिंदुवार अवधारणाओं का महत्वपूर्ण वर्ग संचालन होता है, अर्थात्, परिभाषा के कार्य के डोमेन में प्रत्येक बिंदु के लिए भिन्न-भिन्न मानों को कार्य करने के लिए संचालन को प्रारम्भ करके कार्यों पर परिभाषित संचालन संबंधों के महत्वपूर्ण सिद्धांत को बिंदुवार भी परिभाषित किया जा सकता है।
बिंदुवार संचालन
औपचारिक परिभाषा
बाइनरी संचालन o: Y × Y → Y उपसमुच्चय पर Y किसी संचालन O: (X→Y) × (X→Y) → (X→Y) से सभी कार्यों के मंच X → Y के लिए बिंदुवार उठाया जा सकता है। X से Y इस प्रकार है। दो फलन f1: X → Y एवं f2: X → Y दिए गए हैं। फलन O(f1, f2): X → Y द्वारा परिभाषित किया जा सकता है।
सामान्यतः o एवं O को प्रतीक द्वारा निरूपित किया जाता है। समान परिभाषा का उपयोग यूनरी संचालन o के लिए एवं अन्य एरीटी के संचालन के लिए किया जाता है।
उदाहरण
बिंदुवार गुणनफल एवं अदिश भी देखें।
कार्यों पर संचालन का उदाहरण जो बिंदुवार नहीं है, कनवल्शन है।
गुण
बिंदुवार संचालन को कोडोमेन पर संबंधित संचालन से संबद्धता, क्रमविनिमेयता एवं वितरण जैसे गुण मिलते हैं। यदि कुछ बीजगणितीय संरचना है, सभी कार्यों का उपसमुच्चय के वाहक उपसमुच्चय के लिए को समान प्रकार की बीजगणितीय संरचना के रूप में परिवर्तित किया जा सकता है।
घटकवार संचालन
घटकवार संचालन सामान्यतः सदिश पर परिभाषित होते हैं, जहां सदिश उपसमुच्चय के तत्व होते हैं, कुछ प्राकृतिक संख्या के लिए एवं कुछ क्षेत्र (गणित) यदि हम निरूपित करते हैं, किसी भी सदिश का -वाँ घटक रूप में , तो घटकवार जोड़ है।.
मेट्रिसेस पर घटकवार संचालन को परिभाषित किया जा सकता है। मैट्रिक्स जोड़, जहां घटकवार संचालन है जबकि मैट्रिक्स गुणन नहीं है।
टपल को फलन के रूप में माना जा सकता है, एवं वेक्टर, टपल है। इसलिए, कोई भी वेक्टर फलन से युग्मित होता है। ऐसा है कि , एवं सदिशों पर कोई भी घटकवार संक्रिया उन सदिशों के संगत फलनों पर बिंदुवार प्रचालन होता है।
बिंदुवार संबंध
आदेश सिद्धांत में कार्यों पर बिंदुवार आंशिक क्रम को परिभाषित करना सरल है। A, B आंशिक रूप से आदेशित उपसमुच्चय के साथ, कार्यों A → B का उपसमुच्चय f ≤ g द्वारा आदेश दिया जा सकता है यदि केवल if (∀x ∈ A) f(x) ≤ g(x) बिंदुवार आदेश भी अंतर्निहित पोसेट्स के कुछ गुण प्राप्त करते हैं। उदाहरण के लिए यदि A एवं B निरंतर जालक हैं, तो फलनों का समुच्चय A → B बिंदुवार क्रम में है।[1] कार्यों पर बिंदुवार क्रम का उपयोग करके अन्य महत्वपूर्ण धारणाओं को संक्षिप्त रूप से परिभाषित किया जा सकता है, उदाहरण के लिए:[2]
- पोसेट्स P पर बंद करने वाला ऑपरेटर c अतिरिक्त संपत्ति के साथ P (अर्थात प्रक्षेपण आदेश ) पर मोनोटोनिक एवं आदर्श आत्म-नक्शा है, जो idA ≤ c, जहाँ id पहचान फलन है।
- इसी प्रकार, प्रोजेक्शन ऑपरेटर k को कर्नेल ऑपरेटर कहा जाता है यदि एवं केवल यदि f k ≤ idA होते है।
असीमित बिंदुवार संबंध का उदाहरण कार्यों का बिंदुवार अभिसरण है। कार्यों का अनुक्रम,
होता है।
टिप्पणियाँ
संदर्भ
For order theory examples:
- T. S. Blyth, Lattices and Ordered Algebraic Structures, Springer, 2005, ISBN 1-85233-905-5.
- G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott: Continuous Lattices and Domains, Cambridge University Press, 2003.
This article incorporates material from Pointwise on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.