Topologie, spazi topologici e basi

Da Wikiversità, l'apprendimento libero.

Uso: Topologia > Topologie, spazi topologici e basi


lezione
lezione
Topologie, spazi topologici e basi
Tipo di risorsa Tipo: lezione
Materia di appartenenza Materia: Topologia
Avanzamento Avanzamento: lezione completa al 100%

In questa lezione cominceremo ad introdurre i principali ingredienti della topologia.

Prerequisiti sono sicuramente alcune nozioni di insiemistica di base e un'infarinatura di geometria e analisi, nonché una familiarità con il linguaggio matematico e i suoi ragionamenti. Cercheremo comunque di dare per scontato solo lo stretto indispensabile per non appesantire troppo la trattazione

Spazi Topologici e Topologie[modifica]

Il concetto base su cui si basa tutta la topologia è appunto la topologia. Vediamo in dettaglio cosa si vuole intendere con questa locuzione.

Definizioni[modifica]

In seguito con intendiamo l'insieme delle parti di , cioè l'insieme dei suoi sottoinsiemi.

In generale una topologia non è nient'altro che la scelta, tra tutti i possibili sottoinsiemi di , di una famiglia particolare di questi. L'idea intuitiva che possiamo tenere presente è la scelta, all'interno di una famiglia molto vasta, degli elementi più ''semplici''. Ovviamente la nozione di semplice non sarà così immediata ma serve a farci capire come gli elementi della topologia saranno sottoinsiemi di cui conosceremo praticamente tutto.

Esplicitiamo ora in modo preciso che caratteristiche deve avere una famiglia di sottoinsiemi per essere una topologia.

Topologia[modifica]

Definizione

Un sottoinsieme si dice una topologia su se verifica le seguenti richieste:

(TOP1)
L'unione di una qualunque famiglia di elementi di è ancora un elemento di , cioè
(TOP2)
L'intersezione di una famiglia finita di elementi di è ancora un elemento di , cioè
(TOP3)
L'insieme vuoto e l'intero spazio sono elementi di , cioè

Gli elementi della topologia si dicono gli aperti nella topologia .

Spazio Topologico[modifica]

Definizione. Uno spazio topologico è una coppia dove è un insieme (che in genere per evitare casi banali si supporrà diverso dall'insieme vuoto) e è una topologia.

Esempi[modifica]

Analizziamo ora qualche esempio di base per prendere confidenza con questo concetto che sembra molto astratto.

  1. In modo ovvio e naturale è una topologia su ; infatti le tre proprietà che definiscono una topologia sono immediatamente verificate. La topologia così introdotta prende il nome di topologia discreta. È facile verificare che in uno spazio topologico discreto (cioè dotato della topologia discreta) tutti i singoletti sono aperti, cioè .
  2. Analogamente al punto precedente è una topologia che prende il nome di topologia indiscreta (o banale).
  3. Consideriamo . Si vede facilmente che questa appena definita è una topologia che prende il nome di topologia cofinita. Provate per esercizio a verificare che se lo spazio ha cardinalità finita questa topologia coincide con la topologia discreta.
  4. Lo spazio con la topologia è noto come spazio di Sierpinski. Questo spazio, seppur così semplice racchiude una quantità notevolissima di casi ed esempi importantissimi su cui torneremo in seguito.
  5. È abbastanza naturale introdurre topologie su spazi finiti arbitrari, semplicemente considerando un sottoinsieme dell'insieme delle parti e verificando che esso verifica le proprietà di topologia. Provate per esercizio a scrivere tutte le possibili topologie per un insieme di 3 elementi e per uno di 4. Siete in grado di trovare una stima per il numero di topologie di un insieme finito di elementi?

Basi di topologie[modifica]

Ora che abbiamo introdotto il nostro ingrediente principale, ovvero la topologia, la domanda successiva che dobbiamo porci è: in che modo si può dare una topologia ad uno spazio? E in secondo luogo: l'introduzione della topologia permette una descrizione migliore e più articolata dello spazio in questione?

Abbiamo già visto come, scegliendo opportunamente alcune famiglie di sottoinsiemi di uno spazio si possa ''costruire manualmente'' una topologia. Tuttavia il procedimento sembra ancora piuttosto astratto. Per entrare nella trattazione topologica più costruttiva dobbiamo impadronirci di modi più pratici per presentare una topologia per uno spazio. L'idea fondamentale è il concetto di base

Basi[modifica]

Definizione[modifica]

Definizione.

Data una topologia su , un sottoinsieme è una base di se per ogni ogni elemento di esiste una famiglia di la cui unione coincide con , in simboli matematici:

Si vede chiaramente come una base sia un sottoinsieme che gode di proprietà più deboli rispetto a una topologia. In particolare ogni topologia è tautologicamente una base di se stessa. Tuttavia il concetto di base non è così astratto. Si vede in particolare che ogni elemento di una topologia può essere 'approssimato' da elementi della base. In altri termini, conoscendo gli elementi della base possiamo conoscere qualsiasi aperto della topologia. In effetti la proprietà è un po' più forte di quello che sembra. Vale infatti la seguente

Proposizione[modifica]

Sia un insieme e tale che
(B1)
(B2)
Allora è una topologia su di cui è una base.

Dimostrazione[modifica]

Verifichiamo che l'insieme così definito verifica le tre proprietà di topologia. Innanzitutto osserviamo che ha come elementi unioni di famiglie qualsiasi di elementi di . Mostriamo ora in dettaglio che è una topologia.

File:Topologia 1.gif
illustrazione della verifica della proprietà (TOP3)
(TOP1)
Il fatto che segue dall'ipotesi (B1), mentre il fatto che è immediato dalla definizione di .
(TOP2)
Dobbiamo mostrare che l'unione arbitraria di elementi ti è ancora un elemento di . Questo è vero e segue da .
(TOP3)
È sufficiente mostrare che dati si ha che . Infatti una volta mostrato questo segue direttamente che un'intersezione di un numero finito di elementi di appartiene ancora a . Osserviamo preliminarmente che, poiché sono elementi di , essi saranno della forma e dove e . Ora esisteranno almeno due elementi e tali che , e . Allora per la proprietà (B2) esiste tale che . Abbiamo mostrato dunque che per ogni punto dell'intersezione esiste un elemento di contenuto nell'intersezione che contiene quel punto. Ovvero l'intersezione può essere scritta come unione di elementi di e quindi appartiene a .

Prebasi[modifica]

Definizione[modifica]

Definizione.

Data una topologia su , un sottoinsieme è una prebase di se

Le basi sono un tipo particolare di prebasi. Usando la caratterizzazione della proposizione precedente, una base può essere vista come una prebase che verifica anche la condizione (B2). Una prebase può sempre essere estesa a formare una base aggiungendole tutte le sue intersezioni finite (la sua chiusura per intersezioni finite).

Vediamo ora come da una prebase può essere costruita una base. Il procedimento è abbastanza intuitivo: nella prebase non ho la chiusura per intersezioni finite. Considererò allora una base ottenuta dalla prebase includendo anche tutte le intersezioni finite di elementi della prebase.

Più precisamente vale la seguente proposizione.

Proposizione[modifica]

Sia un insieme e tale che (cioè è una prebase). Allora è base di una topologia.

La dimostrazione segue immediatamente dalla proposizione precedente.

Esempio: la retta reale[modifica]

Vediamo ora come i concetti di base e prebase appena introdotti ci permettano di introdurre topologie concrete su spazi concreti in maniera molto efficiente.

Il caso principale che analizzeremo sarà lo spazio e le sue successive potenze . Dall'analisi sappiamo che ha una struttura molto ricca: può infatti essere visto come spazio vettoriale, come campo, come corpo, posso introdurre una nozione di calcolo differenziale etc. Tuttavia le nozioni analitiche di limite e di derivata si fondano su concetti come intervallo aperto (o chiuso) e palle aperte (o chiuse) che sono, guarda caso, particolari tipi di aperti (o chiusi) nella topologia standard di . Analizziamo questa affermazione.

Abbiamo appena detto che un ruolo fondamentale nei numeri reali giocano gli intervalli e in particolare quelli aperti. Vediamo come si può costruire una topologia di in cui gli intervalli aperti siano per l'appunto aperti.

È ovvio che gli intervalli aperti come sottoinsieme di non formano una topologia: infatti non verificano né la proprietà (TOP2) né la proprietà (TOP3). Ad esempio si vede facilmente che un'unione di intervalli non è sempre un intervallo, come nel seguente caso

Se dunque non c'è speranza di ricavare una topologia direttamente dagli intervalli aperti potremmo sempre controllare che essi formino una base e quindi costruire la topologia che ha per base gli intervalli aperti. Per verificare che gli intervalli aperti costituiscono effettivamente una base bisogna verificare le due proprietà che caratterizzano una base:

(B1)
(B2)

Si vede facilmente che la prima proprietà è banalmente verificata. Per la seconda bisogna fare un piccolo sforzo in più. Consideriamo la seguente figura:

possiamo cercare di formalizzare l'idea intuitiva che il disegno ci offre. Intanto distinguiamo preliminarmente due casi:

  1. Se l'intersezione dei due intervalli è vuota non c'è nulla da dimostrare.
  2. Se viceversa l'intersezione non è vuota allora posso supporre (al più rinominando gli estremi) che e quindi sarà tale che . In altre parole si avrà che e anche . Questo ci dice semplicemente che "c'è dello spazio tra c e b" tutto compreso nell'intersezione dei due intervalli. A questo punto basta porre e e ottenere che .

Abbiamo così mostrato che gli intervalli aperti formano una base per . La topologia generata da questa base prende il nome di topologia euclidea della retta reale. Approfondiremo meglio questa costruzione e la sua estensione al caso pluridimensionale nella prossima lezione.

Provate per esercizio a mostrare che le semirette aperte destre (o sinistre) formano una prebase della topologia euclidea sulla retta reale.