As you can see there are many forms of ordered sets.
You also define what a gap means.
Hi so I am studying and there is a sentence saying that
There is (S,<) an ordered set,
then S is without gaps if and only if S has the properties of Supremum,
Can someone give me an intuitive explanation and give me a formal proof?
1-)So the ordered set they defined has two properties
O1. x,y belongs to set S then on of the three situation exists, x<y, x=y, x>y (Trichotomous)
O2.x,y,z belongs to set S, if x<y and y<z then x<z (Transitivity)
And it's written (S,<), which means S is an ordered set which has the order with <.
It is said that (S,<) is a a sat without gaps if and only if:
L,U are subsets of S (They are not empty sets) and L<U (L is equal or less than U)
In other words for every u that belongs to U and for every l belongs to L, l<u (l is equal or less than u)
Then there exists c that belongs to S such that l<c<u (equal or less signs)
3-)So the property of supremum is,
There is an ordered set S
X is a subset of S
s (belongs to S) is called the Supremum of set X if and only if the two properties exist,
1.x<s (x is equal or less than s) , x belongs to X (s is upper bound of X)
2.If x<u (x is equal or less than u) for every x that belongs to X then s<u (s is equal or less than u)
So these are the information that is given as an ordered set and the third is the properties of supremum.
By the way I don't know how to write the mathematical signs in the forum, so that is why I use more words,
And I hope the information I gave is enough. I try to be as precise as I can because I am translating it from Hebrew to English.
total order or linear order
That is standard.
The definition of supremun is a bit garbled but understandable.
But I am sorry to say that I find the description of gaps unintelligible. It sounds like an idea related to cuts.
But if gaps are something similar to cuts then your translation is wanting.
Can you try again?
You can learn to use LaTeX coding.
[tex]a \prec b[/tex] gives read which is usually a reflexive and anti-symmetric relation,
Hmmm I see, I wish I could give another definition for gaps. But what the lecturer meant by gap he meant, for example, rational numbers has gaps, because it has numbers like square root 2 or the number e, and many numbers that rational numbers doesn't contain, so it it hes gaps.
By the way, I learned to use the program called LyX , I heard that it uses latex coding, so will it work here if I write like I write in LyX?
For "without gaps", I think the OP means:
A totally ordered set is said to be "without gaps" if for any pair of nonempty subsets with for all there exists with for all .
Next, from the statement that "has the supremum property", I think the OP means that every subset , the supremum .
Look at this about the rationals.
As a metric space the rationals have no gaps. But it is not complete, thus lacks the supremun property.