« first day (2694 days earlier)      last day (911 days later) » 

5:16 AM
Intuitively, completeness implies that there are not any “gaps” (in Dedekind's terminology) or “missing points” in the real number line. This contrasts with the rational numbers, whose corresponding number line has a “gap” at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number. Depending on the construction of the real numbers used, completeness may take the form of an axiom (the completeness axiom), or may be a theorem proven from the construction...
In mathematics, the least-upper-bound property (sometimes called completeness or supremum property or l.u.b. property) is a fundamental property of the real numbers. More generally, a partially ordered set X has the least-upper-bound property if every non-empty subset of X with an upper bound has a least upper bound (supremum) in X. Not every (partially) ordered set has the least upper bound property. For example, the set Q {\displaystyle \mathbb {Q} } of all rational numbers with its natural order does not have the least upper bound...
 
 
7 hours later…
11:56 AM
@MartinSleziak I had problem for finding are given subsets topology and someone suggested to use that formula. But for what sets $A$ this $\cup_{r\in A}^\infty(-r,r)=(-\sup_{r\in A}r,\sup_{r\in A}r)$ formula is correct .
 
 
2 hours later…
1:30 PM
@unit1991 I'd say that for any $A\subseteq(0,\infty)$.
If $r$ is negative, then there is a problem in what you exactly mean by $(-r,r)$.
But maybe using $(-r,r)=\emptyset$ for $r<0$ you could show that it holds for any $A$.
To be on the safe side, I looked at sets of positive real numbers.
 
2:01 PM
@MartinSleziak So can we say that proof is complete? Considering one inclusion was proved and for second inclusion you gave the proof.
 

« first day (2694 days earlier)      last day (911 days later) »