Spazi Prodotto

Sia {Si , Ai }iI una famigliaY

di spazi topologici.
Il prodotto cartesiano S =
Si `e costituito dalle i-ple (xi )iI in cui ogni xi appartiene
iI

ad Si .
Dicesi topologia prodotto su S la topologia A meno
Q fine che renda continue tutte le
proiezioni di S sui suoi fattori. Pertanto, detta pi : jI Sj Si la i-esima proiezione,
Q
si considerino i sottoinsiemi di S del tipo p1
j (Aj ) = Aj
i6=j Si con Aj Aj . La
1
famiglia S = {pj (Aj )}Aj Aj ,jI `e un ricoprimento per S che pu`o essere assunto quindi
come sottobase per A. Una base B di A sar`a la famiglia delle intersezioni finite di
elementi di S. Pertanto un elemento di B sar`a del tipo
Y
Ai1 Ai2 . . . Aih
Si
i6=i1 ,i2 ,...,ih

e Aij Aij j = 1, 2, . . . , h.
Nel caso che I sia finito, la definizione di A si semplifica dicendo che la topologia
prodotto su S1 S2 . . . Sn `e quella che ha per base la famiglia dei prodotti di un
aperto di A1 per un aperto di A2 ...per un aperto di An
B = {A1 A2 . . . An }Ai Ai i=1,2,...,n
Teorema importante
Q
Sia T uno spazio topologico ed f una funzione di T in uno spazio prodotto S = Si .
f `e continua se, e solo se, sono continue tutte le composte di f con le varie proiezioni
di S sui suoi fattori.
f :T S
f continua i I, fi = pi f continua
Dimostrazione:
f continua ogni fi continua perche fi `e composta di funzioni continue.
Viceversa supponiamo ogni fi continua e sia Ai un aperto di Ai . Per provare che f
`e continua
far vedere
che ogni aperto della sottobase di S `e un aperto di T . Si
 basta



Q
1
1
1
ha f
Ai j6=i Sj = f
p1
e fi `e
i (Ai ) = fi (Ai ), ovvero un aperto di T perch
continua.2
Teorema
Sia S = S1 S2 , X1 S1 , X2 S2 , un punto (y1 , y2 ) di S1 S2 `e di aderenza per
X1 X2 se, e solo se, y1 `e di aderenza per X1 e y2 `e di aderenza per X2 .
Dimostrazione:
1

Sia y1 X1 , y2 X2 e sia U un intorno di (y1 , y2 ) in S1 S2 . Per definizione di topologia prodotto, U contiene un aperto del tipo A1 A2 con y1 A1 e y2 A2 . Allora
A1 X1 6= e A2 X2 6= e quindi A1 A2 X1 X2 U X1 X2 6= , pertanto
(y1 , y2 ) X1 X2 .
Viceversa sia (y1 , y2 ) X1 X2 , allora ogni intorno di (y1 , y2 ) ha punti in comune con
X1 X2 e quindi anche un intorno di tipo prodotto di due aperti arbitrari A1 3 y1
e A2 3 y2 di S1 e S2 rispettivamente, allora se (z1 , z2 ) A1 A2 X1 X2 allora
z1 appartiene a A1 X1 e z2 appartiene a A2 X2 , quindi i punti z1 e z2 sono di
accumulazione rispettivamente per X1 e X2 . 2
In conclusione si ha che X1 X2 = X1 X2 . Da ci`o segue che nella topologia prodotto
il prodotto di chiusi `e chiuso.
Domanda
Il teorema precedente si estende al prodotto di infiniti spazi topologici?
Esercizi
Per semplicit`a ci riferiremo al prodotto di due spazi topologici, ma lo studente potr`a
esaminare se gli esercizi proposti si estendono anche al caso finito con pi`
u di due fattori
o anche al caso infinito.
1. Provare che le proiezioni p1 e p2 di S1 S2 sui suoi fattori sono funzioni aperte,
ma non chiuse.
2. Sia f1 una funzione continua di S1 in T . Provare che la funzione f : S1 S2 T
definita ponendo f (x1 , x2 ) = f1 (x1 ) `e continua.
3. Siano f1 : S1 T1 e f2 : S2 T2 funzioni continue. Provare che la funzione
f : S1 S2 T1 T2 definita ponendo f (x1 , x2 ) = (f1 (x1 ), f2 (x2 )) `e continua.
4. Provare che la funzione monomio f di R2 definita ponendo f (x, y) = xn y m `e
continua.
5. Provare che un polinomio di due variabili reali `e una funzione continua di R2 in R.
6. Provare che se S1 ed S2 sono spazi di Hausdorff tale `e anche il prodotto S1 S2 .
E il viceversa?
7. Provare che se S1 `e omeomorfo a T1 e S2 `e omeomorfo a T2 , allora S1 S2 `e
omeomorfo a T1 T2 .
Attenzione: non `e vero che se S1 S2 `e omeomorfo a T1 T2 allora i singoli fattori
sono omeomorfi! Ne vedremo un esempio.
8. Provare che un prodotto finito `e N2 se, e solo se, tutti i fattori sono N2 .
2