विकल्प फलन

विकल्प फलन (चयनकर्ता, चयन) एक गणितीय फलन AF है जिसे अरिक्त समुच्चय (गणित) के कुछ संग्रह एक्स पर परिभाषित किया गया है और उस संग्रह में प्रत्येक समुच्चय AC के कुछ तत्व को नियुक्त करता है एस बाय F (S); F (S) S को S के कुछ तत्वों से मैप करता है। दूसरे शब्दों में, F X के लिए एक विकल्प फलन है यदि और केवल यदि यह X के प्रत्यक्ष उत्पाद से संबंधित है।

एक उदाहरण
मान लीजिए X= { {1,4,7}, {9}, {2,7} }। फिर वह फलन जो समुच्चय {1,4,7} को 7, {9} को 9, और {2,7} को 2 निर्दिष्ट करता है, X पर एक विकल्प फलन है।

इतिहास और महत्व
अर्नेस्ट ज़र्मेलो (1904) ने विकल्प फलन के साथ-साथ विकल्प के स्वयंसिद्ध (AC) की प्रारम्भ की और सुव्यवस्थित प्रमेय को सिद्ध किया, जिसमें कहा गया है कि प्रत्येक समुच्चय सुव्यवस्थित हो सकता है | AC बताता है कि अरिक्त समुच्चयों के प्रत्येक समुच्चय में एक विकल्प कार्य होता है। AC का एक कमजोर रूप, गणनीय विकल्पका स्वयंसिद्ध (ACω) बताता है कि अरिक्त समुच्चयों के प्रत्येक गणनीय समुच्चय में एक विकल्प कार्य होता है। हालांकि, AC या ACω की अनुपस्थिति में, कुछ समुच्चयों को अभी भी एक विकल्प फलन के रूप में दिखाया जा सकता है।


 * यदि $$X$$ अरिक्त समुच्चयों का एक सीमित समुच्चय समुच्चय है, तो कोई इसके लिए एक विकल्प फलन बना सकता है $$X$$ के प्रत्येक सदस्य से एक तत्व चुनकर $$X.$$ इसके लिए केवल बहुत से विकल्पों की आवश्यकता होती है, इसलिए न तो AC या ACω ज़रूरी है।
 * यदि प्रत्येक सदस्य $$X$$ एक अरिक्त समुच्चय है, और संघ (समुच्चय सिद्धांत) $$\bigcup X$$ सुव्यवस्थित है, तो कोई भी प्रत्येक सदस्य के कम से कम तत्व को चुन सकता है $$X$$. इस स्थिति में, प्रत्येक सदस्य को एक साथ अच्छी तरह से आदेश देना संभव था $$X$$ संघ के एक सुव्यवस्था का सिर्फ एक विकल्प बनाकर, इसलिए न तो AC और न ही ACω चाहिए था। (इस उदाहरण से पता चलता है कि सुक्रम प्रमेय AC का तात्पर्य है। विपरीत (तर्क) भी सत्य है, लेकिन कम तुच्छ है।)

बहु-मूल्यांकित मानचित्र का विकल्प फलन
दो समुच्चय एक्स और Y दिए गए हैं, मान लीजिए कि F, X से Y तक एक बहुमूल्यांकित फलन है (समकक्ष रूप से, $$F:X\rightarrow\mathcal{P}(Y)$$ XF से Y के सत्ता स्थापित का एक फलन है)।

एक फलन $$f: X \rightarrow Y$$ 'F ' का चयन कहा जाता है, यदि:

$$\forall x \in X \, ( f(x) \in F(x) ) \,.$$ अंतर समावेशन, इष्टतम नियंत्रण और गणितीय अर्थशास्त्र के सिद्धांत में निरंतर या मापने योग्य चयन जैसे अधिक नियमित विकल्प कार्यों का अस्तित्व महत्वपूर्ण है। चयन प्रमेय देखें।

बोरबाकी ताऊ फलन
निकोलस बोरबाकी ने अपने प्रतिष्ठान के लिए एप्सिलॉन गणना को प्रयुक्त किया जिसमें a $$ \tau $$ प्रतीक जिसे एक वस्तु (यदि कोई अस्तित्व में है) चुनने के रूप में व्याख्या किया जा सकता है जो किसी दिए गए प्रस्ताव को संतुष्ट करता है। तो यदि $$ P(x) $$ एक विधेय है, तो $$\tau_{x}(P)$$ एक विशेष वस्तु है जो संतुष्ट करती है $$P$$ (यदि कोई मौजूद है, अन्यथा यह एक मनमाना वस्तु लौटाता है)। इसलिए हम विकल्प फलन से परिमाण कों प्राप्त कर सकते हैं, उदाहरण के लिए $$ P( \tau_{x}(P))$$ के बराबर था $$ (\exists x)(P(x))$$.

हालाँकि, बोरबाकी का विकल्पप्रचालक सामान्य से अधिक मजबूत है: यह एक वैश्विक विकल्पप्रचालक है। अर्थात्, यह वैश्विक विकल्पके स्वयंसिद्ध को दर्शाता है। एप्सिलॉन गणना की प्रारम्भ करते समय हिल्बर्ट को इसका एहसास हुआ।

यह भी देखें

 * गणनीय विकल्प का स्वयंसिद्ध
 * आश्रित विकल्प का स्वयंसिद्ध
 * हॉसडॉर्फ विरोधाभास
 * अर्ध निरंतरता