मॉस्कोवैसिस कोडिंग लेम्मा: Difference between revisions
From Vigyanwiki
(TEXT) |
(TEXT) |
||
| Line 1: | Line 1: | ||
मॉस्कोवैसिस कोडिंग लेम्मा वर्णनात्मक समुच्चय सिद्धांत से एक [[लेम्मा (गणित)]] है जिसमें नियतत्व के स्वयंसिद्ध के अंतर्गत [[वास्तविक संख्या|वास्तविक संख्याओं]] के समुच्चय सम्मलित होते हैं (सिद्धांत - | मॉस्कोवैसिस कोडिंग लेम्मा वर्णनात्मक समुच्चय सिद्धांत से एक [[लेम्मा (गणित)]] है जिसमें नियतत्व के स्वयंसिद्ध के अंतर्गत [[वास्तविक संख्या|वास्तविक संख्याओं]] के समुच्चय सम्मलित होते हैं (सिद्धांत - विकल्प के साथ असंगत - कि प्रत्येक दो-वादक पूर्णांक खेल निर्धारित होते है)। लेम्मा को विकसित किया गया था और इसका नाम गणितज्ञ यियानिस एन मोस्कोवाकिस के नाम पर रखा गया था। | ||
लेम्मा को सामान्यतः निम्नानुसार व्यक्त किया जा सकता है: | लेम्मा को सामान्यतः निम्नानुसार व्यक्त किया जा सकता है: | ||
: | :मान लीजिए {{mvar|Γ}} एक गैर-स्व-दोहरी बिंदु वर्ग है जो वास्तविक परिमाणीकरण के अंतर्गत बंद है और {{math|∧}}, और {{math|≺}} a {{mvar|Γ}}-अच्छी तरह से स्थापित संबंध ''ω<sup>ω</sup>'' की श्रेणी {{math|''θ'' ∈ ON}} पर है। अनुमान {{math|R ⊆ dom(≺) × ''ω<sup>ω</sup>''}} ऐसा हो कि {{math|(∀''x''∈dom(≺))(∃''y'')(''x'' R ''y'')}} है। फिर एक {{mvar|Γ}}-समुच्चय {{math|A ⊆ dom(≺) × ''ω<sup>ω</sup>''}} है जो R के लिए एक विकल्प समुच्चय है, वह है: | ||
# {{math|(∀''α''<''θ'')(∃''x''∈dom(≺),''y'')({{mabs|''x''}}<sub>≺</sub>{{=}}''α'' ∧ ''x'' A ''y'')}}. | # {{math|(∀''α''<''θ'')(∃''x''∈dom(≺),''y'')({{mabs|''x''}}<sub>≺</sub>{{=}}''α'' ∧ ''x'' A ''y'')}}. | ||
# {{math|(∀''x'',''y'')(''x'' A ''y'' → ''x'' R ''y'')}}. | # {{math|(∀''x'',''y'')(''x'' A ''y'' → ''x'' R ''y'')}}. | ||
एक प्रमाण | एक प्रमाण निम्नानुसार चलता है: मान लीजिए कि विरोधाभास के लिए {{mvar|θ}} एक न्यूनतम गणक उदाहरण है, और {{math|(''ω<sup>ω</sup>'')<sup>2</sup>}} के {{mvar|Γ}}-उपसमुच्चयों के लिए {{math|≺}}, {{math|R}}, और एक उपयुक्त सार्वभौमिक समुच्चय {{math|''U'' ⊆ (''ω<sup>ω</sup>'')<sup>3</sup>}} निर्धारित है।आसानी से, {{mvar|θ}} एक सीमा क्रमसूचक होना चाहिए।<ref>{{Cite web|url=https://mathoverflow.net/questions/77573/moschovakis-coding-lemma|title=वर्णनात्मक समुच्चय सिद्धांत - मॉस्कोवाकिस कोडिंग लेम्मा|last1=User 16278263789|last2=Schweber|first2=Noah|date=|website=MathOverflow|publication-date=9 October 2011|url-status=live|archive-url=|archive-date=|access-date=2020-04-06}}</ref> {{math|''δ'' < ''θ''}} के लिए, हम कहते हैं कि {{math|''u'' ∈ ''ω<sup>ω</sup>''}} कोड एक {{mvar|δ}}-विकल्प समुच्चय प्रदान करता है, बशर्ते गुण (1) {{math|''α'' ≤ ''δ''}} के लिए {{math|A {{=}} ''U u''}} का उपयोग करता है और गुण (2) {{math|A {{=}} ''U u''}} धारण करता है जहां हम {{math|''x'' ∈ dom(≺)}} को {{math|''x'' ∈ dom(≺) ∧ {{mabs|''x''}} ≺ [≤''δ'']}} से प्रतिस्थापित करते हैं। {{mvar|θ}} की न्यूनतमता से, सभी {{math|''δ'' < ''θ''}} के लिए, {{math|δ}} -विकल्प समुच्चय हैं। | ||
अब, एक खेल खेलें जहाँ खिलाड़ी I, II अंक | अब, एक खेल खेलें जहाँ खिलाड़ी I, II अंक {{math|''u'',''v'' ∈ ''ω<sup>ω</sup>''}} चयन करते है और II तब विजय होता है जब {{mvar|u}} कुछ {{math|''δ''<sub>1</sub> < ''θ''}} के लिए एक {{math|''δ''<sub>1</sub>}}-विकल्प समुच्चय को कोडिंग करता है, तो {{mvar|v}} कोड कुछ {{math|''δ''<sub>2</sub> > ''δ''<sub>1</sub>}} के लिए {{math|''δ''<sub>2</sub>}}-विकल्प समुच्चय को दर्शाता है। I के लिए एक विजय की रणनीति स्वेच्छतः बड़े {{math|''δ'' < ''θ''}} के लिए वास्तविक संकेतन {{mvar|δ}}-विकल्प समुच्चय के {{math|Σ{{su|b=1|p=1}}}} समुच्चय B को परिभाषित करता है। तब परिभाषित करें | ||
:{{math|''x'' A ''y'' ↔ (∃''w''∈''B'')''U''(''w'',''x'',''y'')}}, | :{{math|''x'' A ''y'' ↔ (∃''w''∈''B'')''U''(''w'',''x'',''y'')}}, | ||
जो आसानी से काम करता है। दूसरी ओर, मान लीजिए {{mvar|τ}} | जो आसानी से काम करता है। दूसरी ओर, मान लीजिए II के लिए {{mvar|τ}} विजय की रणनीति है। [[एस-एम-एन प्रमेय|s-m-n प्रमेय]] से, मान लीजिए {{math|''s'':(''ω<sup>ω</sup>'')<sup>2</sup> → ''ω<sup>ω</sup>''}} निरंतर ऐसा हो कि सभी {{mvar|ϵ}}, {{mvar|x}}, {{mvar|t}}, और {{mvar|w}} के लिए, | ||
:{{math|''U''(''s''(''ϵ'',''x''),''t'',''w'') ↔ (∃''y'',''z'')(''y'' ≺ ''x'' ∧ ''U''(''ϵ'',''y'',''z'') ∧ ''U''(''z'',''t'',''w''))}}. | :{{math|''U''(''s''(''ϵ'',''x''),''t'',''w'') ↔ (∃''y'',''z'')(''y'' ≺ ''x'' ∧ ''U''(''ϵ'',''y'',''z'') ∧ ''U''(''z'',''t'',''w''))}}. | ||
पुनरावर्तन प्रमेय | पुनरावर्तन प्रमेय के अनुसार, {{math|''ϵ''<sub>0</sub>}} का अस्तित्व है जैसे {{math|''U''(''ϵ''<sub>0</sub>,''x'',''z'') ↔ ''z'' {{=}} ''τ''(''s''(''ϵ''<sub>0</sub>,''x''))}} हैं। {{math|''x'' ∈ dom(≺)}} के लिए |''x''|<sub>≺</sub> पर एक सीधा प्रेरण दर्शाता है कि | ||
:{{math|(∀''x''∈dom(≺))(∃!''z'')''U''(''ϵ''<sub>0</sub>,''x'',''z'')}}, | :{{math|(∀''x''∈dom(≺))(∃!''z'')''U''(''ϵ''<sub>0</sub>,''x'',''z'')}}, | ||
और | और | ||
:{{math|(∀''x''∈dom(≺),''z'')(''U''(''ϵ''<sub>0</sub>,''x'',''z'') → ''z'' encodes a choice set of ordinal ≥{{mabs|x}}<sub>≺</sub>)}}. | :{{math|(∀''x''∈dom(≺),''z'')(''U''(''ϵ''<sub>0</sub>,''x'',''z'') → ''z'' encodes a choice set of ordinal ≥{{mabs|x}}<sub>≺</sub>)}}. | ||
तो | तो अनुमान | ||
:{{math|''x'' A ''y'' ↔ (∃''z''∈dom(≺),''w'')(''U''(''ϵ''<sub>0</sub>,''z'',''w'') ∧ ''U''(''w'',''x'',''y''))}} | :{{math|''x'' A ''y'' ↔ (∃''z''∈dom(≺),''w'')(''U''(''ϵ''<sub>0</sub>,''z'',''w'') ∧ ''U''(''w'',''x'',''y''))}}<ref>{{cite book | ||
| last =Babinkostova | | last =Babinkostova | ||
| first =Liljana | | first =Liljana | ||
| Line 53: | Line 52: | ||
| doi = 10.1007/BFb0090241 | | doi = 10.1007/BFb0090241 | ||
}}</ref> | }}</ref> | ||
== संदर्भ == | == संदर्भ == | ||
{{Reflist}} | {{Reflist}} | ||
Revision as of 14:10, 28 May 2023
मॉस्कोवैसिस कोडिंग लेम्मा वर्णनात्मक समुच्चय सिद्धांत से एक लेम्मा (गणित) है जिसमें नियतत्व के स्वयंसिद्ध के अंतर्गत वास्तविक संख्याओं के समुच्चय सम्मलित होते हैं (सिद्धांत - विकल्प के साथ असंगत - कि प्रत्येक दो-वादक पूर्णांक खेल निर्धारित होते है)। लेम्मा को विकसित किया गया था और इसका नाम गणितज्ञ यियानिस एन मोस्कोवाकिस के नाम पर रखा गया था।
लेम्मा को सामान्यतः निम्नानुसार व्यक्त किया जा सकता है:
- मान लीजिए Γ एक गैर-स्व-दोहरी बिंदु वर्ग है जो वास्तविक परिमाणीकरण के अंतर्गत बंद है और ∧, और ≺ a Γ-अच्छी तरह से स्थापित संबंध ωω की श्रेणी θ ∈ ON पर है। अनुमान R ⊆ dom(≺) × ωω ऐसा हो कि (∀x∈dom(≺))(∃y)(x R y) है। फिर एक Γ-समुच्चय A ⊆ dom(≺) × ωω है जो R के लिए एक विकल्प समुच्चय है, वह है:
- (∀α<θ)(∃x∈dom(≺),y)(|x|≺=α ∧ x A y).
- (∀x,y)(x A y → x R y).
एक प्रमाण निम्नानुसार चलता है: मान लीजिए कि विरोधाभास के लिए θ एक न्यूनतम गणक उदाहरण है, और (ωω)2 के Γ-उपसमुच्चयों के लिए ≺, R, और एक उपयुक्त सार्वभौमिक समुच्चय U ⊆ (ωω)3 निर्धारित है।आसानी से, θ एक सीमा क्रमसूचक होना चाहिए।[1] δ < θ के लिए, हम कहते हैं कि u ∈ ωω कोड एक δ-विकल्प समुच्चय प्रदान करता है, बशर्ते गुण (1) α ≤ δ के लिए A = U u का उपयोग करता है और गुण (2) A = U u धारण करता है जहां हम x ∈ dom(≺) को x ∈ dom(≺) ∧ |x| ≺ [≤δ] से प्रतिस्थापित करते हैं। θ की न्यूनतमता से, सभी δ < θ के लिए, δ -विकल्प समुच्चय हैं।
अब, एक खेल खेलें जहाँ खिलाड़ी I, II अंक u,v ∈ ωω चयन करते है और II तब विजय होता है जब u कुछ δ1 < θ के लिए एक δ1-विकल्प समुच्चय को कोडिंग करता है, तो v कोड कुछ δ2 > δ1 के लिए δ2-विकल्प समुच्चय को दर्शाता है। I के लिए एक विजय की रणनीति स्वेच्छतः बड़े δ < θ के लिए वास्तविक संकेतन δ-विकल्प समुच्चय के Σ1
1 समुच्चय B को परिभाषित करता है। तब परिभाषित करें
- x A y ↔ (∃w∈B)U(w,x,y),
जो आसानी से काम करता है। दूसरी ओर, मान लीजिए II के लिए τ विजय की रणनीति है। s-m-n प्रमेय से, मान लीजिए s:(ωω)2 → ωω निरंतर ऐसा हो कि सभी ϵ, x, t, और w के लिए,
- U(s(ϵ,x),t,w) ↔ (∃y,z)(y ≺ x ∧ U(ϵ,y,z) ∧ U(z,t,w)).
पुनरावर्तन प्रमेय के अनुसार, ϵ0 का अस्तित्व है जैसे U(ϵ0,x,z) ↔ z = τ(s(ϵ0,x)) हैं। x ∈ dom(≺) के लिए |x|≺ पर एक सीधा प्रेरण दर्शाता है कि
- (∀x∈dom(≺))(∃!z)U(ϵ0,x,z),
और
- (∀x∈dom(≺),z)(U(ϵ0,x,z) → z encodes a choice set of ordinal ≥|x|≺).
तो अनुमान
संदर्भ
- ↑ User 16278263789; Schweber, Noah (9 October 2011). "वर्णनात्मक समुच्चय सिद्धांत - मॉस्कोवाकिस कोडिंग लेम्मा". MathOverflow. Retrieved 2020-04-06.
{{cite web}}:|last1=has generic name (help)CS1 maint: url-status (link) - ↑ Babinkostova, Liljana (2011). Set Theory and Its Applications (in English). American Mathematical Society. ISBN 978-0821848128.
- ↑ Foreman, Matthew; Kanamori, Akihiro (October 27, 2005). Handbook of Set Theory (PDF). Springer. p. 2230. ISBN 978-1402048432.
- ↑ Moschovakis, Yiannis (October 4, 2006). "Ordinal games and playful models". In Alexander S. Kechris; Donald A. Martin; Yiannis N. Moschovakis (eds.). Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79. Lecture Notes in Mathematics. Vol. 839. Berlin: Springer. pp. 169–201. doi:10.1007/BFb0090241. ISBN 978-3-540-38422-9.
| अवलोकन |  | |
|---|---|---|
| स्वयंसिद्ध | ||
| संचालन |
| |
| ||
| सेट प्रकार | ||
| सिद्धांतों | ||
| ||
| सिद्धांतकार सेट | ||
 | This mathematics-related article is a stub. You can help Wikipedia by expanding it. |
