Re: Every set can be ... ordered?



The Ghost In The Machine wrote:
MoeBlee wrote:
Oops, nevermind that question. Obviously, every set is partially
ordered by the subset relation on the set.

MoeBlee


Every *power* set, maybe. But the reals wouldn't be able
to be ordered that way.

I hope I'm not mistaken that Rupert is correct in saying that I was
correct: The subset relation on a set is a partial ordering of the set.

Of course it's easy enough to total order the reals;
if each real number r is defined by at least one Cauchy
sequence of rational numbers, then another real number
s can also be defined by another Cauchy sequence, and if
it is the case that there exists an M and a rational
d > 0 such that for every i,j > M, r_i > s_j + d, then r > s.

I hope I'm not mistaken that the standard ordering on the reals is a
total ordering of the reals.

MoeBlee

.



Relevant Pages

  • Re: Every set can be ... ordered?
    ... ordered by the subset relation on the set. ... Every *power* set, maybe. ... Of course it's easy enough to total order the reals; ...
    (sci.logic)
  • Re: Every set can be ... ordered?
    ... ordered by the subset relation on the set. ... But the reals wouldn't be able ... Remember a partial ordering doesn't have to be ...
    (sci.logic)
  • Re: Every set can be ... ordered?
    ... ordered by the subset relation on the set. ... But the reals wouldn't be able ... Remember a partial ordering doesn't have to be ... Trust us. ...
    (sci.logic)
  • Re: Is continuum completely filled up?
    ... A real number can be defined by a Cauchy sequence ... rationals, which allows that there exists things such as the square ... I had a similar clarification a few posts back from Dave Marcus who observed that defining all the reals is different from defining one instance of the reals once the reals have been defined, and I need to read up on "defining the reals". ...
    (sci.math)
  • Re: how to prove that a set is complete?
    ... it's a Cauchy sequence of real numbers and therefore it ... "because we construct the reals so that they are complete", ... Assume the Supremum Principle. ...
    (sci.math)