Revisión del 20:53 22 may 2015 editar Rehernan (discusión \| contribs.) Autoverificados 5653 ediciones →‎Extensión al Conjunto Potencia ← Edición anterior		Revisión del 20:55 22 may 2015 editar deshacer Rehernan (discusión \| contribs.) Autoverificados 5653 ediciones →‎Extensión al Conjunto Potencia Edición siguiente →
Línea 226: == Extensión al Conjunto Potencia == Sea <math>A</math> un conjunto. Simbolizaremos por <math>~~\mathbb~~qedmathbb{P}(A)</math> al conjunto potencia de <math>A</math>, es decir al conjunto formado por todos los subconjuntos de <math>A</math>. {{DefRht\|Imágenes Directas e Inversas\| Sea <math>f : A \longrightarrow B</math> una función. <ol> Línea 303: inclusión inversa. Sea <math>y \in X' \cap f(A)</math>. Por lo tanto, <math>y \in X'</math> y hay un <math>x \in A</math> tal que <math>f(x)=y</math>. Por definición entonces, </math>x \in f^(X')</math>. Lo que prueba que <math>y \in f_(f^(X').</math> <li> Sea </math>x \in X</math>, entonces, <math>f(x) \in f_(X)</math>. De donde, <math>x</math> está en la imagen inversa de <math>f_*(X)</math>. ~~\qed~~ </ol> {{QED}} </ul> <hr>

Diferencia entre revisiones de «Álgebra Abstracta/Funciones»