Diferencia entre revisiones de «Función inyectiva»
m Revertidos los cambios de 190.54.60.2 a la última edición de BOTirithel |
|||
Línea 16: | Línea 16: | ||
| [[Image:Correspon 1602.svg|right|180px]] |
| [[Image:Correspon 1602.svg|right|180px]] |
||
|} |
|} |
||
Jeniffer Flandez :) |
|||
== Cardinalidad e inyectividad == |
== Cardinalidad e inyectividad == |
Revisión del 02:40 28 abr 2010
En matemáticas, una función es inyectiva si a cada valor del conjunto (dominio) le corresponde un valor distinto en el conjunto (imagen) de . Es decir, a cada elemento del conjunto A le corresponde un solo valor tal que, en el conjunto A no puede haber dos o más elementos que tengan la misma imagen.
Así, por ejemplo, la función de números reales , dada por no es inyectiva, puesto que el valor 4 puede obtenerse como y . Pero si el dominio se restringe a los números positivos, obteniendo así una nueva función entonces sí se obtiene una función inyectiva.
Definición formal
De manera más precisa, una función es inyectiva cuando se cumple alguna de las dos afirmaciones equivalentes:
- Si son elementos de tales que , necesariamente se cumple .
- Si son elementos diferentes de , necesariamente se cumple
Los siguientes diagramas corresponden a función inyectiva:
Cardinalidad e inyectividad
Dados dos conjuntos y , entre los cuales existe una función inyectiva tienen cardinales que cumplen:
Si además existe otra aplicación inyectiva , entonces puede probarse que existe una aplicación biyectiva entre A y B.