किर्स्ज़ब्रौन प्रमेय

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


 * $$ f: U \rightarrow H_2$$

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


 * $$F: H_1 \rightarrow H_2$$

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

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

प्रमेय का प्रमाण हिल्बर्ट रिक्त स्थान की ज्यामितीय विशेषताओं का उपयोग करता है; बनच रिक्त स्थान के लिए संबंधित कथन सामान्य रूप से सत्य नहीं है, यहां तक कि परिमित-आयामी बनच रिक्त स्थान के लिए भी नहीं।उदाहरण के लिए, प्रति उदाहरण बनाना संभव है जहां डोमेन अधिकतम मानक के साथ $$ \mathbb{R}^m $$ का एक उपसमुच्य है और $$\mathbb{R}^m$$ यूक्लिडियन मानक रखता है। सामान्यतः प्रमेय $$ \mathbb{R}^m $$ के किसी $$ \ell_p$$ आदर्श ($$ p \neq 2$$) (श्वार्ट्ज 1969, पृष्ठ 20) के लिय विफल रहता है।

स्पष्ट सूत्र
$$\mathbb{R}$$-मूल्य वाले फंक्शन के लिए विस्तार $$\tilde f(x):=\inf_{u\in U}\big(f(u)+\text{Lip}(f)\cdot d(x,u)\big),$$ द्वारा प्रदान किया जाता है, जहां $$\text{Lip}(f)$$, $U$ पर $$f$$ का लिप्सचिट्ज स्थिरांक है| सामान्यतः, $$\mathbb{R}^{m}$$-मूल्यवान फंक्शन के लिए एक विस्तार $$\tilde f(x):= \nabla_{y}(\textrm{conv}(g(x,y))(x,0)$$ के रूप में भी लिखा जा सकता है जहां $$g(x,y):=\inf_{u\in U}\left\{\langle f(u),y \rangle +\frac{\text{Lip}(f)}{2}\|x-u\|^{2}\right\}+\frac{\text{Lip}(f)}{2} \|x\|^{2}+\text{Lip}(f)\|y\|^{2}$$ और conv(g) g का निचला उत्तल आवरण है।

इतिहास
प्रमेय को मोजेज डेविड किर्स्जब्राउन द्वारा सिद्ध किया गया था, और बाद में इसे फ्रेडरिक वैलेंटाइन द्वारा प्रमाणित किया गया था, जिन्होंने पहली बार इसे यूक्लिडियन सतह के लिए सिद्ध किया था।

कभी-कभी इस प्रमेय को किर्स्जब्रौन-वेलेंटाइन प्रमेय भी कहा जाता है।

बाहरी संबंध

 * Kirszbraun theorem at Encyclopedia of Mathematics.