Ruka hadi maudhui
The Lumenary
Shahada ya kwanza (mwanzo)NumberImepangwa

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

Onyesha kila kinachohitajika kufikia mada hii

Somo la mada hii bado halijaandikwa. Muhtasari ulio hapa chini ni sehemu ya ramani ya mtaala na haujakaguliwa.

Inajengwa juu ya

Relations, equivalence relations and partitionsOrders, lattices and well-ordersReal numbers and irrationalityAlgebraic structures: monoids, groups and rings

Masharti ya awali ya lazima 17 (hadi chini kabisa)

Utajifunza

  • 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.

Fasili

  • 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.

Nadharia

  • 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.

Mawazo potofu ya kawaida

  • 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.

Ugunduzi wa hiari

  • 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

Usomaji zaidi

  • Edmund Landau, Foundations of Analysis