Spazio di Tichonov

tipo di spazio topologico

In topologia, gli spazi di Tychonoff e gli spazi completamente regolari sono degli spazi topologici che soddisfano alcune condizioni di regolarità, comprese tra gli assiomi di separazione. Queste condizioni sono necessarie per la dimostrazione di diversi teoremi, e sono caratteristiche di gran parte degli spazi topologici comunemente usati in analisi. Gli spazi di Tychonoff prendono il nome dal matematico russo Andrej Nikolaevič Tichonov.

Nel seguito vengono descritte sia le proprietà degli spazi completamente regolari che degli spazi di Tychonoff. È da notare che alcuni autori utilizzano definizioni diverse a quelle date, o considerano un termine come sinonimo dell'altro, o ancora con significati invertiti rispetto a quelli indicati.

Definizione formale modifica

Uno spazio topologico   è detto completamente regolare se e solo se dati un insieme chiuso   e un punto   che non appartiene a  , esiste una funzione continua da   alla retta reale tale che vale 0 su   ( ) e 1 su   ( ). Si dice anche che   e   sono separati da una funzione.

Uno spazio è detto di Tychonoff se è completamente regolare e di Hausdorff. Gli spazi di Tychonoff vengono indicati anche come spazi T, spazi Tπ, o spazi completamente T3.

Esempi modifica

Tra gli spazi completamente regolari è possibile annoverare i gruppi topologici, mentre sono spazi di Tychonoff tutti gli spazi metrici e le varietà topologiche.

Il piano di Moore è uno spazio di Tychonoff che però non è uno spazio normale.

Proprietà di preservazione modifica

Una delle caratteristiche più utili degli spazi completamente regolari e di Tychonoff è che la loro struttura è preservata dalle più comuni operazioni topologiche; ad esempio, ogni sottospazio di uno spazio di Tychonoff (o completamente regolare) è ancora di Tychonoff (o completamente regolare), così come il loro spazio prodotto. Vale inoltre la proprietà inversa: se uno spazio prodotto è di Tychonoff (completamente regolare), lo è anche ciascun fattore.

Come tutti gli assiomi di separazione, la struttura di questi spazi non viene preservata dall'operazione di quoziente.

Spazi completamente regolari e funzioni continue modifica

La topologia di uno spazio completamente regolare   è completamente determinata dall'insieme   delle funzioni continue su   e dall'insieme   delle funzioni continue limitate su  ; la completa regolarità di uno spazio [X] è infatti equivalente a ciascuna delle seguenti proprietà:

  •   ha la topologia indotta da   o  ;
  • ogni insieme chiuso di   si può scrivere come intersezione di famiglie di zero-insiemi di   (cioè gli zero-insiemi formano una base per i chiusi di  );
  • i cozero-insiemi di   sono una base per la topologia di  .

Dato uno spazio topologico  , è possibile associare ad esso in modo canonico uno spazio completamente regolare  , utilizzando la topologia   generata dai cozero-insiemi in  . Con questa costruzione, ogni funzione continua   è continua su  . Inoltre l'insieme delle funzioni continue è uguale in entrambe le topologie:  ; questo implica che è sufficiente studiare gli anelli   e   solamente sugli spazi completamente regolari.

Spazi completamente regolari e spazi uniformi modifica

La completa regolarità è condizione necessaria perché uno spazio possieda una struttura uniforme (ovvero si possano definire una serie di proprietà legate alla continuità uniforme delle funzioni); inoltre ogni spazio completamente regolare è uniformabile.

Spazi di Tychonoff e immersioni modifica

Ogni spazio di Tychonoff può essere immerso in uno spazio di Hausdorff compatto; in particolare è possibile immergere lo spazio di Tychonoff in un cubo di Tychonoff (ovvero un prodotto, eventualmente infinito, di intervalli unitari [0,1]); poiché ogni cubo è anche uno spazio di Tychonoff vale la seguente caratterizzazione:

  • uno spazio è di Tychonoff se e solo se è possibile immergerlo in un cubo.

Un caso di immersione particolarmente interessante si ha quando lo spazio di Tychonoff   è immerso in uno spazio compatto  ; in questo caso la chiusura di   in   è una compattificazione di  . La compattificazione più generale possibile è quella di Stone–Čech, caratterizzata dalla proprietà per cui ogni funzione continua   da   in un compatto di Hausdorff   è estendibile in maniera unica alla compattificazione di Stone–Čech  .

Bibliografia modifica

  • (EN) Stephen Willard, General Topology, Reading, Addison-Wesley Publishing Company, 1970.

Collegamenti esterni modifica

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