Hello, infinite-set reader. Set theory is back.
In this post will be discussed about a theorem that will become the basic of Zorn’s Lemma. To remind you of initial segment, you should visit this post first. The definition of the initial segment will be used later.
For any poset with the every non-empty well ordered subset has the smallest upper bound on , then has at least one maximum element.
Given is poset with the every non-empty well ordered subset has the smallest upper bound on . Take any function with for all . Next, take any . By Theorema (post sebelumnya) then can be consider well ordered set such that bounded from above and . It will be shown that is one of the maximal elements of . Take any . If or then it is always true that “if then ”. Also if and then it is always true that “if then ”. In other words, is one of the maximal elements of .
Next we will discuss one of the theorems. But before discussing the theorem, will be given a new definition of the symbol which also produces the following theorem.
Given is the set of all well ordered subsets of poset . Then can be partial order by by definition, for any :
Proof : (more…)