Matpic
mathematics, in pictures
Concept

Axiom of choice

The assumption that one member can be picked from every set in a family at once, with no rule given for the picking. It is independent of the other axioms of set theory, and a surprising number of ordinary theorems — that a countable union of countable sets is countable, among them — quietly need it.

Named by 3 essays across 2 fields — each of them below, with the objects they name alongside it.

Every way of choosing one thing from each of 4 pairs. A table with one row per choice function on a small family of pairs, each row giving what it takes from each pair, with the row a stated rule names picked out.

The choice nobody can write down

Given finitely many pairs, picking one thing from each is a finite list of decisions and needs no justification. Given infinitely many, the list cannot be finished — and whether one exists anyway is an axiom, independent of everything else, whose consequences include a theorem most people refuse to believe.

logic · Axiom of choice Limit ordinals and the sequences that approach them. Several ordinals with the first terms of their fundamental sequences, and the successors marked as having a predecessor instead.

Reached from below, or not at all

Every limit ordinal anybody meets is the end of an increasing sequence — ω, ω·2, ω^ω, all of them approached one step at a time. The first uncountable ordinal is not, and the reason it is not constrains the size of the continuum.

logic · Ordinals The classes, a selection from them, and the translates that cannot have a length. Points of several classes of the unit interval under translation by rationals, drawn one class per row, above rows showing rational translates of a selection that never overlap.

A set that has no size at all

Slide the unit interval along itself by every rational and the points fall into classes. Choose one point from each and the resulting set has no length — not zero, not positive, none: countably many disjoint copies of it would have total length nought or infinity, and the union needs something in between.

analysis · Measure

Named alongside it

The objects these essays reach for when they reach for this one.

CountabilityWell-orderingCardinalityChoice functionCofinalityContinuum hypothesisContradictionDense setEquivalence relationIndependenceLimit ordinalMaximal element

All concepts