Densità di Q in R
La densità di Q in R è una proprietà che caratterizza l'insieme dei numeri razionali inteso come sottoinsieme dei numeri reali, per la quale comunque scelti due valori reali esiste sempre un numero razionale compreso tra essi.
L'insieme dei numeri razionali è il protagonista indiscusso di questa lezione (rivolta ai soli studenti universitari), o meglio: qui vi presenteremo una proprietà veramente particolare che, tra gli insiemi numerici notevoli, contraddistingue esclusivamente l'insieme Q e che lo caratterizza come sottoinsieme dei numeri reali.
Per cominciare partiremo da un paio di presupposti - la proprietà archimedea dei numeri reali e la nozione di insieme denso in un altro - dopodiché mostreremo che l'insieme Q è denso in R e ci concentreremo sulle principali conseguenze di tale proprietà.
Premesse per la densità di Q in R
Se avete letto le precedenti lezioni e i relativi approfondimenti avrete certamente intuito che gli insiemi numerici hanno proprietà ben distinte tra loro: ad esempio sono insiemi numerabili e sono insiemi discreti,
è un insieme continuo e ha la potenza del continuo. Che dire a proposito di
Sappiamo già che l'insieme dei razionali è un insieme numerabile, ma non ci siamo mai espressi in merito alle proprietà dei punti che lo costituiscono: i punti di sono isolati o di accumulazione? Qual è la frontiera di
, e quali sono i suoi punti interni e quelli esterni in
La proprietà che ci accingiamo ad introdurre caratterizza come un vero e proprio unicum tra tutti i possibili sottoinsiemi reali, ma prima di arrivarci ci servono un paio di prerequisiti...
Proprietà archimedea dei numeri reali (assioma di Archimede)
Dati due numeri reali positivi esiste un numero naturale
tale che
.
In simboli:
Chiunque fosse interessato alla dimostrazione dell'assioma di Archimede può leggerne una versione nella pagina del link. La proprietà archimedea, di cui avevamo già accennato nella lezione introduttiva sui numeri reali, garantisce che comunque si scelgano due numeri reali positivi è sempre possibile trovare un intero positivo in modo che il prodotto tra il primo e l'intero sia maggiore del secondo valore reale.
Si noti che l'enunciato non impone alcuna relazione tra per questioni di eleganza: se
esisterà un opportuno intero positivo che soddisfa la proprietà, se invece
bastera scegliere un qualsiasi
.
Definizione di insieme denso in un altro insieme (in ℝ)
In uno dei vari approfondimenti presenti su YouMath forniamo una definizione di insieme denso in un altro nei termini più generali possibili, ma qui preferiamo contestualizzare il discorso al caso dei numeri reali.
Diciamo quindi che un insieme è denso in
se per ogni
e se per ogni
esiste almeno un elemento dell'insieme
che cade nell'intorno di
di raggio
.
In simboli:
Si noti che la proprietà di densità è molto particolare: essa richiede che per ogni numero reale, comunque se ne consideri un intorno, deve esistere almeno un elemento dell'insieme che appartiene all'intorno scelto centrato nel numero reale scelto.
La scelta dell'aggettivo denso non è del tutto casuale e richiama in un certo modo l'usuale concetto di densità fisica cui siamo abituati nella vita di tutti i giorni. Per esprimere la definizione in altri termini possiamo dire che è denso in
se per ogni numero reale possiamo trovare un elemento di
indefinitamente vicino ad esso.
C'è anche un'altra definizione equivalente di insieme denso in : diciamo che
è denso in
se ogni elemento di
appartiene ad
oppure è un punto di accumulazione di
.
In altre parole, è denso in
se
è l'insieme dei punti di aderenza di
.
Ancora, ancora: un'ulteriore definizione equivalente di insieme denso in , piuttosto ovvia, stabilisce che
è denso in
se la chiusura di
coincide con
Q è denso in R
Siamo arrivati al nocciolo della questione: siamo pronti per scrivere l'enunciato relativo alla densità di in
, e nel farlo coglieremo l'occasione per proporne un'ulteriore formulazione equivalente che sfrutta la proprietà di ordinamento dei numeri reali:
Enunciato (densità di Q in R)
Siano due numeri reali con
. Esiste
tale che
. In sintesi
è denso in
.
Dimostrazione della densità di Q in R
La dimostrazione non è affatto immediata ed è facoltativa per gli studenti che affrontano corsi di Matematica non eccessivamente approfonditi.
L'idea della dimostrazione prevede di costruire esplicitamente il razionale che realizza la tesi. Per provare l'asserto procederemo distinguendo tre casi, in modo da alleggerire l'impianto dimostrativo:
1) Dimostriamo l'asserto nel caso .
Se consideriamo i numeri per l'assioma di Archimede esiste un numero naturale
tale che
Applichiamo nuovamente l'assioma di Archimede, considerando in questo caso . Esisterà dunque un
per cui
dove abbiamo potuto scrivere e non
perché si tratta di una condizione meno restrittiva. Considerando un qualsiasi numero naturale
, segue banalmente che
Ora ragioniamo sui numeri naturali che non soddisfano la precedente relazione, e consideriamo il loro massimo
Con queste premesse è facile vedere che vale la doppia disuguaglianza
Ci siamo quasi: non dobbiamo fare altro che dimostrare che è strettamente maggiore del termine di destra per avere la tesi, perché in questo modo avremo trovato il numero razionale richiesto:
.
Notiamo che la presenza di una disuguaglianza stretta fa sì che la disuguaglianza complessiva sia stretta. Abbiamo finito, perché abbiamo trovato il numero razionale compreso tra :
2) Banale: se basterà prendere
.
3) Il caso si riconduce facilmente a 1) osservando che
per cui esiste tale che
da cui consegue che
dove ovviamente .
Conseguenze della densità di Q in R e proprietà di Q in R
La proprietà di densità dell'insieme dei razionali nei reali è a dir poco strabiliante, perché colloca l'insieme in una dimensione a sé stante. Cerchiamo di capirne il motivo analizzando in modo certosino le caratteristiche topologiche di
A) Ogni elemento di è un punto di accumulazione di
Per capirlo basta osservare che , per ogni intorno completo di
esiste un razionale
che cade nell'intorno. Basti pensare agli elementi della forma
Essi sono tutti razionali, sono tutti diversi da e al crescere di
si avvicinano indefinitamente a
.
Ciò fa sì che non sia un insieme discreto (ossia un insieme costituito da soli punti isolati, come
), pur essendo numerabile!
B) Dalla proprietà A) segue automaticamente che è privo di punti isolati.
C) I punti di non sono tutti e soli i punti di accumulazione di
.
è l'insieme di tutti e soli i punti di accumulazione di
.
Questa proprietà discende direttamente dalla densità di in
(dando per assodata l'equivalenza delle precedenti definizioni), da cui consegue che la chiusura di
è proprio
Tra l'altro, fermo restando che in generale chiusura di un insieme e derivato di un insieme sono concetti ben distinti , nel caso di
capita che
proprio perché è sprovvisto di punti isolati.
D'altronde ci sono altri strade algebriche che si possono percorrere per dimostrare che i numeri irrazionali sono punti di accumulazione di che non appartengono a
, ma il discorso si farebbe piuttosto complesso ed esulerebbe dagli scopi di questa categoria di lezioni. Tempo al tempo. ;)
D) A titolo di cronaca (l'argomento è avanzato e valgono considerazioni di difficoltà analoghe alle precedenti) si può dimostrare che anche l'insieme dei numeri irrazionali è denso in
.
E) Tutti i punti di sono punti di frontiera di
, di conseguenza
è privo di punti interni e punti esterni.
Per capirlo basta appellarsi alla proprietà di densità di e di
in
: comunque scegliamo un razionale, ogni suo intorno completo contiene almeno un numero razionale (il centro stesso) e un numero irrazionale.
Nella verifica della validità di tale proprietà vi basti osservare che, nell'enunciato di densità del teorema dimostrato in precedenza, possono essere all'occorrenza numeri razionali oppure numeri irrazionali. ;)
F) Tutti e soli i punti di frontiera di sono tutti e soli i punti di
.
Per tale proprietà valgono considerazioni analoghe a quelle proposte in E).
Bene, è tutto! Con questo avete una buona infarinatura che può soddisfare i curiosi (=chi non frequenta la facoltà di Matematica) e che verrà approfondita nel seguito dagli aspiranti matematici (=chi frequenta Matematica all'università :P ). Come al solito ricordatevi che qui su YM ci sono migliaia di esercizi svolti e di risposte dello Staff, potete trovare tutto quello che vi serve con la barra di ricerca interna. ;)
להתראות, see you soon guys!
Fulvio Sbranchella (Agente Ω)
Tags: definizioni ed esempi di insiemi contigui e di insiemi separati.