请输入您要查询的字词:

 

单词 ProofOfZermelosWellorderingTheorem
释义

proof of Zermelo’s well-ordering theorem


Let X be any set and let f be a choice function on 𝒫(X){}. Then define a function i by transfinite recursion on the class of ordinalsMathworldPlanetmathPlanetmath as follows:

i(β)=f(X-γ<β{i(γ)}) unless X-γ<β{i(γ)}= or i(γ) is undefined for some γ<β

(the function is undefined if either of the unless clauses holds).

Thus i(0) is just f(X) (the least element of X), and i(1)=f(X-{i(0)}) (the least element of X other than i(0)).

Define by the axiom of replacement β=i-1[X]={γi(γ)=x for some xX}. Since β is a set of ordinals, it cannot contain all the ordinals (by the Burali-Forti paradoxMathworldPlanetmath).

Since the ordinals are well ordered, there is a least ordinal α not in β, and therefore i(α) is undefined. It cannot be that the second unless clause holds (since α is the least such ordinal) so it must be that X-γ<α{i(γ)}=, and therefore for every xX there is some γ<α such that i(γ)=x. Since we already know that i is injectivePlanetmathPlanetmath, it is a bijection between α and X, and therefore establishes a well-ordering of X by x<Xyi-1(x)<i-1(y).

The reverse is simple. If C is a set of nonempty sets, select any well orderingMathworldPlanetmath of C. Then a choice function is just f(a)= the least member of a under that well ordering.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 16:13:36