.I just started Analysis and I have a few questions,
1. "In a partial order on , an element is maximal if , and is maximum if for all "
It seems to me that these definitions are equivalent, since if it means that such that , so x is bigger than every other element in the set.
Also, is pretty much saying x is bigger than every other element in the set, right?
So what am I missing? :/
In the definition of maximal there is no requirement that if , and in the definition of maximum THERE IS such a requirement.
For example, if you look at the set of sets and you partial order it wrt subset relation, then both
are maximal elements of S since there is no set (element) in S "bigger" (containing) any of them.
Now, if you'd put then is now the maximum element of S'.
Pay attention to the fact that is an element is a maximum then it also is a maximal element and, in fact, the only one (maximum/maximal) there is, but there can be many maximal elements.
Finally, wrt your last question: that an element is maximal means there is no element bigger than it, and that an element is a (in fact, as already noted, THE) maximum means it is the biggest element of the set.
"A subset Y of X such that for any , either or is called a chain. If X itself is a chain, the partial order is a linear or total order."
Just to make sure I'm understanding this alright:
Say you have a set
Then would with partial order and with partial order be "chains"?
Y is not a chain because neither nor . Z is a chain because it contains one unique element so it vacuously fulfills the condition.
What are other partial orders you could have? I can only think of
There are infinitely many different partial orders on infinitely many different sets, but perhaps it's too soon to even give you examples. First grab the basics.
3. Do partially ordered sets have to be countable?
4. What does mean?
Per definition it is the set of all the functions from the natural numbers to the real ones. You can think of it as the set of all the real sequences...