परिचय GitHub Coach लॉग इन पढ़ना शुरू करें

गणित · शब्दावली

एकांतर फलनिक क्या है?

अन्य नाम: एकांतर रूप

परिभाषा 2.13 विश्वविद्यालय गणित — स्नातक वर्ष 2 · अध्याय 2 — रैखिक बीजगणित

कोई प्रतिचित्रण f ⁣:EnKf \colon E^n \to K nn-रैखिक कहलाता है जब वह प्रत्येक चर में रैखिक हो, और एकांतर तब जब दो कोटियाँ बराबर होते ही वह लुप्त हो जाए। एकांतर होने से प्रतिसममित होना निकलता है: दो कोटियाँ आपस में बदलने पर चिह्न बदल जाता है (f(,x+y,,x+y,)=0f(\dots, x + y, \dots, x + y, \dots) = 0 को खोलिए); और अधिक सामान्य रूप में, σSn\sigma \in \mathfrak{S}_n के लिए

f(xσ(1),,xσ(n))=ε(σ)f(x1,,xn),f(x_{\sigma(1)}, \dots, x_{\sigma(n)}) = \varepsilon(\sigma)\, f(x_1, \dots, x_n),

जो σ\sigma को पार्ययों में अपघटित करने से मिलता है (प्रमेय 1.21)।

उदाहरण

उदाहरण 2.15 (सारुस, व्युत्पन्न और ध्वस्त)

n=3n = 3 के लिए क्रमचय सूत्र में ठीक 3!=63! = 6 पद होते हैं। S3\mathfrak{S}_3 को चिह्न के अनुसार सूचीबद्ध करने पर — id\mathrm{id}, (123)(1\,2\,3), (132)(1\,3\,2) सम; (12)(1\,2), (13)(1\,3), (23)(2\,3) विषम — मिलता है

detA=a11a22a33+a21a32a13+a31a12a23a21a12a33a31a22a13a11a32a23:\det A = a_{11}a_{22}a_{33} + a_{21}a_{32}a_{13} + a_{31}a_{12}a_{23} - a_{21}a_{12}a_{33} - a_{31}a_{22}a_{13} - a_{11}a_{32}a_{23} :

अर्थात् ठीक वही “विकर्णों” वाला सारुस नियम जो विद्यालय में पढ़ाया जाता है — अब एक प्रमेय, जिसमें रहस्यमय चिह्न चिह्न-फलन के रूप में पहचान लिए गए हैं। और ध्वंस: n=4n = 4 के लिए 2424 क्रमचय होते हैं, जिनमें से किसी भी विकर्ण-खींचने वाली योजना से केवल 88 ही पकड़ में आते हैं; सारुस का घात-44 वाला कोई रूप नहीं है, और वहाँ सहगुणनखंड प्रसार (प्रमेय 2.17 (4)) मोर्चा सँभाल लेता है। पदों की गिनती एक चेतावनी भी है: क्रमचय सूत्र में n!n! पद होते हैं, अतः वह एक परिभाषा है, कलनविधि नहीं — पंक्ति समानयन det\det को O(n3)O(n^3) संक्रियाओं में परिकलित कर देता है।

अध्याय में पढ़ें →
परिभाषा 21.1 विश्वविद्यालय गणित — स्नातक वर्ष 3 · अध्याय 21 — अवकल रूप और स्टोक्स की प्रमेय

मान लीजिए EE विमा nn की कोई वास्तविक सदिश समष्टि है। EE पर kk-रैखिक एकांतर रूप ऐसा प्रतिचित्रण α ⁣:EkR\alpha\colon E^k \to \R है जो प्रत्येक चर में रैखिक हो और जिसके लिए दो कोटियाँ बराबर होने पर α(v1,,vk)=0\alpha(v_1, \dots, v_k) = 0 हो। उनकी समष्टि ΛkE\Lambda^k E^* लिखी जाती है; और परिपाटी से Λ0E=R\Lambda^0E^* = \R। एकांतरता प्रतिसममिति अनिवार्य कर देती है: दो कोटियों की अदला-बदली चिह्न बदल देती है (α(,v+w,,v+w,)=0\alpha(\dots, v + w, \dots, v + w, \dots) = 0 का प्रसार कीजिए), और अधिक व्यापक रूप से प्रत्येक क्रमचय σ\sigma के लिए α(vσ(1),,vσ(k))=ε(σ)α(v1,,vk)\alpha(v_{\sigma(1)}, \dots, v_{\sigma(k)}) = \varepsilon(\sigma)\,\alpha(v_1, \dots, v_k)

अध्याय में पढ़ें →