Toda aplicación es inyectiva?
Otra forma de preguntarlo: toda aplicación exhaustiva es biyectiva?
He mirado muchos libros y cada vez estoy más liado, ya que en teoría si
que lo tendría que ser, pero nadie lo dice explicitamente.
Muchas gracias.
"P. Cabré" escribió:
En una aplicación cada elemento del conjunto inicial debe tener una sola
imagen.
Para que sea inyectiva, estas imagenes deben ser siempre distintas para
elementos distintos del conjunto inicial. O, dicho de otra forma, cada
elemento del conjunto final debe ser imagen de un sólo elemento del conjunto
inicial.
Por ejemplo, f:R--->R+, f(x)=x^2. Se trata de una aplicación, puesto que
todo elemento de R tiene un sólo cuadrado. Pero no es inyectiva, puesto que
(x)^2 y (-x)^2 son iguales. Es decir 9, por ejemplo, es la imagen de 3 y
de -3.
>Otra forma de preguntarlo: toda aplicación exhaustiva es biyectiva?
NO. Una aplicación es exhaustiva si todos los elementos del conjunto final
son imagen de al menos uno del inicial. Si alguno es imagen de más de uno,
ya no es inyectiva.
La misma aplicación f(x)=x^2, definida de R en R+ (numeros reales mayores o
iguales que cero), es exhaustiva, puesto que todos los elementos de R+ son
cuadrados de algún número real, pero no es inyectiva ya que hay algunos
(todos menos el cero) que lo son de dos.
Ignacio Larrosa
No. Tomando la aplicación f:{a,b} ---> {0} tal que f(a)=0 f(b)=0, vemos
claramente que no es inyectiva, puesto que f(a) = f(b) = 0. Sí es
exhaustiva, pues 0 tiene antiimagen.
Espero haber ayudado.