Sia \( X = \bigvee _{1}^{\infty} S^1 \) il wedge di un numero numerabile di copie di cerchi \( S^1 \) e \( Y \) gli anelli hawaiani:
\[ Y = \bigcup_{n=0}^{\infty} \{ (x,y) \in \mathbb{R}^2 \mid (x- 1/n)^2 + y^2 = 1/n^2 \} \]
1) Studiare le proprietà di compatezza di \(X \) e \(Y \).
2) Descrivere gli aperti di \(x \) e \(Y \).
3) Dimostra che \(X \) e \(Y \) non sono omeomorfi.
1) Direi che prendendo \( \mathbb{R}^2 \) con la topologia euclidea abbiamo che \( Y \) con la topologia sottoinsieme di \( \mathbb{R}^2 \) munito della euclidea abbiamo che \(Y \) è compatto per Heine-Borel.
Per \(X \) onestamente non ho ben capito cos'è il wedge, l 'assistente mi ha detto che attacchi questi infiniti cerchi in un punto e si intersecano tutti solo lì quindi formano una sorta di "anello" in \( \mathbb{R}^3 \) ma non ho capito perché! A naso direi che non è compatto perché siccome i cerchi si attaccano tutti in un solo punto possiamo trovare una successione di infinite palle di \( \mathbb{R}^3 \) la cui unione mi ricopre un solo cerchio di \(X \) e non interseca nessun'altro cerchio prendendo come raggio delle palle un terzo della distanza minimale tra il cerchio in questione ed un'altro cerchio.
2) Per \(Y \) prenderei la topologia sottoinsieme di \( \mathbb{R}^2 \) munito della euclidea, mentre per \(X \) prenderei la topologia sottoinsieme di \( \mathbb{R}^3 \) munito della euclidea, ma non onestamente se la domanda vuole altro.
3) Se come credo \(X \) non è compatto e \(Y \) è compatto allora non sono omeomorfi, siccome se non erro la compattezza è un invariante per omeomorfismo.