陶哲轩实分析习题8.5.19

Let $X$ be a set, and let $\Omega$ be the space of all pairs $(Y,\leq)$,where $Y$ is a subset of $X$ and $\leq$ is a well ordering of $Y$.If $(Y,\leq)$,$(Y',\leq')$ are elements of of $\Omega$,we say that $(Y,\leq)$ is an initial segment of $(Y',\leq')$ if there exists an $ x\in Y'$ such that $ Y:=\{y\in Y':y<'x\}$(so in particular $ Y\subsetneq Y'$）,and for any $ y,y'\in Y$,$ y\leq y'$ if and only if $ y\leq'y'$.Define a relation $ \preceq$ on $ \Omega$ by defining $ (Y,\leq)\preceq (Y',\leq')$ if either $ (Y,\leq)=(Y',\leq')$ or $ (Y,\leq)$ is an initial segment of $ (Y',\leq')$.Show that $ \preceq$ is a partial ordering of $ \Omega$.

 

 

 

Proof:

1.Reflexivity:$\forall (A,\leq)\in \Omega$,$(A,\leq)=(A,\leq)$,so $(A,\leq)\preceq(A,\leq)$.

2.Anti-symmetry:If $(A,\leq)\preceq(B,\leq')$,and $(B,\leq')\preceq(A,\leq)$,then if $(B,\leq')=(A,\leq)$,done.Otherwise,$(A,\leq)$ is an initial segment of $(B,\leq')$,and $(B,\leq')$ is an initial segment of $(A,\leq)$,this contradicts 良序集的一节,So $(A,\leq)=(B,\leq')$.

3.Transitivity:If $(A,\leq)\preceq(B,\leq')$,and $(B,\leq')\preceq (C,\leq'')$,then $(A,\leq)\preceq (C,\leq'')$.This is because when $(A,\leq)\preceq(B,\leq')$,if $(A,\leq)=(B,\leq')$,then of course $(A,\leq)\preceq (C,\leq'')$.If $(A,\leq)$ is an initial segment of $(B,\leq')$,then $A=\{y\in B:y<'x\}$,because $(B,\leq')\preceq (C,\leq'')$,if $(B,\leq')=(C,\leq'')$,then of course $(A,\leq)\preceq (C,\leq'')$.If $(B,\leq')$ is an initial segment of $(C,\leq'')$ which means that $B=\{y\in C:y<''c\}$.Then it is obvious that $(A,\leq)$ is an initial segment of $(C,\leq'')$.$\Box$

---

 

There is exactly one minimal element of $\Omega$,what is it?

 

Proof:

The minimal element of $\Omega$ is $(\emptyset,\leq)$.There is no smaller.

---

Using Zorn's lemma,conclude the well ordering principle:Every set $X$ has at least one well-ordering.

Proof:

See 良序原理

---

Use the well ordering principle to prove the axiom of choice.

Proof:From the well ordering principle we know that $I$ can be well ordered ,then by using strong induction,we can easily conclude the axiom of choice.$\Box$

转载于:https://www.cnblogs.com/yeluqing/archive/2013/01/29/3827496.html