Diferencia entre revisiones de «Álgebra Abstracta/Funciones»
Contenido eliminado Contenido añadido
Línea 343:
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>
[[Archivo:FactorFuncion.jpg|none|center]]
▲<center><math>
▲</math></center> -->
<ul> <i>
Demostración: </i>
Línea 363 ⟶ 359:
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
tendrá que <math>f(a)=f(a')</math> de donde
inyectividad faltante.
{{QED}} </ul> <hr>
| |||