किर्स्ज़ब्रौन प्रमेय: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Mathematical theorem related to real and functional analysis}} गणित में, विशेष रूप से वास्तविक वि...")
 
No edit summary
Line 1: Line 1:
{{short description|Mathematical theorem related to real and functional analysis}}
{{short description|Mathematical theorem related to real and functional analysis}}


गणित में, विशेष रूप से [[वास्तविक विश्लेषण]] और [[कार्यात्मक विश्लेषण]], किर्स्ज़ब्रौन प्रमेय कहता है कि यदि {{mvar|U}} कुछ [[ हिल्बर्ट स्थान ]] का एक उपसमुच्चय है {{mvar|H{{sub|1}}}}, और {{mvar|H{{sub|2}}}} एक और हिल्बर्ट स्थान है, और
गणित में विशेष रूप से [[वास्तविक विश्लेषण]] और [[कार्यात्मक विश्लेषण]] में '''किर्स्जब्रौन प्रमेय''' यह बताता है कि यदि {{mvar|U}} कुछ [[ हिल्बर्ट स्थान |हिल्बर्ट स्थान]] {{mvar|H{{sub|1}}}} का एक उपसमुच्चय है, और {{mvar|H{{sub|2}}}} एक अन्य [[ हिल्बर्ट स्थान |हिल्बर्ट स्थान]] है,


:<math> f: U \rightarrow H_2</math>
:<math> f: U \rightarrow H_2</math>
एक लिप्सचित्ज़ निरंतरता है|लिप्सचित्ज़-निरंतर मानचित्र, फिर एक लिप्सचित्ज़-निरंतर मानचित्र है
फिर यह एक लिप्सचिट्ज-निरंतर मानचित्र है


:<math>F: H_1 \rightarrow H_2</math>
:<math>F: H_1 \rightarrow H_2</math>
जो फैलता है {{mvar|f}} और लिप्सचिट्ज़ स्थिरांक के समान ही है {{mvar|f}}.
जो {{mvar|f}} का विस्तार करता है और इसमें {{mvar|f}} के समान ही लिप्सचिट्ज स्थिरांक है।
 
ध्यान दें कि यह परिणाम विशेष रूप से [[यूक्लिडियन स्थान|यूक्लिडियन]] रिक्त स्थान {{math|'''E'''{{sup|''n''}}}} और {{math|'''E'''{{sup|''m''}}}} पर लागू होता है, और यह इस रूप में था कि किर्स्जब्रौन ने मूल रूप से प्रमेय तैयार किया और सिद्ध किया।<ref>{{cite journal |first=M. D. |last=Kirszbraun |title=Über die zusammenziehende und Lipschitzsche Transformationen |journal=Fundamenta Mathematicae |volume=22 |pages=77–108 |year=1934 |doi=10.4064/fm-22-1-77-108 |doi-access=free }}</ref> उदाहरण के लिए, हिल्बर्ट रिक्त स्थान का संस्करण (श्वार्ट्ज 1969, पृष्ठ 21) में पाया जा सकता है।<ref name="Schwartz1969">{{cite book |author-link=Jack Schwartz |first=J. T. |last=Schwartz |title=अरेखीय कार्यात्मक विश्लेषण|publisher=Gordon and Breach Science |location=New York |year=1969 }}</ref> यदि {{mvar|H{{sub|1}}}} एक अलग करने योग्य स्थान है (विशेष रूप से, यदि यह एक यूक्लिडियन स्थान है) तो परिणाम जर्मेलो-फ्रेंकेल समुच्य सिद्धांत में सत्य है; सामान्य मामले के लिए ऐसा प्रतीत होता है कि इसे पसंद के सिद्धांत के किसी रूप की आवश्यकता है; [[बूलियन प्राइम आदर्श प्रमेय|बूलियन अभाज्य आदर्श प्रमेय]] को पर्याप्त माना जाता है।<ref>{{cite journal |first=D. H. |last=Fremlin |year=2011 |title=किर्स्ज़ब्राउन का प्रमेय|journal=Preprint |url=https://www1.essex.ac.uk/maths/people/fremlin/n11706.pdf }}</ref>
 
प्रमेय का प्रमाण हिल्बर्ट रिक्त स्थान की ज्यामितीय विशेषताओं का उपयोग करता है; बनच रिक्त स्थान के लिए संबंधित कथन सामान्य रूप से सत्य नहीं है, यहां तक कि परिमित-आयामी बनच रिक्त स्थान के लिए भी नहीं।उदाहरण के लिए, प्रति उदाहरण बनाना संभव है जहां डोमेन अधिकतम मानदंड के साथ https://alpha.indicwiki.in/index.php?title=Special:MathShowImage&hash=cf048f74f71721abd7b8df49453d1310&mode=mathml का उपसमुच्य है और <math>\mathbb{R}^m</math> यूक्लिडियन मानदंड रखता है।<ref>{{cite book |first=H. |last=Federer |title=ज्यामितीय माप सिद्धांत|url=https://archive.org/details/geometricmeasure00fede_0 |url-access=registration |publisher=Springer |location=Berlin |year=1969 |page=[https://archive.org/details/geometricmeasure00fede_0/page/202 202] }}</ref> सामान्यतः प्रमेय  <math> \mathbb{R}^m </math> के किसी <math> \ell_p</math> आदर्श (<math> p \neq 2</math>) (श्वार्ट्ज 1969, पृष्ठ 20) के लिय विफल रहता है।<ref name="Schwartz1969" />


ध्यान दें कि यह परिणाम विशेष रूप से [[यूक्लिडियन स्थान]] स्थान पर लागू होता है {{math|'''E'''{{sup|''n''}}}} और {{math|'''E'''{{sup|''m''}}}}, और इसी रूप में किर्स्ज़ब्राउन ने मूल रूप से प्रमेय तैयार किया और सिद्ध किया।<ref>{{cite journal |first=M. D. |last=Kirszbraun |title=Über die zusammenziehende und Lipschitzsche Transformationen |journal=Fundamenta Mathematicae |volume=22 |pages=77–108 |year=1934 |doi=10.4064/fm-22-1-77-108 |doi-access=free }}</ref> उदाहरण के लिए, हिल्बर्ट स्पेस का संस्करण (श्वार्ट्ज 1969, पृष्ठ 21) में पाया जा सकता है।<ref name="Schwartz1969">{{cite book |author-link=Jack Schwartz |first=J. T. |last=Schwartz |title=अरेखीय कार्यात्मक विश्लेषण|publisher=Gordon and Breach Science |location=New York |year=1969 }}</ref> अगर {{mvar|H{{sub|1}}}} एक [[अलग करने योग्य स्थान]] है (विशेष रूप से, यदि यह एक यूक्लिडियन स्थान है) तो परिणाम ज़र्मेलो-फ्रेंकेल सेट सिद्धांत में सत्य है; पूरी तरह से सामान्य मामले के लिए, इसे पसंद के सिद्धांत के कुछ रूप की आवश्यकता प्रतीत होती है; [[बूलियन प्राइम आदर्श प्रमेय]] को पर्याप्त माना जाता है।<ref>{{cite journal |first=D. H. |last=Fremlin |year=2011 |title=किर्स्ज़ब्राउन का प्रमेय|journal=Preprint |url=https://www1.essex.ac.uk/maths/people/fremlin/n11706.pdf }}</ref>
प्रमेय का प्रमाण हिल्बर्ट रिक्त स्थान की ज्यामितीय विशेषताओं का उपयोग करता है; बनच रिक्त स्थान के लिए संबंधित कथन सामान्य रूप से सत्य नहीं है, यहां तक ​​कि परिमित-आयामी बनच रिक्त स्थान के लिए भी नहीं। उदाहरण के लिए, प्रतिउदाहरण बनाना संभव है जहां डोमेन एक उपसमूह है <math>\mathbb{R}^n</math> समान मानदंड के साथ और <math>\mathbb{R}^m</math> यूक्लिडियन मानदंड रखता है।<ref>{{cite book |first=H. |last=Federer |title=ज्यामितीय माप सिद्धांत|url=https://archive.org/details/geometricmeasure00fede_0 |url-access=registration |publisher=Springer |location=Berlin |year=1969 |page=[https://archive.org/details/geometricmeasure00fede_0/page/202 202] }}</ref> अधिक सामान्यतः, प्रमेय विफल रहता है <math> \mathbb{R}^m </math> किसी से सुसज्जित <math> \ell_p</math> आदर्श (<math> p \neq 2</math>) (श्वार्ट्ज 1969, पृष्ठ 20)।<ref name="Schwartz1969" />




Revision as of 23:23, 6 July 2023

गणित में विशेष रूप से वास्तविक विश्लेषण और कार्यात्मक विश्लेषण में किर्स्जब्रौन प्रमेय यह बताता है कि यदि U कुछ हिल्बर्ट स्थान H1 का एक उपसमुच्चय है, और H2 एक अन्य हिल्बर्ट स्थान है,

फिर यह एक लिप्सचिट्ज-निरंतर मानचित्र है

जो f का विस्तार करता है और इसमें f के समान ही लिप्सचिट्ज स्थिरांक है।

ध्यान दें कि यह परिणाम विशेष रूप से यूक्लिडियन रिक्त स्थान En और Em पर लागू होता है, और यह इस रूप में था कि किर्स्जब्रौन ने मूल रूप से प्रमेय तैयार किया और सिद्ध किया।[1] उदाहरण के लिए, हिल्बर्ट रिक्त स्थान का संस्करण (श्वार्ट्ज 1969, पृष्ठ 21) में पाया जा सकता है।[2] यदि H1 एक अलग करने योग्य स्थान है (विशेष रूप से, यदि यह एक यूक्लिडियन स्थान है) तो परिणाम जर्मेलो-फ्रेंकेल समुच्य सिद्धांत में सत्य है; सामान्य मामले के लिए ऐसा प्रतीत होता है कि इसे पसंद के सिद्धांत के किसी रूप की आवश्यकता है; बूलियन अभाज्य आदर्श प्रमेय को पर्याप्त माना जाता है।[3]

प्रमेय का प्रमाण हिल्बर्ट रिक्त स्थान की ज्यामितीय विशेषताओं का उपयोग करता है; बनच रिक्त स्थान के लिए संबंधित कथन सामान्य रूप से सत्य नहीं है, यहां तक कि परिमित-आयामी बनच रिक्त स्थान के लिए भी नहीं।उदाहरण के लिए, प्रति उदाहरण बनाना संभव है जहां डोमेन अधिकतम मानदंड के साथ https://alpha.indicwiki.in/index.php?title=Special:MathShowImage&hash=cf048f74f71721abd7b8df49453d1310&mode=mathml का उपसमुच्य है और यूक्लिडियन मानदंड रखता है।[4] सामान्यतः प्रमेय के किसी आदर्श () (श्वार्ट्ज 1969, पृष्ठ 20) के लिय विफल रहता है।[2]


स्पष्ट सूत्र

एक के लिए -मूल्यवान फ़ंक्शन एक्सटेंशन द्वारा प्रदान किया जाता है कहाँ का लिप्सचिट्ज़ स्थिरांक है पर U.[5] सामान्य तौर पर, एक एक्सटेंशन के लिए भी लिखा जा सकता है -मूल्यवान कार्यों के रूप में कहाँ और conv(g) g का निचला उत्तल आवरण है।[6]


इतिहास

प्रमेय को मोजेज़ डेविड किर्स्ज़ब्राउन द्वारा सिद्ध किया गया था, और बाद में इसे फ्रेडरिक वैलेंटाइन द्वारा दोहराया गया था,[7] जिन्होंने सबसे पहले यूक्लिडियन विमान के लिए इसे सिद्ध किया था।[8] कभी-कभी इस प्रमेय को किर्स्ज़ब्रौन-वेलेंटाइन प्रमेय भी कहा जाता है।

संदर्भ

  1. ↑ Kirszbraun, M. D. (1934). "Über die zusammenziehende und Lipschitzsche Transformationen". Fundamenta Mathematicae. 22: 77–108. doi:10.4064/fm-22-1-77-108.
  2. ↑ 2.0 2.1 Schwartz, J. T. (1969). अरेखीय कार्यात्मक विश्लेषण. New York: Gordon and Breach Science.
  3. ↑ Fremlin, D. H. (2011). "किर्स्ज़ब्राउन का प्रमेय" (PDF). Preprint.
  4. ↑ Federer, H. (1969). ज्यामितीय माप सिद्धांत. Berlin: Springer. p. 202.
  5. ↑ McShane, E. J. (1934). "कार्यों की सीमा का विस्तार". Bulletin of the American Mathematical Society. 40 (12): 837–842. ISSN 0002-9904.
  6. ↑ Azagra, Daniel; Le Gruyer, Erwan; Mudarra, Carlos (2021). "Kirszbraun's Theorem via an Explicit Formula". Canadian Mathematical Bulletin (in English). 64 (1): 142–153. doi:10.4153/S0008439520000314. ISSN 0008-4395.
  7. ↑ Valentine, F. A. (1945). "एक वेक्टर फ़ंक्शन के लिए लिप्सचिट्ज़ कंडीशन प्रिजर्विंग एक्सटेंशन". American Journal of Mathematics. 67 (1): 83–93. doi:10.2307/2371917. JSTOR 2371917.
  8. ↑ Valentine, F. A. (1943). "एक वेक्टर फ़ंक्शन के विस्तार पर ताकि लिप्सचिट्ज़ स्थिति को संरक्षित किया जा सके". Bulletin of the American Mathematical Society. 49 (2): 100–108. doi:10.1090/s0002-9904-1943-07859-7. MR 0008251.


बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=किर्स्ज़ब्रौन_प्रमेय&oldid=213526’