★ 수학 이야기2010. 12. 7. 22:46

요전에 Axiom of choice로 Hausdorff maximal principle(HMP, 하우스도르프 극대원리)를 증명했다.

이번에 HMP를 이용하여 Zorn's lemma(ZL, 조른의 보조정리)를 증명해보려고 한다.


0123


증명방법이 생각보다 간단하다.


chain의 upper bound, u가 poset A의 원소임에 주의하자.
Posted by White Joker