Revisión del 20:57 22 may 2015 editar Rehernan (discusión \| contribs.) Autoverificados 5653 ediciones →‎Extensión al Conjunto Potencia ← Edición anterior		Revisión del 21:01 22 may 2015 editar deshacer Rehernan (discusión \| contribs.) Autoverificados 5653 ediciones →‎Descomposición Canónica de una Función Edición siguiente →
Línea 354: donde <math>\nu : A \longrightarrow \bar{A}=A/\sim_f</math> es la suprayección canónica que envía cada elemento en su clase de equivalencia; </math>\bar{f}</math> asigna <math>[a]</math> el elemento <math>f(a)</math> en <math>B</math> y es una biyección de <math>\bar{A}</math> en la imagen directa de <math>A</math> por <math>f</math>, </math>f(A)</math>; y, <math>\imath:f(A) \longrightarrow B</math> es la inyección canónica definida por la inclusión. </i> Línea 371: Realmente lo único que necesitamos verificar es que <math>\bar{f}</math> está bien definida y que es una biyección. Notemos que por definición de </math>\sim_f</math>, si <math>a'</math> está en <math>[a]</math> entonces, <math>f(a') = f(a)</math>; lo que muestra que <math>\bar{f}</math> está bien definida. Es claro además que <math>\bar{f}</math> es suprayectiva. Si <math>\bar{f}(a) = \bar{f}(a')</math>, se

Diferencia entre revisiones de «Álgebra Abstracta/Funciones»