Salve a tutti.
Sto cercando di capire la soluzione di questo esercizio, in particolare i punti 2) e 3):
Sia $(X,d)$ uno spazio metrrico. Dati $x\in X$ ed $A\subseteq X$ definiamo l'$\epsilon$-intorno di $A$ come segue:
$U_{\epsilon}(A):={x\in X|A\subseteq X, d(x,A)<\epsilon,\epsilon>0}$
1)Mostrare che ogni elemento $D\in \mathcal{D}$ è aperto in $X$, e che $\mathcal{D}$ è la base di una topologia su $X$;
2)Sia $X=\mathbb{R}$ con la distanza euclidea. Costruire un aperto di $\mathbb{R}$ che non sia un aperto di $\mathcal{D}$.
3)L'insieme $mathcal{D}$ è chiuso rispetto all'intersezione finita?
sol:
2 e 3) Sia $X=(\mathbb{R},\tau_{eucl})$: costruiremo due $\epsilon$-intorni la cui intersezione non sia in $\mathcal{D}$, in modo da risolvere entrambi i punti. Sosteniamo quindi che $\mathcal{D}$ non sia chiuso rispetto all'intersezione finita.
Siano:
$D_1:=U_{frac{1}{2}}((\frac{1}{2}+2n)_{n\in \mathbb{N}})=$ $ ]0,1[\cup]2,3[\cup]4,5[\cup...$
$D_2:=U_{frac{1}{2}}((\frac{3}{2}-\frac{1}{n} +2(n-1))_{n\in \mathbb{N}})=$ $ ]0,1[\cup]\frac{5}{2},\frac{7}{2}[\cup]\frac{14}{3},\frac{17}{3}[\cup...$
Si ha dunque che l'intersezione $Y:=D_1\cap D_2$ è data dall'insieme:
$Y=]0,1[\cup]\frac{5}{2},3[\cup]\frac{14}{3},5[\cup...$
e l'ampiezza di questi intervalli decresce come $\frac{1}{n}$.
Essendo $\mathbb{R}$ archimedeo, si ha che $Y\notin \mathcal{D}$, da cui $\mathcal{D}$ non è chiuso per l'intersezione finita, ma $Y$ è un aperto di $(\mathbb{R},\tau_{eucl})$, non appartenente a $\mathcal{D}$.
Domande:
1)Cosa mi doveva far capire che gli insiemi $D_1$ e $D_2$ andavano costruiti così? Ci sarei mai potuto arrivare senza prima dimostrare il punto 3) e poi il punto 2)? Cioè elencando tutti i possibili tipi di aperti euclidei di $\mathbb{R}$ e facendo vedere che ce n'era uno che non poteva esserlo in $\mathcal{D}$?
2)Non capisco perchè gli aperti $D_1$ e $D_2$ siano dei "tipici" aperti di $\mathcal{D}$.
3)Se $\mathcal{D}$ è la base di una topologia, come fanno due aperti là dentro a non avere intersezione in $\mathcal{D}$?
4)$Y$ è intersezione infinita di aperti euclidei. In questo caso è aperta perchè la successione decresce fino all'insieme vuoto vero?
5)per quanto riguarda il punto 1) nella soluzione che ho io non viene dimostrato che $X=\cup_{A\subseteq X, \epsilon>0}{U_{\epsilon}(A)}$. Io l'ho fatto dicendo che: $U_{\epsilon}(A)$ è unione di palle aperte della topologia euclidea e, poichè le palle aperte sono una base della topologia euclidea è rispettano la proprietà del ricoprimento, allora lo fa anche $\cup_{A\subseteq X, \epsilon>0}{U_{\epsilon}(A)}$. Va bene così?
Grazie per l'attenzione