Principio di localizzazione di Cantor
![Abbozzo matematica](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/45px-Crystal128-kmplot.svg.png)
Il principio di Cantor, detto anche di localizzazione, è una colonna portante della teoria degli insiemi elaborata dal matematico tedesco Georg Cantor alla fine del XIX secolo. Nella trattazione di tale teoria il matematico fece uso per la prima volta del termine numero reale, e può quindi esserne considerato in un certo senso il padre.
Il principio
Sia una successione di intervalli chiusi e limitati, decrescente rispetto alla relazione di inclusione, cioè:
Se
allora esiste un unico numero reale
e inoltre
Osservazioni generali
Nell'ipotesi si parla di intervalli inscatolati: è un termine molto usato per dire in modo riassuntivo che ogni intervallo interno è contenuto dentro tutti quelli a lui esterni, anche se in teoria molti di questi potrebbero essere coincidenti. Più propriamente si dice che gli insiemi formano una successione decrescente rispetto alla relazione d'inclusione, Ovviamente se tutti gli intervalli sono uguali, cioè in pratica ne esiste uno solo, automaticamente la tesi non è ottenibile, dal momento che basterà prendere un sottintervallo del primo per fare fallire la seconda e importantissima ipotesi.
In un certo senso il principio può essere visto come una diretta conseguenza dell'esistenza dell'estremo superiore, dato che ci dice che una successione di intervalli chiusi inscatolati, per cui esiste un intervallo più piccolo per ogni potenza di 10, contiene in essi un unico numero reale che appartiene a tale successione di intervalli.
La completezza dei reali
Il principio di localizzazione è di fatto equivalente all'esistenza dell'estremo superiore, come detto prima; quindi esso è un modo alternativo di enunciare la completezza dei reali, che ci permette di associare un unico numero reale ad ogni coppia di classi separate e contigue (vedremo dopo cosa significano questi termini), che lo individuano. L'utilità del principio di localizzazione deriva dal fatto che permette di definire numeri reali per mezzo di loro approssimazioni dal basso e dall'alto. L'unica difficoltà tecnica risiede nel dover verificare che la distanza fra le approssimazioni per difetto e quelle per eccesso, ossia l'errore nella localizzazione, possa essere resa arbitrariamente piccola, raffinando abbastanza l'approssimazione.
Osservazioni sugli estremi degli intervalli
Parlando del legame tra il principio di localizzazione e la completezza dei numeri reali si è parlato di classi separate e contigue: esse non sono altro che due insiemi di numeri tali che:
- ogni numero della prima classe è minore di ogni numero della seconda (separate)
- data una qualsiasi quantità positiva si riescono sempre a trovare un elemento della prima e un elemento della seconda che distino tra loro meno della quantità data (contigue).
Le due classi delle successioni di tutti gli estremi degli intervalli, che si possono scrivere come e che come abbiamo detto prima possono essere viste come stime del numero reale, dall'alto e dal basso, sono dette separate e contigue dato che per la seconda ipotesi del principio di Cantor la loro distanza è minore di qualsiasi potenza di 10.
Collegamenti esterni
- (EN) Eric W. Weisstein, Principio di localizzazione di Cantor, su MathWorld, Wolfram Research.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)