Home » 2017 » July

Monthly Archives: July 2017

Zorn’s Lemma Part 1

Hello, infinite-set readers. Set theory is back.

The previous post about set theory is on this link. If you visit this website for the first time, you should read the previous posts.

(x) Theorem :

Any poset has the largest well ordered subset.

Proof :

Given any poset \left(P,\leq\right). Consider poset \left(Q,\ll\right) with Q is the set of all well ordered subset of poset \left(P,\leq\right) and \ll is a relation that defined as before. By Theorem in this post then all well ordered subset of poset \left(Q,\ll\right) has the smallest upper bound. By Theorem in this post Because of \left(Q,\ll\right) is a poset that every the well ordered subset has the smallest upper bound then Q has at least one maximum element. Suppose that the maximum element of Q is m, then m is also largest well ordered of poset P.

Next will be discussed about the theorem that became the basic of Zorn’s Lemma.

(y) Theorem :

For non-empty poset P that every the well ordered subset has upper bound then P has at least one maximum element.

Proof : (more…)