स्नातक (प्रारंभिक)Numberनियोजित
Constructing ℤ, ℚ and ℝ
Building the number systems from the natural numbers: ℤ from pairs of naturals, ℚ from pairs of integers, and ℝ from Dedekind cuts or Cauchy sequences, together with the uniqueness of the complete ordered field.
math.number.number-system-constructions
इस विषय का पाठ अभी लिखा नहीं गया है। नीचे दी गई रूपरेखा पाठ्यक्रम-मानचित्र का हिस्सा है और इसकी समीक्षा नहीं हुई है।
इस पर आधारित
Relations, equivalence relations and partitionsOrders, lattices and well-ordersReal numbers and irrationalityAlgebraic structures: monoids, groups and rings
17 अनिवार्य पूर्वापेक्षाएँ (बिल्कुल नीचे तक)
आप सीखेंगे
- Construct ℤ as equivalence classes of pairs of natural numbers and check that the operations are well defined.
- Construct ℚ as the field of fractions of ℤ.
- Construct ℝ by Dedekind cuts or Cauchy sequences and prove the least-upper-bound property.
परिभाषा
- On ℕ × ℕ, (a, b) ~ (c, d) if and only if a + d = b + c; the class of (a, b) represents a − b.
- A Dedekind cut is a non-empty proper subset of ℚ that is closed downwards and has no greatest element.
- A complete ordered field is an ordered field in which every non-empty subset that is bounded above has a supremum.
प्रमेय
- Operations on equivalence classes are well defined: they do not depend on the chosen representatives.
- Any two complete ordered fields are isomorphic by a unique order-preserving field isomorphism.
- The Dedekind and Cauchy constructions produce isomorphic ordered fields.
आम भ्रांतियाँ
- Thinking well-definedness is automatic when operations are defined on equivalence classes.
- Reading the constructions as saying what numbers 'really are', rather than as showing that structures with the required properties exist.
वैकल्पिक खोजें
- Real analysis Completeness of ℝ, established here by construction, is the property on which rigorous analysis rests.
- Universal properties The field of fractions has a universal property: every injective ring homomorphism from an integral domain into a field extends uniquely to its field of fractions.
- ← Integers
आगे पढ़ने के लिए
- Edmund Landau, Foundations of Analysis