En matemáticas , una función parcial f de un conjunto X a un conjunto Y es una función de un subconjunto S de X (posiblemente X en sí) a Y . El subconjunto S , es decir, el dominio de f visto como una función, se denomina dominio de definición de f . Si S es igual a X , es decir, si f se define en cada elemento de X , entonces se dice que f es total .
Más técnicamente, una función parcial es una relación binaria sobre dos conjuntos que asocia cada elemento del primer conjunto como máximo a un elemento del segundo conjunto; por tanto, es una relación binaria funcional . Generaliza el concepto de función (total) al no requerir que cada elemento del primer conjunto esté asociado exactamente a un elemento del segundo conjunto.
Una función parcial se utiliza a menudo cuando su dominio de definición exacto no se conoce o es difícil de especificar. Este es el caso del cálculo , donde, por ejemplo, el cociente de dos funciones es una función parcial cuyo dominio de definición no puede contener los ceros del denominador. Por esta razón, en cálculo, y más generalmente en análisis matemático , una función parcial generalmente se llama simplemente una función . En la teoría de la computabilidad , una función recursiva general es una función parcial de los enteros a los enteros; para muchos de ellos no puede existir ningún algoritmo para decidir si son de hecho totales.
Cuando flecha notación se utiliza para funciones, una función parcial f de X a Y se escribe a veces como f : X ⇸ Y , f : X ↛ Y , o f : X ↪ Y . Sin embargo, no existe una convención general, y la última notación se usa más comúnmente para funciones inyectivas . [ cita requerida ] .
Específicamente, para una función parcial f : X ⇸ Y , y cualquier x ∈ X , uno tiene:
- f ( x ) = y ∈ Y (es un solo elemento en Y ), o
- f ( x ) no está definido.
Por ejemplo, si f es la función raíz cuadrada restringida a los enteros
- f : Z → N , definido por:
- f ( n ) = m si, y solo si, m 2 = n , m ∈ N , n ∈ Z ,
entonces f ( n ) solo se define si n es un cuadrado perfecto (es decir, 0, 1, 4, 9, 16,… ). Entonces, f (25) = 5 , pero f (26) no está definido.
Conceptos básicos
Se dice que una función parcial es inyectiva , sobreyectiva o biyectiva cuando la función dada por la restricción de la función parcial a su dominio de definición es inyectiva, sobreyectiva, biyectiva, respectivamente.
Debido a que una función es trivialmente sobreyectiva cuando se restringe a su imagen, el término biyección parcial denota una función parcial que es inyectiva. [1]
Una función parcial inyectiva puede invertirse en una función parcial inyectiva, y una función parcial que es tanto inyectiva como sobreyectiva tiene una función inyectiva como inversa. Además, una función inyectiva puede invertirse en una función inyectiva parcial.
La noción de transformación también se puede generalizar a funciones parciales. Una transformación parcial es una función f : A ⇸ B , donde ambos A y B son subconjuntos de un conjunto X . [1]
Función
Una función es una relación binaria que es funcional (también llamada derecha-única) y serial (también llamada izquierda-total). Esta es una definición más fuerte que la de una función parcial que solo requiere la propiedad funcional.
Espacios funcionales
El conjunto de todas las funciones parciales f : X ⇸ Y de un conjunto X a un conjunto Y , denotado por [ X ⇸ Y ] , es la unión de todas las funciones definidas en subconjuntos de X con el mismo codominio Y :
este último también escrito como . En caso finito, su cardinalidad es
porque cualquier función parcial puede extenderse a una función por cualquier valor fijo c no contenido en Y , de modo que el codominio es Y ∪ { c }, una operación que es inyectiva (única e invertible por restricción).
Discusión y ejemplos
El primer diagrama en la parte superior del artículo representa una función parcial que no es una función ya que el elemento 1 en el conjunto de la izquierda no está asociado con nada en el conjunto de la derecha. Considerando que, el segundo diagrama representa una función ya que cada elemento en el conjunto de la izquierda está asociado con exactamente un elemento en el conjunto de la derecha.
Logaritmo natural
Considere la función de logaritmo natural mapeando los números reales a sí mismos. El logaritmo de un real no positivo no es un número real, por lo que la función de logaritmo natural no asocia ningún número real en el codominio con ningún número real no positivo en el dominio. Por lo tanto, la función logaritmo natural no es una función cuando se ve como una función de los reales a sí mismos, sino que es una función parcial. Si el dominio está restringido para incluir solo los reales positivos (es decir, si la función del logaritmo natural se ve como una función de los reales positivos a los reales), entonces el logaritmo natural es una función.
Resta de números naturales
La resta de números naturales ( enteros no negativos ) se puede ver como una función parcial:
Se define solo cuando .
Elemento inferior
En semántica denotacional , se considera que una función parcial devuelve el elemento inferior cuando no está definido.
En informática, una función parcial corresponde a una subrutina que genera una excepción o se repite para siempre. El estándar de coma flotante IEEE define un valor que no es un número que se devuelve cuando una operación de coma flotante no está definida y se suprimen las excepciones, por ejemplo, cuando se solicita la raíz cuadrada de un número negativo.
En un lenguaje de programación donde los parámetros de función se escriben estáticamente , una función puede definirse como una función parcial porque el sistema de tipos del lenguaje no puede expresar el dominio exacto de la función, por lo que el programador le da el dominio más pequeño que se puede expresar como un tipo y contiene el dominio de definición de la función.
En teoría de categorías
En la teoría de categorías , al considerar la operación de composición del morfismo en categorías concretas , la operación de composición es una función si y solo si tiene un elemento. La razón de esto es que dos morfismos y solo se puede componer como Si , es decir, el codominio de debe ser igual al dominio de .
La categoría de conjuntos y funciones parciales es equivalente, pero no isomórfica, a la categoría de conjuntos puntiagudos y mapas que conservan puntos. [2] Un libro de texto señala que "Esta finalización formal de conjuntos y mapas parciales mediante la adición de elementos" impropios "," infinitos "se reinventó muchas veces, en particular, en topología ( compactación de un punto ) y en informática teórica ". [3]
La categoría de conjuntos y biyecciones parciales es equivalente a su dual . [4] Es la categoría inversa prototípica . [5]
En álgebra abstracta
El álgebra parcial generaliza la noción de álgebra universal a operaciones parciales . Un ejemplo sería un campo , en el que la inversión multiplicativa es la única operación parcial adecuada (porque la división por cero no está definida). [6]
El conjunto de todas las funciones parciales ( transformaciones parciales ) en un conjunto base dado, X , forma un semigrupo regular llamado el semigrupo de todas las transformaciones parciales (o el semigrupo de transformación parcial en X ), típicamente denotado por. [7] [8] [9] El conjunto de todas las biyecciones parciales en X forma el semigrupo inverso simétrico . [7] [8]
Gráficos y atlas para colectores y haces de fibras
Los gráficos de los atlas que especifican la estructura de las variedades y los haces de fibras son funciones parciales. En el caso de las variedades, el dominio es el conjunto de puntos de la variedad. En el caso de los haces de fibras, el dominio es el espacio del haz de fibras. En estas aplicaciones, la construcción más importante es el mapa de transición , que es la combinación de un gráfico con el inverso de otro. La clasificación inicial de variedades y haces de fibras se expresa en gran medida en términos de restricciones en estos mapas de transición.
La razón para el uso de funciones parciales en lugar de funciones es permitir que las topologías globales generales se representen uniendo parches locales para describir la estructura global. Los "parches" son los dominios donde se definen los gráficos.
Ver también
- Continuación analítica : extensión del dominio de una función analítica (matemáticas)
- Función multivalor : generalización de una función que puede producir varias salidas para cada entrada.
- Operador densamente definido : función que se define en casi todas partes (matemáticas)
Referencias
- ↑ a b Christopher Hollings (2014). Matemáticas a través del telón de acero: una historia de la teoría algebraica de los semigrupos . Sociedad Matemática Estadounidense. pag. 251. ISBN 978-1-4704-1493-1.
- ^ Lutz Schröder (2001). "Categorías: un recorrido gratuito". En Jürgen Koslowski y Austin Melton (ed.). Perspectivas categóricas . Springer Science & Business Media. pag. 10. ISBN 978-0-8176-4186-3.
- ^ Neal Koblitz; B. Zilber; Yu. I. Manin (2009). Un curso de lógica matemática para matemáticos . Springer Science & Business Media. pag. 290. ISBN 978-1-4419-0615-1.
- ^ Francis Borceux (1994). Manual de álgebra categórica: volumen 2, categorías y estructuras . Prensa de la Universidad de Cambridge. pag. 289. ISBN 978-0-521-44179-7.
- ^ Marco Grandis (2012). Álgebra homológica: la interacción de la homología con entramados distributivos y semigrupos ortodoxos . World Scientific. pag. 55. ISBN 978-981-4407-06-9.
- ^ Peter Burmeister (1993). "Álgebras parciales - una encuesta introductoria". En Ivo G. Rosenberg; Gert Sabidussi (eds.). Álgebras y Órdenes . Springer Science & Business Media. ISBN 978-0-7923-2143-9.
- ^ a b Alfred Hoblitzelle Clifford; GB Preston (1967). La teoría algebraica de los semigrupos. Volumen II . American Mathematical Soc. pag. xii. ISBN 978-0-8218-0272-4.
- ^ a b Peter M. Higgins (1992). Técnicas de teoría de semigrupos . Prensa de la Universidad de Oxford, Incorporated. pag. 4. ISBN 978-0-19-853577-5.
- ^ Olexandr Ganyushkin; Volodymyr Mazorchuk (2008). Semigrupos clásicos de transformación finita: una introducción . Springer Science & Business Media. págs. 16 y 24. ISBN 978-1-84800-281-4.
- Martin Davis (1958), Computabilidad e Inestabilidad , McGraw – Hill Book Company, Inc, Nueva York. Reeditado por Dover en 1982. ISBN 0-486-61471-9 .
- Stephen Kleene (1952), Introducción a las metamatemáticas , North-Holland Publishing Company, Amsterdam, Países Bajos, décima edición con correcciones añadidas en la séptima edición (1974). ISBN 0-7204-2103-9 .
- Harold S. Stone (1972), Introducción a la organización informática y las estructuras de datos , McGraw – Hill Book Company, Nueva York.