Math 2.0

definition

Infinite set

Definition

A set AA is infinite when it is not finite, that is, when AA is not equinumerous with {1,…,n}\{1, \dots, n\} for any natural number nn.

Remarks

Examples are N\mathbb{N}, Z\mathbb{Z}, Q\mathbb{Q} and R\mathbb{R}. With the axiom of choice, a set is infinite exactly when it is equinumerous with a proper subset of itself. This is the Dedekind definition. Infinite sets can have different sizes. See Cantor's theorem.

Explanations

L1 human

An infinite set never runs out of elements when you count them. The natural numbers are infinite: after each number there is a next one.

What this node needs for W2
  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (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

1 node uses this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Infinite_set, lead section