Función parcial
De Wikipedia, la enciclopedia libre
 |
|
Una función parcial es una relación que asocia a cada elemento de un conjunto (a veces denominado dominio) con, como máximo, uno de los elementos de otro conjunto (que puede ser el mismo), llamado codominio. En cualquier caso, no es necesario que todos los elementos del dominio estén asociados con algún elemento del codominio.
Si todos los elementos de un conjunto X se asocian con un elemento de Y mediante una función parcial f:X→Y , entonces se dice que f es una función total, o simplemente una función, como se entiende tradicionalmente este concepto en matemáticas. No todas las funcionas parciales son funciones totales.
[editar] Discusión y ejemplos
El primero de los diagramas mostrado representa una función parcial; no es una función total porque el elemento 2 en el conjunto de la izquierda no está asociado con ningún elemento del conjunto de la derecha.
Considérese la función del Logaritmo natural, que relaciona el conjunto de los Números Reales consigo mismo. El logaritmos de un número real negativo no es un número real, así que el logaritmo natural no asocia a todos los elementos del codominio con un elemento del dominio. Por lo tanto, el logaritmo natural no es una función total cuando se le considera como una función del conjunto de números reales consigo misma, sino una función parcial. Si el dominio se restringiera al conjunto de los reales positivos, entonces si se trataría de una función total.
