Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2009-02-05 11:53:09

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Cauchy sequences of rational numbers

smile

Offline

#2 2009-02-05 11:54:02

Daniel123
Member
Registered: 2007-05-23
Posts: 663

Re: Cauchy sequences of rational numbers

What's the black square for Jane?

Offline

#3 2009-02-05 11:56:46

LuisRodg
Real Member
Registered: 2007-10-23
Posts: 322

Re: Cauchy sequences of rational numbers

I believe it means "proof done".

Just like "Q.E.D"

Last edited by LuisRodg (2009-02-05 12:00:17)

Offline

#4 2009-02-05 12:12:24

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

Yeah, that’s what it means. smile


Theorem 1 says that two Cauchy sequences can be added term by term and the result is another Cauchy sequence. In view of this, it makes sense to define addition on
by

   

smile

Offline

#5 2009-02-05 12:48:59

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

For this, I will need to assume the result (which I shall prove in a moment) that all Cauchy sequences are bounded.

smile

Last edited by JaneFairfax (2009-02-05 13:05:49)

Offline

#6 2009-02-05 13:01:35

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

Last edited by JaneFairfax (2009-02-05 13:03:24)

Offline

#7 2009-02-06 00:16:41

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers


So term-by-term multiplication of Cauchy sequences also gives rise to Cauchy sequences. Hence multiplication in
can also be validly defined.

   

smile

Offline

#8 2009-02-06 07:14:21

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Cauchy sequences of rational numbers

I suppose multiplicative inverses come next, that's a fun proof.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#9 2009-02-06 07:58:02

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

I’m building up to the climax. big_smile But first …

   


http://z8.invisionfree.com/DYK/index.php?showtopic=192

smile

Offline

#10 2009-02-06 08:55:06

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

In fact, as we shall see, it’s more than just a field. But I’m going to build up the pieces slowly. wink

tongue

   

   

http://www.mathisfunforum.com/viewtopic.php?id=10480 big_smile

Did you remember that thread? Never forget anything I post – you never know when it may prove useful one day. lol

smile

Last edited by JaneFairfax (2009-02-08 14:46:42)

Offline

#11 2009-02-08 01:43:27

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

We now define

to be the set of all non-null Cauchy sequences in
satisfying property
in the theorem above. Certainly
is nonempty since
.
is thought of as the set of all “positive” Cauchy sequences of rational numbers. smile

Last edited by JaneFairfax (2009-02-08 01:47:30)

Offline

#12 2009-02-08 12:15:28

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

smile

Offline

#13 2009-02-08 13:59:36

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Cauchy sequences of rational numbers

Just wanted to note, I believe bar notation for coset representatives is much more standard than hats.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#14 2009-02-08 23:33:14

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

The hat notation is used in Sutherland’s Introduction to Metric and Topological Spaces. I use it myself because I think it’s cute. tongue


Sutherland also writes
for the sequence
. However I choose not to drop the peripheral adjuncts, and write
as a reminder that I am talking of the whole Cauchy sequence, not just the
th term. cool

Offline

#15 2009-02-09 00:39:41

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

This is an important result. It means that we can unambiguously define an order relation in

by

   

The corollary to Theorem 8 says that this order relation is well defined. smile

Offline

#16 2009-02-13 11:38:53

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

I AM VERY SORRY, FOLKS. I JUST NOTICED A GAPING HOLE IN MY PROOF OF THEOREM 6 WHICH I MUST PLUG RIGHT AWAY.

JaneFairfax wrote:

I NEED TO CONFIRM THAT THIS SEQUENCE IS CAUCHY (which I didn’t do)!! yikes

is essentially a sequence of the form
. In view of Theorem 3, one just needs to prove that
is Cauchy. Note that this is not true for all Cauchy sequences
– only for non-null sequences
. And to prove that the sequence of reciprocal terms is Cauchy, I shall need to use the result of Theorem 7 – which means that I ought to have presented Theorem 7 before Theorem 6. neutral

Watch this space.

Last edited by JaneFairfax (2010-12-11 02:25:08)

Offline

#17 2009-02-13 12:15:40

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

smile

Offline

#18 2010-09-10 14:46:18

George,Y
Member
Registered: 2006-03-12
Posts: 1,379

Re: Cauchy sequences of rational numbers

Great manuveur


X'(y-Xβ)=0

Offline

#19 2010-12-11 02:40:45

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Cauchy sequences of rational numbers

Every metric space can be “completed” in a way similar to the construction of the real numbers from the rationals by equivalence classes of Cauchy sequences. http://z8.invisionfree.com/DYK/index.php?showtopic=193

Offline

Board footer

Powered by FluxBB