well-ordering principle implies axiom of choice

Theorem.

The well-ordering principle implies the axiom of choice.

Proof.

Let $C$ be a collection of nonempty sets. Then $\\displaystyle\\bigcup_{S\\in C}S$ is a set. By the well-ordering principle, $\\displaystyle\\bigcup_{S\\in C}S$ is well-ordered under some relation $<$ . Since each $S$ is a nonempty subset of $\\displaystyle\\bigcup_{S\\in C}S$ , each $S$ has a least member $m_{S}$ with respect to the relation $<$ .

Define $\\displaystyle f\\colon C\\to\\bigcup_{S\\in C}S$ by $f(S)=m_{S}$ . Then $f$ is a choice function. Hence, the axiom of choice holds.∎

单词	WellorderingPrincipleImpliesAxiomOfChoice
释义	well-ordering principle implies axiom of choice Theorem. The well-ordering principle implies the axiom of choice. Proof. Let $C$ be a collection of nonempty sets. Then $\\displaystyle\\bigcup_{S\\in C}S$ is a set. By the well-ordering principle, $\\displaystyle\\bigcup_{S\\in C}S$ is well-ordered under some relation $<$ . Since each $S$ is a nonempty subset of $\\displaystyle\\bigcup_{S\\in C}S$ , each $S$ has a least member $m_{S}$ with respect to the relation $<$ . Define $\\displaystyle f\\colon C\\to\\bigcup_{S\\in C}S$ by $f(S)=m_{S}$ . Then $f$ is a choice function. Hence, the axiom of choice holds.∎
随便看	unconditional convergence Uncountable uncountable UncountablePolishSpacesContainCantorSpace uncountable Polish spaces contain Cantor space UncountableSumsOfPositiveNumbers uncountable sums of positive numbers Undecahedron undecahedron UnderDetermined under determined UnderlyingGraphOfAQuiver underlying graph of a quiver UnderstandingTheZeroStateResponse Understanding the Zero-State Response UniformAlgebra Uniform Algebra UniformBase uniform base UniformContinuity uniform continuity UniformContinuityOfLipschitzFunctions uniform continuity of Lipschitz functions UniformContinuityOverLocallyCompactQuantumGroupoids uniform continuity over locally compact quantum groupoids