Numero reale: differenze tra le versioni
→Collegamenti esterni: Aggiunto il template "Teoria degli insiemi" Etichetta: Editor wikitesto 2017 |
→Densità dei numeri razionali nell'insieme dei numeri reali: scrivo un po' meglio |
||
Riga 210: | Riga 210: | ||
===== Dimostrazione ===== |
===== Dimostrazione ===== |
||
Siano <math>a, b \in \R</math> con <math>a < b</math>, allora <math> |
Siano <math>a, b \in \R</math> con <math>a < b</math>, allora si deve dimostrare che esiste <math>q \in \Q</math> tale che <math>a < q < b</math>. |
||
====== Caso I ====== |
====== Caso I ====== |
||
<math>a</math> e <math>b</math> sono discordi |
Se <math>a</math> e <math>b</math> sono discordi, ossia <math>a < 0 < b</math>, allora <math>q=0 \in \Q</math> soddisfa la condizione richiesta. |
||
====== Caso II ====== |
====== Caso II ====== |
||
<math>a</math> e <math>b</math> sono ambedue [[numeri positivi|positivi]] |
Se <math>a</math> e <math>b</math> sono ambedue [[numeri positivi|positivi]], ossia <math>0 < a < b</math>, si procede nel modo seguente. Dato che <math>0 < a < b</math> si ha che <math>b-a > 0</math> e quindi che <math>\frac{1}{b-a} > 0</math> con <math>\frac{1}{b-a}\in \R</math>. Quindi per la [[#Assioma di Archimede|proprietà archimedea dei numeri reali]] si ha che |
||
:<math>\exist n \in \mathbb{N} : n > \frac{1}{b-a}.</math> |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
:<math>\textbf{na + 1} < \textbf{nb}.</math> |
|||
Da cui |
|||
⚫ | Sia <math>X = \{ k \in \mathbb{N} | k > na \}</math>, <math>X \subset \mathbb{N}</math>, quindi per la proprietà archimedea dei numeri reali <math>X \ |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | Sia <math>X = \{ k \in \mathbb{N} | k > na \}</math>, <math>X \subset \mathbb{N}</math>, quindi per la proprietà archimedea dei numeri reali <math>X \ne \varnothing,</math> infatti <math>\exist k \in \mathbb{N} : k > na</math>. Per la proprietà di buon ordinamento dei numeri naturali, <math>X</math> ammette minimo ossia <math>\exist m \in X : m \le k,\; \forall k \in X,</math> quindi: |
||
:<math>na < m</math> |
:<math>na < m</math> |
||
:<math>na > m - 1</math> (infatti <math>m-1 \notin X</math>) |
:<math>na > m - 1</math> (infatti <math>m-1 \notin X</math>) |
||
:<math>na + 1 > m</math> |
:<math>na + 1 > m</math> |
||
:<math> |
:<math>na < m < na + 1 < nb</math> |
||
:<math>na < m < nb</math> |
:<math>na < m < nb</math> |
||
:<math>a < \frac{m}{n} < b</math> |
:<math>a < \frac{m}{n} < b</math> |
||
Riga 235: | Riga 238: | ||
====== Caso III ====== |
====== Caso III ====== |
||
<math>a</math> e <math>b</math> sono ambedue [[numeri negativi|negativi]] |
Se <math>a</math> e <math>b</math> sono ambedue [[numeri negativi|negativi]], ossia <math>a < b < 0</math>, allora |
||
:<math>a < b < 0 \Rightarrow 0 < -b < -a</math> |
|||
e <math>-a, -b > 0</math> implica, come nel [[#Caso II|caso]] appena illustrato, che esiste <math>\bar{q} \in \Q</math> tale che <math>-b < \bar{q} < -a</math>. Moltiplicando per <math>-1</math> si invertono i segni della disuguaglianza e si ha che <math>a < -\bar{q} < b</math>. Quindi |
|||
:<math>\bar{q} \in \Q \Rightarrow -\bar{q} \in \Q \Rightarrow \exist q \in \Q, q = -\bar{q}.</math> |
|||
==== Densità dei numeri irrazionali nell'insieme dei numeri reali ==== |
==== Densità dei numeri irrazionali nell'insieme dei numeri reali ==== |
Versione attuale delle 12:33, 25 mag 2024
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 I numeri reali possono essere positivi, negativi o nulli e comprendono, come casi particolari, i numeri interi (come ), i numeri razionali (come ) e i numeri irrazionali algebrici (come ) e trascendenti (come ed ). Un numero reale razionale presenta uno sviluppo decimale finito o periodico; ad esempio è razionale. L'insieme dei numeri reali è generalmente indicato con la lettera R o .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Real_number_line.svg/310px-Real_number_line.svg.png)
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
[modifica | modifica wikitesto]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, cioè i numeri esprimibili sotto forma di frazione;
- i numeri irrazionali, cioè i numeri che non sono esprimibili sotto forma di frazione, e non fanno quindi parte dei numeri razionali, come , e e π.
Parallelamente a questa suddivisione, è possibile evidenziarne un'altra:
- l'insieme dei numeri algebrici, che comprende tutti e soli i numeri che possono essere soluzione di un'equazione a coefficienti razionali, come ;
- l'insieme dei numeri trascendenti, formato dai numeri non algebrici, come e e π.
Questi insiemi, benché infiniti, hanno cardinalità numerabile, tranne l'insieme dei numeri irrazionali e l'insieme dei numeri trascendenti, che hanno la cardinalità del continuo.
Rappresentazione decimale
[modifica | modifica wikitesto]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 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...:
- La somma e la moltiplicazione fra numeri reali non si effettuano "cifra per cifra" nel modo abituale per gli interi, perché dovremmo "partire dalla cifra più a destra" e questo non è praticamente possibile poiché con questa notazione si hanno infinite cifre dopo la virgola.
- La rappresentazione è ancorata alla scelta della base 10, e quindi non è "canonica" nel senso che potrebbero esserci delle proprietà del numero che vengono evidenziate solo perché tale numero è rappresentato in base 10 e che non si presenterebbero se fosse rappresentato in un'altra base o, più in generale, in un'altra notazione.
Per questo motivo i matematici preferiscono definire e trattare i numeri reali con altre notazioni più astratte.
Operazioni sui numeri reali
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]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 ) 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
[modifica | modifica wikitesto]Frazioni
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]Supponiamo per assurdo che esistano due numeri interi e tali che
Possiamo supporre che la frazione sia ridotta, ovvero che e siano primi fra di loro. Quindi
Ne segue che 2 divide , e quindi è pari. Quindi per qualche . Otteniamo:
e allora anche è pari, in contraddizione con il fatto che e siano coprimi. Dunque deve essere falsa l'ipotesi iniziale, cioè 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 dell'ipotenusa di un triangolo rettangolo i cui cateti hanno lunghezza , è tale che
D'altra parte, è facile mostrare che una tale 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 , si dice che se e solo se per ogni coppia di naturali, , , si verifica sempre una delle seguenti tre possibilità:
- e, contemporaneamente, ;
- e, contemporaneamente, ;
- e, contemporaneamente, .
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 ).
Sviluppo decimale illimitato non periodico
[modifica | modifica wikitesto]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/31/1983_CPA_5426.jpg/200px-1983_CPA_5426.jpg)
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
[modifica | modifica wikitesto]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: che converge a
- la serie di Grégory: che converge a
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
[modifica | modifica wikitesto]![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6a/Gottfried_Wilhelm_von_Leibniz.jpg/200px-Gottfried_Wilhelm_von_Leibniz.jpg)
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
[modifica | modifica wikitesto]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 coppie di sottoinsiemi di razionali, i cosiddetti tagli di Dedekind: ad esempio, la radice di 2 è rappresentata dalla coppia di insiemi, il primo è l'insieme di tutti i numeri razionali negativi o il cui quadrato è minore di , il secondo è l'insieme di tutti i numeri razionali positivi il cui quadrato è maggiore di . 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
[modifica | modifica wikitesto]Approccio assiomatico
[modifica | modifica wikitesto]Sia l'insieme di tutti i numeri reali. Allora:
- L'insieme , 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 è ordinato, cioè esiste un ordinamento totale, il usuale, tale che, per tutti i numeri reali , e :
- per ogni coppia si ha oppure (dicotomia)
- per ogni (riflessiva)
- se e allora (antisimmetrica)
- da e segue che (transitiva)
- Assioma di Dedekind: L'ordinamento è completo, cioè ogni sottoinsieme non vuoto di che ammette un maggiorante in ha un estremo superiore in . L'estremo superiore di un insieme si denota con .
L'ultima proprietà è quella che differenzia i reali dai razionali.
Per esempio, l'insieme dei numeri razionali il cui quadrato è minore di ha un maggiorante razionale (per esempio ) ma l'estremo superiore, che è il minore dei maggioranti, non è razionale in quanto la radice quadrata di non è razionale.
I numeri reali son definiti in modo univoco dalle proprietà precedenti.
Detto in modo più preciso, dati due campi ordinati completi e , esiste un unico isomorfismo da a . Questa proprietà permette di pensare a essi come a un unico oggetto matematico.
Insieme reale esteso
[modifica | modifica wikitesto]L'insieme reale esteso si ottiene ampliando l'insieme dei numeri reali con due elementi aggiuntivi, indicati con e :
La relazione d'ordine si estende a questi nuovi punti ponendo:
- per ogni 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 (risp. ) è 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à
[modifica | modifica wikitesto]Completezza
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]Nei numeri reali vale, per definizione di completezza, il fatto seguente:
- Ogni successione di Cauchy ha un limite.
Ricordiamo che:
- Una successione () di numeri reali è di Cauchy se per ogni esiste un intero tale che
- In altre parole, una successione è una successione di Cauchy se i suoi elementi a un certo punto diventano arbitrariamente vicini.
- Una successione () ha un limite se per ogni esiste un intero tale che
- In altre parole, una successione ha limite se i suoi elementi a un certo punto diventano arbitrariamente vicini a .
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 cifre della radice quadrata di , ossia
- 1; 1,4; 1,41; 1,414; 1,4142; 1,41421;...
è di Cauchy ma non converge a un numero razionale.
Elemento separatore
[modifica | modifica wikitesto]La completezza dei numeri reali può essere espressa nel modo seguente: dati due sottoinsiemi non vuoti di tali che
esiste un numero reale tale che
Assioma di Archimede
[modifica | modifica wikitesto]Per i numeri reali vale l'assioma di Archimede: dati due numeri reali positivi, con , esiste un numero naturale tale che
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 . In questo senso, è "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à
[modifica | modifica wikitesto]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 ha cardinalità 2ℵ0, 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
[modifica | modifica wikitesto]L'insieme dei numeri razionali è denso nell'insieme dei numeri reali.
Dimostrazione
[modifica | modifica wikitesto]Siano con , allora si deve dimostrare che esiste tale che .
Caso I
[modifica | modifica wikitesto]Se e sono discordi, ossia , allora soddisfa la condizione richiesta.
Caso II
[modifica | modifica wikitesto]Se e sono ambedue positivi, ossia , si procede nel modo seguente. Dato che si ha che e quindi che con . Quindi per la proprietà archimedea dei numeri reali si ha che
Da cui
Sia , , quindi per la proprietà archimedea dei numeri reali infatti . Per la proprietà di buon ordinamento dei numeri naturali, ammette minimo ossia quindi:
- (infatti )
Caso III
[modifica | modifica wikitesto]Se e sono ambedue negativi, ossia , allora
e implica, come nel caso appena illustrato, che esiste tale che . Moltiplicando per si invertono i segni della disuguaglianza e si ha che . Quindi
Densità dei numeri irrazionali nell'insieme dei numeri reali
[modifica | modifica wikitesto]Definito l'insieme dei numeri irrazionali si dimostra che anch'esso è denso in .
Dimostrazione
[modifica | modifica wikitesto]Siano con , allora .
Per la proprietà di compatibilità della relazione d'ordine fissata su rispetto all'operazione di somma algebrica se allora
e quindi per la proprietà di densità dei numeri razionali nell'insieme dei numeri reali , aggiungendo a tutti i membri della disuguaglianza si ha che e che quindi .
Metrica e topologia
[modifica | modifica wikitesto]I numeri reali formano uno spazio metrico: la distanza tra e è definita come il valore assoluto . Come accennato sopra, risulta essere uno spazio metrico completo.
La metrica appena definita induce su una struttura di spazio topologico. Un sottoinsieme di è aperto se e solo se è unione di intervalli aperti , dove e possono essere anche o [1].
Lo spazio è connesso ma non compatto. Lo spazio è comunque localmente compatto, ed è una varietà differenziale di dimensione 1. Risulta essere omeomorfo a un qualsiasi intervallo aperto .
Lo spazio è contraibile, e quindi semplicemente connesso, con tutti i gruppi di omotopia banali.
Struttura lineare
[modifica | modifica wikitesto]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 è uno spazio vettoriale topologico.
L'insieme può anche essere pensato come uno spazio vettoriale sul campo 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 uno spazio di Hilbert e quindi uno spazio normato, in cui la norma non è altro che la funzione valore assoluto.
Misura
[modifica | modifica wikitesto]I numeri reali sono dotati di una misura canonica, la misura di Lebesgue. La misura dell'intervallo si definisce come . 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 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 come gruppo topologico, normalizzata in modo che l'intervallo [0,1] abbia misura 1.
Algebra
[modifica | modifica wikitesto]Ogni numero reale non negativo ha la sua radice quadrata in , i reali negativi no. Questo mostra che l'ordinamento in è determinato dalla sua struttura algebrica.
Ogni polinomio di grado dispari ha almeno una radice. Esistono comunque polinomi senza radici reali, e questo fa di un campo non algebricamente chiuso.
La chiusura algebrica di (ovvero il più piccolo campo algebricamente chiuso che lo contiene) è il campo dei numeri complessi.
Logica
[modifica | modifica wikitesto]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 ma soddisfa gli stessi predicati della logica del prim'ordine di . I campi ordinati che soddisfano gli stessi predicati della logica del prim'ordine di sono chiamati modelli non standard di . 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 ), se ne deduce che lo stesso predicato è vero anche per .
Generalizzazioni ed estensioni
[modifica | modifica wikitesto]I numeri reali possono essere generalizzati ed estesi in numerose direzioni. Forse l'estensione più naturale è quella dei numeri complessi, che formano un campo algebricamente chiuso. Tuttavia, rispetto ai reali, essi perdono la struttura di ordinamento, ciò significa che i numeri complessi non sono un campo ordinato. 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, al prezzo della progressiva perdita di alcune proprietà. Dopo i numeri complessi, si ottengono, in sequenza, i quaternioni, gli ottonioni e i sedenioni. Tutte queste algebre costituiscono la famiglia delle algebre di Cayley-Dickson, che è 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, utilizzato da alcune teorie fisiche, quali la relatività generale e le teorie supersimmetriche, per descrivere la configurazione spaziale.
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 e 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
[modifica | modifica wikitesto]- ^ Dato uno spazio topologico su un insieme , sia lo stesso sia l'insieme vuoto sono aperti per ogni sua topologia. Poiché si pone per definizione , è un aperto dello spazio topologico reale indotto dalla metrica euclidea su .
Voci correlate
[modifica | modifica wikitesto]- 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
[modifica | modifica wikitesto]Wikiversità contiene risorse su numero reale
Wikimedia Commons contiene immagini o altri file su numero reale
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) real number, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Numero reale, su MathWorld, Wolfram Research.
Controllo di autorità | Thesaurus BNCF 6844 · LCCN (EN) sh85093221 · GND (DE) 4202628-3 · BNF (FR) cb11977586x (data) · J9U (EN, HE) 987007538747105171 · NDL (EN, JA) 00574870 |
---|