Math 2.0

object

Aleph-null

Description

Aleph-null, written ℵ0\aleph_0, is the cardinality of the set N\mathbb{N} of natural numbers. It is the cardinality of each countably infinite set. It is the least infinite cardinal number: each infinite set has cardinality at least ℵ0\aleph_0, with the axiom of choice.

Remarks

Other names are aleph-zero and aleph-nought. ℵ0+ℵ0=ℵ0⋅ℵ0=ℵ0\aleph_0 + \aleph_0 = \aleph_0 \cdot \aleph_0 = \aleph_0, but 2ℵ0>ℵ02^{\aleph_0} > \aleph_0 by Cantor's theorem. As an ordinal, ℵ0\aleph_0 is ω\omega, the set of the finite ordinals.

Explanations

L1 human

ℵ0\aleph_0 is the size of the infinity of counting. The sets N\mathbb{N}, Z\mathbb{Z} and Q\mathbb{Q} all have this size.

What this node needs for W2
  • section Invariants: a table of the main invariants (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What depends on this

3 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Aleph_number, Aleph-zero