विशिष्टता परिमाणीकरण

"अद्वितीय (गणित)" redirects here. For अन्य उपयोग, see अद्वितीय (बहुविकल्पी).

गणित और तर्कशास्त्र में, "विशिष्टता" शब्द एक निश्चित स्थिति को संतुष्ट करने वाली एकमात्र वस्तु होने की संपत्ति को संदर्भित करता है। इस प्रकार के परिमाणीकरण को विशिष्टता परिमाणीकरण या अद्वितीय अस्तित्व संबंधी परिमाणीकरण के रूप में जाना जाता है और इसे अधिकांशतः "∃!" या "∃₌₁". प्रतीकों से दर्शाया जाता है। उदाहरण के लिए औपचारिक वक्तव्य

$\exists !n\in \mathbb {N} \,(n-2=4)$

इसे पढ़ा जा सकता है क्योंकि यहाँ बिल्कुल प्राकृतिक संख्या है $n$ ऐसा है कि $n-2=4$.

विशिष्टता सिद्ध करना

किसी निश्चित वस्तु के अद्वितीय अस्तित्व को सिद्ध करने की सबसे समान्य तकनीक पहले इकाई के अस्तित्व को वांछित स्थिति के साथ सिद्ध करना है, और फिर यह सिद्ध करना है कि ऐसी कोई दो इकाइयाँ (जैसे,$a$और$b$) दूसरे के समान होना चाहिए (अर्थात$a=b$).

उदाहरण के लिए, यह दिखाने के लिए कि समीकरण $x+2=5$ इसका बिल्कुल ही समाधान है, सबसे पहले यह स्थापित करके प्रारंभ करनी होगी कि कम से कम समाधान उपस्थित है, अर्थात् 3; इस भाग का प्रमाण केवल यह सत्यापन है कि नीचे दिया गया समीकरण सही है:

$3+2=5.$

समाधान की विशिष्टता स्थापित करने के लिए, यह मानकर आगे बढ़ना होगा कि दो समाधान हैं $a$और$b$, संतुष्टि देने वाला $x+2=5$. वह है,

$a+2=5{\text{ and }}b+2=5.$

समानता की परिवर्तनशीलता (गणित) द्वारा,

$a+2=b+2.$

दोनों ओर से 2 घटाने पर प्राप्त होता है

$a=b.$

जो इस बात का प्रमाण पूरा करता है कि 3, $x+2=5$ का अद्वितीय समाधान है।

समान्य रूप से, अस्तित्व (कम से कम वस्तु उपस्थित है) और विशिष्टता (अधिकतम वस्तु उपस्थित है) दोनों को सिद्ध किया जाना चाहिए, जिससे यह निष्कर्ष निकाला जा सकता है कि उक्त नियम को पूरा करने वाली वास्तव में वस्तु उपस्थित है।

विशिष्टता सिद्ध करने का एक वैकल्पिक विधि यह सिद्ध करना है कि नियम को संतुष्ट करने वाली कोई वस्तु $a$ उपस्थित है, और फिर यह सिद्ध करना है कि नियम को संतुष्ट करने वाली प्रत्येक वस्तु $a$ के समान होनी चाहिए।

सामान्य अस्तित्वगत और सार्वभौमिक परिमाणीकरण में कमी

विशिष्टता परिमाणीकरण को सूत्र $\exists !xP(x)$ को परिभाषित करके विधेय तर्क के अस्तित्वगत और सार्वभौमिक परिमाणकों के संदर्भ में व्यक्त किया जा सकता है

$\exists x\,(P(x)\,\wedge \neg \exists y\,(P(y)\wedge y\neq x)),$

जो तार्किक रूप से समकक्ष है

$\exists x\,(P(x)\wedge \forall y\,(P(y)\to y=x)).$

एक समकक्ष परिभाषा जो संक्षिप्तता की कीमत पर अस्तित्व और विशिष्टता की धारणाओं को दो खंडों में अलग करती है, वह है

$\exists x\,P(x)\wedge \forall y\,\forall z\,[(P(y)\wedge P(z))\to y=z].$

एक अन्य समतुल्य परिभाषा, जिसमें संक्षिप्तता का लाभ है, है

$\exists x\,\forall y\,(P(y)\leftrightarrow y=x).$

सामान्यीकरण

विशिष्टता परिमाणीकरण को गिनती परिमाणीकरण (या संख्यात्मक परिमाणीकरण) में सामान्यीकृत किया जा सकता है). इसमें वास्तव में k वस्तुओं के अस्तित्व के दोनों परिमाण सम्मिलित हैं जैसे कि ... साथ ही अनंत रूप से कई वस्तुएं ऐसी उपस्थित हैं ... और केवल सीमित रूप से कई वस्तुएं उपस्थित हैं जैसे ...। इनमें से पहला रूप सामान्य क्वांटिफायर का उपयोग करके व्यक्त किया जा सकता है, किंतु बाद के दो को सामान्य प्रथम-क्रम तर्क में व्यक्त नहीं किया जा सकता है।

विशिष्टता समानता (गणित) की धारणा पर निर्भर करती है। इसे कुछ मोटे तुल्यता संबंध में शिथिल करने से उस तुल्यता तक विशिष्टता की मात्रा का निर्धारण होता है (इस रूपरेखा के तहत, नियमित विशिष्टता समानता तक विशिष्टता है)। उदाहरण के लिए, श्रेणी सिद्धांत में कई अवधारणाओं को समरूपता तक अद्वितीय के रूप में परिभाषित किया गया है।

विस्मयादिबोधक चिह्न ! एक अलग परिमाणीकरण प्रतीक के रूप में भी इस्तेमाल किया जा सकता है, इसलिए $(\exists !x.P(x))\leftrightarrow ((\exists x.P(x))\land (!x.P(x)))$ जैसे इसे $\exists !$ के अतिरिक्त प्रतिस्थापन अभिगृहीत में सुरक्षित रूप से उपयोग किया जा सकता है।

यह भी देखें

• मूलतः अद्वितीय
• एक-गर्म
• सिंगलटन (गणित)
• विशिष्टता प्रमेय

ग्रन्थसूची

• Kleene, Stephen (1952). Introduction to Metamathematics. Ishi Press International. p. 199.
• Andrews, Peter B. (2002). An introduction to mathematical logic and type theory to truth through proof (2. ed.). Dordrecht: Kluwer Acad. Publ. p. 233. ISBN 1-4020-0763-9.