टिट्ज़ विस्तार प्रमेय

टोपोलॉजी में टिट्ज़ विस्तार प्रमेय (जिसे टिट्ज़-उरीसोहन-ब्रौवर विस्तार प्रमेय या उरीसोहन-ब्रौवर लेम्मा के रूप में भी जाना जाता है)। यह दर्शाता है कि सामान्य स्थान टोपोलॉजिकल स्थान के बंद उपसमुच्चय पर निरंतर कार्य (टोपोलॉजी) को यदि आवश्यक हो तो उसकी सीमा को संरक्षित करते हुए पूर्ण स्थान तक विस्तारित किया जा सकता है।

औपचारिक कथन
यदि $$X$$ एक सामान्य स्थान है और $$f : A \to \R$$ $$X$$ के बंद उपसमुच्चय $$A$$ से वास्तविक संख्या $$\R$$ में यूक्लिडियन टोपोलॉजी को ले जाने वाला सतत (टोपोलॉजी) मानचित्र है जबकि वहां $$f$$ से $$X$$ का उपस्थित है अर्थात वहां मानचित्र उपस्थित है $$F : X \to \R$$ $$X$$ के साथ $$F(a) = f(a)$$ सभी पर निरंतर, सभी $$a \in A$$ के लिए एवं इसके अतिरिक्त $$F$$ इस प्रकार चुना जा सकता है $$\sup \{|f(a)| : a \in A\} ~=~ \sup \{|F(x)| : x \in X\},$$ यह है, यदि $$f$$ तब परिबद्ध है जब $$F$$ बाध्य होने के लिए चुना जा सकता है ($$f$$ उसी सीमा के साथ)।

इतिहास
एल. ई. जे. ब्रौवर और हेनरी लेबेस्गुए  ने प्रमेय की एक विशेष स्थिति सिद्ध की जब $$X$$ परिमित आयामी वास्तविक सदिश समष्टि है। हेनरिक फ्रांज फ्रेडरिक टिट्ज़ ने इसे सभी मीट्रिक स्थानों तक विस्तारित किया और पावेल सैमुइलोविच उरीसोहन ने सामान्य टोपोलॉजिकल रिक्त स्थान के लिए, जैसा कि यहां बताया गया है, प्रमेय को सिद्ध किया।

समतुल्य कथन
यह प्रमेय उरीसोहन के लेम्मा के समतुल्य है (जो स्थान की सामान्यता के बराबर भी है) और व्यापक रूप से लागू है क्योंकि सभी मीट्रिक स्थान और सभी सघन स्थान हॉसडॉर्फ रिक्त स्थान सामान्य हैं। इसे प्रतिस्थापित करके $$\R$$ के साथ $$\R^J$$ कुछ अनुक्रमण सेट $$J$$ के लिए सामान्यीकृत एवं $$\R^J$$का कोई भी प्रत्यावर्तन या कोई भी सामान्य पूर्ण प्रत्यावर्तन किया जा सकता है।

भिन्नताएँ
यदि $$X$$ मीट्रिक स्थान है एवं $$A$$ का गैर-रिक्त उपसमुच्चय $$X$$ और $$f : A \to \R$$ लिप्सचिट्ज़ स्थिरांक $$K$$ के साथ लिप्सचिट्ज़ सतत फलन है तब $$f$$ लिप्सचिट्ज़ निरंतर फ़ंक्शन $$K$$ एक ही स्थिरांक $$F : X \to \R$$ के साथ तक विस्तारित किया जा सकता है। यह प्रमेय होल्डर निरंतर फंक्शन के लिए भी मान्य है अर्थात यदि $$f : A \to \R$$ होल्डर निरंतर फंक्शन है जिसका स्थिरांक $$1$$ से कम या इसके समान्तर है तब $$f$$ होल्डर निरंतर फ़ंक्शन $$F : X \to \R$$ तक उसी स्थिरांक के साथ विस्तारित किया जा सकता है।

एच. टोंग और जेड एर्कन के कारण टिट्ज़ के प्रमेय का अन्य संस्करण (वास्तव में सामान्यीकरण) है: माना कि $$A$$ सामान्य टोपोलॉजिकल स्पेस $$X$$ का बंद उपसमुच्चय बनें। यदि $$f : X \to \R$$ ऊपरी अर्धनिरंतर फ़ंक्शन है एवं $$g : X \to \R$$ निचला अर्धनिरंतर फ़ंक्शन और $$h : A \to \R$$ सतत फ़ंक्शन ऐसा है कि $$f(x) \leq g(x)$$ प्रत्येक $$x \in X$$ के लिए और $$f(a) \leq h(a) \leq g(a)$$ प्रत्येक $$a \in A$$ के लिए सतत है।

$$h$$ का विस्तार $$H : X \to \R$$ ऐसा है कि $$f(x) \leq H(x) \leq g(x)$$ प्रत्येक $$x \in X$$ के लिए। यह प्रमेय कुछ अतिरिक्त परिकल्पनाओं के साथ भी मान्य है यदि $$\R$$ इसे सामान्य स्थानीय रूप से ठोस रिज़्ज़ स्थान द्वारा प्रतिस्थापित किया जाता है।

बाहरी संबंध

 * Weisstein, Eric W. "Tietze's Extension Theorem." From MathWorld
 * Mizar system proof: http://mizar.org/version/current/html/tietze.html#T23