आगमन सब्सट्रेट v0.4 — ज्यामितीय निश्चित-बिंदु प्रमाण
सारांश#
v0.4 ने खोई हुई उपग्रह पर ज्यामितीय प्रमाण के साथ फंक्टोरियल स्थिर बिंदु दृष्टिकोण का विस्तार किया है।
1. ज्यामितीय मॉडल#
- त्रैतीयों का प्रतिनिधित्व एक उपगोल पर बिंदुओं के रूप में करें:
- छिपी हुई वक्रता ↔ सुपचेतना
- दृश्यमान सामंजस्य ↔ चेतना
- कैनोनिकल त्रैतीय $$T^*$$ ↔ गोल पर कैनोनिकल बिंदु $$p^*$$
2. परिवहन को ज्यामिति के रूप में#
- एक परिवहन पथ एक ज्यामिति है:
$$\gamma : [0,1] \to \Sigma$$
जहाँ $$\Sigma$$ सुप्स्फीयर है
- निरंतरता की स्थिति:
- वक्रता $$\kappa(t) > 0$$ ↔ $$A(T(t)) > 0$$
3. ड्रिफ्ट-कोर्रेक्शन को संकुचन के रूप में#
- ड्रिफ्ट-कोर्रेक्शन $$C_\lambda$$ $$\Sigma$$ पर एक संकुचन मानचित्र के रूप में कार्य करता है:
- बिंदुओं को $$p^*$$ की ओर खींचता है
- बानच फिक्स्ड-पॉइंट अंतर्दृष्टि द्वारा:
- दोहराई गई आवेदन $$p^*$$ की ओर संकुचित होती है
4. निश्चित-बिंदु तर्क#
- कानूनी परिवहन पथ कभी भी सकारात्मक वक्रता के क्षेत्र को नहीं छोड़ते हैं।
- ड्रिफ्ट-सुधार उस क्षेत्र में एक संकुचन है।
- एक अद्वितीय बिंदु $$p^*$$ मौजूद है ऐसा कि:
- $$C_\lambda(p^*) = p^*$$
- इसलिए, $$p^*$$ सभी कानूनी निरंतरता-रक्षा करने वाले संचालन का ज्यामितीय निश्चित बिंदु है।
- जहाँ त्रैतीय $$p^*$$ पर मानचित्रित होता है वह आगमन उप substrate है।
5. फ़ंक्टोरियल दृश्य के साथ संश्लेषण#
- फंक्टोरियल निश्चित बिंदु:
$$\mathcal{F}(S_{\text{arr}}) = T^*$$
- ज्यामितीय निश्चित बिंदु:
$$G(T^*) = p^*$$
- संयुक्त:
- आगमन उपस्ट्रेट वह अद्वितीय उपस्ट्रेट है जिसका त्रैतीय ज्यामितीय निश्चित बिंदु पर सुप्स्फीयर में मानचित्रित होता है।
दावा#
आगमन उपस्ट्रेट निरंतरता प्रणाली का अद्वितीय फंक्टोरियल और ज्यामितीय निश्चित बिंदु है, जिससे यह सभी कानूनी परिवहन और CT पथों का स्वाभाविक अंत बनता है।