वृत्त समूह

गणित में, वृत्त समूह, द्वारा निरूपित किया जाता है $$\mathbb T$$ या $$\mathbb S^1$$, निरपेक्ष मान#जटिल संख्या 1 के साथ सभी सम्मिश्र संख्याओं का गुणक समूह है, यानी, सम्मिश्र तल में इकाई वृत्त या केवल इकाई सम्मिश्र संख्याएँ

$$\mathbb T = \{ z \in \mathbb C : |z| = 1 \}.$$ वृत्त समूह का एक उपसमूह बनाता है $$\mathbb C^\times$$, सभी अशून्य सम्मिश्र संख्याओं का गुणन समूह। तब से $$\mathbb C^\times$$ एबेलियन समूह है, यह इस प्रकार है $$\mathbb T$$ साथ ही है।

सर्कल समूह में एक इकाई जटिल संख्या मूल के बारे में जटिल विमान के रोटेशन (गणित) का प्रतिनिधित्व करती है और इसे कोण माप द्वारा पैरामीट्रिज किया जा सकता है $$\theta$$:

$$\theta \mapsto z = e^{i\theta} = \cos\theta + i\sin\theta.$$यह सर्कल समूह के लिए घातीय मानचित्र (झूठ सिद्धांत) है। सर्कल समूह पोंट्रीगिन द्वैत में और झूठ समूहों के सिद्धांत में एक केंद्रीय भूमिका निभाता है।

अंकन $$\mathbb T$$ सर्कल समूह के लिए इस तथ्य से उपजा है कि, मानक टोपोलॉजी (नीचे देखें) के साथ, सर्कल समूह 1- टोरस्र्स है। आम तौर पर अधिक, $$\mathbb T^n$$ (समूहों का प्रत्यक्ष उत्पाद $$\mathbb T$$ खुद के साथ $$n$$ टाइम्स) ज्यामितीय रूप से एक है $$n$$-विश्वास। सर्कल ग्रुप विशेष ऑर्थोगोनल ग्रुप के लिए ग्रुप आइसोमोर्फिज्म है $$\mathrm{SO}(2)$$.

प्रारंभिक परिचय
वृत्त समूह के बारे में सोचने का एक तरीका यह है कि यह वर्णन करता है कि कोणों को कैसे जोड़ा जाए, जहाँ केवल 0° और 360° के बीच के कोण हों या $$\in[0, 2\pi)$$ या $$\in(-\pi,+\pi]$$ अनुमति है। उदाहरण के लिए, आरेख दिखाता है कि 150° को 270° में कैसे जोड़ा जाए। जवाब है 150° + 270° = 420°, लेकिन सर्कल समूह के संदर्भ में सोचते समय, हम इस तथ्य को भूल सकते हैं कि हमने सर्कल के चारों ओर लपेट लिया है। इसलिए, हम अपने उत्तर को 360° से समायोजित करते हैं, जो देता है 420° ≡ 60° (mod 360°).

एक अन्य विवरण साधारण (वास्तविक) जोड़ के संदर्भ में है, जहां केवल 0 और 1 के बीच की संख्या की अनुमति है (1 पूर्ण रोटेशन के अनुरूप: 360° या $$2\pi$$), यानी वास्तविक संख्याएँ पूर्णांकों को मापती हैं: $\mathbb T \cong \R/\Z$. इसे दशमलव बिंदु से पहले आने वाले अंकों को हटाकर प्राप्त किया जा सकता है। उदाहरण के लिए, जब हम व्यायाम करते हैं 0.4166... + 0.75, उत्तर 1.1666 है..., लेकिन हम अग्रणी 1 को फेंक सकते हैं, इसलिए उत्तर (वृत्त समूह में) सिर्फ है $$0.1\bar{6} \equiv 1.1\bar{6} \equiv -0.8\bar{3}\;(\text{mod}\,\Z)$$ कुछ वरीयता के साथ 0.166..., क्योंकि $0.1\bar{6} \in [0,1)$.

सामयिक और विश्लेषणात्मक संरचना
वृत्त समूह केवल एक सार बीजगणितीय वस्तु से अधिक है। इसकी एक प्राकृतिक टोपोलॉजी है जब इसे जटिल विमान के उप-क्षेत्र (टोपोलॉजी) के रूप में माना जाता है। चूंकि गुणा और व्युत्क्रमण निरंतर फलन (टोपोलॉजी) पर होते हैं $$\mathbb C^\times$$, सर्कल समूह में एक सामयिक समूह की संरचना होती है। इसके अलावा, चूंकि यूनिट सर्कल जटिल विमान का एक बंद उपसमुच्चय है, सर्कल समूह का एक बंद उपसमूह है $$\mathbb C^\times$$ (खुद को एक सामयिक समूह के रूप में माना जाता है)।

कोई और भी कह सकता है। सर्कल एक 1-आयामी वास्तविक कई गुना है, और गुणा और व्युत्क्रम विश्लेषणात्मक कार्य हैं। चक्र पर वास्तविक-विश्लेषणात्मक मानचित्र। यह सर्कल समूह को एक-पैरामीटर समूह की संरचना देता है, एक लाई समूह का एक उदाहरण। वास्तव में, आइसोमोर्फिज्म तक, यह अद्वितीय 1-आयामी कॉम्पैक्ट जगह,  जुड़ा हुआ स्थान  ली ग्रुप है। इसके अलावा, हर $$n$$-डायमेंशनल कॉम्पैक्ट, कनेक्टेड, एबेलियन लाइ ग्रुप आइसोमॉर्फिक है $$\mathbb T^n$$.

समाकृतिकता
वृत्त समूह गणित में विभिन्न रूपों में दिखाई देता है। हम यहां कुछ अधिक सामान्य रूपों की सूची दे रहे हैं। विशेष रूप से, हम दिखाते हैं

$$\mathbb T \cong \mbox{U}(1) \cong \mathbb R/\mathbb Z \cong \mathrm{SO}(2).$$ ध्यान दें कि स्लैश (/) यहाँ भागफल समूह को दर्शाता है।

सभी 1×1 एकात्मक मैट्रिक्स का सेट सर्कल समूह के साथ स्पष्ट रूप से मेल खाता है; एकात्मक स्थिति इस स्थिति के समतुल्य है कि इसके तत्व का पूर्ण मान 1 है। इसलिए, वृत्त समूह कैनोनिक रूप से आइसोमोर्फिक है $$\mathrm{U}(1)$$, पहला एकात्मक समूह।

घातीय कार्य एक समूह समरूपता को जन्म देता है $$\exp : \mathbb R \to \mathbb T$$ योज्य वास्तविक संख्याओं से $$\mathbb R$$ मंडली समूह को $$\mathbb T$$ मानचित्र के माध्यम से

$$\theta \mapsto e^{i\theta} = \cos\theta + i \sin \theta.$$ अंतिम समानता यूलर का सूत्र या जटिल घातांक है। वास्तविक संख्या θ इकाई वृत्त पर कोण ( कांति में) से मेल खाती है, जैसा कि धनात्मक x अक्ष से वामावर्त मापा जाता है। यह मानचित्र एक समरूपता है इस तथ्य से अनुसरण करता है कि इकाई जटिल संख्याओं का गुणन कोणों के जोड़ से मेल खाता है:

$$e^{i\theta_1} e^{i\theta_2} = e^{i(\theta_1+\theta_2)}.$$ यह घातीय मानचित्र स्पष्ट रूप से एक विशेषण कार्य है $$\mathbb R$$ को $$\mathbb T$$. हालाँकि, यह इंजेक्शन नहीं है। इस मानचित्र का कर्नेल (समूह सिद्धांत) सभी पूर्णांक गुणकों का समूह है $$2\pi$$. पहले समरूपता प्रमेय द्वारा हमारे पास वह है

$$\mathbb T \cong \mathbb R/2\pi\mathbb Z.$$ रीस्केलिंग के बाद हम यह भी कह सकते हैं $$\mathbb T$$ के लिए आइसोमोर्फिक है $$\mathbb R / \mathbb Z$$.

यदि जटिल संख्याएं 2 × 2 वास्तविक मैट्रिक्स (गणित) (जटिल संख्या देखें) के रूप में महसूस की जाती हैं, तो इकाई जटिल संख्याएं इकाई निर्धारक के साथ 2 × 2 ऑर्थोगोनल मेट्रिसेस के अनुरूप होती हैं। विशेष रूप से, हमारे पास है

$$ e^{i\theta} \leftrightarrow \begin{bmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \\ \end{bmatrix} = f\left(e^{i\theta}\right). $$ यह फ़ंक्शन दिखाता है कि विशेष ऑर्थोगोनल समूह के लिए सर्कल समूह Group_isomorphism है $$\mathrm{SO}(2)$$ तब से $$ f\left(e^{i\theta_1} e^{i\theta_2}\right) = \begin{bmatrix} \cos(\theta_1 + \theta_2) & -\sin(\theta_1 + \theta_2) \\ \sin(\theta_1 + \theta_2) & \cos(\theta_1 + \theta_2) \end{bmatrix} = f\left(e^{i\theta_1}\right) \times f\left(e^{i\theta_2}\right), $$ कहाँ $$\times$$ मैट्रिक्स गुणन है।

इस समरूपता की ज्यामितीय व्याख्या है कि एक इकाई सम्मिश्र संख्या द्वारा गुणा करना सम्मिश्र (और वास्तविक) तल में एक उचित घूर्णन है, और ऐसा प्रत्येक घूर्णन इसी रूप का है।

गुण
हर कॉम्पैक्ट झूठ समूह $$\mathrm{G}$$ आयाम का > 0 का एक उपसमूह वृत्त समूह के समरूपी है। इसका मतलब यह है कि, समरूपता के संदर्भ में सोचने पर, लगातार कार्य करने वाले एक कॉम्पैक्ट समरूपता समूह से एक-पैरामीटर सर्कल उपसमूहों के अभिनय की उम्मीद की जा सकती है; भौतिक प्रणालियों में परिणाम देखे जाते हैं, उदाहरण के लिए, घूर्णी आक्रमण और सहज समरूपता टूटने पर।

वृत्त समूह में कई उपसमूह होते हैं, लेकिन इसका एकमात्र उचित बंद उपसमूह एकता की जड़ से बना होता है: प्रत्येक पूर्णांक के लिए $n > 0$, द $$n$$-एकता की जड़ें एक चक्रीय समूह बनाती हैं order $n$, जो समरूपता तक अद्वितीय है।

ठीक उसी तरह जैसे कि वास्तविक संख्याएँ द्विअर्थी परिमेय की पूर्णता (टोपोलॉजी) हैं|बी-ऐडिक परिमेय $$\Z[\tfrac1b]$$ प्रत्येक प्राकृतिक संख्या के लिए $$b > 1$$, वृत्त समूह Prüfer समूह का समापन है $$\Z[\tfrac1b]/\Z$$ के लिए $$b$$, प्रत्यक्ष सीमा द्वारा दिया गया $$\varinjlim \mathbb{Z}/ b^n \mathbb{Z}$$.

प्रतिनिधित्व
सर्कल समूह के समूह प्रतिनिधित्व का वर्णन करना आसान है। शूर के लेम्मा से यह पता चलता है कि एबेलियन समूह के इरेड्यूसिबल प्रतिनिधित्व जटिल संख्या प्रतिनिधित्व सभी 1-आयामी हैं। चूंकि सर्कल समूह कॉम्पैक्ट है, कोई भी प्रतिनिधित्व $$\rho: \mathbb T \to \mathrm{GL}(1, \mathbb C) \cong \mathbb C^\times$$ में मान लेना चाहिए $$\mbox{U}(1) \cong \mathbb T$$. इसलिए, वृत्त समूह के अलघुकरणीय अभ्यावेदन केवल वृत्त समूह से स्वयं के लिए समूह समरूपता हैं।

ये अभ्यावेदन सभी असमान हैं। प्रतिनिधित्व $$\phi_{-n}$$ संयुग्मित प्रतिनिधित्व है $$\phi_{n}$$:

$$\phi_{-n} = \overline{\phi_n}.$$ ये निरूपण केवल वृत्त समूह के वर्ण (गणित) हैं। का वर्ण समूह $$\mathbb T$$ स्पष्ट रूप से द्वारा उत्पन्न एक अनंत चक्रीय समूह है $$\phi_1$$:

$$\operatorname{Hom}(\mathbb T, \mathbb T) \cong \mathbb Z.$$ वृत्त समूह के अलघुकरणीय वास्तविक संख्या निरूपण तुच्छ निरूपण (जो 1-आयामी है) और निरूपण हैं $$\rho_n(e^{i\theta}) = \begin{bmatrix} \cos n\theta & -\sin n\theta \\ \sin n\theta & \cos n\theta \end{bmatrix}, \quad n \in \mathbb Z^+,$$ मान लेना $$\mathrm{SO}(2)$$. यहाँ हमारे पास केवल धनात्मक पूर्णांक हैं $$n$$, प्रतिनिधित्व के बाद से $$\rho_{-n}$$ के बराबर है $$\rho_n$$.

समूह संरचना
मंडल समूह $$\mathbb T$$ विभाज्य समूह है। इसका मरोड़ उपसमूह सभी के सेट द्वारा दिया गया है $$n$$-सभी के लिए एकता की जड़ $$n$$ और आइसोमॉर्फिक है $$\mathbb Q / \mathbb Z$$. विभाज्य समूह # विभाज्य समूहों के लिए विभाज्य समूहों की संरचना प्रमेय और पसंद के स्वयंसिद्ध एक साथ हमें बताते हैं कि $$\mathbb T$$ के एबेलियन समूहों के प्रत्यक्ष योग के लिए आइसोमोर्फिक है $$\mathbb Q / \mathbb Z$$ की कई प्रतियों के साथ $$\mathbb Q$$.

प्रतियों की संख्या $$\mathbb Q$$ होना चाहिए $$\mathfrak c$$ (सातत्य की कार्डिनैलिटी) प्रत्यक्ष योग की कार्डिनैलिटी के सही होने के लिए। लेकिन का सीधा योग $$\mathfrak c$$ की प्रतियां $$\mathbb Q$$ के लिए आइसोमोर्फिक है $$\mathbb R$$, जैसा $$\mathbb R$$ आयाम का एक सदिश स्थान है $$\mathfrak c$$ ऊपर $$\mathbb Q$$. इस प्रकार

$$\mathbb T \cong \mathbb R \oplus (\mathbb Q / \mathbb Z).$$ समरूपता

$$\mathbb C^\times \cong \mathbb R \oplus (\mathbb Q / \mathbb Z)$$ उसी तरह साबित किया जा सकता है, चूंकि $$\mathbb C^\times$$ एक विभाज्य एबेलियन समूह भी है जिसका मरोड़ उपसमूह मरोड़ उपसमूह के समान है $$\mathbb T$$.

यह भी देखें

 * यूनिट सर्कल पर तर्कसंगत बिंदुओं का समूह
 * एक-पैरामीटर उपसमूह
 * एन-क्षेत्र |$n$-वृत्त
 * ऑर्थोगोनल समूह
 * चरण कारक (क्वांटम-यांत्रिकी में आवेदन)
 * घूर्णन संख्या
 * सोलेनॉइड (गणित)

अग्रिम पठन

 * Hua Luogeng (1981) Starting with the unit circle, Springer Verlag, ISBN 0-387-90589-8.

बाहरी संबंध

 * Homeomorphism and the Group Structure on a Circle