Vai al contenuto

Aiuto:Esempio di lezione: differenze tra le versioni

Da Wikiversità, l'apprendimento libero.
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
 
Riga 1: Riga 1:
{{Risorsa|tipo=lezione|materia1=Topologia}}
{{Risorsa|tipo=lezione|materia1=Topologia|avanzamento=100%}}
=Introduzione alla topologia=


In questa lezione cominceremo con l'introdurre i principali ingredienti della '''topologia'''.
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.
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==
=Spazi Topologici e Topologie=
Il concetto base su cui si basa tutta la topologia è appunto ''la topologia''. Vediamo in dettaglio cosa si vuole intendere con questa locuzione.
Il concetto base su cui si basa tutta la topologia è appunto ''la topologia''. Vediamo in dettaglio cosa si vuole intendere con questa locuzione.


===Definizioni===
==Definizioni==
Uno '''spazio topologico''' è una coppia <math>(X,\tau)\,</math> dove <math>X\,</math> è un insieme (che in genere per evitare casi banali si supporrà diverso dall'insieme vuoto) e <math>\tau \subseteq \mathcal{P}(X)\,</math> è una ''topologia'', dove con <math>\mathcal{P}(X)\,</math> intendiamo l'insieme delle parti di <math>X\,</math>, cioè l'insieme dei suoi sottoinsiemi.
In seguito con <math>\mathcal{P}(X)\,</math> intendiamo l'insieme delle parti di <math>X\,</math>, cioè l'insieme dei suoi sottoinsiemi.

In generale una topologia non è nient'altro che la scelta, tra tutti i possibili sottoinsiemi di <math>X</math>, 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ù <nowiki>''</nowiki>semplici<nowiki>''</nowiki>. 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 <math>X\,</math> per essere una topologia.
Esplicitiamo ora in modo preciso che caratteristiche deve avere una famiglia di sottoinsiemi <math>X\,</math> per essere una topologia.
===Topologia===
<div style="float:center; width:85%; padding:15px; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> '''Definizione'''
Un sottoinsieme <math>\tau \subseteq \mathcal{P}(X)</math> si dice una '''topologia''' su <math>X</math> se verifica le seguenti richieste:
;(TOP1) :L'unione di una qualunque famiglia di elementi di <math>\tau</math> è ancora un elemento di <math>\tau</math>, cioè <math>\forall \{Y_i\}_{i\in I} \subseteq \tau \Rightarrow \bigcup_{i \in I} Y_i \in \tau</math>


;(TOP2) :L'intersezione di una famiglia finita di elementi di <math>\tau</math> è ancora un elemento di <math>\tau</math>, cioè <math>\forall Y_1,\dots,Y_n \in \tau \Rightarrow Y_1 \cap \cdots \cap Y_n \in \tau</math>
Un sottoinsieme <math>\tau \subseteq \mathcal{P}(X)</math> si dice una ''topologia'' su <math>X\,</math> se verifica le seguenti richieste:
;(T1) :L'unione di una qualunque famiglia di elementi di <math>\tau\,</math> è ancora un elemento di <math>\tau\,</math>, cioè <math>\ \ \forall \{Y_i\}_{i\in I} \subseteq \tau \Rightarrow \bigcup_{i \in I} Y_i \in \tau</math>


;(T2) :L'intersezione di una famiglia finita di elementi di <math>\tau\,</math> è ancora un elemento di <math>\tau\,</math>, cioè <math>\ \ \forall Y_1,\dots,Y_n \in \tau \Rightarrow Y_1 \bigcap \dots \bigcap Y_n \in \tau</math>
;(TOP3) :L'insieme vuoto e l'intero spazio sono elementi di <math>\tau</math>, cioè <math>\emptyset \in \tau \wedge X \in \tau</math></div>


;(T3) :L'insieme vuoto e l'intero spazio sono elementi di <math>\tau\,</math>, cioè <math>\ \ \emptyset \in \tau \wedge X \in \tau</math>
Gli elementi della topologia <math>\tau</math> si dicono gli '''aperti''' nella topologia <math>\tau</math>.


===Spazio Topologico===
Gli elementi della topologia <math>\tau\,</math>si dicono gli ''aperti'' nella topologia <math>\tau\,</math>.
<div style="float:center; width:85%; padding:15px; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left">'''Definizione'''.


Uno '''spazio topologico''' è una coppia <math>(X,\tau)\,</math> dove <math>X\,</math> è un insieme (che in genere per evitare casi banali si supporrà diverso dall'insieme vuoto) e <math>\tau \subseteq \mathcal{P}(X)\,</math> è una ''topologia''.</div>
===Esempi===

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


#In modo ovvio e naturale <math>\tau = \mathcal{P}(X)</math> è una topologia su <math>X\,</math>; infatti le tre proprietà che definiscono una topologia sono immediatamente verificate. La topologia così introdotta prende il nome di ''topologia discreta''.
#In modo ovvio e naturale <math>\tau = \mathcal{P}(X)</math> è una topologia su <math>X\,</math>; 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è <math>\{ x \} \in \tau \quad \forall x \in X</math>.
#Analogamente al punto precedente <math>\tau = \{ \emptyset, X \}</math> è una topologia che prende il nome di ''topologia indiscreta (o banale)''.
#Consideriamo <math>\tau = \{ Y \subseteq X \mid \#(X- Y) < \infty \} \cup \{\emptyset, X\}</math>. 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 <math>X\,</math> ha cardinalità finita questa topologia coincide con la topologia discreta.
#Lo spazio <math>\mathcal{S} = \{ 0, 1 \}</math> con la topologia <math>\tau = \{ \emptyset, \{0,1\},\{1\}\}</math> è noto come [[w:Spazio di Sierpinski|spazio di Sierpinski]]. Questo spazio, seppur così semplice racchiude una quantità notevolissima di casi ed esempi importantissimi su cui torneremo in seguito.
#È 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 <math>n</math> elementi?

=Basi di topologie=

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 <nowiki>''</nowiki>costruire manualmente<nowiki>''</nowiki> 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==

===Definizione===

<div style="float:center; width:85%; padding:15px; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> '''Definizione'''.
Data una topologia <math>\tau\,</math> su <math>X\,</math>, un sottoinsieme <math>\mathcal{B}\subseteq \tau</math> è una '''base''' di <math>\tau\,</math> se per ogni ogni elemento <math>A</math> di <math>\tau</math> esiste una famiglia <math>\{B_i\}_{i\in I}</math> di <math>\mathcal{B}</math> la cui unione coincide con <math>A</math>, in simboli matematici:

; :<div align="center"><math>\forall A \in \tau \quad \exists \{ B_i \}_{i \in I} \subseteq \mathcal{B} \mid A = \bigcup_{i\in I} B_i</math></div>
</div>

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===

<div style="float:center; width:85%; padding:15px; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> Sia <math>X\,</math> un insieme e <math>\mathcal{B} \subseteq \mathcal{P}(X)</math> tale che
;(B1) : <math>\bigcup_{B \in \mathcal{B}} B = X</math>
;(B2) : <math>\forall B_1, B_2 \in \mathcal{B}\quad \forall x \in B_1 \cap B_2 \quad \exists \overline{B} \in \mathcal{B} \mid x \in \overline{B} \subseteq B_1 \cap B_2</math>
Allora <math>\tau = \{ \cup_{B \in \mathcal{B}'} \mid \mathcal{B}' \subseteq \mathcal{B} \}</math> è una topologia su <math>X\,</math> di cui <math>\mathcal{B}\,</math> è una base.</div>

====Dimostrazione====
Verifichiamo che l'insieme <math>\tau</math> così definito verifica le tre proprietà di topologia.
Innanzitutto osserviamo che <math>\tau\,</math> ha come elementi unioni di famiglie qualsiasi di elementi di <math>\mathcal{B}\,</math>.
Mostriamo ora in dettaglio che <math>\tau\,</math> è una topologia.

[[image:Topologia 1.gif|500px|right|thumb|illustrazione della verifica della proprietà (TOP3)]]
;(TOP1) : Il fatto che <math>X \in \tau</math> segue dall'ipotesi (B1), mentre il fatto che <math>\emptyset \in \tau</math> è immediato dalla definizione di <math>\tau</math>.

;(TOP2) : Dobbiamo mostrare che l'unione arbitraria di elementi ti <math>\tau\,</math> è ancora un elemento di <math>\tau\,</math>. Questo è vero e segue da <math>\bigcup_{i \in I} ( \bigcup_{B \in \mathcal{B}_i} ) = \bigcup_{B \in \cup_{i \in I} \mathcal{B}_i}</math>.

;(TOP3) : È sufficiente mostrare che dati <math>A_1, A_2 \in \tau</math> si ha che <math>A_1 \cap A_2 \in \tau</math>. Infatti una volta mostrato questo segue direttamente che un'intersezione di un numero finito di elementi di <math>\tau\,</math> appartiene ancora a <math>\tau\,</math>. Osserviamo preliminarmente che, poiché <math>A_1 \text{ e } A_2</math> sono elementi di <math>\tau\,</math>, essi saranno della forma <math>A_1 = \bigcup_{B \in \mathcal{B}_1} B</math> e <math>A_2 = \bigcup_{B \in \mathcal{B}_2} B</math> dove <math>\mathcal{B}_1</math> e <math> \mathcal{B}_2 \subseteq \mathcal{B}\,</math>. Ora <math>\forall x \in A_1 \cap A_2</math> esisteranno almeno due elementi <math>B_1 \in \mathcal{B}_1</math> e <math>B_2 \in \mathcal{B}_2</math> tali che <math>B_1 \subset A_1</math>, <math>B_2 \subset A_2</math> e <math>x \in B_1 \cap B_2</math>. Allora per la proprietà (B2) esiste <math>\overline{B} \in \mathcal{B}</math> tale che <math>x \in \overline{B} \subseteq B_1 \cap B_2 \subset A_1 \cap A_2</math>. Abbiamo mostrato dunque che per ogni punto dell'intersezione esiste un elemento di <math>\mathcal{B}</math> contenuto nell'intersezione che contiene quel punto. Ovvero l'intersezione <math>A_1 \cap A_2</math> può essere scritta come unione di elementi di <math>\mathcal{B}</math> e quindi appartiene a <math>\tau</math>. <math>\ \qquad \Box</math>

==Prebasi==

===Definizione===
<div style="float:center; width:85%; padding:15px; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> '''Definizione'''.
Data una topologia <math>\tau\,</math> su <math>X\,</math>, un sottoinsieme <math>\mathcal{B}\subseteq \tau</math> è una '''prebase''' di <math>\tau\,</math> se <math>\bigcup_{B \in \mathcal{B}} B = X</math>
</div>

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===

<div style="float:center; width:85%; padding:15px; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> Sia <math>X\,</math> un insieme e <math>\mathcal{B} \subseteq \mathcal{P}(X)</math> tale che <math>\bigcup_{B \in \mathcal{B}} B = X</math> (cioè <math>\mathcal{B}</math> è una prebase).

Allora <math>\mathcal{B}'=\{\bigcap_{i=1}^n B_i \mid B_i \in \mathcal{B} \forall i=1,\dots,n\}</math> è base di una topologia.</div>

La dimostrazione segue immediatamente dalla proposizione precedente.

==Esempio: la retta reale==

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 <math>\mathbb{R}</math> e le sue successive potenze <math>\mathbb{R}^n</math>.
Dall'analisi sappiamo che <math>\mathbb{R}</math> 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 <math>\mathbb{R}</math>. 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 <math>\mathbb{R}</math> in cui gli intervalli aperti siano per l'appunto aperti.

È ovvio che gli intervalli aperti come sottoinsieme di <math>\mathcal{P}(\mathbb{R})</math> 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

<div align="center">
<math>\nexists \ a,b \in \mathbb{R} \mid (a,b)= (1,2) \ \bigcup \ (3,4)</math>
</div>

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) : <math>\bigcup_{a,b \in \mathbb{R}} (a,b) = \mathbb{R}</math>
;(B2) : <math>\forall a,b,c,d \in \mathbb{R} \wedge \forall x \in (a,b) \ \cap \ (c,d) \ \exists \ e,f \in \mathbb{R} \mid x \in (e,f) \subseteq (a,b) \cap (c,d) </math>

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

[[image:Open intervals as basis of R.gif|900px|center|thumb]]

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

#Se l'intersezione dei due intervalli è vuota non c'è nulla da dimostrare.
#Se viceversa l'intersezione non è vuota allora posso supporre (al più rinominando gli estremi) che <math>b \geq c</math> e quindi <math>x</math> sarà tale che <math>c < x < b</math>. In altre parole si avrà che <math>\mid x - c \mid > 0</math> e anche <math>\mid x - b \mid > 0</math>. Questo ci dice semplicemente che "c'è dello spazio tra c e b" tutto compreso nell'intersezione dei due intervalli. A questo punto basta porre <math>e=\frac{x+c}{2}</math> e <math>f=\frac{x+b}{2}</math> e ottenere che <math>x \in (e,f) \subseteq (a,b)\ \cap \ (c,d)</math>.


Abbiamo così mostrato che gli intervalli aperti formano una base per <math>\mathbb{R}</math>. 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.
#Analogamente al punto precedete <math>\tau = \{ \emptyset, X \}</math> è una topologia che prende il nome di ''topologia indiscreta''.


Provate per esercizio a mostrare che le semirette aperte destre (o sinistre) formano una prebase della topologia euclidea sulla retta reale.
#Consideriamo <math>\tau = \{ Y \subseteq X \mid \# Y < \infty \} \cup {\emptyset, X}</math>. Si vede facilmente che questa appena definita è una topologia che prende il nome di ''topologia finita''. Provate per esercizio a verificare che se lo spazio <math>X\,</math> ha cardinalità finita questa topologia coincide con la topologia discreta.


[[Categoria:Aiuto]]
[[Categoria:Aiuto]]

Versione attuale delle 22:24, 2 dic 2022

lezione
lezione
Esempio di lezione
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.