Consideramos R con la topología T del punto excluido para el punto p=0. ¿Cuál es la relación entre la topología $T\times T$ y la topología T' del punto excluido de R^2 para el punto $q=(0,0)$.
Sea $O\times G$ un abierto de TxT y sea $(x,y)\in O\times G$. Vamos a encontrar un abierto $A$ de $T'$ tal que $(x,y)\in A\subset O\times G$. Esto probaría que $T\times T$ está incluida en T' (es menos fina). Caben varias posibilidades:
- Ni x ni y son p=0. Entonces tomamos $A=\{(x,y)\}$, el cual pertenece a T'.
- Caso $(x,0)$, y $x\not=0$. Entonces $G=\mathbb{R}$. En tal caso tomamos $A=\{x\}\times R$. El caso (0,x) es análogo.
- Caso $(0,0)$. Entonces debe ser $O=G=\mathbb{R}$. Sea $A=\mathbb{R}^2.
La inclusión $T'\subset T\times T$ no es cierta: el conjunto $A=\{(1,0\}$ pertenece a T', pero no hay ningún abierto del tipo $O\times G$ de $T\times T$ tal que $(1,0)\in O\times G\subset A $.
Se puede hacer un razonamiento para todo lo anterior, pero usando bases de entornos.
No hay comentarios:
Publicar un comentario