जॉर्डन वक्र प्रमेय

जॉर्डन वक्र प्रमेय का चित्रण। एक जॉर्डन वक्र (काले रंग में खींचा गया) विमान को एक आंतरिक क्षेत्र (हल्का नीला) और एक बाहरी क्षेत्र (गुलाबी) में विभाजित करता है।

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

इसका पहला प्रमाण गणितज्ञ केमिली जॉर्डन ने पाया था, इसलिए जॉर्डन वक्र प्रमेय को गणितज्ञ केमिली जॉर्डन के नाम से भी जाना जाता है। गणितज्ञों द्वारा सोचा गया था कि इस प्रमाण में बहुत सी कमियां होगी और पहला कठोर प्रमाण ओसवाल्ड वेब्लेन ने किया गया था। लेकिन, इस धारणा को थॉमस कॉलिस्टर हेल्स और अन्य लोगो ने बदल दिया है।

परिभाषाएं और जॉर्डन प्रमेय का अर्थ

एक जॉर्डन वक्र 'आर ' में साधारण बंद वक्र² के एक वृत्त के समतल में एक निरंतर इंजेक्शन मानचित्र है, एस¹ → आर^{2 समतल [a, b] में जॉर्डन चाप एक बंद और बंधे हुए अंतराल के इंजेक्शन निरंतर मानचित्र की छवि है।}

यह एक समतल वक्र है जो आवश्यक रूप से ना विभेदक वक्र है और ना ही बीजीय वक्र है। जॉर्डन वक्र मानचित्र की छवि है φ: [0,1] → 'आर'^{2 जैसे कि φ(0) = φ(1) और φ से [0,1) का रुकावट इंजेक्शन है। दो स्थितियां हैं पहली स्थिति में सी एक लूप है, दूसरी स्थिति में सी आत्म-रुकावट बिंदु नहीं है।}

इन परिभाषाओं के अनुसार, जॉर्डन वक्र प्रमेय को कहा जा सकता है:

Theorem — Let C be a Jordan curve in the plane R². Then its complement, R² \ C, consists of exactly two connected components. One of these components is bounded (the interior) and the other is unbounded (the exterior), and the curve C is the boundary of each component.

इसके विपरीत, जॉर्डन चाप समतल क्षेत्र से जुड़ा हुआ हैI

सबूत और सामान्यीकरण

जॉर्डन वक्र प्रमेय को एच. लेबेस्ग्यू और एल.ई.जे. ने उच्च आयामों के लिए सामान्यीकृत किया था। जिसके परिणामस्वरूप 1911 में ब्रौवर के द्वारा जॉर्डन-ब्राउवर प्रमेय को अलग किया गया।

Theorem — Let X be an n-dimensional topological sphere in the (n+1)-dimensional Euclidean space Rⁿ⁺¹ (n > 0), i.e. the image of an injective continuous mapping of the n-sphere Sⁿ into Rⁿ⁺¹. Then the complement Y of X in Rⁿ⁺¹ consists of exactly two connected components. One of these components is bounded (the interior) and the other is unbounded (the exterior). The set X is their common boundary.

होमोलॉजी सिद्धांत का उपयोग करके साधारणतया एक्स के-क्षेत्र के लिए होमियोमॉर्फिक है, वाई = 'आर' के कम किए गए होमोलॉजी समूहⁿ⁺¹ \ X इस प्रकार हैं:

$${\tilde {H}}_{q}(Y)={\begin{cases}\mathbb {Z} ,&q=n-k{\text{ or }}q=n,\\\{0\},&{\text{otherwise}}.\end{cases}}$$

यह मेयर-विएटोरिस अनुक्रम का उपयोग करके के(k) में प्रेरण द्वारा सिद्ध होता है। जब एन(n) = के(k), वाई(Y) के उपरांत ज़ीरोथ होमोलॉजी का रैंक 1 होता है, जिसका अर्थ है कि वाई(Y) में 2 घटक जुड़े हैं और थोड़े काम के साथ यह दिखता है कि उनकी सामान्य सीमा एक्स(X) है। सामान्यीकरण जेम्स वाडेल अलेक्जेंडर II जे द्वारा पाया गया। डब्ल्यू एलेक्जेंडर, जिन्होंने 'आरएन + 1' कॉम्पैक्ट स्पेस सबसेट एक्स के कम होमोलोजी और इसके पूरक के कम कोहोलॉजी के बीच सिकंदर द्वैत की स्थापना की। यदि एक्स बिना सीमा के 'आर ⁿ⁺¹' (या 'एस'ⁿ⁺¹) का n-आयामी सघन जोड़ सबमैनफोल्ड है तो इसके पूरक में 2 घटक जुड़े हैं।

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

असतत संस्करण

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

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

इमेज प्रोसेसिंग के लिए आवेदन

डिजिटल इमेज प्रोसेसिंग में, एक बाइनरी चित्र 0 और 1 का असतत वर्ग ग्रिड है, या समकक्ष, का एक कॉम्पैक्ट उपसमुच्चय है $\mathbb {Z} ^{2}$. टोपोलॉजिकल इनवेरिएंट ऑन $\mathbb {R} ^{2}$, जैसे कि घटकों की संख्या, के लिए अच्छी तरह से परिभाषित होने में विफल हो सकती है $\mathbb {Z} ^{2}$ यदि $\mathbb {Z} ^{2}$ उपयुक्त रूप से परिभाषित पिक्सेल कनेक्टिविटी नहीं है#कनेक्टिविटी के प्रकार।

पर दो स्पष्ट ग्राफ संरचनाएं हैं $\mathbb {Z} ^{2}$:

8-पड़ोसी और 4-पड़ोसी वर्ग ग्रिड।

* 4-पड़ोसी वर्ग ग्रिड , जहां प्रत्येक शीर्ष $(x,y)$ के साथ जुड़ा हुआ है $(x+1,y),(x-1,y),(x,y+1),(x,y-1)$.

• 8-पड़ोसी वर्ग ग्रिड , जहाँ प्रत्येक शीर्ष $(x,y)$ के साथ जुड़ा हुआ है $(x',y')$ आईएफएफ $|x-x'|\leq 1,|y-y'|\leq 1$, तथा $(x,y)\neq (x',y')$.

दोनों ग्राफ संरचनाएं मजबूत हेक्स प्रमेय को संतुष्ट करने में विफल रहती हैं। 4-पड़ोसी वर्ग ग्रिड एक गैर-विजेता स्थिति की अनुमति देता है, और 8-पड़ोसी वर्ग ग्रिड दो-विजेता स्थिति की अनुमति देता है। नतीजतन, कनेक्टिविटी गुण $\mathbb {R} ^{2}$, जैसे कि जॉर्डन वक्र प्रमेय, को सामान्यीकृत न करें $\mathbb {Z} ^{2}$ या तो ग्राफ संरचना के तहत।

यदि 6-पड़ोसी वर्ग ग्रिड संरचना पर लगाया जाता है $\mathbb {Z} ^{2}$, तो यह हेक्सागोनल ग्रिड है, और इस प्रकार मजबूत हेक्स प्रमेय को संतुष्ट करता है, जिससे जॉर्डन वक्र प्रमेय सामान्य हो जाता है। इस कारण से, बाइनरी छवि में जुड़े घटकों की गणना करते समय, आमतौर पर 6-पड़ोसी वर्ग ग्रिड का उपयोग किया जाता है।

स्टीनहॉस शतरंज की बिसात प्रमेय

कुछ अर्थों में स्टाइनहॉस शतरंजबोर्ड प्रमेय से पता चलता है कि 4-पड़ोसी ग्रिड और 8-पड़ोसी ग्रिड एक साथ जॉर्डन वक्र प्रमेय का अर्थ है, और 6-पड़ोसी ग्रिड उनके बीच एक सटीक प्रक्षेप है। प्रमेय कहता है कि: मान लीजिए कि आप कुछ चौकों पर बम डालते हैं a $n\times n$ शतरंज की बिसात, ताकि कोई राजा बम पर कदम रखे बिना नीचे की तरफ से ऊपर की तरफ न जा सके, तो एक किश्ती केवल बम पर कदम रखते हुए बाईं ओर से दाईं ओर जा सकता है।

इतिहास और आगे के सबूत

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

इस प्रमेय का पहला प्रमाण केमिली जॉर्डन ने वास्तविक विश्लेषण पर अपने व्याख्यान में दिया था, और उनकी पुस्तक Cours d'analyse de l'École Polytechnique में प्रकाशित हुआ था। इस बारे में कुछ विवाद है कि क्या जॉर्डन का प्रमाण पूर्ण था: इस पर अधिकांश टिप्पणीकारों ने दावा किया है कि पहला पूर्ण प्रमाण बाद में ओसवाल्ड वेब्लेन द्वारा दिया गया था, जिन्होंने जॉर्डन के प्रमाण के बारे में निम्नलिखित कहा था:

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

हालांकि, थॉमस कॉलिस्टर हेल्स|थॉमस सी. हेल्स ने लिखा:

लगभग हर आधुनिक उद्धरण जो मैंने पाया है, इससे सहमत हैं कि पहला सही प्रमाण वेब्लेन के कारण है... जॉर्डन के प्रमाण की भारी आलोचना को देखते हुए, मुझे आश्चर्य हुआ जब मैं उसके प्रमाण को पढ़ने के लिए बैठ गया, जिसमें कुछ भी आपत्तिजनक नहीं पाया गया। यह। तब से, मैंने कई लेखकों से संपर्क किया है जिन्होंने जॉर्डन की आलोचना की है, और प्रत्येक मामले में लेखक ने स्वीकार किया है कि जॉर्डन के सबूत में त्रुटि का कोई प्रत्यक्ष ज्ञान नहीं है।

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

जॉर्डन का प्रमाण अनिवार्य रूप से सही है... जॉर्डन का प्रमाण संतोषजनक तरीके से विवरण प्रस्तुत नहीं करता है। लेकिन विचार सही है, और कुछ पॉलिशिंग के साथ प्रमाण त्रुटिहीन होगा।

इससे पहले, जॉर्डन के सबूत और चार्ल्स जीन डे ला वेली पॉसिन द्वारा एक और प्रारंभिक सबूत का पहले ही गंभीर रूप से विश्लेषण किया गया था और स्कोनफ्लाइज (1 9 24) द्वारा पूरा किया गया था। निम्न-आयामी टोपोलॉजी और जटिल विश्लेषण में जॉर्डन वक्र प्रमेय के महत्व के कारण, 20 वीं शताब्दी के पूर्वार्द्ध के प्रमुख गणितज्ञों ने इसे बहुत ध्यान दिया। प्रमेय और इसके सामान्यीकरण के विभिन्न प्रमाणों का निर्माण जेम्स वाडेल अलेक्जेंडर II | जे द्वारा किया गया था। डब्ल्यू अलेक्जेंडर, लुई एंटोनी, लुडविग बीबरबाक , लुइट्ज़न ब्रौवर , अरनौद डेनजॉय , फ्रेडरिक हार्टोग्स , बेला केरेकजार्टो, अल्फ्रेड प्रिंग्सहेम , और आर्थर मोरित्ज़ शोएनफ्लाइज़

जॉर्डन वक्र प्रमेय के नए प्राथमिक प्रमाण, साथ ही पहले के प्रमाणों के सरलीकरण को जारी रखा गया है।

• प्राथमिक प्रमाण प्रस्तुत किए गए Filippov (1950) तथा Tverberg (1980).
• गैर-मानक विश्लेषण का उपयोग करके एक प्रमाण Narens (1971).
• रचनात्मक गणित का उपयोग करके एक प्रमाण Gordon O. Berg, W. Julian, and R. Mines et al. (1975).
• ब्रौवर नियत बिंदु प्रमेय का उपयोग करके एक प्रमाण Maehara (1984).
• समतलीय ग्राफ का उपयोग करते हुए एक प्रमाण_3,3 द्वारा दिया गया था Thomassen (1992).

कठिनाई की जड़ में समझाया गया है Tverberg (1980) निम्नलिखित नुसार। यह साबित करना अपेक्षाकृत सरल है कि जॉर्डन वक्र प्रमेय प्रत्येक जॉर्डन बहुभुज (लेम्मा 1) के लिए है, और प्रत्येक जॉर्डन वक्र को जॉर्डन बहुभुज (लेम्मा 2) द्वारा मनमाने ढंग से अच्छी तरह से अनुमानित किया जा सकता है। एक जॉर्डन बहुभुज एक बहुभुज श्रृंखला है, एक बंधे हुए खुले सेट की सीमा, इसे खुला बहुभुज कहते हैं, और इसका बंद (टोपोलॉजी), बंद बहुभुज। व्यास पर विचार करें $\delta$ बंद बहुभुज में निहित सबसे बड़ी डिस्क की। जाहिर है, $\delta$ सकारात्मक है। जॉर्डन बहुभुज के अनुक्रम का उपयोग करना (जो दिए गए जॉर्डन वक्र में अभिसरण करता है) हमारे पास एक अनुक्रम है $\delta _{1},\delta _{2},\dots$ संभावित रूप से एक सकारात्मक संख्या में परिवर्तित हो रहा है, व्यास $\delta$ जॉर्डन वक्र से घिरे बंद क्षेत्र में निहित सबसे बड़ी डिस्क की। हालाँकि, हमें यह साबित करना होगा कि अनुक्रम $\delta _{1},\delta _{2},\dots$ केवल दिए गए जॉर्डन वक्र का उपयोग करते हुए, शून्य में अभिसरण नहीं होता है, न कि संभवतः वक्र से घिरा क्षेत्र। यह टवरबर्ग के लेम्मा 3 का बिंदु है। मोटे तौर पर, बंद बहुभुज हर जगह शून्य से पतले नहीं होने चाहिए। इसके अलावा, उन्हें कहीं भी शून्य से पतला नहीं होना चाहिए, जो कि टवरबर्ग के लेम्मा 4 का बिंदु है।

जॉर्डन वक्र प्रमेय का पहला औपचारिक प्रमाण किसके द्वारा बनाया गया था Hales (2007a) जनवरी 2005 में एचओएल लाइट सिस्टम में, और इसमें लगभग 60,000 लाइनें थीं। एक और कठोर 6,500-लाइन औपचारिक प्रमाण 2005 में गणितज्ञों की एक अंतरराष्ट्रीय टीम द्वारा मिज़ार प्रणाली का उपयोग करके तैयार किया गया था। मिज़ार और एचओएल लाइट प्रूफ दोनों पहले से सिद्ध प्रमेयों के पुस्तकालयों पर निर्भर करते हैं, इसलिए ये दोनों आकार तुलनीय नहीं हैं। Nobuyuki Sakamoto and Keita Yokoyama (2007) ने दिखाया कि रिवर्स गणित में जॉर्डन वक्र प्रमेय सिस्टम पर कमजोर कोनिग के लेम्मा के बराबर है रिवर्स गणित#आधार प्रणाली RCA0|${\mathsf {RCA}}_{0}$.

आवेदन

विषम।

Main article: Point in polygon § Ray casting algorithm

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

यह भी देखें

• Denjoy-Riesz प्रमेय, विमान में बिंदुओं के कुछ सेटों का विवरण जो जॉर्डन वक्रों के उपसमुच्चय हो सकते हैं
• वाड़ा की झीलें
• अर्ध-फुचियन समूह, एक गणितीय समूह जो जॉर्डन वक्र को संरक्षित करता है

संदर्भ

• Berg, Gordon O.; Julian, W.; Mines, R.; Richman, Fred (1975), "The constructive Jordan curve theorem", Rocky Mountain Journal of Mathematics, 5 (2): 225–236, doi:10.1216/RMJ-1975-5-2-225, ISSN 0035-7596, MR 0410701
• Courant, Richard (1978). "V. Topology". Written at Oxford. What is mathematics? : an elementary approach to ideas and methods. Herbert Robbins ([4th ed.] ed.). United Kingdom: Oxford University Press. p. 267. ISBN 978-0-19-502517-0. OCLC 6450129.
• Filippov, A. F. (1950), "An elementary proof of Jordan's theorem" (PDF), Uspekhi Mat. Nauk (in русский), 5 (5): 173–176
• Hales, Thomas C. (2007a), "The Jordan curve theorem, formally and informally", The American Mathematical Monthly, 114 (10): 882–894, doi:10.1080/00029890.2007.11920481, ISSN 0002-9890, MR 2363054, S2CID 887392
• Hales, Thomas (2007b), "Jordan's proof of the Jordan Curve theorem" (PDF), Studies in Logic, Grammar and Rhetoric, 10 (23)
• Jordan, Camille (1887), Cours d'analyse (PDF), pp. 587–594
• Maehara, Ryuji (1984), "The Jordan Curve Theorem Via the Brouwer Fixed Point Theorem", The American Mathematical Monthly, 91 (10): 641–643, doi:10.2307/2323369, ISSN 0002-9890, JSTOR 2323369, MR 0769530
• Narens, Louis (1971), "A nonstandard proof of the Jordan curve theorem", Pacific Journal of Mathematics, 36: 219–229, doi:10.2140/pjm.1971.36.219, ISSN 0030-8730, MR 0276940
• Osgood, William F. (1903), "A Jordan Curve of Positive Area", Transactions of the American Mathematical Society, 4 (1): 107–112, doi:10.2307/1986455, ISSN 0002-9947, JFM 34.0533.02, JSTOR 1986455
• Ross, Fiona; Ross, William T. (2011), "The Jordan curve theorem is non-trivial", Journal of Mathematics and the Arts, 5 (4): 213–219, doi:10.1080/17513472.2011.634320, S2CID 3257011. author's site
• Sakamoto, Nobuyuki; Yokoyama, Keita (2007), "The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic", Archive for Mathematical Logic, 46 (5): 465–480, doi:10.1007/s00153-007-0050-6, ISSN 0933-5846, MR 2321588, S2CID 33627222
• Thomassen, Carsten (1992), "The Jordan–Schönflies theorem and the classification of surfaces", American Mathematical Monthly, 99 (2): 116–130, doi:10.2307/2324180, JSTOR 2324180
• Tverberg, Helge (1980), "A proof of the Jordan curve theorem" (PDF), Bulletin of the London Mathematical Society, 12 (1): 34–38, CiteSeerX 10.1.1.374.2903, doi:10.1112/blms/12.1.34
• Veblen, Oswald (1905), "Theory on Plane Curves in Non-Metrical Analysis Situs", Transactions of the American Mathematical Society, 6 (1): 83–98, doi:10.2307/1986378, JSTOR 1986378, MR 1500697

बाहरी संबंध

• M.I. Voitsekhovskii (2001) [1994], "Jordan theorem", Encyclopedia of Mathematics, EMS Press
• The full 6,500 line formal proof of Jordan's curve theorem in Mizar.
• Collection of proofs of the Jordan curve theorem at Andrew Ranicki's homepage
• A simple proof of Jordan curve theorem (PDF) by David B. Gauld
• Brown, R.; Antolino-Camarena, O. (2014). "Corrigendum to "Groupoids, the Phragmen-Brouwer Property, and the Jordan Curve Theorem", J. Homotopy and Related Structures 1 (2006) 175-183". arXiv:1404.0556 [math.AT].