Difference between revisions of "Cardinality of important sets"

Revision as of 14:12, 14 October 2021

The aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets that can be well-ordered. They were introduced by the mathematician Georg Cantor and are named after the symbol he used to denote them, the Hebrew letter aleph ( $\,\aleph \,$ ).

The cardinality of the natural numbers is $\,\aleph _{0}\,$ (read aleph-nought or aleph-zero; the term aleph-null is also sometimes used), the next larger cardinality of a well-orderable set is aleph-one $\,\aleph _{1}\;,$ then $\,\aleph _{2}\,$ and so on. Continuing in this manner, it is possible to define a cardinal number $\,\aleph _{\alpha }\,$ for every ordinal number $\,\alpha \;,$ as described below.

The concept and notation are due to Georg Cantor, who defined the notion of cardinality and realized that infinite sets can have different cardinalities.

The aleph numbers differ from the infinity ( $\,\infty \,$ ) commonly found in algebra and calculus, in that the alephs measure the sizes of sets, while infinity is commonly defined either as an extreme limit of the real number line (applied to a function or sequence that "diverges to infinity" or "increases without bound"), or as an extreme point of the extended real number line.

Aleph-nought

$\,\aleph _{0}\,$ (aleph-nought, also aleph-zero or aleph-null) is the cardinality of the set of all natural numbers, and is an infinite cardinal. The set of all finite ordinals, called $\,\omega \,$ or $\,\omega _{0}\,$ (where $\,\omega \,$ is the lowercase Greek letter omega), has cardinality $\,\aleph _{0}\;.$ A set has cardinality $\,\aleph _{0}\,$ if and only if it is countably infinite, that is, there is a bijection (one-to-one correspondence) between it and the natural numbers. Examples of such sets are

the set of all integers,
any infinite subset of the integers, such as the set of all square numbers or the set of all prime numbers,
the set of all rational numbers,
the set of all constructible numbers (in the geometric sense),
the set of all algebraic numbers,
the set of all computable numbers,
the set of all binary strings of finite length, and
the set of all finite subsets of any given countably infinite set.

These infinite ordinals: $\,\omega \;,$ $\,\omega +1\;,$ $\,\omega \,\cdot 2\,,\,$ $\,\omega ^{2}\,,$ $\,\omega ^{\omega }\,$ and $\,\varepsilon _{0}\,$ are among the countably infinite sets. For example, the sequence (with ordinality ω·2) of all positive odd integers followed by all positive even integers

\,\{\,1,3,5,7,9,...,2,4,6,8,10,...\,\}\,

is an ordering of the set (with cardinality $\aleph _{0}$ ) of positive integers.

If the axiom of countable choice (a weaker version of the axiom of choice) holds, then $\,\aleph _{0}\,$ is smaller than any other infinite cardinal.

Cardinality of the Natural Numbers

Two important generalizations of natural numbers arise from the two uses of counting and ordering: cardinal numbers and ordinal numbers.

A natural number can be used to express the size of a finite set; more precisely, a cardinal number is a measure for the size of a set, which is even suitable for infinite sets. This concept of "size" relies on maps between sets, such that two sets have the same size, exactly if there exists a bijection between them. The set of natural numbers itself, and any bijective image of it, is said to be countably infinite and to have cardinality aleph-null ( $ℵ 0$ ).
Natural numbers are also used as linguistic ordinal numbers: "first", "second", "third", and so forth. This way they can be assigned to the elements of a totally ordered finite set, and also to the elements of any well-ordered countably infinite set. This assignment can be generalized to general well-orderings with a cardinality beyond countability, to yield the ordinal numbers. An ordinal number may also be used to describe the notion of "size" for a well-ordered set, in a sense different from cardinality: if there is an order isomorphism (more than a bijection!) between two well-ordered sets, they have the same ordinal number. The first ordinal number that is not a natural number is expressed as $ω$ ; this is also the ordinal number of the set of natural numbers itself.

The least ordinal of cardinality $ℵ 0$ (that is, the initial ordinal of $ℵ 0$ ) is $ω$ but many well-ordered sets with cardinal number $ℵ 0$ have an ordinal number greater than $ω$ .

For finite well-ordered sets, there is a one-to-one correspondence between ordinal and cardinal numbers; therefore they can both be expressed by the same natural number, the number of elements of the set. This number can also be used to describe the position of an element in a larger finite, or an infinite, sequence.

A countable non-standard model of arithmetic satisfying the Peano Arithmetic (that is, the first-order Peano axioms) was developed by Skolem in 1933. The hypernatural numbers are an uncountable model that can be constructed from the ordinary natural numbers via the ultrapower construction.

Georges Reeb used to claim provocatively that The naïve integers don't fill up $ℕ$ . Other generalizations are discussed in the article on numbers.

Resources

Natural number, Wikipedia

@@ Line 1: / Line 1: @@
-In [[mathematics]], particularly in [[set theory]], the '''aleph numbers''' are a [[sequence]] of numbers used to represent the [[cardinality]] (or size) of [[infinite set]]s that can be [[well-ordered]]. They were introduced by the mathematician [[Georg Cantor]]<ref>{{cite encyclopedia |title=Aleph |website=Encyclopedia of Mathematics  |url=https://encyclopediaofmath.org/wiki/Aleph}}</ref> and are named after the symbol he used to denote them, the [[Hebrew alphabet|Hebrew]] letter [[aleph]] (<math>\,\aleph\,</math>). the letter aleph appears both the right way up and upside down – partly because a [[monotype]] matrix for aleph was mistakenly constructed the wrong way up.
+The '''aleph numbers''' are a sequence of numbers used to represent the cardinality (or size) of infinite sets that can be well-ordered. They were introduced by the mathematician Georg Cantor and are named after the symbol he used to denote them, the Hebrew letter aleph (<math>\,\aleph\,</math>).
-The cardinality of the [[natural number]]s is <math>\,\aleph_0\,</math> (read ''aleph-nought'' or ''aleph-zero''; the term ''aleph-null'' is also sometimes used), the next larger cardinality of a [[well-order]]able set is aleph-one <math>\,\aleph_1\;,</math> then <math>\,\aleph_2\,</math> and so on. Continuing in this manner, it is possible to define a [[cardinal number]] <math>\,\aleph_\alpha\,</math> for every [[ordinal number]] <math>\,\alpha\;,</math> as described below.
+The cardinality of the natural numbers is <math>\,\aleph_0\,</math> (read ''aleph-nought'' or ''aleph-zero''; the term ''aleph-null'' is also sometimes used), the next larger cardinality of a well-orderable set is aleph-one <math>\,\aleph_1\;,</math> then <math>\,\aleph_2\,</math> and so on. Continuing in this manner, it is possible to define a cardinal number <math>\,\aleph_\alpha\,</math> for every ordinal number <math>\,\alpha\;,</math> as described below.
-The concept and notation are due to [[Georg Cantor]], who defined the notion of cardinality and realized that [[Georg Cantor's first set theory article|infinite sets can have different cardinalities]].
+The concept and notation are due to Georg Cantor, who defined the notion of cardinality and realized that infinite sets can have different cardinalities.
-The aleph numbers differ from the [[Extended real number line|infinity]] (<math>\,\infty\,</math>) commonly found in algebra and calculus, in that the alephs measure the sizes of sets, while infinity is commonly defined either as an extreme [[limit (mathematics)|limit]] of the [[real number line]] (applied to a [[function (mathematics)|function]] or [[sequence]] that "[[divergent series|diverges]] to infinity" or "increases without bound"), or as an extreme point of the extended real number line.
+The aleph numbers differ from the infinity (<math>\,\infty\,</math>) commonly found in algebra and calculus, in that the alephs measure the sizes of sets, while infinity is commonly defined either as an extreme limit of the real number line (applied to a function or sequence that "diverges to infinity" or "increases without bound"), or as an extreme point of the extended real number line.
 ==Aleph-nought==
-<math>\,\aleph_0\,</math> (aleph-nought, also aleph-zero or aleph-null) is the cardinality of the set of all natural numbers, and is an [[transfinite number|infinite cardinal]]. The set of all finite [[ordinal number|ordinals]], called '''<math>\,\omega\,</math>''' or '''<math>\,\omega_{0}\,</math>''' (where <math>\,\omega\,</math> is the lowercase Greek letter [[omega]]), has cardinality <math>\,\aleph_0\;.</math> A set has cardinality <math>\,\aleph_0\,</math> if and only if it is [[countably infinite]], that is, there is a [[bijection]] (one-to-one correspondence) between it and the natural numbers. Examples of such sets are
+<math>\,\aleph_0\,</math> (aleph-nought, also aleph-zero or aleph-null) is the cardinality of the set of all natural numbers, and is an infinite cardinal. The set of all finite ordinals, called '''<math>\,\omega\,</math>''' or '''<math>\,\omega_{0}\,</math>''' (where <math>\,\omega\,</math> is the lowercase Greek letter omega), has cardinality <math>\,\aleph_0\;.</math> A set has cardinality <math>\,\aleph_0\,</math> if and only if it is countably infinite, that is, there is a bijection (one-to-one correspondence) between it and the natural numbers. Examples of such sets are
-* the set of all [[integer]]s,
+* the set of all integers,
-* any infinite subset of the integers, such as the set of all [[square numbers]] or the set of all [[prime numbers]],
+* any infinite subset of the integers, such as the set of all square numbers or the set of all prime numbers,
-* the set of all [[rational number]]s,
+* the set of all rational numbers,
-* the set of all [[constructible number]]s (in the geometric sense),
+* the set of all constructible numbers (in the geometric sense),
-* the set of all [[algebraic number]]s,
+* the set of all algebraic numbers,
-* the set of all [[computable number]]s,
+* the set of all computable numbers,
-* the set of all binary [[string (computer science)|string]]s of finite length, and
+* the set of all binary strings of finite length, and
-* the set of all finite [[subset]]s of any given countably infinite set.
+* the set of all finite subsets of any given countably infinite set.
-These infinite ordinals: <math>\,\omega\;,</math> <math>\,\omega+1\;,</math> <math>\,\omega\,\cdot2\,,\,</math> <math>\,\omega^{2}\,,</math> <math>\,\omega^{\omega}\,</math> and [[Epsilon numbers (mathematics)|<math>\,\varepsilon_{0}\,</math>]] are among the countably infinite sets.<ref>{{cite book | last1=Jech | first1=Thomas | title=Set Theory | publisher= [[Springer-Verlag]]| location=Berlin, New York | series=Springer Monographs in Mathematics | year=2003}}</ref> For example, the sequence (with [[ordinality]] ω·2) of all positive odd integers followed by all positive even integers
+These infinite ordinals: <math>\,\omega\;,</math> <math>\,\omega+1\;,</math> <math>\,\omega\,\cdot2\,,\,</math> <math>\,\omega^{2}\,,</math> <math>\,\omega^{\omega}\,</math> and <math>\,\varepsilon_{0}\,</math> are among the countably infinite sets. For example, the sequence (with ordinality ω·2) of all positive odd integers followed by all positive even integers
 :<math>\,\{\,1, 3, 5, 7, 9, ..., 2, 4, 6, 8, 10, ...\,\}\,</math>
@@ Line 25: / Line 25: @@
 is an ordering of the set (with cardinality <math>\aleph_0</math>) of positive integers.
-If the [[axiom of countable choice]] (a weaker version of the [[axiom of choice]]) holds, then <math>\,\aleph_0\,</math> is smaller than any other infinite cardinal.
+If the axiom of countable choice (a weaker version of the axiom of choice) holds, then <math>\,\aleph_0\,</math> is smaller than any other infinite cardinal.
+==Cardinality of the Natural Numbers==
 Two important generalizations of natural numbers arise from the two uses of counting and ordering: cardinal numbers and ordinal numbers.
 * A natural number can be used to express the size of a finite set; more precisely, a cardinal number is a measure for the size of a set, which is even suitable for infinite sets. This concept of "size" relies on maps between sets, such that two sets have the same size, exactly if there exists a bijection between them. The set of natural numbers itself, and any bijective image of it, is said to be ''countably infinite'' and to have cardinality aleph-null ({{math|ℵ<sub>0</sub>}}).

Difference between revisions of "Cardinality of important sets"

Revision as of 14:12, 14 October 2021

Aleph-nought

Cardinality of the Natural Numbers

Resources

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools