विकल्प फलन

एक च्वाइस फंक्शन (चयनकर्ता, चयन) एक गणितीय फ़ंक्शन f है जिसे गैर-खाली सेट (गणित) के कुछ संग्रह X पर परिभाषित किया गया है और उस संग्रह में प्रत्येक सेट 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) को भी पेश किया और अच्छी तरह से आदेश देने वाले प्रमेय को साबित किया, जिसमें कहा गया है कि प्रत्येक सेट सुव्यवस्थित हो सकता है | सुव्यवस्थित। एसी बताता है कि गैर-रिक्त सेटों के प्रत्येक सेट में एक विकल्प कार्य होता है। एसी का एक कमजोर रूप, गणनीय पसंद का स्वयंसिद्ध (एसीω) बताता है कि गैर-खाली सेटों के प्रत्येक गणनीय सेट में एक विकल्प कार्य होता है। हालांकि, एसी या एसी के अभाव मेंω, कुछ सेटों को अभी भी एक च्वाइस फंक्शन के लिए दिखाया जा सकता है।


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

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

एक समारोह $$f: X \rightarrow Y$$ 'एफ' का चयन कहा जाता है, यदि:

$$\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))$$. हालाँकि, Bourbaki का चॉइस ऑपरेटर सामान्य से अधिक मजबूत है: यह एक ग्लोबल चॉइस ऑपरेटर है। अर्थात्, यह वैश्विक पसंद के स्वयंसिद्ध का अर्थ है। एप्सिलॉन कैलकुलस की शुरुआत करते समय हिल्बर्ट को इसका एहसास हुआ।

यह भी देखें

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