{{Short description|Function with a smaller domain}} {{Other uses|Restriction (disambiguation)}} [[File:Inverse square graph.svg|thumb|The function <math>x^2</math> with domain <math>\mathbb{R}</math> does not have an inverse function. If we restrict <math>x^2</math> to the non-negative real numbers, then it does have an inverse function, known as the square root of <math>x.</math>]] {{Functions}}
In mathematics, the '''restriction''' of a function <math>f</math> is a new function, denoted <math>f\vert_A</math> or <math>f {\restriction_A},</math> obtained by choosing a smaller domain <math>A</math> for the original function <math>f.</math> The function <math>f</math> is then said to '''extend''' <math>f\vert_A.</math>
==Formal definition==
Let <math>f : E \to F</math> be a function from a set <math>E</math> to a set <math>F.</math> If a set <math>A</math> is a subset of <math>E,</math> then the '''restriction of '''<math>f</math> '''to '''<math>A</math> is the function<ref name="Stoll"> {{Cite book|last=Stoll|first=Robert|title=Sets, Logic and Axiomatic Theories|publisher=W. H. Freeman and Company|date=1974|location=San Francisco|pages=[36]|edition=2nd|isbn=0-7167-0457-9|url=https://archive.org/details/setslogicaxiomat0000stol/page/5}}</ref> <math display=block>{f|}_A : A \to F</math> given by <math>{f|}_A(x) = f(x)</math> for <math>x \in A.</math> Informally, the restriction of <math>f</math> to <math>A</math> is the same function as <math>f,</math> but is only defined on <math>A</math>.
If the function <math>f</math> is thought of as a relation <math>(x,f(x))</math> on the Cartesian product <math>E \times F,</math> then the restriction of <math>f</math> to <math>A</math> can be represented by its graph, :<math>G({f|}_A) = \{ (x,f(x))\in G(f) : x\in A \} = G(f)\cap (A\times F),</math> where the pairs <math>(x,f(x))</math> represent ordered pairs in the graph <math>G.</math>
===Extensions===
A function <math>F</math> is said to be an ''{{visible anchor|Extension of a function|text=extension}}'' of another function <math>f</math> if whenever <math>x</math> is in the domain of <math>f</math> then <math>x</math> is also in the domain of <math>F</math> and <math>f(x) = F(x).</math> That is, if <math>\operatorname{domain} f \subseteq \operatorname{domain} F</math> and <math>F\big\vert_{\operatorname{domain} f} = f.</math>
A ''{{visible anchor|linear extension}}'' (respectively, ''{{visible anchor|continuous extension}}'', etc.) of a function <math>f</math> is an extension of <math>f</math> that is also a linear map (respectively, a continuous map, etc.).
==Examples==
# The restriction of the non-injective function<math>f: \mathbb{R} \to \mathbb{R}, \ x \mapsto x^2</math> to the domain <math>\mathbb{R}_{+} = [0,\infty)</math> is the injection<math>f:\mathbb{R}_+ \to \mathbb{R}, \ x \mapsto x^2.</math> # The factorial function is the restriction of the gamma function to the positive integers, with the argument shifted by one: <math>{\Gamma|}_{\mathbb{Z}^+}\!(n) = (n-1)!</math>
==Properties of restrictions==
* Restricting a function <math>f:X\rightarrow Y</math> to its entire domain <math>X</math> gives back the original function, that is, <math>f|_X = f.</math> * Restricting a function twice is the same as restricting it once, that is, if <math>A \subseteq B \subseteq \operatorname{dom} f,</math> then <math>\left(f|_B\right)|_A = f|_A.</math> * The restriction of the identity function on a set <math>X</math> to a subset <math>A</math> of <math>X</math> is just the inclusion map from <math>A</math> into <math>X.</math><ref>{{cite book|author-link=Paul Halmos|last=Halmos|first=Paul|title=Naive Set Theory|location=Princeton, NJ|publisher=D. Van Nostrand|year=1960}} Reprinted by Springer-Verlag, New York, 1974. {{isbn|0-387-90092-6}} (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. {{isbn|978-1-61427-131-4}} (Paperback edition).</ref> * The restriction of a continuous function is continuous.<ref>{{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=Topology|edition=2nd|location=Upper Saddle River|publisher=Prentice Hall|year=2000|isbn=0-13-181629-2}}</ref><ref>{{cite book|last=Adams|first=Colin Conrad|first2=Robert David|last2=Franzosa|title=Introduction to Topology: Pure and Applied|publisher=Pearson Prentice Hall|year=2008|isbn=978-0-13-184869-6}}</ref>
==Applications== ===Inverse functions===
{{main|Inverse function}} For a function to have an inverse, it must be one-to-one. If a function <math>f</math> is not one-to-one, it may be possible to define a '''partial inverse''' of <math>f</math> by restricting the domain. For example, the function <math display=block>f(x) = x^2</math> defined on the whole of <math>\R</math> is not one-to-one since <math>x^2 = (-x)^2</math> for any <math>x \in \R.</math> However, the function becomes one-to-one if we restrict to the domain <math>\R_{\geq 0} = [0, \infty),</math> in which case <math display=block>f^{-1}(y) = \sqrt{y} .</math>
(If we instead restrict to the domain <math>(-\infty, 0],</math> then the inverse is the negative of the square root of <math>y.</math>) Alternatively, there is no need to restrict the domain if we allow the inverse to be a multivalued function.
===Selection operators=== {{main|Selection (relational algebra)}}
In relational algebra, a selection (sometimes called a restriction to avoid confusion with SQL's use of SELECT) is a unary operation written as <math>\sigma_{a \theta b}(R)</math> or <math>\sigma_{a \theta v}(R)</math> where: * <math>a</math> and <math>b</math> are attribute names, * <math>\theta</math> is a binary operation in the set <math>\{<, \leq, =, \neq, \geq, >\},</math> * <math>v</math> is a value constant, * <math>R</math> is a relation.
The selection <math>\sigma_{a \theta b}(R)</math> selects all those tuples in <math>R</math> for which <math>\theta</math> holds between the <math>a</math> and the <math>b</math> attribute.
The selection <math>\sigma_{a \theta v}(R)</math> selects all those tuples in <math>R</math> for which <math>\theta</math> holds between the <math>a</math> attribute and the value <math>v.</math>
Thus, the selection operator restricts to a subset of the entire database.
===The pasting lemma=== {{main|Pasting lemma}}
The pasting lemma is a result in topology that relates the continuity of a function with the continuity of its restrictions to subsets.
Let <math>X,Y</math> be two closed subsets (or two open subsets) of a topological space <math>A</math> such that <math>A = X \cup Y,</math> and let <math>B</math> also be a topological space. If <math>f: A \to B</math> is continuous when restricted to both <math>X</math> and <math>Y,</math> then <math>f</math> is continuous.
This result allows one to take two continuous functions defined on closed (or open) subsets of a topological space and create a new one.
===Sheaves=== {{main|Sheaf theory}}
Sheaves provide a way of generalizing restrictions to objects besides functions.
In sheaf theory, one assigns an object <math>F(U)</math> in a category to each open set <math>U</math> of a topological space, and requires that the objects satisfy certain conditions. The most important condition is that there are ''restriction morphisms'' between every pair of objects associated to nested open sets; that is, if <math>V\subseteq U,</math> then there is a morphism <math>\operatorname{res}_{V,U} : F(U) \to F(V)</math> satisfying the following properties, which are designed to mimic the restriction of a function: * For every open set <math>U</math> of <math>X,</math> the restriction morphism <math>\operatorname{res}_{U,U} : F(U) \to F(U)</math> is the identity morphism on <math>F(U).</math> * If we have three open sets <math>W \subseteq V \subseteq U,</math> then the composite <math>\operatorname{res}_{W,V} \circ \operatorname{res}_{V,U} = \operatorname{res}_{W,U}.</math> * (Locality) If <math>\left(U_i\right)</math> is an open covering of an open set <math>U,</math> and if <math>s, t \in F(U)</math> are such that <math>s\big\vert_{U_i} = t\big\vert_{U_i}</math> for each set <math>U_i</math> of the covering, then <math>s = t</math>; and * (Gluing) If <math>\left(U_i\right)</math> is an open covering of an open set <math>U,</math> and if for each <math>i</math> a section <math>x_i \in F\left(U_i\right)</math> is given such that for each pair <math>U_i, U_j</math> of the covering sets the restrictions of <math>s_i</math> and <math>s_j</math> agree on the overlaps: <math>s_i\big\vert_{U_i \cap U_j} = s_j\big\vert_{U_i \cap U_j},</math> then there is a section <math>s \in F(U)</math> such that <math>s\big\vert_{U_i} = s_i</math> for each <math>i.</math>
The collection of all such objects is called a '''sheaf'''. If only the first two properties are satisfied, it is a '''pre-sheaf'''.
==Left- and right-restriction==
More generally, the restriction (or '''domain restriction''' or '''left-restriction''') <math>A \triangleleft R</math> of a binary relation <math>R</math> between <math>E</math> and <math>F</math> may be defined as a relation having domain <math>A,</math> codomain <math>F</math> and graph <math>G(A \triangleleft R) = \{(x, y) \in F(R) : x \in A\}.</math> Similarly, one can define a '''right-restriction''' or '''range restriction''' <math>R \triangleright B.</math> Indeed, one could define a restriction to <math>n</math>-ary relations, as well as to subsets understood as relations, such as ones of the Cartesian product <math>E \times F</math> for binary relations. These cases do not fit into the scheme of sheaves.{{clarify|date=July 2013}}
==Anti-restriction==
The '''domain anti-restriction''' (or '''domain subtraction''') of a function or binary relation <math>R</math> (with domain <math>E</math> and codomain <math>F</math>) by a set <math>A</math> may be defined as <math>(E \setminus A) \triangleleft R</math>; it removes all elements of <math>A</math> from the domain <math>E.</math> It is sometimes denoted <math>A</math> ⩤ <math>R.</math><ref>Dunne, S. and Stoddart, Bill ''Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006, Revised Selected ... Computer Science and General Issues)''. Springer (2006)</ref> Similarly, the '''range anti-restriction''' (or '''range subtraction''') of a function or binary relation <math>R</math> by a set <math>B</math> is defined as <math>R \triangleright (F \setminus B)</math>; it removes all elements of <math>B</math> from the codomain <math>F.</math> It is sometimes denoted <math>R</math> ⩥ <math>B.</math>
==See also==
* {{annotated link|Constraint (mathematics)|Constraint}} * {{annotated link|Deformation retract}} * {{annotated link|Local property}} * {{section link|Function (mathematics)|Restriction and extension}} * {{section link|Binary relation|Restriction}} * {{section link|Relational algebra|Selection (σ)}}
==References==
{{reflist}}
{{DEFAULTSORT:Restriction (Mathematics)}}
Category:Sheaf theory