¿Les ha pasado que al corregir un mensaje, aparecen códigos extraños en las fórmulas, cuando se previsualiza?
Cuando quiero corregir el siguiente texto que se halla en
esta direcciónSpoiler
Para evitar confusiones, llamaré \( \mathcal{T}_X \) a la topología sobre el conjunto X
Para \( Y \) finito.
Si \( Y\subset{X}, \mbox{ y $\mathcal{T}_X $ es } T_2 \)
se tiene
\( \mathcal{T}_Y=\{Y\cap G:G\in \mathcal{T}_X \} \mbox{ es tambi\'en } T_2 \)
Debemos comprobar que siendo
\( y_k \in Y\; arbitrario,\; \{y_k \}\in \mathcal{T}_Y \).
Sea \( G \textsf{ un abierto en } \mathcal{T}_Y \textsf{ con } y_k \in G \)
Si \( G=\{y_k \} \) hemos demostrado lo propuesto
En caso contrario,
\( \\ Sea \; y_j\neq y_k \; con \; y_j\in G \\
\exists G_j , G_k : G_j\cap G_k=\emptyset \land y_j\in G_j \land y_k \in G_k \)
Repitiendo este proceso un número finito de veces, obtendremos un \( G_h \in \mathcal{T}_Y \textsf{ tal que }G_h=\{ y_k \} \)Para evitar confusiones, llamaré \( \mathcal{T}_X \) a la topología sobre el conjunto X
Para \( Y \) finito.
Si \( Y\subset{X}, \mbox{ y $\mathcal{T}_X $ es } T_2 \)
se tiene
\( \mathcal{T}_Y=\{Y\cap G:G\in \mathcal{T}_X \} \mbox{ es tambi\'en } T_2 \)
Debemos comprobar que siendo
\( y_k \in Y\; arbitrario,\; \{y_k \}\in \mathcal{T}_Y \)
Sea \( G \textsf{ un abierto en } \mathcal{T}_Y \textsf{ con } y_k \in G \)
Si \( G=\{y_k \} \) hemos demostrado lo propuesto
En caso contrario,
\( \\ Sea \; y_j\neq y_k \; con \; y_j\in G \\
\exists G_j , G_k : G_j\cap G_k=\emptyset \land y_j\in G_j \land y_k \in G_k \)
Repitiendo este proceso un número finito de veces, obtendremos un \( G_h \in \mathcal{T}_Y \textsf{ tal que }G_h=\{ y_k \} \)
Independientemente de lo que haga, al previsualizar, aparecen códigos extraños en las fórmulas.
Saludos.