Difference between revisions of "real number"

Revision as of 07:20, 26 October 2007

Www belle fighe it Porno lesbica Goku incula vegeta Pimpa altan Dominatrix Jamiroquai Chitarra acustica washburn Barca usata Hotel indonesia Struzzo australiano Segnali stradali Grande scuola it Albergo genova Figa e cazzo gratis Maglietta bagnata miss Topolino porno Vocabolario latino Gioco freecell Temi nokia n70 gratis Mature cumshot Www giochi bellissimi it C18 porn Toscana mare Appartamento vacanza venezia Mamme tettone Citroen ds rally it Depurazione delle acque reflue Figlio pantera rosa Oroscopo leone Scuola privata Unipr Video alison angel Tuta moto rimedi naturali contro impotenza Tagli capelli donna Frontpage hosting Gestione risorse umane Capo drughi Videosex free Midisegni The best of thumbzilla Cartoni hard Gioiello dodo Colonna vertebrale Foto vecchie maiale Raffaele migliaccio Belle donne Fighe lesbiche Viados Eurometeo Lettera ad un amica Iper it Dagospia cacciari Sleeping assoult Notebook usato occasione Sara varone Imprenditoria femminile Chatenet it Carrefour nichelino Pos software Black anal sex Misura qi gratis Negozi abbigliamento guru Veicolo commerciale Ford fiesta tuning Oldspunkers Case affitto umbria Stufe edilkamin Una rosa blu testo Orecchino argento Tatuaggio disegno fiore Nessun regolatore dominio disponibile Agenzia immobiliare tirrenia Video penetrazione Fa elettricita sistema elettrico Diego armando maradona Divas wrestling nudo Video zoofilia gratis Liceo ginnasio giulio cesare roma Conbipel Matrioska Sex moms Cartina lombardia Xena porno Giochi porno hentai Windows defender beta 2 x86 Allinternal teen Sms inviare Bed and breakfast napoli Sideremia Culo grossi Briana banks movie Stivali uomo Oroscopo libero Villa sardegna Gnocche mature Hotel bibione piscina giardino Download suoneria gratis Alessandra canale nuda Malattia autoimmune evergreen tree blowjob foto ice cream truck transex a roma wombat mortal kombat 4 patch ut2004 pc 3b site lude master roma puffy nipple hp laser papilla debt counseling sava momo force the doors lyrics katwoman chopo officeconnect adsl wireless ram notebook backbeat host17 org rs mmc 256 mb dv toyota mr2 zip file aggroberlina xd card 256 lcd thomson 20 vigor2600v router letsrun com gz mc500ex the godfather mp3 moda maglia guta liviu hard foto fial sapphire x800se umpas foot job webcam new york ifed enamorada eros frigo no frost samsung kid loco freeway scarpe mix meister dvd 9gb olympus mr100 xoro hsd 4000 lip gloss puma street 41 www cartoon netwok com dj equipment rex rte 900 lynx mixer behringer ub502 hp lj 4050 mercedes km zero tv lcd 20 jvc naked sexy kids photos mustek a806 epson rx 620 bmw z3 2000 in fuga link hay song that long bawds.cn tg sex kv 34 expocomfort calzature golf bwv 182 bunker 84 e 730 dvd hd mp3 player 20 gb c 270 sw qi gong travelsound 500 harder klipsch rf10 black Disegni winx the motowns sederona foorum seca2 crab ball p2k driver rapolla oh father www bibnal edu ar idvd hermann plus video po page bad face mc funny daddy yanki mp3 zen touch 40 gb Informally, the "real numbers" are the rational numbers with all the holes plugged.

Before we proceed with any formalism, let's exhibit an example of a "hole" in the rational numbers. Take, for our "hole", the square root of 2. Suppose <math>x^2 = 2</math>. If x is a rational number then we can express it as a fraction, and what's more, we can express it as a reduced fraction. Let I = the set of integers. Then:

(1) <math>x = {n \over m},\ \ n,m \in \mathbb{I}</math>

and

(2) <math>\not\exists p,q,k \in \mathbb{I} \left (k > 1 \ \and \ n = p \cdot k \ \and \ m = q \cdot k \right )</math>

Then we must have

(3) <math> {\left ({ n \over m} \right ) }^2 = 2</math>

(4) <math> {{n^2} \over {m^2}} = 2</math>

(5) <math> n^2 = 2 \cdot m^2</math>

And so <math>n^2</math> must be even. But since the square of any odd integer is also odd, we see that n must also be even.

If n is even, then clearly <math>n^2</math> must be divisible by 4. In that case, n²/2 must also be even, and since we have

(6) <math> {{n^2} \over 2} = m^2</math>

we see that <math>m^2</math> is even also. By the same argument, therefore, m must be even. But if both n and m are even, we must be able to find p and q such that,

(7) <math>p,q \in \mathbb{I}\ (n = 2 \cdot p \ \and \ m = 2 \cdot q)</math>

But this contradicts (2), and we conclude that <math>\sqrt 2</math> must not be expressible as a rational number.

The real numbers add the continuum axiom to the axioms satisfied by the rational numbers:

(A.1) Any nonempty subset of the real numbers which is bounded above has a least upper bound.

There are actually several equivalent ways to state the continuum axiom. The statement I've just given, though perhaps not maximally intuitive, is convenient for use in the construction of the real numbers.

We've just shown, above, that the rational numbers do not satisfy the continuum axiom. For consider the set:

<math>S \equiv \{x \ | \ x^2 < 2\}</math>

This is certainly nonempty: <math>1 \in S</math>. It's certainly bounded above: 3 is larger than any element of S. But the least upper bound of the set is <math>\sqrt 2</math> which is not a rational number.

Very well, so the rationals don't satisfy (A.1) -- but how do we know any set will satisfy it? How do we know the real numbers exist? We will construct them ... or, rather, we will sketch the construction of the reals; the details actually fill a slim book (see references).

We will start with the rational numbers, which we call Q. We first define a cut (also called a "Dedekind cut"). If a nonempty subset of the rationals,