Gfrktyl

In matematica, i numeri reali possono essere descritti in maniera non formale come numeri ai quali è possibile attribuire uno sviluppo decimale finito o infinito, come π=3,141592…{displaystyle pi =3,141592ldots } I numeri reali possono essere positivi, negativi o nulli e comprendono, come casi particolari, i numeri interi (come 12{displaystyle 12}), i numeri razionali (come −22/7{displaystyle -22/7}) e i numeri irrazionali algebrici (come 2{displaystyle {sqrt {2}}}) e trascendenti (come π{displaystyle pi } ed e{displaystyle e}). Un numero reale razionale presenta uno sviluppo decimale finito o periodico; ad esempio 1/3=0,333333…{displaystyle 1/3=0,333333ldots } è razionale. L'insieme dei numeri reali è generalmente indicato con la lettera R o R{displaystyle mathbb {R} }.

I numeri reali possono essere messi in corrispondenza biunivoca con i punti di una retta, detta retta numerica o retta reale.

La definizione formale dei numeri reali ha rappresentato uno degli sviluppi più significativi del XIX secolo. Tra le definizioni maggiormente adottate oggi figurano le classi di equivalenza di successioni di Cauchy di numeri razionali, le sezioni di Dedekind, una ridefinizione del termine "rappresentazione decimale" e una definizione assiomatica come unico campo archimedeo completo ordinato.

I termini reale e immaginario sono stati introdotti ne La Géometrie di René Descartes (1637), relativamente allo studio delle radici delle equazioni. Per estensione diversi autori hanno cominciato a parlare di numeri reali e numeri immaginari. Nel 1874 appare un articolo fondamentale di Georg Cantor nel quale l'autore prende in considerazione l'insieme dei numeri reali dimostrando che tale insieme non è numerabile.

Rappresentazione e uso dei numeri reali |

I numeri reali possono rappresentare qualsiasi grandezza fisica, come il prezzo di un prodotto, la distanza temporale fra due eventi, l'altitudine (positiva o negativa) di un sito geografico, la massa di un atomo o la distanza fra galassie. Gran parte dei numeri reali è usata quotidianamente, ad esempio in economia, informatica, matematica, fisica o ingegneria.

Di fatto, la maggior parte delle volte sono usati solo alcuni sottoinsiemi:

• i numeri naturali,


• i numeri interi,


• i numeri razionali, che si possono esprimere in forma di frazione,


• i numeri algebrici, che comprendono tutti i numeri esprimibili con operazioni algebriche elementari e radici.


• alcuni numeri molto particolari, che non sono contenuti negli insiemi precedenti, come e e π.

Questi insiemi, benché infiniti, hanno tutti cardinalità numerabile e sono quindi un'infinitesima parte dell'insieme dei numeri reali.

Rappresentazione decimale |

Ogni numero reale può essere identificato dalla sua numerazione decimale, ovvero mediante l'elenco delle cifre decimali della sua parte intera e, separate da una virgola, l'elenco delle cifre della parte frazionaria. In generale il numero di cifre decimali della parte frazionaria può essere infinito. Per questo in pratica il numero reale viene espresso presentando solo le prime cifre decimali come ad esempio nella scrittura 324,823211247…{displaystyle 324,823211247ldots } dove i tre punti esprimono il fatto che ci sono altre, infinite, cifre. Con questo procedimento di approssimazione è possibile presentare un numero razionale arbitrariamente vicino al numero reale in questione. Più sono le cifre decimali, più il numero razionale è vicino al numero reale che si vuole rappresentare, e maggiore quindi è la precisione dell'approssimazione. Ad esempio, pi greco può essere approssimato come

3,14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 58209 74944 59230 78164 06286 20899 86280 34825 34211 70679...

La rappresentazione decimale, molto utile nelle scienze applicate, presenta molti difetti dal punto di vista matematico, ad esempio:

• alcuni numeri razionali hanno due espansioni decimali diverse, ad esempio 0,999...:
  

  0,9¯=0,999…=∑n=1∞910n=9(∑n=0∞110n−1)=9(11−1/10−1)=1.{displaystyle 0,{bar {9}}=0,999ldots =sum _{n=1}^{infty }{frac {9}{10^{n}}}=9left(sum _{n=0}^{infty }{frac {1}{10^{n}}}-1right)=9left({frac {1}{1-1/10}}-1right)=1.}

  
  Si può dimostrare che l'espansione decimale di un reale è unica a meno che il numero non sia della forma q/10m{displaystyle q/10^{m}} con q{displaystyle q} e m{displaystyle m} naturali;
  


• la somma e la moltiplicazione fra numeri reali non si effettuano "cifra per cifra" nel modo solito, perché dovremmo "partire da destra",


• la rappresentazione è ancorata alla scelta della base 10, e quindi non è "canonica".

Per questo motivo i matematici preferiscono definire e trattare i numeri reali con altre notazioni più astratte.

Operazioni sui numeri reali |

.mw-parser-output .vedi-anche{border:1px solid #CCC;font-size:95%;margin-bottom:.5em}.mw-parser-output .vedi-anche td:first-child{padding:0 .5em}.mw-parser-output .vedi-anche td:last-child{width:100%}

Lo stesso argomento in dettaglio: Operazioni aritmetiche sui numeri reali.

Sui numeri reali è possibile fare tutte le operazioni definite per i razionali, quali somma, differenza, prodotto, divisione per un numero diverso da zero ed elevamento a potenza con base positiva. Tali operazioni possono essere definite tramite il calcolo infinitesimale oppure è possibile estendere ai numeri reali, mediante approssimazione, le definizioni delle medesime operazioni date sui numeri razionali.

I numeri reali nella scienza e nella tecnologia |

Dal punto di vista fisico, ogni esperimento è soggetto in modo intrinseco a un errore e quindi questo tipo di rappresentazione approssimata dei numeri reali non causa ulteriori problemi.

In informatica, i computer possono solo approssimare i numeri reali con numeri razionali: queste approssimazioni sono realizzate ad esempio in modo efficiente tramite la scrittura in virgola mobile. Alcuni programmi riescono a trattare alcuni numeri non razionali in modo esatto: ad esempio alcuni numeri algebrici possono essere descritti utilizzando la loro descrizione algebrica (come per esempio 2{displaystyle {sqrt {2}},}) piuttosto che la loro approssimazione decimale.

Più in generale, l'informatica può trattare in modo preciso solo i numeri calcolabili: un numero reale è calcolabile se esiste un algoritmo che produce le sue cifre. Poiché esiste un'infinità numerabile di algoritmi ma un'infinità non numerabile di numeri reali, "quasi tutti" i numeri reali non sono calcolabili.

In matematica, i numeri reali giocano un ruolo fondamentale, e vengono continuamente manipolati, nonostante gran parte di questi non siano calcolabili. Il costruttivismo è una corrente matematica che accetta l'esistenza solo dei reali calcolabili.

Storia |

Frazioni |

La necessità di dare un nome ad alcune grandezze misurabili data dell'antichità. La prima risposta, realizzata dai Sumeri e nell'antico Egitto, fu quella di costruire le frazioni (^a⁄_b). Questo strumento permise subito la misura di qualsiasi grandezza positiva con precisione arbitraria.

Numeri come lunghezze |

2{displaystyle {sqrt {2}}} non è razionale

Supponiamo per assurdo che esistano due numeri interi p{displaystyle p} e q{displaystyle q} tali che 2=(pq)2=p2q2.{displaystyle 2=left({frac {p}{q}}right)^{2}={frac {p^{2}}{q^{2}}}.} Possiamo supporre che la frazione sia ridotta, ovvero che p{displaystyle p} e q{displaystyle q} siano primi fra di loro. Quindi p2=2⋅q2.{displaystyle p^{2}=2cdot q^{2}.} Ne segue che 2 divide p2{displaystyle p^{2}}, e quindi p{displaystyle p} è pari. Quindi p=2k{displaystyle p=2k} per qualche k∈N{displaystyle kin mathbb {N} }. Otteniamo: 2⋅k2=q2,{displaystyle 2cdot k^{2}=q^{2},} e allora anche q{displaystyle q} è pari, in contraddizione con il fatto che p{displaystyle p} e q{displaystyle q} siano coprimi. Dunque deve essere falsa l'ipotesi iniziale, cioè 2{displaystyle {sqrt {2}}} non può essere razionale.

La prima formalizzazione matematica nota è quella di Euclide nel III secolo a.C. Negli Elementi di Euclide, la geometria è formalizzata con assiomi, teoremi e dimostrazioni. Qui i numeri sono messi in corrispondenza con le lunghezze dei segmenti.

L'approccio di Euclide mette in evidenza che i numeri dell'epoca (le frazioni, cioè i numeri razionali) non potevano svolgere direttamente il ruolo di rappresentare le lunghezze di segmenti.

Un caso particolare del teorema di Pitagora mostra infatti che la lunghezza l{displaystyle l} dell'ipotenusa di un triangolo rettangolo i cui cateti hanno lunghezza 1{displaystyle 1}, è tale che

l2=2.{displaystyle l^{2}=2.}

D'altra parte, è facile mostrare che una tale l{displaystyle l} non è esprimibile come frazione: un risultato che risale alla scuola pitagorica ed era ben noto a Euclide. Una dimostrazione del risultato pitagorico, citata da Paul Erdős come una delle più belle di tutta la matematica, è mostrata a destra.

Per risolvere l'apparente contraddizione Euclide, nel V libro degli Elementi, sviluppa una raffinata teoria dei rapporti tra grandezze (anche tra loro incommensurabili). Occorreva per questo innanzitutto avere un criterio per giudicare l'eventuale uguaglianza di due rapporti tra incommensurabili. Euclide fornisce un tale criterio nelle definizioni 4-9 del V libro, che riportiamo in una forma leggermente modernizzata nelle notazioni:

Date quattro grandezze a,b,c,d{displaystyle a,b,c,d}, si dice che a:b=c:d{displaystyle a:b=c:d} se e solo se per ogni coppia di naturali, m{displaystyle m}, n{displaystyle n}, si verifica sempre una delle seguenti tre possibilità:

• 
  na<mb{displaystyle na<mb} e, contemporaneamente, nc<md{displaystyle nc<md};


• 
  na=mb{displaystyle na=mb} e, contemporaneamente, nc=md{displaystyle nc=md};


• 
  na>mb{displaystyle na>mb} e, contemporaneamente, nc>md{displaystyle nc>md}.

Grazie alla definizione precedente di uguaglianza tra rapporti anche i rapporti tra incommensurabili divennero un legittimo oggetto di studio della matematica e la loro eventuale uguaglianza era decisa semplicemente confrontando multipli interi delle grandezze considerate. In altre parole ogni rapporto tra incommensurabili era caratterizzato dal suo comportamento rispetto a tutte le coppie di naturali.

Altri sviluppi della matematica ellenistica che anticiparono in parte la moderna teoria dei reali furono quelli presenti nel metodo che fu poi detto di esaustione; ricordiamo che anche il primo calcolo di somme di serie risale ad Archimede (che sommò la serie geometrica di ragione 1/4{displaystyle 1/4}).

Sviluppo decimale illimitato non periodico |

Con l'ausilio delle frazioni i greci potevano esprimere con precisione arbitraria qualsiasi numero reale. L'assenza di un sistema di numerazione adeguato rendeva però difficili le operazioni elementari fra queste quantità, quali ad esempio la somma o la divisione.

Si deve attendere fino al V secolo per vedere finalmente riconosciuto lo zero come numero dalla scuola indiana, e per lo sviluppo del sistema di numerazione decimale.

Con il sistema di numerazione decimale compare un nuovo problema. Con questo sistema, ogni frazione possiede uno sviluppo decimale periodico ovvero la successione di decimali reitera all'infinito la stessa sequenza di numeri. Che significato dare a un oggetto avente uno sviluppo non periodico? Un esempio è il seguente

0,1010010001... dove il numero di zeri tra due "1" consecutivi cresce a ogni passo.

Successioni e serie |

Nella seconda metà del XVII secolo, si assiste a un interessamento straordinario da parte dei matematici al calcolo delle serie e successioni. Tra questi, Nicolaus Mercator, i Bernoulli, James Gregory, Gottfried Leibniz lavorano su delle serie che sembrano convergere a un limite non razionale, come ad esempio:

• la serie di Mercator: ∑k=1∞(−1)k+1k=1−12+13−14+⋯{displaystyle sum _{k=1}^{infty }{(-1)^{k+1} over k}=1-{frac {1}{2}}+{frac {1}{3}}-{frac {1}{4}}+cdots } che converge a ln⁡(2){displaystyle ln(2)}
  


• la serie di Grégory: ∑k=0∞(−1)k2k+1=1−13+15−17+⋯{displaystyle sum _{k=0}^{infty }{(-1)^{k} over {2k+1}}=1-{frac {1}{3}}+{frac {1}{5}}-{frac {1}{7}}+cdots } che converge a π/4{displaystyle pi /4}
  

Inoltre Joseph Liouville mostra nel 1844 l'esistenza di numeri trascendenti, cioè di numeri che non sono radici di nessun polinomio a coefficienti interi. Non è quindi sufficiente aggiungere i numeri algebrici ai razionali per ottenere "tutti i numeri".

Calcolo infinitesimale |

Durante la seconda parte del XVII secolo, Isaac Newton e Gottfried Leibniz inventano una nuova branca della matematica, chiamata adesso analisi matematica, e conosciuta all'epoca come calcolo infinitesimale. Questa raggiunge subito la massima notorietà perché alla base di una nuova teoria fisica universale: la meccanica classica e la teoria della gravitazione universale.

Il calcolo infinitesimale necessita di un insieme di numeri più grande dei razionali, che "comprenda tutti i buchi", in modo da stare tutti su una retta, detta retta reale.

Nel linguaggio moderno, la proprietà necessaria al calcolo è la completezza, e può essere espressa nel modo seguente:

ogni successione di Cauchy è convergente.

Tale nozione, introdotta successivamente proprio da Cauchy, è estremamente importante in tutti i settori della matematica, e sarà anche all'origine della topologia all'inizio del XX secolo.

Costruzione dei numeri reali |

Il calcolo infinitesimale permette un'intuizione sempre più precisa sulla topologia dei numeri. Sarà necessario un ulteriore secolo per formalizzare in modo preciso l'insieme dei numeri reali, cioè per "tappare i buchi" lasciati dai razionali.

Come spesso accade in matematica, quando il problema è maturo, la soluzione arriva contemporaneamente da due ricercatori.

Il primo ad affrontare con successo la costruzione dei numeri reali è Augustin-Louis Cauchy. Il suo approccio resta il più fruttuoso, perché si applica anche ad altri casi. La sua idea è la seguente: una successione dovrebbe convergere se gli elementi sono (dopo un certo punto) arbitrariamente vicini fra loro: una tale successione è oggi detta successione di Cauchy.

Questa idea si traduce in una definizione rigorosa dei numeri reali solo verso la fine del XIX secolo, grazie ai lavori di Cantor e Dedekind nel 1872. Quest'ultimo propone in Was sind und was sollen die Zahlen (cosa sono e cosa devono essere i numeri) un metodo che sfrutta la relazione d'ordine fra le frazioni. La sua idea consiste nell'introdurre i reali non razionali tramite sottoinsiemi di razionali, i cosiddetti tagli di Dedekind: ad esempio, la radice di 2 è rappresentata dall'insieme di tutti i numeri razionali il cui quadrato è minore di 2{displaystyle 2}. Vi è un evidente rapporto tra la definizione di Dedekind e l'antica definizione di Euclide, ma anche una profonda differenza: mentre per Euclide e per gli altri matematici greci l'oggetto privilegiato di studio erano le grandezze e solo considerando i loro rapporti si trovavano di fronte a qualcosa di parzialmente analogo ai nostri numeri reali, all'epoca di Dedekind le grandezze numeriche avevano assunto da tempo un ruolo di protagonisti autonomi.

Definizione |

Approccio assiomatico |

Lo stesso argomento in dettaglio: Costruzione dei numeri reali.

Sia R{displaystyle mathbb {R} } l'insieme di tutti i numeri reali. Allora:

• L'insieme R{displaystyle mathbb {R} }, con somma e moltiplicazione usuali, è un campo, essendo valide le proprietà associativa, commutativa, distributiva e di esistenza degli elementi neutri e inversi rispetto a entrambe le operazioni.


• Il campo R{displaystyle mathbb {R} } è ordinato, cioè esiste un ordinamento totale, il ≤{displaystyle leq } usuale, tale che, per tutti i numeri reali x{displaystyle x}, y{displaystyle y} e z{displaystyle z}:
  
  
  
  • per ogni coppia x,y∈R{displaystyle x,yin mathbb {R} } si ha x≤y{displaystyle xleq y} oppure y≤x{displaystyle yleq x} (dicotomia)
  
  
  • 
    x≤x{displaystyle xleq x} per ogni x∈R{displaystyle xin mathbb {R} } (riflessiva)
  
  
  • se x≤y{displaystyle xleq y} e y≤x{displaystyle yleq x} allora x=y{displaystyle x=y} (antisimmetrica)
  
  
  • da x≤y{displaystyle xleq y} e y≤z{displaystyle yleq z} segue che x≤z{displaystyle xleq z} (transitiva)
  
  
  
  


• 
  Assioma di Dedekind: L'ordinamento è completo, cioè ogni sottoinsieme non vuoto S{displaystyle S} di R{displaystyle mathbb {R} } che ammette un maggiorante in R{displaystyle mathbb {R} } ha un estremo superiore in R{displaystyle mathbb {R} }. L'estremo superiore di un insieme S{displaystyle S} si denota con supS{displaystyle sup S}.

L'ultima proprietà è quella che differenzia i reali dai razionali.

Per esempio, l'insieme dei numeri razionali il cui quadrato è minore di 2{displaystyle 2} ha un maggiorante razionale (per esempio 1,5{displaystyle 1,5}) ma l'estremo superiore, che è il minore dei maggioranti, non è razionale in quanto la radice quadrata di 2{displaystyle 2} non è razionale.

I numeri reali son definiti in modo univoco dalle proprietà precedenti.

Detto in modo più preciso, dati due campi ordinati completi R1{displaystyle mathbb {R} _{1}} e R2{displaystyle mathbb {R} _{2}}, esiste un unico isomorfismo da R1{displaystyle mathbb {R} _{1}} a R2{displaystyle mathbb {R} _{2}}. Questa proprietà permette di pensare a essi come a un unico oggetto matematico.

Insieme reale esteso |

L'insieme reale esteso si ottiene ampliando l'insieme dei numeri reali con due elementi aggiuntivi, indicati con −∞{displaystyle -infty } e +∞{displaystyle +infty }:

R¯:=R∪{−∞,+∞}.{displaystyle {overline {mathbb {R} }}:=mathbb {R} cup {-infty ,+infty }.}

La relazione d'ordine si estende a questi nuovi punti ponendo:

−∞<x<+∞{displaystyle -infty <x<+infty } per ogni x{displaystyle x} reale.

Alcune delle normali operazioni di somma e prodotto possono essere estese all'insieme reale esteso, ma non tutte. In particolare tale insieme non è più un campo e neppure un gruppo.

L'insieme reale esteso è però dotato di una topologia che estende quella dei numeri reali: un intorno di +∞{displaystyle +infty } (risp. −∞{displaystyle -infty }) è una semiretta destra (risp. sinistra). Questo insieme è quindi spesso usato per definire in modo più uniforme il concetto di limite, e considerare alla stessa stregua le successioni che convergono a un numero reale o all'infinito.

Proprietà |

Completezza |

La ragione principale che ha portato all'introduzione dei reali è che essi costituiscono uno spazio "senza buchi". Più precisamente, i reali sono uno spazio metrico completo. La completezza può essere espressa in vari modi, tutti equivalenti all'assioma di Dedekind descritto sopra.

Successioni di Cauchy |

Nei numeri reali vale, per definizione di completezza, il fatto seguente:

ogni successione di Cauchy ha un limite.

Ricordiamo che:

• Una successione (xn{displaystyle x_{n}}) di numeri reali è di Cauchy se per ogni ε>0{displaystyle varepsilon >0} esiste un intero M{displaystyle M} tale che

|xn−xm|<ε ∀n,m>M.{displaystyle |x_{n}-x_{m}|<varepsilon forall n,m>M.}

In altre parole, una successione è una successione di Cauchy se i suoi elementi xn{displaystyle x_{n}} a un certo punto diventano arbitrariamente vicini.

• Una successione (xn{displaystyle x_{n}}) ha un limite x{displaystyle x} se per ogni ε>0{displaystyle varepsilon >0} esiste un intero N{displaystyle N} tale che

|xn−x|<ε ∀n>N.{displaystyle |x_{n}-x|<varepsilon forall n>N.}

In altre parole, una successione ha limite x{displaystyle x} se i suoi elementi a un certo punto diventano arbitrariamente vicini a x{displaystyle x}.

In uno spazio metrico qualsiasi, ogni successione convergente è una successione di Cauchy. Quando è vero anche l'opposto (come nei numeri reali), lo spazio si dice completo.

L'insieme dei razionali non è completo.
Per esempio, la successione delle prime n{displaystyle n} cifre della radice quadrata di 2{displaystyle 2}, ossia

1; 1,4; 1,41; 1,414; 1,4142; 1,41421;...

è di Cauchy ma non converge a un numero razionale.

Elemento separatore |

Lo stesso argomento in dettaglio: assioma di Dedekind.

La completezza dei numeri reali può essere espressa nel modo seguente: dati due sottoinsiemi X,Y{displaystyle X,Y} non vuoti di R{displaystyle mathbb {R} } tali che

x≤y ∀x∈X,y∈Y{displaystyle xleq y forall xin X,yin Y}

esiste un numero reale z{displaystyle z} tale che

x≤z≤y ∀x∈X,y∈Y.{displaystyle xleq zleq y forall xin X,yin Y.}

Assioma di Archimede |

Per i numeri reali vale l'assioma di Archimede: dati due numeri x,y{displaystyle x,y} reali positivi, con x<y{displaystyle x<y}, esiste un numero naturale n{displaystyle n} tale che

nx≥y.{displaystyle nxgeq y.}

Un campo ordinato in cui vale questo assioma è detto archimedeo. David Hilbert definisce il campo dei numeri reali come il "campo completo archimedeo": con questa frase, Hilbert sottolinea il fatto che i numeri reali formano il più grande campo archimedeo, nel senso che ogni altro campo archimedeo è contenuto in R{displaystyle mathbb {R} }. In questo senso, R{displaystyle mathbb {R} } è "completo" secondo Hilbert.

Questo significato di completezza è il più vicino alla costruzione dei numeri reali a partire dai numeri surreali, poiché la costruzione comincia con una classe che contiene ogni campo ordinato (i surreali) e seleziona da essa il più grande sottocampo archimedeo.

Cardinalità |

A differenza dei numeri razionali, i reali non formano un insieme numerabile; l'insieme dei numeri reali è "strettamente più grande" di quello dei numeri naturali (pur considerando che entrambi sono infiniti). Formalmente, questo equivale a dire che non esiste una corrispondenza biunivoca fra i numeri reali e i numeri naturali.

Questo fatto distingue i numeri reali dagli altri insiemi numerici normalmente utilizzati. Infatti gli insiemi dei numeri naturali, razionali, algebrici hanno tutti la stessa cardinalità (ovvero possono essere messi in corrispondenza biunivoca), mentre l'insieme dei reali ha una cardinalità superiore: esiste una funzione iniettiva dai numeri razionali ai reali, ma non viceversa.

In altre parole, nel tappare tutti i buchi lasciati dai numeri razionali si deve aggiungere una "tale quantità" di numeri nuovi da farne crescere la cardinalità. Questo fatto può essere dimostrato con il procedimento diagonale di Cantor.

Effettivamente, l'insieme R{displaystyle mathbb {R} } ha cardinalità 2^ℵ₀, la stessa dell'insieme delle parti di un insieme numerabile: ovvero, la stessa cardinalità dell'insieme di tutti i sottoinsiemi dei numeri naturali.

Poiché anche i numeri algebrici hanno cardinalità numerabile, "quasi tutti" i numeri reali sono trascendenti.

L'ipotesi del continuo sostiene la non esistenza di una cardinalità intermedia fra quella degli interi e quella dei reali. Nell'ambito della teoria degli insiemi di Zermelo - Fraenkel, che è quella comunemente usata, questa ipotesi non può essere né dimostrata né confutata, cioè è indipendente dai suoi assiomi.

Densità dei numeri razionali nell'insieme dei numeri reali |

L'insieme Q{displaystyle mathbb {Q} } dei numeri razionali è denso nell'insieme dei numeri reali.

Dimostrazione |

Siano a,b∈R{displaystyle a,bin mathbb {R} } con a<b{displaystyle a<b}, allora ∃q∈Q:a<q<b{displaystyle exists qin mathbb {Q} :a<q<b}

Caso I |

a{displaystyle a} e b{displaystyle b} sono discordi: a<0<b{displaystyle a<0<b}
0∈Q⇒∃q∈Q,q=0{displaystyle 0in mathbb {Q} Rightarrow exists qin mathbb {Q} ,q=0}.

Caso II |

a{displaystyle a} e b{displaystyle b} sono ambedue positivi: 0<a<b{displaystyle 0<a<b}

Dato che 0<a<b{displaystyle 0<a<b} si ha che b−a>0{displaystyle b-a>0} e che anche 1b−a>0∈R{displaystyle {frac {1}{b-a}}>0in mathbb {R} } quindi per la proprietà archimedea dei numeri reali ∃n∈N:n>1b−a,{displaystyle exists nin mathbb {N} :n>{frac {1}{b-a}},} quindi:

1b−a<n{displaystyle {frac {1}{b-a}}<n}

n(b−a)>1{displaystyle n(b-a)>1}

nb−na>1{displaystyle nb-na>1}

nb>na+1{displaystyle nb>na{}+1}

na+1<nb.{displaystyle {textbf {na+1}}<{textbf {nb}}.}

Sia X={k∈N|k>na}{displaystyle X={kin mathbb {N} |k>na}}, X⊂N{displaystyle Xsubset mathbb {N} }, quindi per la proprietà archimedea dei numeri reali X≠∅{displaystyle Xneq varnothing } infatti ∃k∈N:k>na{displaystyle exists kin mathbb {N} :k>na}. Per le proprietà di buon ordinamento dei numeri naturali X{displaystyle X} ammette minimo ovvero ∃m∈X:m≤k∀k∈X,{displaystyle exists min X:mleq kforall kin X,} quindi:

na<m{displaystyle na<m}

na>m−1{displaystyle na>m-1} (infatti m−1∉X{displaystyle m-1notin X})

na+1>m{displaystyle na+1>m}

na<m<na+1<nb{displaystyle {textbf {na}}<{textbf {m}}<na+1<{textbf {nb}}}

na<m<nb{displaystyle na<m<nb}

a<mn<b{displaystyle a<{frac {m}{n}}<b}

m,n∈N⇒mn∈Q⇒∃q∈Q,q=mn.{displaystyle m,nin mathbb {N} Rightarrow {frac {m}{n}}in mathbb {Q} Rightarrow exists qin mathbb {Q} ,q={frac {m}{n}}.}

Caso III |

a{displaystyle a} e b{displaystyle b} sono ambedue negativi: a<b<0{displaystyle a<b<0}

a<b<0⇒0<−b<−a{displaystyle a<b<0Rightarrow 0<-b<-a}
−a,−b>0⇒{displaystyle -a,-b>0Rightarrow } come nel caso appena illustrato ∃q¯∈Q:−b<q¯<−a{displaystyle exists {bar {q}}in mathbb {Q} :-b<{bar {q}}<-a} moltiplicando per −1 si invertono i segni della disuguaglianza e si ha che a<−q¯<b{displaystyle a<-{bar {q}}<b}, q¯∈Q⇒−q¯∈Q⇒∃q∈Q,q=−q¯{displaystyle {bar {q}}in mathbb {Q} Rightarrow -{bar {q}}in mathbb {Q} Rightarrow exists qin mathbb {Q} ,q=-{bar {q}}}.

Densità dei numeri irrazionali nell'insieme dei numeri reali |

Definito l'insieme R∖Q{displaystyle mathbb {R} setminus mathbb {Q} } dei numeri irrazionali si dimostra che anch'esso è denso in R{displaystyle mathbb {R} }.

Dimostrazione |

Siano a,b∈R{displaystyle a,bin mathbb {R} } con a<b{displaystyle a<b}, allora ∃x∈R∖Q:a<x<b{displaystyle exists xin mathbb {R} setminus mathbb {Q} :a<x<b}.
Per la proprietà di compatibilità della relazione d'ordine fissata su R{displaystyle mathbb {R} } rispetto all'operazione di somma algebrica se a<b{displaystyle a<b} allora a−2<b−2{displaystyle a-{sqrt {2}}<b-{sqrt {2}}}
a−2{displaystyle a-{sqrt {2}}} e b−2∈R{displaystyle b-{sqrt {2}}in mathbb {R} } quindi per la proprietà di densità dei numeri razionali nell'insieme dei numeri reali ∃q∈Q:a−2<q<b−2{displaystyle exists qin mathbb {Q} :a-{sqrt {2}}<q<b-{sqrt {2}}}, aggiungendo 2{displaystyle {sqrt {2}}} a tutti i membri della disuguaglianza si ha che a<q+2<b{displaystyle a<q+{sqrt {2}}<b} e che quindi ∃x∈R∖Q,x=q+2{displaystyle exists xin mathbb {R} setminus mathbb {Q} ,x=q+{sqrt {2}}}.

Metrica e topologia |

I numeri reali formano uno spazio metrico: la distanza tra x{displaystyle x} e y{displaystyle y} è definita come il valore assoluto |x−y|{displaystyle |x-y|}. Come accennato sopra, R{displaystyle mathbb {R} } risulta essere uno spazio metrico completo.

La metrica appena definita induce su R{displaystyle mathbb {R} } una struttura di spazio topologico. Un sottoinsieme X{displaystyle X} di R{displaystyle mathbb {R} } è aperto se e solo se è unione di intervalli aperti (a,b){displaystyle (a,b)}, dove a{displaystyle a} e b{displaystyle b} possono essere anche −∞{displaystyle -infty } o +∞{displaystyle +infty }^[1].

Lo spazio R{displaystyle mathbb {R} } è connesso ma non compatto. Lo spazio
è comunque localmente compatto, ed è una varietà differenziale di dimensione 1. Risulta essere omeomorfo a un qualsiasi intervallo aperto (a,b){displaystyle (a,b)}.

Lo spazio R{displaystyle mathbb {R} } è contraibile, e quindi semplicemente connesso, con tutti i gruppi di omotopia banali.

Struttura lineare |

I numeri reali sono il prototipo di spazio vettoriale reale di dimensione uno: la moltiplicazione per uno scalare non è altro che la moltiplicazione usuale. La struttura lineare è compatibile con la topologia sopra descritta, dunque R{displaystyle mathbb {R} } è uno spazio vettoriale topologico.

L'insieme R{displaystyle mathbb {R} } può anche essere pensato come uno spazio vettoriale sul campo Q{displaystyle mathbb {Q} } dei numeri razionali; in questo caso risulta avere una dimensione infinita (così come il campo dei numeri algebrici).

Inoltre, la moltiplicazione funge anche da prodotto scalare, rendendo R{displaystyle mathbb {R} } uno spazio di Hilbert e quindi uno spazio normato, in cui la norma non è altro che la funzione valore assoluto.

Misura |

Lo stesso argomento in dettaglio: misura di Lebesgue.

I numeri reali sono dotati di una misura canonica, la misura di Lebesgue. La misura dell'intervallo (a,b){displaystyle (a,b)} si definisce come b−a{displaystyle b-a}. Qualsiasi sottoinsieme numerabile (come ad esempio quello dei numeri razionali), ha misura nulla. Esistono anche sottoinsiemi di misura nulla non numerabili, come l'insieme di Cantor.

Ci sono in R{displaystyle mathbb {R} } anche insiemi non misurabili, ma la loro costruzione necessita dell'assioma della scelta: un esempio è l'insieme di Vitali.

La misura di Lebesgue è la misura di Haar della struttura di R{displaystyle mathbb {R} } come gruppo topologico, normalizzata in modo che l'intervallo [0,1] abbia misura 1.

Algebra |

Ogni numero reale non negativo ha la sua radice quadrata in R{displaystyle mathbb {R} }, i reali negativi no. Questo mostra che l'ordinamento in R{displaystyle mathbb {R} } è determinato dalla sua struttura algebrica.

Ogni polinomio di grado dispari ha almeno una radice. Esistono comunque polinomi senza radici reali, e questo fa di R{displaystyle mathbb {R} } un campo non algebricamente chiuso.

La chiusura algebrica di R{displaystyle mathbb {R} } (ovvero il più piccolo campo algebricamente chiuso che lo contiene) è il campo dei numeri complessi.

Logica |

L'assioma di Dedekind si riferisce a sottoinsiemi di reali e quindi è un predicato della logica del secondo ordine. In generale, non è possibile caratterizzare i reali usando solo la logica del primo ordine.

Per il teorema di Löwenheim-Skolem (debole), esiste un insieme denso numerabile di numeri reali che soddisfa gli stessi predicati nella logica del prim'ordine dei numeri reali.

L'insieme dei numeri iperreali è più grande di R{displaystyle mathbb {R} } ma soddisfa gli stessi predicati della logica del prim'ordine di R{displaystyle mathbb {R} }. I campi ordinati che soddisfano gli stessi predicati della logica del prim'ordine di R{displaystyle mathbb {R} } sono chiamati modelli non standard di R{displaystyle mathbb {R} }. Questo è ciò che permette all'analisi non standard di funzionare; dimostrando un predicato del prim'ordine in qualche modello non standard (che può essere più semplice che dimostrarlo in R{displaystyle mathbb {R} }), se ne deduce che lo stesso predicato è vero anche per R{displaystyle mathbb {R} }.

Generalizzazioni ed estensioni |

I numeri reali possono essere generalizzati ed estesi in numerose direzioni. Forse l'estensione più naturale è quella dei numeri complessi. I numeri complessi formano un campo algebricamente chiuso, che perde (rispetto ai reali) la struttura di ordinamento (i numeri complessi non sono un campo ordinato). Inoltre, i numeri complessi hanno innumereveli applicazioni in fisica: per esempio, in elettrotecnica e in elettronica sono alla base del metodo simbolico che semplifica enormemente lo studio dei circuiti elettrici in regime sinusoidale, così come sono fondamentali in meccanica quantistica, poiché questa teoria è sviluppata in uno spazio di Hilbert a dimensione infinita sul campo dei complessi e, inoltre, l'unità immaginaria compare nell'equazione di Schrödinger.

Il campo dei numeri complessi è l'algebra ottenuta dal campo dei numeri reali mediante la costruzione di Cayley-Dickson. Proseguendo con tale costruzione, si ottengono algebre successive sul campo dei numeri reali, ciascuna di dimensione via via doppia rispetto all'algebra precedente; dopo i numeri complessi, si ottengono, in sequenza, i quaternioni, gli ottetti (o ottonioni) e i sedenioni; tutti essi costituiscono la famiglia delle algebre di Cayley-Dickson inclusa nell'insieme dei cosiddetti numeri ipercomplessi, il quale, tuttavia, include anche la famiglia delle algebre di Clifford.

Un'altra possibile estensione per i numeri reali è rappresentata dai numeri duali che, sotto alcuni aspetti, mostrano proprietà complementari rispetto a quelle dei numeri complessi e che, a differenza di questi ultimi, sono caratterizzati da un'unità immaginaria nilpotente. Inoltre, a differenza dei numeri complessi, i numeri duali non costituiscono un campo, ma costituiscono semplicemente un'algebra associativa e commutativa dotata di unità, introducendo le operazioni di somma e di prodotto. Anche i numeri duali hanno applicazioni in fisica, come un semplice esempio di superspazio, spazio delle configurazioni utilizzato in relatività generale e nelle teorie supersimmetriche.

Ancora un'altra possibile estensione per i numeri reali è rappresentata dai numeri complessi iperbolici, caratterizzati da un'unità immaginaria il cui quadrato è posto uguale a 1, invece che a -1, come accade per gli ordinari numeri complessi. I numeri complessi iperbolici presentano diverse analogie con gli ordinari numeri complessi, tuttavia, a differenza di questi ultimi e come i numeri duali, non costituiscono un campo; essi costituiscono, infatti, solamente un anello. Anche i numeri complessi iperbolici trovano applicazioni in fisica: per esempio, nell'ambito della relatività ristretta, possono essere utilizzati per rappresentare le trasformazioni di Lorentz.

Esempi di campi ordinati che estendono i reali sono i numeri iperreali e i numeri surreali; entrambi contengono numeri infinitesimali e infinitamente grandi, ma non soddisfano l'assioma di Archimede descritto sopra.

Occasionalmente, come scritto sopra, gli elementi formali +∞{displaystyle +infty } e −∞{displaystyle -infty } sono aggiunti ai reali per formare la retta numerica estesa, con una naturale topologia compatta. Questo insieme non è un campo ma mantiene molte delle proprietà dei numeri reali.

Le forme hermitiane su uno spazio di Hilbert (per esempio, le matrici quadrate complesse autoaggiunte) generalizzano i reali in molti aspetti: possono essere ordinate (non totalmente), sono complete, i loro autovalori sono reali e formano un'algebra associativa reale. Gli operatori definiti positivi corrispondono ai numeri reali positivi e gli operatori normali corrispondono ai numeri complessi.

Note |

Voci correlate |

• Costruzione dei numeri reali


• Ordinamento tra numeri reali


• Operazioni aritmetiche sui numeri reali


• Numero naturale


• Numero intero


• Numero razionale


• Numero irrazionale


• Numero immaginario


• Numero complesso


• Quaternione


• Numero iperreale


• Numero surreale

Altri progetti |

• 
  Wikiversità contiene lezioni su numero reale
  


• 
  Wikimedia Commons contiene immagini o altri file su numero reale
  

Collegamenti esterni |

• 
  


• 
  Numero reale, su thes.bncf.firenze.sbn.it, Biblioteca Nazionale Centrale di Firenze.
  


• 
  (EN) Numero reale, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
  

.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Criterio di Eisenstein · Criterio di Cartesio
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Prodotto diretto · Prodotto semidiretto Teoremi Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1° specie · 2° specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

.mw-parser-output .CdA{border:1px solid #aaa;width:100%;margin:auto;font-size:90%;padding:2px}.mw-parser-output .CdA th{background-color:#ddddff;font-weight:bold;width:20%}

Controllo di autorità	GND (DE) 4202628-3

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica