Qui si risolve LOGO
a

Menu

M

Chiudi

Costruzioni alternative dei numeri reali

Insiemi numerici N, Z, Q, R

Home » Costruzioni alternative dei numeri reali

Nella dispensa l’insieme dei numeri reali, abbiamo mostrato la costruzione di \mathbb{R} attraverso le cosiddette sezioni di Dedekind, ossia definendo un numero reale come l’insieme dei numeri razionali che lo precedono. Esistono altri modi per effettuare questa costruzione?

In questo articolo rispondiamo affermativamente alla domanda, presentando tre costruzioni alternative di \mathbb{R}, tutte basate su approssimazioni razionali:

  1. Successioni di Cauchy di numeri razionali; un numero reale è definito come la classe delle successioni di numeri razionali che lo approssimano.
  2. Allineamenti decimali; un numero reale coincide con la successione delle sue scritture decimali troncate.
  3. Frazioni continue; ogni numero reale è esprimibile come una frazione continua.

Tutte le costruzioni vengono motivate e spiegate con esempi pratici. L’articolo, insieme alla dispensa complementare l’insieme dei numeri reali, offre una comprensione profonda e completa dell’essenza dei numeri reali, proponendosi come una risorsa preziosa per studenti e appassionati.

 

Autore

Leggi...

Autore: Jack D’Aurizio

 

 

Introduzione

Leggi...

In questa dispensa vedremo tre costruzionidei numeri reali a partire dall’insieme dei numeri razionali che si distaccano per approccio e metodo da quella assiomatica e da quella costruttiva delle sezioni di Dedekind.

 

Successioni di Cauchy su \mathbb{Q}

Un primo metodo equivalente di definire i numeri reali, più legato ai suoi aspetti computazionali, è quello legato al concetto di successione di Cauchy.

Definizione 1. Sia A un insieme. Una successione a valori nell’insieme A è una funzione

\begin{equation*}  					f:\mathbb{N}\longrightarrow A.  				\end{equation*}

I valori f(0), f(1), \dots, vengono indicati rispettivamente con a_0, a_1, \dots e scriveremo a_n invece di f.

 

Definizione 2. Una successione a_n a valori in \mathbb{Q} si dice di Cauchy se

\[\forall \varepsilon > 0, \; \exists N :\; \;\; |a_n - a_m| < \varepsilon, \;\;\;\; \forall n,m \geq N.\]

Denotiamo l’insieme delle successioni di Cauchy a valori in \mathbb{Q}, C(\mathbb{Q}).

 
Le successioni di Cauchy sono quelle che “si addensano sempre più”. Se immaginiamo di rappresentare su una retta gli elementi di una successione di Cauchy, abbiamo che, preso in maniera arbitraria un numero \varepsilon > 0, da un certo valore dell’indice n in avanti, tutti i punti si trovano in un intervallo I_\varepsilon di ampiezza \varepsilon.

Questa parte è riservata agli abbonati

per continuare a leggere, attiva un abbonamento.

Mensile: 7,99€ / mese • Trimestrale: 19,99€ / 3 mesi • Annuale: 79,99€ / anno

Attiva abbonamento

Già abbonato? Accedi