Product Design, Manufacturing & Innovation Resources
घर » परिमेय संख्याओं की गणनीयता

परिमेय संख्याओं की गणनीयता

1874
  • Georg Cantor
19th-century mathematician studying countability of rational numbers in an office.

(यह छवि केवल उदाहरण के लिए बनाई गई है)

Despite being dense, meaning between any two distinct rational numbers there is another, the set of all rational numbers [latex]\mathbb{Q}[/latex] is countably infinite. This means that all rational numbers can be put into a one-to-one correspondence with the natural numbers [latex]\mathbb{N} = \{1, 2, 3, …\}[/latex]. This surprising result demonstrates that [latex]\mathbb{Q}[/latex] has the same cardinality as [latex]\mathbb{N}[/latex] and [latex]\mathbb{Z}[/latex].

Georg Cantor’s proof of the countability of rational numbers was a landmark in the development of set theory and our understanding of infinity. The proof is constructive and elegant. One common method is to arrange all positive rational numbers [latex]p/q[/latex] in a two-dimensional grid where the row index is [latex]p[/latex] and the column index is [latex]q[/latex]. Then, one can traverse this grid diagonally, starting from [latex]1/1[/latex], then [latex]2/1, 1/2[/latex], then [latex]3/1, 2/2, 1/3[/latex], and so on. This path, known as Cantor’s diagonal argument (though the term is more famous for his proof of the uncountability of the reals), systematically lists every positive rational number.

During the traversal, any fraction that is not in lowest terms (like [latex]2/2[/latex] or [latex]2/4[/latex]) is skipped to ensure each rational number is counted only once. This process creates an ordered list of all positive rational numbers. To include all rationals, one can interleave the positive list with its negative counterpart and place zero at the beginning: [latex]0, 1, -1, 1/2, -1/2, 2, -2, …[/latex]. This explicitly constructs a bijection between the set of natural numbers and the set of rational numbers, proving [latex]\mathbb{Q}[/latex] is countable.

This result is counter-intuitive because the rationals are dense. Between any two rationals, one can always find another (e.g., their average), suggesting they are “more numerous” than the integers, which have clear gaps. Cantor’s proof showed that this intuition is misleading and that the “size” of an infinite set (its cardinality) is more subtle. He later proved that the set of real numbers is uncountable, establishing a hierarchy of infinities.

UNESCO Nomenclature: 1101
बीजगणित, संख्या सिद्धांत और समूह सिद्धांत

Type

सार प्रणाली

व्यवधान

इंक्रीमेंटल

उपयोग

वैचारिक/सैद्धांतिक

शगुन

  • एक-से-एक पत्राचार (बायजेक्शन) की अवधारणा
  • बोल्ज़ानो द्वारा अनंत समुच्चयों पर किए गए पूर्व कार्य
  • कठोर गणितीय विश्लेषण का विकास
  • सेट की अवधारणा

आवेदन

  • समुच्चय सिद्धांत की नींव
  • कंप्यूटर विज्ञान में गणना का सिद्धांत (उदाहरण के लिए, यह दर्शाना कि सभी संभावित कंप्यूटर प्रोग्रामों का समूह गणनीय है)
  • माप सिद्धांत, जहाँ गणनीय समुच्चयों का माप शून्य होता है
  • अनंत समुच्चयों के विभिन्न आकारों में अंतर करना (उदाहरण के लिए, परिमेय संख्याएँ बनाम वास्तविक संख्याएँ)

पेटेंट:

NA

संभावित नवाचार विचार

बॉट ट्रैफिक को कम करने के कारण, जो वर्तमान में प्रति दिन 40,000 से अधिक है, यह सामग्री केवल समुदाय के सदस्यों के लिए आरक्षित है।
> लॉगिन < या > रजिस्टर < इस सामग्री और अन्य सभी प्रतिबंधित सामग्रियों और उपकरणों तक पहुंच (100% निःशुल्क) है।

Related to: countability, set theory, Georg Cantor, infinite set, cardinality, bijection, natural numbers, dense set, diagonal argument, aleph-null.

ऐतिहासिक संदर्भ

परिमेय संख्याओं की गणनीयता

1790
1800
1844
1874
1893
1900
1779
1799
1801
1850
1875
1897
1950

(यदि तिथि अज्ञात है या प्रासंगिक नहीं है, उदाहरण के लिए "द्रव यांत्रिकी", तो इसके उल्लेखनीय उद्भव का एक अनुमानित आंकड़ा प्रदान किया गया है)

संबंधित आविष्कार, नवाचार और तकनीकी सिद्धांत

पंजीकृत सदस्यों के लिए पूर्ण आकार की छवियाँ और डाउनलोड 100% निःशुल्क उपलब्ध हैं।