Mostra la font per a Construcció dels nombres reals

Intuïtivament, la '''construcció dels nombres reals''' es pot entendre com la definició d'un conjunt tal que els seus elements tinguin les propietats que es desitja per als nombres reals. Existeixen diferents construccions dels [[nombres reals]], per exemple:
* Fent servir els [[talls de Dedekind]]. S'identifica cada tall de Dedekind en el [[conjunt]] dels [[nombres racionals]] amb un nombre real. El conjunt de tots els talls possibles, és, per definició, el conjunt dels nombres reals.
* Fent servir les [[successió de Cauchy|successions de Cauchy]]. S'identifica la família de totes les successions de Cauchy que tenendeixen al mateix límit (tals que la successió diferència tendeix a zero) amb un nombre real. El conjunt dels nombres reals és el conjunt d'aquestes famílies de successions de Cauhy.
A primer cop d'ull pot semblar que el concepte de [[nombre]] real depèn molt de la forma de construir-lo. En el primer cas sembla que sigui una partició en el conjunt dels racionals, en el segon cas sembla que sigui una família de successions. Aquesta distinció és com pretendre que el conjunt dels [[Nombre natural|nombres naturals]] sigui diferent si s'explica a partir de conjunts de peres o de taronges, el concepte de nombre no és ni les peres, ni la quantitat de peres, ni els talls, ni les successions, sinó el concepte abstracte que tenen en comú tots els casos que ofereixen les mateixes propietats que aquests conjunts.

Una altra forma de construir els nombres reals és a partir dels nombres decimals. Aquest enfocament fa més intuïtiva la identificació dels nombres reals amb les magnituds contínues de la física però presenta moltes més dificultats que els anteriors per a la construcció rigorosa dels nombres.

== Construcció intuïtiva a partir dels nombres decimals ==
Un nombre real és una quantitat que té per representació decimal <math>x=n+0,d_1d_2d_3...</math>, on <math>n</math> és un enter, cada <math>d_i</math> és una xifra entre 0 i 9, i la successió no s'acaba mai. La definició de <math>x</math> és llavors el nombre que satisfà aquesta doble inequació per a tot ''k'':
:<math>n + \frac{d_1}{10} + \frac{d_2}{100} + ... + \frac{d_k}{10^k} \leq x < n + \frac{d_1}{10} + \frac{d_2}{100} + ... + \frac{d_k}{10^k} + \frac{1}{10^k}</math>

== Construcció pels talls de Dedekind ==
=== Definició ===
És la construcció imaginada per Richard Dedekind que es basa en el fet que tot racional r talla <math>\mathbb Q</math> en dos conjunts: el conjunt <math>A_r</math> dels racionals <math>a</math> tals que <math>a < r</math> i el conjunt <math>B_r</math> dels racionals <math>b</math> tals que <math>b \geq r</math>. Llavors de la parella <math>(A_r;B_r)</math> en diu un tall de <math>\mathbb Q</math>. Es fixa llavors en què <math>\sqrt 2</math> també pot partir <math>\mathbb Q</math> en dos conjunts: el conjunt <math>A</math> dels racionals <math>a</math> tals que <math>a < \sqrt 2</math> i el conjunt <math>B</math> dels racionals <math>b</math> tals que <math>b > \sqrt 2</math>. La idea és, doncs, definir el conjunt dels reals com el conjunt dels talls de <math>\mathbb Q</math>. Manca definir un tall sense fer servir la noció intuïtiva de nombre real. Dedekind proposa la definició següent:

: Un [[tall de Dedekind]] al cos <math>\mathbb Q</math> dels [[nombre racional|racionals]] és una parella de dues subclasses no buides ''A'' i ''B'' tals que
:* <math>A\cap B = \empty</math>
:* <math>A\cup B = \mathbb{Q}</math>
:* <math>\forall a\in A, \forall b\in B, a < b</math>

Amb aquesta definició resulta que tot [[nombre racional]] ''r'' defineix dos talls:
* ''(A,B)'' tal que ''A'' és el conjunt dels racionals estrictament més petits que ''r'' i ''B'' el conjunt dels racionals és grans o iguals a ''r''
* ''(A',B')'' tal que ''A'' és el conjunt dels racionals més petits o iguals a ''r'' i ''B'' el conjunt dels racionals estrictament més grans que ''r''.

Per llevar aquesta ambigüitat, es fa servir la següent definició d'un tall: 
: Un '''tall de <math>\mathbb Q</math>''' és una partició ''A'' de <math>\mathbb Q</math> tal que
:* ''A'' és no buida i diferent de <math>\mathbb Q</math>
:* per a tot <math>a</math> de ''A'', si <math>a'<a</math> llavors <math>a'</math> pertany a ''A''
:* ''A'' no té pas màxim.

Es pot veure que aquesta segona definició permet assegurar una correspondència biunívoca entre cada racional ''r'' i el tall <math>A_r</math> definit com el conjunt de tots els racionals ''a '' tals que <math>a < r</math>. Es defineix llavors <math>\R</math> com el conjunt d'aquests talls. Es pot veure llavors que <math>\R</math> es divideix en dos conjunts, un que compren els talls, el complementari dels quals admet element mínim, tall de la forma <math>A_r</math>, i l'altre que comprèn els talls, el complementari dels quals no posseeix element mínim.

Per exemple l'irracional <math>\sqrt{2}</math> es representa pel tall <math>\{a \in \mathbb Q \mbox{ t.q. } a < 0 \mbox{ o } a^2 < 2\}</math>.

Es submergeix de manera natural <math>\mathbb Q</math> en <math>\R</math> per l'aplicació injectiva que, a tot racional ''r'' li associa el tall <math>A_r</math>

=== Propietats ===
'''Relació d'ordre''' : 
El conjunt dels talls, proveït de la relació d'inclusió, és llavors un conjunt [[relació d'ordre|totalment ordenat]] que verifica a més la propietat de la fita superior (tot conjunt no buit [[conjunt fitat|fitat]] superiorment té un [[suprem]]).

'''Addició''': Llavors es pot construir una operació d'addició sobre <math>\R</math> de la manera següent:
: <math>c \in A + B \Leftrightarrow </math> existeix ''a'' en ''A'' i ''b'' en ''B'' tals que ''c = a + b''.
Aquesta addició confereix a <math>\R</math> una estructura de grup commutatiu. L'única dificultat consisteix en la definició de l'opsat de A : <math>A_{-r}</math> (si <math>A = A_r</math>) o <math>- \overline A</math> (si <math>A \ne A_r</math>)

'''Multiplicació''' : La construcció de la multiplicació és més subtil. Es defineix sobre tots els reals positius de la següent manera: 
: <math>c \in A \times B \Leftrightarrow </math> existeix ''a'' en <math>A \cap \mathbb Q^+</math> i ''b'' en <math>B\cap \mathbb Q^+</math> tals que <math>c \leq ab </math>.
La regla de signes permet llavors construir la multiplicació sobre tot <math>\R</math>

El conjunt <math>\R</math> proveït d'aquestes dues operacions és llavors un [[cos (matemàtiques)|cos]] commutatiu [[arquimedià]] [[Espai complet|complet]].

== Construcció per les [[successió de Cauchy|successions de Cauchy]] ==
Aquesta construcció és més difícil d'abordar però ofereix dos avantatges: la construcció de les operacions és més natural i té el mèrit de generalitzar-se a tot [[espai mètric]].

=== Definició en tant que conjunt ===
La idea de [[Georg Cantor|Cantor]] (i alguns anys abans d'ell de [[charles Méray|Méray]]) resideix en el fet que es pot tendir cap a tot nombre real per una successió de Cauchy. És a dir una successió <math>(u_n)</math> que verifiqui el criteri de convergència següent: 
<center><math>\forall \varepsilon >0 \; \exists N \in \N \; \forall m,n>N \quad |u_m - u_n|< \varepsilon\;</math></center>

L'element ''límit'' al qual caldrà donar un sentit serà el que es definirà com a nombre real. El conjunt de les successions de Cauchy, que s'escriu <math>\mathcal C</math> sembla tanmateix massa vast. En efecte, per exemple per a un de racional donat, existeix una infinitat de successions de Cauchy que convergeixen cap a aquest límit. Cal agrupar aquest espai amb una [[relació d'equivalència]] entre les successions. Aquesta relació d'equivalència entre dues successions s'escriu <math>\mathcal R</math> i es defineix de la manera següent:


<center><math>(u_n) \mathcal R (v_n) \Leftrightarrow \lim_{n \to \infty}u_n-v_n=0</math></center>

Es pot observar que la relació relation <math>\mathcal R</math> és [[propietat reflexiva|reflexiva]], ja que la successió nul·la convergeix cap a 0, simètrica ja que si una successió convergeix cap a 0, llavors la successió oposada convergeix també cap a 0, i la [[propietat transitiva]] és una conseqüència de la [[desigualtat triangular]] sobre el [[valor absolut]] en <math>\mathbb Q</math>. Si <math>(u_n)</math>, <math>(v_n)</math> i <math>(w_n)</math> són tres successions racionals, es té en efecte: 

<center><math>\forall n \in \N \quad |u_n -w_n| \leq |u_n - v_n|+|v_n - w_n|\; </math></center>

Tota relació d'equivalència sobre un conjunt defineix una partició d'aquest conjunt. Un element d'aquesta partició es diu nombre real, i el conjunt dels nombres reals s'escriu <math>\R</math>.
Observació : aquí, quan es fa tendir alguna cosa cap a un límit, és pels <math>\varepsilon > 0\,</math> racionals, ja que no es disposa encara dels reals!

=== Definició en tant que cos ===
El conjunts de les successions en <math>\mathbb Q</math> està proveït d'una estructura d'anell amb l'addició i la multiplicació heretades de l'estructura de cos de les successions. Si <math>(u_n)</math> i <math>(v_n)</math> són dues successions, llavors aquestes operacions es defineixen per: 

<center><math>\forall n \in \N \quad (u+v)_n=u_n+v_n \,</math></center>
<center><math>\forall n \in \N \quad (u\cdot v)_n=u_n\cdot v_n \,</math></center>

Aquestes operacions conserven el [[criteri de Cauchy]], així la suma i el producte de dues successions de Cauchy aón també successions de Cauchy. Així, és possible proveir <math>\mathcal C</math> d'una estructura d'anell.
Aquestes operacions conserven la partició definida per la relació <math>\mathcal R</math>. Així siguin quins siguin els representants escollits de dues classes de <math>\mathcal R</math> la suma (la multiplicació) dels representants pertany a la mateixa classe de <math>\mathcal R</math>. Així és possible proveir <math>\R</math> d'una estructura d'anell. Es verifica llavors que la classe de (0) és l'element neutre i la classe de (1) la unitat. Es verifica que <math>\R</math> és a més un cos commutatiu.
Un se submergeix <math>\mathbb Q</math> en <math>\R</math> via les successions constants. S'escriurà <math>(a)</math> la classe que conté la successió constant igual a <math>a\in\mathbb Q</math>.

L'enfocament d'Euclides posa en evidència la primera contradicció entre la noció de nombre de l'època - les fraccions - i el paper que els és atribuït, la representació d'una grandària mesurable.
* '''Una longitud, el quadrat de la qual és igual a 2, existeix'''. Un raonament geomètric, ja vell en l'època d'Euclides, mostra que és possible construir un [[Quadrat (polígon)|quadrat]] B de superfície doble de la d'un quadrat inicial A que s'escull de costat igual a 1. Si s'escriu <math>l</math> la longitud del costat del quadrat B, que és igual a la longitud de la diagonal del quadrat A, llavors es verifica la igualtat <math>l^2=2</math>.

* '''Una longitud, el quadrat de la qual és igual a 2, no existeix en forma de fracció'''. A partir d'alguns resultats en aritmètica, que ja eren coneguts en aquella època, per exemple el [[Lema d'Euclides]], es demostra que cap nombre no pot ser l'[[arrel quadrada]] de 2. Aquí, nombre significa [[fracció]] positiva, ja que encara no era imaginable cap altra formalització de nombre.

Els Elements d'Euclides es fonamenten en una d'axiomàtica que sembla permetre demostrar alhora que una proposició és verdadera i falsa. Caldran més de dos mil·lennis perquè la humanitat pugui resoldre aquesta aparent contradicció, explicar per què els racionals no representen més que imperfectament la recta real i trobar com representar-la bé.

S'ha de notar que tres segles abans d'Euclides, en [[Pitàgores]] probablement coneixia la irracionalitat de certes arrels. Per contra, la primera formalització en un verdader corpus matemàtic construït ens ve d'Euclides.

{{Caixa desplegable|align=left|títol=Demostracions|contingut=

Primer es demostrarà que (<math>\mathbb R</math>, +) és un grup abelià:

* '''L'addició és commutativa'''. En efecte, siguin a i b dos elements de <math>\mathbb R</math> i <math>(a_n)</math> i <math>(b_n)</math> dues successions racionals representants de les seves classes. Llavors per definició <math>(a_n + b_n)</math> (que és igual a <math>(b_n + a_n)</math>) és representant de la classe a + b (i també de b + a). Dons aquestes dues successions són iguals. Això mostra que a + b és igual a b + a.

* '''L'addició és associativa'''. En efecte, un raonament de la mateixa naturalesa que el precedent ens mostra sense dificultat l'associativitat de la addició a <math>\mathbb R</math>.

* '''0 és l'element neutre de l'addició'''. Sigui a un element de <math>\mathbb R</math> i <math>(a_n)</math> una successió racional de la classe de a. Diem 0 a la successió constant igual a 0 (tots els seus termes són zero). Aquesta successió és per definició l'element que submergeix el nombre 0 de <math>\mathbb Q</math> en <math>\mathbb R</math> (la classe de 0). llavors la successió <math>(a_n + 0)</math>, és un element de la classe de a + 0 i també un element de la classe de a. S'ha demostrat que a + 0 és igual que a.

* '''Tot nombre real admet un oposat'''. Sigui a un element de <math>\mathbb R</math> i <math>(a_n)</math> una successió racional de la classe de a. S'escriu -a al real, la classe del qual conté la successió <math>(-a_n)</math> que per definició és racional. Llavors la successió <math>(a_n-a_n)</math>, representant classe de 0, és també un representant de la classe a + (-a). Se'n dedueix que a - a = 0.

Després es demostra que (<math>\mathbb {R}_*</math>, '''.''') és un grup abelià.

* '''La multiplicació és commutativa'''. La demostració és l'equivalent de la que prova la commutativitat de l'addició.

* '''La multiplicació és associativa'''. La demostració és l'equivalent de la que prova la associativitat de l'addició.

* '''1 és l'element neutre de la multiplicació'''. La demostració és anàloga a la que prova que 0 és l'element neutre de l'addició.

* '''Tot nombre real diferent de 0 admet un invers'''. Sigui a un element de <math>\mathbb R</math> diferent de '''0''' i <math>(a_n)\;</math> una successió racional de la classe de a. Dir que a és diferent de '''0''' és dir que la successió <math>(a_n)\;</math> no té per a límit '''0'''. i per tant:
::<math>(1)\qquad \exists l>0 \; \mbox{t.q} \; \forall N \in \mathbb N \; \exists n > N \; \mbox{t.q} \; |a_n| >l \;</math>
: Hi ha doncs una infinitat de termes de la successió que tenen un mòdul més gran que '''l'''. Com aquesta successió és de Cauchy, a partir d'un cert terme, el mòdul de la diferència de dos termes és més petit que la meitat de '''l'''. Se'n dedueix que a partir d'un cert terme, tots els termes de la successió són diferents de 0. Sigui la successió <math>(b_n)\;</math> definit per <math>b_n=\frac{1}{a_n}</math> sí <math>a_n\;</math> és diferent de '''0''' i <math>b_n=1\;</math> si no. La successió <math>(b_n)\;</math> posseeix una secció final igual a <math>\frac{1}{a_n}</math> ja que la proposició (1) garanteix que <math>(a_n)\;</math> posseeix una secció final en la qual tots els valors són estrictament diferents de '''0'''. Se'n dedueix que la successió <math>(a_n\cdot b_n)\;</math> posseeix una secció funal igual a '''1'''. se'n dedueix que '''a. b''' és igual a '''1'''. I tot nombre real no nul admet un invers.

Es demostra finalment que (<math>\mathbb {R}_*</math>, '''+''', '''.''') és un cos.

* '''La multiplicació és distributiva respecte a l'addició'''. Aquesta demostració finalitza la demostració de la propietat de cos de <math>\mathbb R</math>. És anàloga a la que prova l'associativitat de l'addició.
}}

=== Relació d'ordre ===
Es defineix <math>\R_+</math> de la següent manera : <math>x\in \R_+ \Leftrightarrow</math>
:* <math>x = 0</math>
::o 
:* esxistis una successió de Cauchy racional <math>(a_n)</math> i un racional positiu <math>r</math> tal que <math>(a_n)</math> és un representant de <math>x</math> i <math>a_n > r</math> a partir d'un terme determinat

i <math>\R_-</math> de la següent manera : <math>x\in \R_- \Leftrightarrow</math>
:* <math>x = 0</math>
:: o 
:* existeix una successió de Cauchy racional <math>(a_n)</math> i un racional negatiu <math>r</math> tal que <math>(a_n)</math> és un representant de <math>x</math> i <math>a_n < r</math> a partir d'un terme determinat.

Llavors es defineix una relació d'ordre sobre <math>\R</math> posant 
: <math>x \leq y \Leftrightarrow y - x \in \R_+</math>
Es demostra que <math>\R</math> dotat d'aquesta relació d'ordre és un [[cos (matemàtiques)|cos]] [[ordre total|totalment ordenat]] [[arquimedià]] i que aquesta relació d'ordre coincideix amb la relació d'ordre sobre <math>\mathbb Q</math>

{{Caixa desplegable|align=left|títol=Demostracions|contingut=

* ''' <math>\geq</math> és una relació d'ordre'''.
:És reflexiva : <math>x - x = 0</math> dons <math>x - x \in \R_+</math> per tant <math>x \geq x</math>.
: És transitiva. N'hi ha prou amb demostrar que <math>\R_+</math> és estable per addició. Llavors es pot escriure: si <math>x \geq y</math> i si <math>y \geq z</math>, llavors <math>x - y \in \R_+ </math> i <math>y - z \in \R_+ </math>. Per addició <math>x - z \in \R_+</math>, per tant <math>x \geq z</math>.
: És anitisimètrica. N'hi ha prou amb demostrar que <math>\R_+ \cap \R_-=\{0\}</math>. Llavors es pot escriure: si <math>x \geq y</math> i si<math> y \geq x</math> llavors <math>x - y \in \R_+ </math> i <math>y - x \in \R_+</math>. Per tant, <math>y - x = 0</math> per tant <math>x = y</math>

* '''L'ordre és total'''
:n'hi ha prou amb demostrar que <math>\R_+ \cup \R_- = \R</math> i que <math>\R_- = - \R_+</math>. Llavors es pot escriure que, per a tot <math>x</math> i <math>y</math>, <math>x - y</math> pertany a <math>\R_+</math> o a <math>\R_-</math>. En el primer cas es tindrà <math>x \geq y</math>, en el segon cas, es tindrà <math>y - x</math> en <math>\R_+</math> i <math>y \geq x</math>.

* '''L'ordre és compatible amb l'addició '''
:Per a tot <math>x</math>, <math>y</math>, <math>z</math>, si <math>x \geq y</math> llavors <math>x - y \in \R_+</math> dons <math>(x-z) - (y - z) \in \R_+</math> per tant <math>x-z \geq y - z</math>.

* '''L'ordre és compatible amb la multiplicació per un real positiu'''
:N'hi ha prou amb veure <math>\R_+</math> és estable per multiplicació. Llaors es pot dir que, per a tot <math>x</math>, <math>y</math>, <math>z</math>, si <math>x \geq y</math> i si <math>z \geq 0</math> llavors <math>x - y</math> i <math>z</math> pertanyen a <math>\R_+</math> dons <math>xz - yz \in \R_+</math> per tant <math>xz \geq yz</math>.

* ''' La relació d'ordre coincideix amb la relació d'ordre sobre <math>\mathbb Q</math>'''
:Per definició de <math>\R_+</math>, aquest conjunt conté tots els racionals positius.

* ''' <math>\R</math> és arquimedià'''
:Es tracta de demostrar que per a tot reals <math>a > 0\,</math> i <math>b \geq 0</math>, existeix un enter <math>N\,</math> tal que <math>Na \geq b</math>. N'hi ha prou amb posar <math>x = \frac{b}{a}</math>. El real <math>x</math> té per representant <math>(x_n)</math> successió de Cauchy racional i, per tant, està fitada superiorment. Es pren un enter <math>M</math> fita superior d'aquesta successió i es defineix <math>N</math> per <math>N = M + 1</math>. Per a tot enter <math>n</math>, es té llavors <math>N - x_n > 1 /2</math> per tant <math>N - x \in \R_+</math> per tant <math>N \geq x</math> per tant <math>Na \geq b</math>.
}}

=== Distància i límit ===
Es defineix el valor absolut per 
:<math>|x| = \sup(x; -x)\,</math>
S'observa llavors que si <math>(a_n)</math> és un representant de <math>x</math> llavors <math>(|a_n|)</math> és un representant de <math>|x|</math>.

Llavors es pot proveir <math>\R</math> d'una distància 
: d(x, y)= |x - y|

I definir-hi la convergència de la successió.

Es demostra que, si <math>x</math> té per representant la successió de Cauchy racional <math>(x_n)</math>, llavors aquesta successió és també una successió de reals ((<math>\mathbb Q</math> està submergit en <math>\R</math> per la correspondència següent : <math>r</math> té per representant la successió constant (<math>r</math>)) i aquesta successió de reals té per límit <math>x</math>. Això permet per altra banda provar que <math>\mathbb Q</math> és dens en <math>\R</math> ja que tot real és límit d'una successió de racionals.

Es demostra també que, sobre aquest conjunt, el límit d'una suma és igual a la suma dels límits, el límit d'un producte al producte dels límits i que el límit d'una successió positiva és positiu o nul.

=== Completesa i suprem ===
Se sap ja que, per construcció, totes les successions de Cauchy racionals convergeixen en <math>\R</math>. Però es demostra que també és el cas per a tota successió de Cauchy real.

Aquest mètode de construcció es generalitza a tot espai mètric E per obtenir un espai mètric complet E' tal que E sigui dens a E'.
Es demostra a més que <math>\R</math> verifica la propietat del suprem: tot [[subconjunt]] no buit fitat superiorment posseeix un suprem.


{{Caixa desplegable|align=left|títol=Demostracions|contingut=

* ''' <math>\R</math> és complet''' La demostració és una mica subtil. En efecte dir que <math>\mathbb R</math> és complert, ve a dir que tota successió <math>(U_i)\;</math> de Cauchy emb valors a <math>\mathbb R</math> és convergent. Aquí es faran servir les majúscules per a designar els reals i les minúscules per a designar els racionals. Cada <math>U_i\;</math> està representat per una successió <math>(a_j^i)\;</math> de racionals. La qüestió és doncs una successió de successions. La demostració s'inspira en l'[[argument de la diagonal de Cantor]]. Consisteix en prendre termes de cada successió <math>(a_j^i)\;</math> perquè tot funcioni.
: Per a tot enter <math>i\;</math>, la successió <math>(a_j^i)\;</math> convergeix cap a <math>U_i\;</math> per tant existeix <math>J_i\;</math> tal que
:: <math>|a_{J_i}^i - U_i| \leq 2^{-i}</math>
:S'escriu llavors <math>(b_i)\;</math> la successió de racionals <math>(a_{J_i}^i)\;</math>
: Per a tot <math>\varepsilon\;</math> positiu, existeix un enter <math>N\;</math>, tal que per a tots <math>n, m \geq N</math>, es té 
:: <math>2^{-n} \leq \frac{\varepsilon}{3}</math>
:: <math>2^{-m} \leq \frac{\varepsilon}{3}</math>
:: <math>|U_n - U_m| \leq \frac{\varepsilon}{3}</math> ja que <math>(U_i)\,</math> és una successió de Cauchy
: Llavors es pot escriure:
:: <math>|b_n - b_m| \leq |b_n - U_n| + |b_m - U_m| + |U_n - U_m|</math>
:: <math>|b_n - b_m|\leq 2^{-n}+ 2^{-m}+ |U_n - U_m|</math>
:: <math>|b_n - b_m|\leq \varepsilon</math>
:La successió de racionals <math>(b_i)\;</math> és llavors una successió de Cauchy que convergeix cap a un real <math>B\,</math>
: Per a to <math>\varepsilon\;</math> positiu, existeix un enter <math>N\;</math>, tal que, per a tot <math>n \geq N</math>, es té 
:: <math>2^{-n} \leq \frac{\varepsilon}{2}</math>
:: <math>|b_n - B| \leq \frac{\varepsilon}{2}</math>
:Llavors es pot escriure:
::<math>|U_n - B| \leq |U_n - b_n| + |b_n - B| \leq 2^{-n} + |b_n - B| \leq \varepsilon</math>
:La successió de reals <math>(U_i)\;</math> convergeix cap a <math>B\;</math>

* '''<math>\R</math> satisfà la propietat del suprem.''' Sia <math>E\,</math> un conjunt no buit (que conté pel cap baix un real <math>a\,</math>) fitat superiorment per un real <math>M\,</math>. Si <math>a\,</math> és una fita superior de <math>E\,</math> llavors el problema s'ha acabat dons <math>a\,</math> és l'element més gran de <math>E\,</math> i, per tant, és el seu suprem. Sinó, es procedeix per dicotomia per a demostrar que <math>E\,</math> té un suprem (la més petita de totes les fites superiors). Es creen dues successions <math>(a_n)\,</math> i <math>(b_n)\,</math> definides per recurrència de la següent manera:
:: <math>a_0=a\,</math> et <math>b_0 = M\,</math>
:: per a tot enter <math>n\,</math>,
::: si <math>a_n+b_n \over 2</math> és una fita superior, <math>a_{n+1} = a_n\,</math> i <math>b_{n+1}={a_n+b_n \over 2 }</math>
::: si <math>a_n+b_n \over 2</math> no és pas una fita superior, <math>a_{n+1} = {a_n+b_n \over 2 }</math> i <math>b_{n+1}=b_n\,</math>
::La successió <math>(a_n)\,</math> és llavors una successió de reals de la qual cap terme no és una fita superior de <math>E\,</math> i la successió <math>(b_n)\,</math> és una successió de reals on tots els termes són fites superiors de <math>E\,</math>. Llavors, el principi de construcció assegura que 
::<math>|b_n - a_n|= 2^{-n}(M-a)\,</math>.
:Això assegura que <math>\lim_n (b_n-a_n)=0\,</math>
:Finalment, això mateix assegura que, per aquest mateix principi de construcció, per a tot <math>m \geq n</math>,
:: <math>a_n \leq a_m \leq b_m \leq b_n</math>
: En particular, <math>|a_n - a_m| \leq 2^{-n}(M-a)</math> et <math>|b_n - b_m| \leq 2^{-n}(M-a)</math>, això permet dir que les successions <math>(a_n)\,</math> i <math>(b_n)\,</math> són de Cauchy. Ja que <math>\R</math> és complet, aquestes successions convergeixen i com que <math>\lim_n(b_n-a_n)=0</math>, convergeixen cap al mateix real <math>L\,</math>. Manca provar que <math>L\,</math> és el suprem.
: Per a tot real <math>x\,</math> de <math>E\,</math>, <math>x \leq b_n</math> ja que <math>b_n\,</math> és una fita superior. Per tant, per pas al límit, per a tot real <math>x\,</math> de <math>E\,</math>, <math>x \leq L</math>. <math>L\,</math> és per tant una fita superior de <math>E\,</math>.
: Per a tot real <math>M'\,</math> fita superior de <math>E\,</math>, <math>a_n < M'\,</math> ja que <math>a_n\,</math> no és mai una fita superior. Per pas al límit, per a tota fita superior <math>M'\,</math> de <math>E\,</math>, <math>L \leq M'</math>. <math>L\,</math> és la més petita de les fites superiors. Per tant, és el surem.
}}

== Enllaços externs ==
* Una [http://www.dma.ens.fr/culturemath/maths/pdf/logique/RviaDedekind.pdf construcció de R per talls de Dedekind] {{Webarchive|url=https://web.archive.org/web/20070117143131/http://www.dma.ens.fr/culturemath/maths/pdf/logique/RviaDedekind.pdf |date=2007-01-17}} {{pdf}} per Jean Gounon {{fr}}
* Una [http://www.dma.ens.fr/culturemath/maths/pdf/logique/reels.pdf construcció de R per successions de Cauchy] {{Webarchive|url=https://web.archive.org/web/20081203023236/http://www.dma.ens.fr/culturemath/maths/pdf/logique/reels.pdf |date=2008-12-03}} {{pdf}} {{fr}}

{{ORDENA:Construccio Dels Nombres Reals}}
[[Categoria:Nombres reals]]
[[Categoria:Teoria de conjunts]]