Diferencia entre revisiones de «Álgebra Abstracta/Funciones»

Contenido eliminado Contenido añadido
tag fix
Jlmoro (discusión | contribs.)
Línea 43:
<hr>
 
[[Usuario:Jlmoro|Jlmoro]] ([[Usuario discusión:Jlmoro|discusión]]) 03:29 9 abr 2020 (UTC)=== La clasificación de las funciones ===
 
Sea <math>f:A \longrightarrow B</math> una función. Dado un elemento <math>b</math> de <math>B</math>
Línea 53:
{{DefRht|Suprayectividad, Inyectividad, Biyectividad| Sea <math>f: A \longrightarrow B</math>.
<ol>
<li> Decimos que <math>f</math> es <b>suprayectiva</b> o que es una <b>suprayección</b>, ssisi, para todo <math>b</math> en <math>B</math>, la ecuación <math>f(x) = b</math> tiene al menos una solución. <center><math>\text{ para todo } y \in B, \text{ hay un } x \in A \text{ tal que } f(x)=y. </math></center>
Algunos textos, llaman <b>epiyectivas</b> a estas funciones.
 
<li> Decimos que <math>f</math> es <b>inyectiva</b> o que es una <b>inyección</b>, ssisi, para todo <math>b</math> en <math>B</math>, la ecuación <math>f(x) = b</math> tiene a lo más una solución. Es decir que dos elementos de <math>A</math> tienen la misma imagen por <math>f</math>, ssi, los elementos son iguales.
<center><math>\text{ para todo } x_1, x_2 \in A, f(x_1)=f(x_2) \implies x_1=x_2.</math></center> <br>
 
<li> Decimos que <math>f</math> es <b>biyectiva</b> o que es una <b>biyección</b>, ssisi, para todo <math>b</math> en <math>B</math>, la ecuación <math>f(x)=b</math> tiene exactamente una solución. Claramente esto pasa cuando la función es inyectiva y suprayectiva a la vez.
</ol>
}}