En matemáticas , la restricción de una función es una nueva función, denotada o , obtenido eligiendo un dominio A más pequeño para la función original.
Definicion formal
Dejar ser una función de un conjunto E a un conjunto F . Si un conjunto A es un subconjunto de E , entonces la restricción de a es la función [1]
dado por f | A ( x ) = f ( x ) para x en A . De manera informal, la restricción de f a A es la misma función que f , pero solo se define en.
Si se piensa en la función f como una relación en el producto cartesiano , entonces la restricción de f a A se puede representar mediante su gráfica , donde las parejasrepresentar pares ordenados en el gráfico G .
Ejemplos de
- La restricción de la función no inyectiva al dominio es la inyección.
- La función factorial es la restricción de la función gamma a los enteros positivos, con el argumento desplazado en uno:
Propiedades de las restricciones
- Restringir una función a todo su dominio devuelve la función original, es decir, .
- Restringir una función dos veces es lo mismo que restringirla una vez, es decir, si , luego .
- La restricción de la función identidad en un conjunto X a un subconjunto A de X es sólo el mapa inclusión de A en X . [2]
- La restricción de una función continua es continua. [3] [4]
Aplicaciones
Funciones inversas
Para que una función tenga una inversa, debe ser uno a uno . Si una función f no es uno a uno, puede ser posible definir un inverso parcial de f restringiendo el dominio. Por ejemplo, la función
definido en el conjunto de no es uno a uno ya que x 2 = (- x ) 2 para cualquier x en. Sin embargo, la función se vuelve uno a uno si restringimos al dominio, en cuyo caso
(Si en cambio restringimos al dominio , entonces el inverso es el negativo de la raíz cuadrada de y .) Alternativamente, no hay necesidad de restringir el dominio si permitimos que el inverso sea una función multivalor .
Operadores de selección
En álgebra relacional , una selección (a veces llamada restricción para evitar confusión con el uso de SELECT en SQL ) es una operación unaria escrita como o dónde:
- y son nombres de atributos,
- es una operación binaria en el conjunto,
- es una constante de valor,
- es una relación .
La selección selecciona todas esas tuplas en para cual se mantiene entre el y el atributo.
La selección selecciona todas esas tuplas en para cual se mantiene entre el atributo y el valor .
Por lo tanto, el operador de selección se restringe a un subconjunto de toda la base de datos.
El lema pegado
El lema de pegado es un resultado en topología que relaciona la continuidad de una función con la continuidad de sus restricciones a subconjuntos.
Dejar Ser dos subconjuntos cerrados (o dos subconjuntos abiertos) de un espacio topológico. tal que , y deja también será un espacio topológico. Si es continuo cuando se restringe a ambos y , luego es continuo.
Este resultado permite tomar dos funciones continuas definidas en subconjuntos cerrados (o abiertos) de un espacio topológico y crear uno nuevo.
Gavillas
Las poleas proporcionan una forma de generalizar las restricciones a los objetos además de las funciones.
En la teoría de la gavilla , uno asigna un objetoen una categoría a cada conjunto abierto U de un espacio topológico , y requiere que los objetos satisfagan ciertas condiciones. La condición más importante es que existen morfismos de restricción entre cada par de objetos asociados a conjuntos abiertos anidados; es decir, si, entonces hay un morfismo res V , U : F ( U ) → F ( V ) que satisface las siguientes propiedades, que están diseñadas para imitar la restricción de una función:
- Para cada conjunto abierto U de X , el morfismo de restricción res U , U : F ( U ) → F ( U ) es el morfismo de identidad en F ( U ).
- Si tenemos tres conjuntos abiertos W ⊆ V ⊆ U , entonces el compuesto res W , V ∘ res V , U = res W , U .
- (Localidad) Si ( U i ) es una cubierta abierta de un conjunto abierto U , y si s , t ∈ F ( U ) son tales que s | U i = t | U i para cada conjunto U i de la cubierta, entonces s = t ; y
- (Pegado) Si ( U i ) es una cubierta abierta de un conjunto abierto U , y si para cada i se da una sección s i ∈ F ( U i ) tal que para cada par U i , U j de la cubierta establece el las restricciones de s i y s j coinciden en las superposiciones: s i | U yo ∩ U j = s j | U i ∩ U j , entonces hay una sección s ∈ F ( U ) tal que s | U i = s i para cada i .
La colección de todos estos objetos se llama gavilla . Si solo se satisfacen las dos primeras propiedades, es una pre-gavilla .
Restricción a la izquierda y a la derecha
Más en general, la restricción (o restricción de dominio o de restricción de la izquierda ) A ◁ R de un binario relación R entre E y F pueden ser definidos como una relación que tiene un dominio A , codomain F y el gráfico G ( A ◁ R ) = {( x , y ) ∈ G ( R ) | x ∈ A } . Del mismo modo, uno puede definir un derecho restricción o restricción de la gama R ▷ B . De hecho, se podría definir una restricción a las relaciones n -arias , así como a los subconjuntos entendidos como relaciones, como los de E × F para relaciones binarias. Estos casos no encajan en el esquema de las poleas . [ aclaración necesaria ]
Anti-restricción
El dominio anti-restricción (o sustracción de dominio ) de una función o relación binaria R (con dominio E y codominio F ) por un conjunto A puede definirse como ( E \ A ) ◁ R ; que elimina todos los elementos de A partir del dominio E . A veces se denota A ⩤ R . [5] De manera similar, el rango anti-restricción (o sustracción de rango ) de una función o relación binaria R por un conjunto B se define como R ▷ ( F \ B ) ; que elimina todos los elementos de B desde el codominio F . A veces se denota R ⩥ B .
Ver también
- Restricción
- Retraer la deformación
- Función (matemáticas) § Restricción y extensión
- Relación binaria § Restricción
- Álgebra relacional § Selección (σ)
Referencias
- ^ Stoll, Robert (1974). Conjuntos, lógicas y teorías axiomáticas (2ª ed.). San Francisco: WH Freeman and Company. págs. 5 . ISBN 0-7167-0457-9.
- ^ Halmos, Paul (1960). Teoría de conjuntos ingenua . Princeton, Nueva Jersey: D. Van Nostrand. Reimpreso por Springer-Verlag, Nueva York, 1974. ISBN 0-387-90092-6 (edición Springer-Verlag). Reimpreso por Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (edición de bolsillo).
- ^ Munkres, James R. (2000). Topología (2ª ed.). Upper Saddle River: Prentice Hall. ISBN 0-13-181629-2.
- ^ Adams, Colin Conrad; Franzosa, Robert David (2008). Introducción a la topología: pura y aplicada . Pearson Prentice Hall. ISBN 978-0-13-184869-6.
- ^ Dunne, S. y Stoddart, Proyecto de ley que unifica las teorías de la programación: Primer Simposio Internacional, UTP 2006, Castillo de Walworth, Condado de Durham, Reino Unido, 5 al 7 de febrero de 2006, Seleccionado revisado ... Informática y cuestiones generales) . Springer (2006)