You get a bonus - 1 coin for daily activity. Now you have 1 coin

The continuum in set theory

Lecture



The word Continuum comes from the Latin continŭus (continuous).

The Continuum - is an uncountable set, or a set equinumerous with the set of real numbers in the interval (0,1), as well as the cardinal number of such a set (denoted The continuum in set theory or The continuum in set theory).

The set of real numbers in the interval (0,1), as in any other interval, is equinumerous with the set of all numbers on the number line, that is, one can construct a one-to-one mapping from the interval (0,1) onto the whole number line.

The set of points on the plane and in n-dimensional space, where n - is a finite number, also has the cardinality of the continuum.

From Cantor's theorem it follows that continuum sets are infinite. Therefore, if finite sets are added to them, their cardinality does not change as a result. Hence, the continuum sets include the sets The continuum in set theory - of irrational, The continuum in set theory - of complex and transcendental numbers.

The continuum is a more powerful set than the set of natural numbers. The question of the existence of a set with cardinality intermediate between the set of natural numbers and the set of the continuum is one of the unsolved problems of mathematics (see the Continuum hypothesis).

The continuum in set theory — is the cardinality (or cardinal number) of the set of all real numbers. It is denoted by the lowercase Latin letter c in fraktur script: The continuum in set theory. A set having the cardinality of the continuum is called a continuum set.

The term «continuum» may also denote the set of real numbers itself, or even any continuum set.

A function, variable or system is continuous, rather than discrete, if between any two points there is an infinite number of points and if, in addition, they have the completeness property; that is, if the distance between two points is measured by d, then for every number from 0 to d we can find a point whose distance to the first measures exactly this number. This applies, for example, to the real numbers, and also to space-time according to the theory of relativity.

The linear continuum

According to Raymond Wilder (1965), there are four axioms that turn a set C and a relation < into a linear continuum:

  • C is simply ordered with respect to <.
  • If [ A, B ] is a cut of C, then either A has a last element or B has a first element. (compare the Dedekind cut)
  • There exists a nonempty countable subset S of C such that if x, yC are such that x < y, then there exists zS such that x < z < y. (the separability axiom)
  • C has neither a first nor a last element. (the unboundedness axiom)

These axioms characterize the order type of the real number line.

Properties

  • The continuum is an infinite cardinality (an aleph) exceeding the cardinality of a countable set The continuum in set theory. Every continuum set contains a countable subset.
  • The continuum — is the cardinality of the power set of a countable set.
  • The continuum is no less than the cardinality of the set of all countable ordinals The continuum in set theory. Every continuum set contains a subset of cardinality The continuum in set theory. The assumption that The continuum in set theory is called the continuum hypothesis.
  • The cardinality of the union of an at-most-continuum family of sets, each of which is at most continuum, does not exceed the continuum.
  • When a continuum set is partitioned into a finite or countable number of parts, at least one of the parts will have the cardinality of the continuum. As a consequence, the cofinality of the continuum — is uncountable.

Examples of sets with the cardinality of the continuum

Examples of sets having the cardinality of the continuum:

  • All points of the segment The continuum in set theory.
  • All points of the plane The continuum in set theory (or The continuum in set theory), for example — the set of all complex numbers.
  • The set of all irrational numbers.
  • The set of all transcendental numbers.
  • The set of all subsets of a countable set.
  • The set of all partial orders on a countable set.
  • The set of all countable sets of natural numbers.
  • The set of all countable sets of real numbers.
  • The set of all continuous functions The continuum in set theory.
  • The set of all open subsets of the plane The continuum in set theory (or The continuum in set theory).
  • The set of all closed subsets of the plane The continuum in set theory (or The continuum in set theory).
  • The set of all Borel subsets of the plane The continuum in set theory (or The continuum in set theory).
  • The Cantor set

The continuum hypothesis

The famous continuum hypothesis asserts that The continuum in set theory is also the second aleph number, The continuum in set theory. In other words, the continuum hypothesis asserts that there is no set The continuum in set theory whose cardinality lies strictly between The continuum in set theory and The continuum in set theory

The continuum in set theory

It is now known that this statement is independent of the axioms of Zermelo–Fraenkel set theory with the axiom of choice (ZFC). That is, both the hypothesis and its negation are consistent with these axioms. In fact, for any nonzero natural number n the equality The continuum in set theory equals The continuum in set theory is independent of ZFC (the case The continuum in set theory is the continuum hypothesis). The same is true for most other alephs, although in some cases equality can be ruled out by König's theorem on the basis of cofinality (for example, The continuum in set theory). In particular, The continuum in set theory can be either The continuum in set theory or The continuum in set theory, where The continuum in set theory - is the first uncountable ordinal, so it can be either a successor cardinal or a limit cardinal, and either a regular cardinal or a singular cardinal.

The continuum in topology

In topology, a continuum is a connected and compact topological space. Continua arose as an attempt to characterize continuous functions as those that turn continua into continua. The idea did not catch on, but the term continued to be used, since in many areas of mathematics compact and connected sets are used. Some authors also require the Hausdorff property to hold.

From a topological point of view, in physics we speak of continuity, meaning a connected subset of Euclidean space.

See also

  • [[b1772]]
  • Universe
  • Continuity (mathematics)
  • cardinal number
  • finite set
  • countable set
  • set
  • Aleph-null
  • Suslin's problem
  • Transfinite number

See also

    created: 2021-03-13
    updated: 2026-03-09
    203



    Was this answer useful?
    Choose a quick rating so we can improve the next answer for you.
    How satisfied are you?


    Comments

    To leave a comment

    If you have any suggestion, idea, thanks or comment, feel free to write. We really value feedback and are glad to hear your opinion.
    To reply

    Lectures and tutorial on "Discrete Math. Set theory. Graph theory. Combinatorics."

    Terms: Discrete Math. Set theory. Graph theory. Combinatorics.