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

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


 * $$\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 ! x P(x)$$ मतलब निकालना


 * $$\exists x\,( P(x) \, \wedge \neg \exists y\,(P(y) \wedge y \ne 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)))$$, कहाँ $$(! x. P(x)) := (\forall a \forall b. P(a)\land P(b)\rightarrow a=b)$$. जैसे इसके स्थान पर इसे प्रतिस्थापन सिद्धांत में सुरक्षित रूप से उपयोग किया जा सकता है $$\exists !$$.

यह भी देखें

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