Re: Question

In article <vmhjr2-F2A105.16310927042006@xxxxxxxxxxxxxxxxxxxxxx>,
Virgil <vmhjr2@xxxxxxxxxxx> wrote:
In article <1146165177.094108.274750@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
"zuhair" <zaljohar@xxxxxxxxx> wrote:

Arturo Magidin wrote:

The definition states that if the difference converges into zero then
the two Cauchy sequences are equivalent, I disagree with that.

One cannot "disagree" with a definition in mathematics. One either
accepts it or rejects it.

They should be equivalent only when the difference REACHES zero.

Using that as your equivalence relation, what you would get is only
another copy of the rational numbers, not the usual real numbers at all.

I don't think you get "the rational numbers". Cauchy sequences that
converged to a rational number but were not eventually constant would
not be equivalent to the constant sequence corresponding to that
rational; and any such sequence would be non-equivalent to any shift
on that sequence. So the sequences

(1, 1, 1, ...)
(1/2, 3/4, 7/8, ..., (2^n-1)/2^n, ...)
(0, 1/2, 3/4, 7/7, ..., 2^{n-1}-1/2^{n-1}, ... )

would lie in distinct equivalence classes. Your equivalence classes
are just the classes of all sequence that are eventually equal, so I
think you would get essentially just the set of all Cauchy sequences
back (essentially, mind you).


--
======================================================================
"It's not denial. I'm just very selective about
what I accept as reality."
--- Calvin ("Calvin and Hobbes")
======================================================================

Arturo Magidin
magidin@xxxxxxxxxxxxxxxxx

.

Relevant Pages

  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... made such an assumption in the contruction of the reals that I presented ... Completion of the rationals gets us all of the reals. ... that one could mix rational numbers with 'irrational Cauchy sequences', ...
    (sci.math)
  • Re: Dedekind Cuts, Fundamental Sequences: why?
    ... speak of "Cauchy sequences of rationals" when constructing the real ... no metric spaces and no Cauchy sequences until after we have finished ... constructing the reals, if we are to avoid circularity. ...
    (sci.math)
  • Re: Size of equivalence class of Cauchy sequences
    ... Cauchy sequences of nonzero rationals that converge to 0; ... we have an injection from the collection of all infinite subsets ...
    (sci.math)
  • Re: Dik T. Winter says: Definition: sum{i in N} i = 0
    ... equivalence classes of convergent Cauchy sequences _because_ Cauchy ... uncountable set of reals available to us. ... We obtain some real numbers as equivalence classes of Cauchy ...
    (sci.math)
  • Re: Uncountable sets in CZF?
    ... >>formal statements has changed. ... >>Cauchy sequences in V than in L and so the unique set satisfying the ... the idea that the reals are a definite entity independent of ... > extension, there are Cauchy sequences which do not occur in V (there are, ...
    (sci.math)