Wikilibros

Diferencia entre revisiones de «Álgebra Abstracta/Funciones»

Explorar historial interactivamente
← Edición anteriorEdición siguiente →
Contenido eliminado Contenido añadido
VisualWikitexto
Línea 301:
Demostración: </i>
<ol type="a">
<li> Sea <math>y \in f_*(f^*(X'))</math>. Entonces, hay un <math>x</math> en <math>f^*(X')\subset A</math> tal que <math>f(x)=y</math>. Por lo tanto, concluimos que: (i) <math>y</math>
\subsetestá en <math>f(A)</math>; taly (ii) que: <math>f(x)= \in X'</math>, o sea, <math>y</math>. Porestá loen <math>X'</math>. tantoLuego, concluimos<math>y</math> que:pertenece (i)a <math>yX' \cap f(A)</math>. Lo que prueba que,
está en <math>f(A)</math>; y (ii) que: <math>f(x) \in X'</math>, o sea, <math>y</math> está en
</math>X'</math>. Luego, <math>y</math> pertenece a <math>X' \cap f(A)</math>. Lo que prueba que,
</math>\implies f_*(f^*(X')) \subset X' \cap f(A)</math>. Veamos ahora la
inclusión inversa. Sea <math>y \in X' \cap f(A)</math>. Por lo tanto, <math>y \in
Obtenido de «https://es.wikibooks.org/wiki/Álgebra_Abstracta/Funciones»