कप उत्पाद

गणित में, विशेष रूप से बीजगणितीय संस्थितिविज्ञान में, कप उत्पाद डिग्री p और q के दो सहचक्रों को जोड़ने की एक विधि है, डिग्री p + q के एक समग्र सहचक्र बनता है। यह सह समरूपता में एक सहयोगी (और वितरण) श्रेणीबद्ध क्रमविनिमेय उत्पाद संचालन को परिभाषित करता है, एक समष्टि X के सह समरूपता को श्रेणीबद्ध वलय, H^∗(X), जिसे सह समरूपता वलय कहा जाता है। कप उत्पाद 1935-1938 तक जे. डब्ल्यू. अलेक्जेंडर, एडुआर्ड सीच और हस्लर व्हिटनी के काम में प्रस्तावित किया गया था, और, पूर्ण सामान्यता में, 1944 में सैमुअल एलेनबर्ग द्वारा प्रस्तावित किया गया था।

परिभाषा

विलक्षण सह समरूपता में, कप उत्पाद एक रचना है जो एक सांस्थितिक समष्टि X के श्रेणीबद्ध सह समरूपता वलय H^∗(X) पर एक उत्पाद देता है।

रचना कोचेन (बीजीय संस्थितिविज्ञान) के उत्पाद से साथ प्रारंभ होता है: यदि $\alpha ^{p}$ एक p-कोचेन है और $\beta ^{q}$ एक q-कोचैन है, तो

$(\alpha ^{p}\smile \beta ^{q})(\sigma )=\alpha ^{p}(\sigma \circ \iota _{0,1,...p})\cdot \beta ^{q}(\sigma \circ \iota _{p,p+1,...,p+q})$

जहां σ एक विलक्षण (p + q) -संकेतन है और $\iota _{S},S\subset \{0,1,...,p+q\}$ S द्वारा विस्तरित किए गए संकेतन का विहित अंतःस्थापित है $(p+q)$-संकेतन जिसका शीर्षों को $\{0,...,p+q\}$ द्वारा अनुक्रमित किया जाता है।

अनौपचारिक रूप से, $\sigma \circ \iota _{0,1,...,p}$ p-वाँ अग्र फलक है और $\sigma \circ \iota _{p,p+1,...,p+q}$ क्रमशः σ का q-वाँ पार्श्व फलक है।

कोचेन $\alpha ^{p}$ और $\beta ^{q}$ के कप उत्पाद की सहसीमा किसके द्वारा दी गई है

$\delta (\alpha ^{p}\smile \beta ^{q})=\delta {\alpha ^{p}}\smile \beta ^{q}+(-1)^{p}(\alpha ^{p}\smile \delta {\beta ^{q}}).$

दो सह चक्र का कप उत्पाद फिर से एक सह चक्र है, और एक सह चक्र के साथ एक सहसीमा का उत्पाद (किसी भी क्रम में) एक सहसीमा है। कप उत्पाद संचालन सह समरूपता पर द्विरैखिक संचालन को प्रेरित करता है,

$H^{p}(X)\times H^{q}(X)\to H^{p+q}(X).$

गुण

सह समरूपता में कप उत्पाद संचालन अस्मिता को संतुष्ट करता है

$\alpha ^{p}\smile \beta ^{q}=(-1)^{pq}(\beta ^{q}\smile \alpha ^{p})$

ताकि संबंधित गुणन श्रेणीबद्ध-क्रमविनिमेय हो।

कप उत्पाद क्रियात्मक है, निम्नलिखित अर्थों में: यदि

$f\colon X\to Y$

एक सतत फलन है, और

$f^{*}\colon H^{*}(Y)\to H^{*}(X)$

सह समरूपता में प्रेरित समरूपता है, तब

$f^{*}(\alpha \smile \beta )=f^{*}(\alpha )\smile f^{*}(\beta ),$

H ^*(Y) में सभी वर्गों α, β के लिए है। दूसरे शब्दों में, f ^* एक (श्रेणीबद्ध) वलय समरूपता है।

व्याख्या

कप उत्पाद को देखना संभव है $\smile \colon H^{p}(X)\times H^{q}(X)\to H^{p+q}(X)$ जैसा कि निम्नलिखित संयोजना से प्रेरित है:

$\displaystyle C^{\bullet }(X)\times C^{\bullet }(X)\to C^{\bullet }(X\times X){\overset {\Delta ^{*}}{\to }}C^{\bullet }(X)$

$X$ और $X\times X$ के श्रृंखला परिसरों के संदर्भ में, जहां पहला मानचित्र कुनेथ मानचित्र है और दूसरा विकर्ण $\Delta \colon X\to X\times X$ द्वारा प्रेरित मानचित्र है।

यह संयोजना सह समरूपता के संदर्भ में एक अच्छी तरह से परिभाषित मानचित्र देने के लिए भागफल से पारित होती है, यह कप उत्पाद है। यह दृष्टिकोण समरूपता के लिए एक कप उत्पाद के अस्तित्व की व्याख्या करता है, लेकिन समरूपता के लिए नहीं: $\Delta \colon X\to X\times X$ एक मानचित्र प्रेरित करता है $\Delta ^{*}\colon H^{\bullet }(X\times X)\to H^{\bullet }(X)$ लेकिन एक मानचित्र भी प्रेरित करेगा $\Delta _{*}\colon H_{\bullet }(X)\to H_{\bullet }(X\times X)$, जो किसी उत्पाद को परिभाषित करने की अनुमति देने के लिए असत् प्रकार से जाता है। हालांकि यह कैप उत्पाद को परिभाषित करने में उपयोगी है।

कप उत्पाद की इस प्रस्तुति से द्विरेखीयता आती है, अर्थात $(u_{1}+u_{2})\smile v=u_{1}\smile v+u_{2}\smile v$ और $u\smile (v_{1}+v_{2})=u\smile v_{1}+u\smile v_{2}.$

उदाहरण

कप उत्पादों का उपयोग समान सह समरूपता समूहों के साथ समष्टि के वैज से बहुरूपता को अलग करने के लिए किया जा सकता है। समष्टि $X:=S^{2}\vee S^{1}\vee S^{1}$ में टोरस T के समान सह समरूपता समूह हैं, लेकिन एक अलग कप उत्पाद के साथ है। X के प्रकरण में $S^{1}$ प्रतियों से जुड़े कोचेन का गुणन पतित है, जबकि T गुणा में पहले सह समरूपता समूह में टोरस को 2-सेल आरेख के रूप में विघटित करने के लिए उपयोजित किया जा सकता है, इस प्रकार Z के समान उत्पाद होता है (अधिक सामान्यतः M जहां यह आधार प्रतिरूपक है)।

अन्य परिभाषाएँ

कप उत्पाद और अंतर रूप

डी रम सह समरूपता में, विभेदक रूपों के कप उत्पाद वैज उत्पाद से प्रेरित होते हैं। दूसरे शब्दों में, दो बंद अंतर रूपों का वैज उत्पाद दो मूल डे राम वर्गों के कप उत्पाद के डे राम वर्ग से संबंधित है।

कप उत्पाद और ज्यामितीय प्रतिच्छेदन

योजक संख्या को शृंखला के पूरक पर गैर-लुप्त होने वाले कप उत्पाद के संदर्भ में परिभाषित किया जा सकता है। $\mathbb {R} ^{3}$ विरूपण में इन दो जुड़े मंडलियों का पूरक एक टोरस और 2-गोले के एक वैज योग के लिए वापस जाता है, जिसमें डिग्री 1 में एक गैर-लुप्त होने वाला कप उत्पाद होता है।

अभिविन्यस्त बहुरूपता के लिए, एक ज्यामितीय अनुमान है कि ''कप उत्पाद प्रतिच्छेदन के लिए द्वैध है''।

वास्तव में, $M$ को आयाम $n$ के एक उन्मुख सुचारू बहुरूपता होने दें। यदि दो उपबहुरूपता $A,B$ सहआयाम $i$ और $j$ अनुप्रस्थतः प्रतिच्छेद करते हैं, तो उनका प्रतिच्छेदन $A\cap B$ फिर से सहआयाम $i+j$ का एक उपबहुरूपता है। समावेशन के अंतर्गत इन बहुरूपता के मौलिक समरूपता वर्गों की प्रतिबिंबो को लेकर, समरूपता पर एक द्विरैखिक उत्पाद प्राप्त कर सकते हैं। यह उत्पाद कप उत्पाद के लिए पॉइनकेयर द्वैध है, इस अर्थ में कि पॉइनकेयर की जोड़ी $[A]^{*},[B]^{*}\in H^{i},H^{j}$ लेने पर निम्नलिखित समानता है:

$[A]^{*}\smile [B]^{*}=[A\cap B]^{*}\in H^{i+j}(X,\mathbb {Z} )$.

इसी तरह, योजक संख्या को प्रतिच्छेदन के संदर्भ में परिभाषित किया जा सकता है, आयामों को 1 से स्थानांतरित किया जा सकता है, या वैकल्पिक रूप से शृंखला के पूरक पर गैर-लुप्त होने वाले कप उत्पाद के संदर्भ में किया जा सकता है।

मैसी उत्पाद

मैसी उत्पाद कप उत्पाद का सामान्यीकरण करते हैं, जिससे किसी को उच्च क्रम योजक संख्या, मिल्नोर अपरिवर्तनीय को परिभाषित करने की अनुमति मिलती है।

Main article: मैसी उत्पाद

कप उत्पाद एक द्विआधारी (2-एरी) संचालन है; एक त्रिगुट (3-एरी) और उच्च क्रम संचालन को परिभाषित कर सकता है जिसे मैसी उत्पाद कहा जाता है, जो कप उत्पाद को सामान्य करता है। यह एक उच्च क्रम सह समरूपता संचालन है, जो केवल आंशिक रूप से परिभाषित है (केवल कुछ त्रिगुणों के लिए परिभाषित)।

यह भी देखें

• विलक्षण समरूपता
• होमोलॉजी सिद्धांत
• कैप उत्पाद
• मैसी उत्पाद
• टोरेली समूह

संदर्भ

• James R. Munkres, "Elements of Algebraic Topology", Perseus Publishing, Cambridge Massachusetts (1984) ISBN 0-201-04586-9 (hardcover) ISBN 0-201-62728-0 (paperback)
• Glen E. Bredon, "Topology and Geometry", Springer-Verlag, New York (1993) ISBN 0-387-97926-3
• Allen Hatcher, "Algebraic Topology", Cambridge Publishing Company (2002) ISBN 0-521-79540-0