- #1

- 372

- 0

ive asked this before...

but id like to know about any infinite series,

if any which is used to define irrational numbers...

and how can one prove properties of basic operations for irrational numbers

Thanks

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter anantchowdhary
- Start date

- #1

- 372

- 0

ive asked this before...

but id like to know about any infinite series,

if any which is used to define irrational numbers...

and how can one prove properties of basic operations for irrational numbers

Thanks

- #2

Homework Helper

- 3,802

- 94

I'm sure you already knew this and want further detail on the subject though.

- #3

Science Advisor

Homework Helper

- 43,010

- 973

One method is the "Dedekind cut" (see "Baby Rudin"). A Dedekind cut is defined as a set of rational numbers such that:

1) It is not empty- there exist at least one rational number in the set.

2) It is not all rational numbers- there exist a least one rational number NOT in the set

3) It has no largest member.

4) if a is a rational number in the set and b< a, then b is also in the set.

You might argue that we must have the rational numbers a subset of the real numbers, and rational numbers are NOT "sets of rational numbers"! But we can identify each rational number with such a set.

For example, if a is a rational number then {x| x is rational and x< a} is a cut- called a "rational cut" and is identified with the rational number a. It is non-empty: it contains a-1. It is not all rational numbers: it does not contain a. It has no largest member: if b is any member, then (a+b)/2 is a rational number in the set and is large than b. If b is in the set and c< b, then c< b< a so c is in the set.

The set {x| x is rational and either x

The "Dedekind cut" definition has the nice property that it becomes very easy to prove one of the "fundamental" properties of the real numbers: that every non-empty, bounded set of real numbers has a least upper bound.

But since you ask specifically about infinite sequences here are two other ways of defining the real numbers:

Consider the collection of all increasing, bounded, sequences of rational numbers. Say that two such sequences, {a

Of course, there exist increasing, bounded, sequences of rational numbers that do NOT converge to a rational number- the "monotone convergence property" is not true for the rational numbers. In fact, the "naive" way of thinking about real numbers is that a real number is any number that can be "written as a decimal": of the form a.a

That definition makes it easy to prove the "monotone convergence property" for the real numbers.

I promised two ways of defining real numbers in terms of sequences. The second is almost the same. Consider the collection of all

This definition makes it easy to prove the "Cauchy Criterion"- that all Cauchy sequences converge.

- #4

- 372

- 0

- #5

- 816

- 7

You don't. You prove them for all the reals.

I am a little fuzzy on the details, but it goes something like this. Take cauchy sequences (a_n) and (b_n) representing two reals a and b. Define an operation + such that a+b is the sequence c_i = a_i + b_i. You then show that (c_n) is cauchy, and thus, c is real. Multiplication is defined similarly. The usual properties for arithmetic (distributivity, commutativity, associativity-type things) are all inherited in a straightfoward way from the underlying rational operations used.

- #6

Science Advisor

Homework Helper

Gold Member

Dearly Missed

- 10,106

- 136

Read HalsofIvy's post.

We must distinguish between two levels of analysis:

1. To specify a set of axioms that some (otherwise undefined) set of objects (numbers) are said to obey.

2. To CONSTRUCT, on basis of another axiom set and their associated "numbers", structures that can be proven (according to this latter, more "fundamental" set of axioms) to be obeying the set of axioms as specified under 1.

Halls' post shows you how to construct the real numbers out of the rational number set (which again can be constructed out of the natural number set and basic set theory).

In this approach, we need to prove that multiplication of the reals does, in fact, obey the rules arbitrarily set up in 1.

However, we might let the axioms under 1 be our fundamental axioms, and in that case, we do not prove that reals can be multiplied, rather, that they obey the multiplication rules are part of their definition.

The advantage of the more fundamental approach is mainly theoretical in that by proving the constructibility of the reals out of simpler number sets, we have also proven that there aren't any other logical problems lurking within the concept of the reals than those problems that might hide within the concept of the naturals.

- #7

- 372

- 0

thanks...

- #8

Science Advisor

Homework Helper

- 43,010

- 973

Of course, the first thing you would do is DEFINE addition and multiplication.

For example, using the Dedekind Cut definition, you would define "x+ y" to be the set of rational numbers of the form {a+ b| a is in x, b is in y}. You would need to show that satifies the requirements for a Dedekind Cut itself. If I remember correctly, defining multiplication is quite a lot harder- you have to do the case x, y both positive first.

Using the "equivalence classes of increasing, bounded sequences of rational numbers" definition, you would select one "representative" of each of x and y (one sequence in each of the classes defining x and y), say {x

- #9

- 372

- 0

- #10

- 816

- 7

Do you mean "in terms of *rational* numbers"?

Operations on irrational numbers are fully defined and proofs of their properties are very simple once you are comfortable working with sequences of rational numbers.

- #11

Science Advisor

Homework Helper

- 43,010

- 973

Share:

- Replies
- 1

- Views
- 538

- Replies
- 6

- Views
- 1K

- Replies
- 2

- Views
- 780

- Replies
- 7

- Views
- 697

- Replies
- 7

- Views
- 1K

- Replies
- 5

- Views
- 562

- Replies
- 13

- Views
- 424

- Replies
- 9

- Views
- 614

- Replies
- 11

- Views
- 447

- Replies
- 14

- Views
- 723