In mathematics, the cardinality of the continuum is the cardinal number of the set of real numbers R (sometimes called the continuum). This cardinal number is often denoted by , Euclid, Greek mathematician, 3rd century BC, as imagined by by Raphael in this detail from The School of Athens. ...
Aleph0, the smallest infinite cardinal In mathematics, cardinal numbers, or cardinals for short, are a generalized kind of number used to denote the size of a set. ...
In mathematics, a set can be thought of as any collection of distinct things considered as a whole. ...
Please refer to Real vs. ...
In mathematics, the word continuum sometimes denotes the real line. ...
Properties
Uncountability Georg Cantor introduced the concept of cardinality to compare the sizes of infinite sets. He famously showed that the set of real numbers is uncountably infinite; i.e. c is strictly greater than the cardinality of the natural numbers, (alephnull): Georg Cantor Georg Ferdinand Ludwig Philipp Cantor (March 3, 1845, St. ...
In mathematics, the cardinality of a set is a measure of the number of elements of the set. There are two approaches to cardinality â€“ one which compares sets directly using bijections, injections, and surjections, and another which uses cardinal numbers. ...
In mathematics, an uncountable set is a set which is not countable. ...
Natural number can mean either a positive integer (1, 2, 3, 4, ...) or a nonnegative integer (0, 1, 2, 3, 4, ...). Natural numbers have two main purposes: they can be used for counting (there are 3 apples on the table), or they can be used for ordering (this is...
In the branch of mathematics known as set theory, aleph usually refers to a series of numbers used to represent the cardinality (or size) of infinite sets. ...
In other words, there are strictly more real numbers than there are integers. Cantor proved this statement in several different ways. See Cantor's first uncountability proof and Cantor's diagonal argument. Contrary to what most mathematicians believe, Georg Cantors first proof that the set of all real numbers is uncountable was not his famous diagonal argument, and did not mention decimal expansions or any other numeral system. ...
Cantors diagonal argument is a proof devised by Georg Cantor to demonstrate that the real numbers are not countably infinite. ...
Cardinal equalities A variation on Cantor's diagonal argument can be used to prove Cantor's theorem which states that the cardinality of any set is strictly less than that of its power set, i.e. A < 2^{A}. One concludes that the power set P(N) of the natural numbers N is uncountable. It is then natural to ask whether the cardinality of P(N) is equal to c. It turns out that the answer is yes. One can prove this in two steps: In ZermeloFrÃ¤nkel set theory, Cantors theorem states that the power set (set of all subsets) of any set A has a strictly greater cardinality than that of A. Cantors theorem is obvious for finite sets, but surprisingly it holds true for infinite sets as well. ...
In mathematics, given a set S, the power set (or powerset) of S, written or 2S, is the set of all subsets of S. In axiomatic set theory (as developed e. ...
In mathematics, a natural number can mean either an element of the set {1, 2, 3, ...} (i. ...
 Define a map f : R → P(Q) from the reals to the power set of the rationals by sending each real number x to the set of all rationals less than or equal to x (with the reals viewed as Dedekind cuts, this is nothing other than the inclusion map in the set of sets of rationals). This map is injective since the rationals are dense in R. Since the rationals are countable we have that .
 Let {0,2}^{N} be the set of infinite sequences with values in set {0,2}. This set clearly has cardinality (the natural bijection between the set of binary sequences and P(N) is given by the indicator function). Now associate to each such sequence (a_{i}) the unique real number in the interval [0,1] with the ternaryexpansion given by the digits (a_{i}), i.e. the ith digit after the decimal point is a_{i}. The image of this map is called the Cantor set. It is not hard to see that this map is injective, for by avoiding points with the digit 1 in their ternary expansion we avoid conflicts created by the fact that the ternaryexpansion of a real number is not unique. We then have that .
By the Cantor–Bernstein–Schroeder theorem we conclude that In mathematics, a rational number (or informally fraction) is a ratio of two integers, usually written as the vulgar fraction a/b, where b is not zero. ...
In mathematics, a Dedekind cut, named after Richard Dedekind, in a totally ordered set S is a partition of it, (A, B), such that A is closed downwards (meaning that for all a in A, x â‰¤ a implies that x is in A as well) and B is closed upwards...
In mathematics, inclusion is a partial order on sets. ...
In mathematics, an injective function (or onetoone function or injection) is a function which maps distinct input values to distinct output values. ...
In mathematics, a sequence is a list of objects (or events) arranged in a linear fashion, such that the order of the members is well defined and significant. ...
A bijective function. ...
In the mathematical subfield of set theory, the indicator function, or characteristic function, is a function defined on a set X which is used to indicate membership of an element in a subset A of X. Remark. ...
In mathematics, the unit interval is the interval [0,1], that is the set of all real numbers x such that zero is less than or equal to x and x is less than or equal to one. ...
Ternary can mean: Ternary form, a form used for structuring music Ternary logic, a logic system with values true, false, and some other value Ternary numeral system, a base3 counting system Ternary operation, an operation that takes three parameters Ternary plot or Ternary graph, a plot that shows the...
The Cantor set, introduced by German mathematician Georg Cantor, is a remarkable construction involving only the real numbers between zero and one. ...
In mathematics, an injective function (or onetoone function or injection) is a function which maps distinct input values to distinct output values. ...
In set theory, the Cantorâ€“Bernsteinâ€“Schroeder theorem, named after Georg Cantor, Felix Bernstein, and Ernst SchrÃ¶der, states that, if there exist injective functions f : A â†’ B and g : B â†’ A between the sets A and B, then there exists a bijective function h : A â†’ B. In terms of...
The sequence of beth numbers is defined by setting and . So c is the second beth number, bethone In mathematics, the Hebrew letter (aleph) with various subscripts represents various infinite cardinal numbers (see aleph number). ...
The third beth number, , is the cardinality of the set of all subsets of the real line. By using the rules of cardinal arithmetic one can show that Aleph0, the smallest infinite cardinal In mathematics, cardinal numbers, or cardinals for short, are a generalized kind of number used to denote the size of a set. ...
where n is any finite cardinal ≥ 2.
The continuum hypothesis The famous continuum hypothesis asserts that c is also the first aleph number . In other words, the continuum hypothesis states that there is no set A whose cardinality lies strictly between and c In mathematics, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets. ...
In the branch of mathematics known as set theory, the aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets. ...
However, this statement is now known to be independent of the axioms of ZermeloFraenkel set theory (ZFC). That is, both the hypothesis and its negation are consistent with these axioms. In fact, for every nonzero natural number n, the equality c = is independent of ZFC. (The case n = 1 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 grounds of cofinality, e.g., In particular, could be either or , where ω_{1} is the first uncountable ordinal, so it could be either a successor cardinal or a limit cardinal, and either a regular cardinal or a singular cardinal. ZermeloFraenkel set theory, commonly abbreviated ZFC, is the most common form of axiomatic set theory, and as such is the most common foundation of mathematics. ...
In mathematics, a natural number can mean either an element of the set {1, 2, 3, ...} (i. ...
In set theory, KÃ¶nigs theorem (named after the Hungarian mathematician Julius KÃ¶nig) colloquially states that if the axiom of choice holds and if I is a set and mi and ni are cardinal numbers for every i in I, and then The sum here is the cardinality...
In mathematics, especially in order theory, a subset B of a partially ordered set A is cofinal if for every a in A there is a b in B such that a ≤ b. ...
Commonly, ordinal numbers, or ordinals for short, are numbers used to denote the position in an ordered sequence: first, second, third, fourth, etc. ...
In the theory of cardinal numbers, we can define a successor operation similar to that in the ordinal numbers. ...
In mathematics, limit cardinals are a type of cardinal number. ...
In set theory, a regular cardinal is an infinite wellorderable cardinal whose initial ordinal is regular, where a regular ordinal is an ordinal which is equal to its own cofinality. ...
In set theory, a regular cardinal is an infinite wellorderable cardinal whose initial ordinal is regular, where a regular ordinal is an ordinal which is equal to its own cofinality. ...
Sets with cardinality c A great many sets studied in mathematics have cardinality equal to c. Some common examples are the following: In mathematics, the real numbers may be described informally in several different ways. ...
In mathematics, interval is a concept relating to the sequence and setmembership of one or more numbers. ...
In mathematics, the unit interval is the interval [0,1], that is the set of all real numbers x such that zero is less than or equal to x and x is less than or equal to one. ...
In mathematics, an irrational number is any real number that is not a rational number, i. ...
In mathematics, a transcendental number is any irrational number that is not an algebraic number, i. ...
Around 300 BC, the Greek mathematician Euclid laid down the rules of what has now come to be called Euclidean geometry, which is the study of the relationships between angles and distances in space. ...
In mathematics, a complex number is a number of the form where a and b are real numbers, and i is the imaginary unit, with the property i 2 = âˆ’1. ...
In mathematics, given a set S, the power set (or powerset) of S, written or 2S, is the set of all subsets of S. In axiomatic set theory (as developed e. ...
In mathematics, a natural number can mean either an element of the set {1, 2, 3, ...} (i. ...
This is a page about mathematics. ...
In mathematics, a continuous function is a function for which, intuitively, small changes in the input result in small changes in the output. ...
The Cantor set, introduced by German mathematician Georg Cantor, is a remarkable construction involving only the real numbers between zero and one. ...
In mathematics, Euclidean space is a generalization of the 2 and 3dimensional spaces studied by Euclid. ...
In topology and related fields of mathematics, a set U is called open if, intuitively speaking, you can wiggle or change any point x in U by a small amount in any direction and still be inside U. In other words, if x is surrounded only by elements of U...
References  Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by SpringerVerlag, New York, 1974. ISBN 0387900926 (SpringerVerlag edition).
 Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3540440852.
 Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0444868399.
This article incorporates material from cardinality of the continuum on PlanetMath, which is licensed under the GFDL. PlanetMath is a free, collaborative, online mathematics encyclopedia. ...
