Properties of Functions - Revision history

Khanh at 20:23, 11 January 2022

2022-01-11T20:23:04Z

Khanh: /* Image and preimage */

2022-01-11T20:21:17Z

Image and preimage

Khanh at 20:19, 11 January 2022

2022-01-11T20:19:23Z

Khanh at 20:12, 11 January 2022

2022-01-11T20:12:27Z

Show changes

Khanh at 19:58, 11 January 2022

2022-01-11T19:58:35Z

Johnraymond.yanez: Added Links to materials

2020-08-21T14:25:28Z

Added Links to materials

New page

* [https://mathresearch.utsa.edu/wikiFiles/MAT1053/Function_and_Function_Notation/MAT1053_M1.1Functions_and_Function_Notation.pdf Function and Function Notation],Book Chapter
* [https://mathresearch.utsa.edu/wikiFiles/MAT1053/Function_and_Function_Notation/MAT1053_M1.1_Functions_and_Function_NotationGN.pdf Function and Function Notation Guided Notes]

@@ Line 78: / Line 78: @@
 Here is another classical example of a function extension that is encountered when studying homographies of the real line. A ''homography'' is a function <math>h(x)=\frac{ax+b}{cx+d}</math> such that {{math|''ad'' − ''bc'' ≠ 0}}. Its domain is the set of all real numbers different from <math>-d/c,</math> and its image is the set of all real numbers different from <math>a/c.</math> If one extends the real line to the projectively extended real line by including {{math|∞}}, one may extend {{mvar|h}} to a bijection from the extended real line to itself by setting <math>h(\infty)=a/c</math> and <math>h(-d/c)=\infty</math>.
 == Licensing ==
 Content obtained and/or adapted from:
 * [https://en.wikipedia.org/wiki/Function_(mathematics) Functions (mathematics), Wikipedia] under a CC BY-SA license

@@ Line 29: / Line 29: @@
 == Image and preimage ==
-Let <math>f\colon X\to Y.</math> The ''image'' under {{mvar|f}} of an element {{mvar|x}} of the domain {{mvar|X}} is {{math|''f''(''x'')}}.<ref name="EOM Function"/> If {{math|''A''}} is any subset of {{math|''X''}}, then the ''image'' of {{mvar|A}} under {{mvar|f}}, denoted {{math|''f''(''A'')}}, is the subset of the codomain {{math|''Y''}} consisting of all images of elements of {{mvar|A}}, that is,
+Let <math>f\colon X\to Y.</math> The ''image'' under {{mvar|f}} of an element {{mvar|x}} of the domain {{mvar|X}} is {{math|''f''(''x'')}}. If {{math|''A''}} is any subset of {{math|''X''}}, then the ''image'' of {{mvar|A}} under {{mvar|f}}, denoted {{math|''f''(''A'')}}, is the subset of the codomain {{math|''Y''}} consisting of all images of elements of {{mvar|A}}, that is,
 :<math>f(A)=\{f(x)\mid x\in A\}.</math>

@@ Line 1: / Line 1: @@
 == Standard functions ==
 There are a number of standard functions that occur frequently:
-* For every set {{mvar|X}}, there is a unique function, called the '''empty function''' from the empty set to {{mvar|X}}. The graph of an empty function is the empty set.<ref group=note>By definition, the graph of the empty function to {{mvar|X}} is a subset of the Cartesian product {{math|∅ × ''X''}}, and this product is empty.</ref> The existence of the empty function is a convention that is needed for the coherency of the theory and for avoiding exceptions concerning the empty set in many statements.
+* For every set {{mvar|X}}, there is a unique function, called the '''empty function''' from the empty set to {{mvar|X}}. The graph of an empty function is the empty set. The existence of the empty function is a convention that is needed for the coherency of the theory and for avoiding exceptions concerning the empty set in many statements.
-* For every set {{mvar|X}} and every singleton set {{math|{{mset|''s''}}}}, there is a unique function from {{mvar|X}} to {{math|{{mset|''s''}}}}, which maps every element of {{mvar|X}} to {{mvar|s}}. This is a surjection (see below) unless {{mvar|X}} is the empty set.
+* For every set {{mvar|X}} and every singleton set {''s''}, there is a unique function from {{mvar|X}} to {''s''}, which maps every element of {{mvar|X}} to {{mvar|s}}. This is a surjection (see below) unless {{mvar|X}} is the empty set.
 * Given a function <math>f\colon X\to Y,</math> the ''canonical surjection'' of {{mvar|f}} onto its image <math>f(X)=\{f(x)\mid x\in X\}</math> is the function from {{mvar|X}} to {{math|''f''(''X'')}} that maps {{mvar|x}} to {{math|''f''(''x'')}}.
 * For every subset {{mvar|A}} of a set {{mvar|X}}, the inclusion map of {{mvar|A}} into {{mvar|X}} is the injective (see below) function that maps every element of {{mvar|A}} to itself.
@@ Line 34: / Line 34: @@
 The ''image'' of {{math|''f''}} is the image of the whole domain, that is, {{math|''f''(''X'')}}. It is also called the range of {{mvar|f}}, although the term ''range'' may also refer to the codomain.
-On the other hand, the ''inverse image'' or ''preimage'' under {{mvar|f}} of an element {{mvar|y}} of the codomain {{mvar|Y}} is the set of all elements of the domain {{math|''X''}} whose images under {{mvar|f}} equal {{mvar|y}}.<ref name="EOM Function"/> In symbols, the preimage of {{mvar|y}} is denoted by <math>f^{-1}(y)</math> and is given by the equation
+On the other hand, the ''inverse image'' or ''preimage'' under {{mvar|f}} of an element {{mvar|y}} of the codomain {{mvar|Y}} is the set of all elements of the domain {{math|''X''}} whose images under {{mvar|f}} equal {{mvar|y}}. In symbols, the preimage of {{mvar|y}} is denoted by <math>f^{-1}(y)</math> and is given by the equation
 :<math>f^{-1}(y) = \{x \in X \mid f(x) = y\}.</math>
 Likewise, the preimage of a subset {{math|''B''}} of the codomain {{math|''Y''}} is the set of the preimages of the elements of {{math|''B''}}, that is, it is the subset of the domain {{math|''X''}} consisting of all elements of {{math|''X''}} whose images belong to {{math|''B''}}. It is denoted by <math>f^{-1}(B)</math> and is given by the equation
 :<math>f^{-1}(B) = \{x \in X \mid f(x) \in B\}.</math>
-For example, the preimage of <math>\{4, 9\}</math> under the [[square function]] is the set <math>\{-3,-2,2,3\}</math>.
+For example, the preimage of <math>\{4, 9\}</math> under the square function is the set <math>\{-3,-2,2,3\}</math>.
 By definition of a function, the image of an element {{math|''x''}} of the domain is always a single element of the codomain. However, the preimage <math>f^{-1}(y)</math> of an element {{mvar|y}} of the codomain may be empty or contain any number of elements. For example, if {{mvar|f}} is the function from the integers to themselves that maps every integer to 0, then <math>f^{-1}(0) = \mathbb{Z}</math>.
@@ Line 57: / Line 57: @@
 Let <math>f\colon X\to Y</math> be a function.
-The function {{mvar|f}} is ''[[injective function|injective]]'' (or ''one-to-one'', or is an ''injection'') if {{math|''f''(''a'') ≠ ''f''(''b'')}} for any two different elements {{math|''a''}} and {{mvar|''b''}} of {{mvar|X}}. Equivalently, {{mvar|f}} is injective if and only if, for any <math>y\in Y,</math> the preimage <math>f^{-1}(y)</math> contains at most one element. An empty function is always injective. If {{mvar|X}} is not the empty set, then {{mvar|f}} is injective if and only if there exists a function <math>g\colon Y\to X</math> such that <math>g\circ f=\operatorname{id}_X,</math> that is, if {{mvar|f}} has a [[left inverse function|left inverse]]. ''Proof'': If {{mvar|f}} is injective, for defining {{mvar|g}}, one chooses an element <math>x_0</math> in {{mvar|X}} (which exists as {{mvar|X}} is supposed to be nonempty), and one defines {{mvar|g}} by <math>g(y)=x</math> if <math>y=f(x)</math> and <math>g(y)=x_0</math> if <math>y\not\in f(X).</math> Conversely, if <math>g\circ f=\operatorname{id}_X,</math> and <math>y=f(x),</math>  then <math>x=g(y),</math> and thus <math>f^{-1}(y)=\{x\}.</math>
+The function {{mvar|f}} is ''injective'' (or ''one-to-one'', or is an ''injection'') if {{math|''f''(''a'') ≠ ''f''(''b'')}} for any two different elements {{math|''a''}} and {{mvar|''b''}} of {{mvar|X}}. Equivalently, {{mvar|f}} is injective if and only if, for any <math>y\in Y,</math> the preimage <math>f^{-1}(y)</math> contains at most one element. An empty function is always injective. If {{mvar|X}} is not the empty set, then {{mvar|f}} is injective if and only if there exists a function <math>g\colon Y\to X</math> such that <math>g\circ f=\operatorname{id}_X,</math> that is, if {{mvar|f}} has a left inverse. ''Proof'': If {{mvar|f}} is injective, for defining {{mvar|g}}, one chooses an element <math>x_0</math> in {{mvar|X}} (which exists as {{mvar|X}} is supposed to be nonempty), and one defines {{mvar|g}} by <math>g(y)=x</math> if <math>y=f(x)</math> and <math>g(y)=x_0</math> if <math>y\not\in f(X).</math> Conversely, if <math>g\circ f=\operatorname{id}_X,</math> and <math>y=f(x),</math>  then <math>x=g(y),</math> and thus <math>f^{-1}(y)=\{x\}.</math>
-The function {{mvar|f}} is ''surjective'' (or ''onto'', or is a ''surjection'') if its range <math>f(X)</math> equals its codomain <math>Y</math>, that is, if, for each element <math>y</math> of the codomain, there exists some element <math>x</math> of the domain such that <math>f(x) = y</math> (in other words, the preimage <math>f^{-1}(y)</math> of every <math>y\in Y</math> is nonempty). If, as usual in modern mathematics, the [[axiom of choice]] is assumed, then {{mvar|f}} is surjective if and only if there exists a function <math>g\colon Y\to X</math> such that <math>f\circ g=\operatorname{id}_Y,</math> that is, if {{mvar|f}} has a right inverse. The axiom of choice is needed, because, if {{mvar|f}} is surjective, one defines {{mvar|g}} by <math>g(y)=x,</math> where <math>x</math> is an ''arbitrarily chosen'' element of <math>f^{-1}(y).</math>
+The function {{mvar|f}} is ''surjective'' (or ''onto'', or is a ''surjection'') if its range <math>f(X)</math> equals its codomain <math>Y</math>, that is, if, for each element <math>y</math> of the codomain, there exists some element <math>x</math> of the domain such that <math>f(x) = y</math> (in other words, the preimage <math>f^{-1}(y)</math> of every <math>y\in Y</math> is nonempty). If, as usual in modern mathematics, the axiom of choice is assumed, then {{mvar|f}} is surjective if and only if there exists a function <math>g\colon Y\to X</math> such that <math>f\circ g=\operatorname{id}_Y,</math> that is, if {{mvar|f}} has a right inverse. The axiom of choice is needed, because, if {{mvar|f}} is surjective, one defines {{mvar|g}} by <math>g(y)=x,</math> where <math>x</math> is an ''arbitrarily chosen'' element of <math>f^{-1}(y).</math>
-The function {{mvar|f}} is ''bijective'' (or is a ''bijection'' or a ''one-to-one correspondence'') if it is both injective and surjective. That is, {{mvar|f}} is bijective if, for any <math>y\in Y,</math> the preimage <math>f^{-1}(y)</math> contains exactly one element. The function {{mvar|f}} is bijective if and only if it admits an inverse function, that is, a function <math>g\colon Y\to X</math> such that <math>g\circ f=\operatorname{id}_X</math> and <math>f\circ g=\operatorname{id}_Y.</math><ref name="EOM Bijection"/> (Contrarily to the case of surjections, this does not require the axiom of choice; the proof is straightforward).
+The function {{mvar|f}} is ''bijective'' (or is a ''bijection'' or a ''one-to-one correspondence'') if it is both injective and surjective. That is, {{mvar|f}} is bijective if, for any <math>y\in Y,</math> the preimage <math>f^{-1}(y)</math> contains exactly one element. The function {{mvar|f}} is bijective if and only if it admits an inverse function, that is, a function <math>g\colon Y\to X</math> such that <math>g\circ f=\operatorname{id}_X</math> and <math>f\circ g=\operatorname{id}_Y.</math> (Contrarily to the case of surjections, this does not require the axiom of choice; the proof is straightforward).
 Every function <math>f\colon X\to Y</math> may be factorized as the composition <math>i\circ s</math> of a surjection followed by an injection, where {{mvar|s}} is the canonical surjection of {{mvar|X}} onto {{math|''f''(''X'')}} and {{mvar|i}} is the canonical injection of {{math|''f''(''X'')}} into {{mvar|Y}}. This is the ''canonical factorization'' of {{mvar|f}}.

← Older revision		Revision as of 19:58, 11 January 2022
Line 1:		Line 1:
		+	== Standard functions ==
		+	There are a number of standard functions that occur frequently:
		+	* For every set {{mvar\|X}}, there is a unique function, called the '''{{vanchor\|empty function}}''' from the [[empty set]] to {{mvar\|X}}. The graph of an empty function is the empty set.<ref group=note>By definition, the graph of the empty function to {{mvar\|X}} is a subset of the Cartesian product {{math\|∅ × ''X''}}, and this product is empty.</ref> The existence of the empty function is a convention that is needed for the coherency of the theory and for avoiding exceptions concerning the empty set in many statements.
		+	* For every set {{mvar\|X}} and every [[singleton set]] {{math\|{{mset\|''s''}}}}, there is a unique function from {{mvar\|X}} to {{math\|{{mset\|''s''}}}}, which maps every element of {{mvar\|X}} to {{mvar\|s}}. This is a surjection (see below) unless {{mvar\|X}} is the empty set.
		+	* Given a function <math>f\colon X\to Y,</math> the ''canonical surjection'' of {{mvar\|f}} onto its image <math>f(X)=\{f(x)\mid x\in X\}</math> is the function from {{mvar\|X}} to {{math\|''f''(''X'')}} that maps {{mvar\|x}} to {{math\|''f''(''x'')}}.
		+	* For every [[subset]] {{mvar\|A}} of a set {{mvar\|X}}, the [[inclusion map]] of {{mvar\|A}} into {{mvar\|X}} is the injective (see below) function that maps every element of {{mvar\|A}} to itself.
		+	* The [[identity function]] on a set {{mvar\|X}}, often denoted by {{math\|id<sub>''X''</sub>}}, is the inclusion of {{mvar\|X}} into itself.
		+
		+	== Function composition ==
		+
		+	Given two functions <math>f\colon X\to Y</math> and <math>g\colon Y\to Z</math> such that the domain of {{mvar\|g}} is the codomain of {{mvar\|f}}, their ''composition'' is the function <math>g \circ f\colon X \rightarrow Z</math> defined by
		+	:<math>(g \circ f)(x) = g(f(x)).</math>
		+
		+	That is, the value of <math>g \circ f</math> is obtained by first applying {{math\|''f''}} to {{math\|''x''}} to obtain {{math\|1=''y'' = ''f''(''x'')}} and then applying {{math\|''g''}} to the result {{mvar\|y}} to obtain {{math\|1=''g''(''y'') = ''g''(''f''(''x''))}}. In the notation the function that is applied first is always written on the right.
		+
		+	The composition <math>g\circ f</math> is an [[operation (mathematics)\|operation]] on functions that is defined only if the codomain of the first function is the domain of the second one. Even when both <math>g \circ f</math> and <math>f \circ g</math> satisfy these conditions, the composition is not necessarily [[commutative property\|commutative]], that is, the functions <math>g \circ f</math> and <math> f \circ g</math> need not be equal, but may deliver different values for the same argument. For example, let {{math\|1=''f''(''x'') = ''x''<sup>2</sup>}} and {{math\|1=''g''(''x'') = ''x'' + 1}}, then <math>g(f(x))=x^2+1</math> and <math> f(g(x)) = (x+1)^2</math> agree just for <math>x=0.</math>
		+
		+	The function composition is [[associative property\|associative]] in the sense that, if one of <math>(h\circ g)\circ f</math> and <math>h\circ (g\circ f)</math> is defined, then the other is also defined, and they are equal. Thus, one writes
		+	:<math>h\circ g\circ f = (h\circ g)\circ f = h\circ (g\circ f).</math>
		+
		+	The [[identity function]]s <math>\operatorname{id}_X</math> and <math>\operatorname{id}_Y</math> are respectively a [[right identity]] and a [[left identity]] for functions from {{mvar\|X}} to {{mvar\|Y}}. That is, if {{mvar\|f}} is a function with domain {{mvar\|X}}, and codomain {{mvar\|Y}}, one has
		+	<math>f\circ \operatorname{id}_X = \operatorname{id}_Y \circ f = f.</math>
		+
		+	<gallery widths="250" heights="300">
		+	File:Function machine5.svg\|A composite function ''g''(''f''(''x'')) can be visualized as the combination of two "machines".
		+	File:Example for a composition of two functions.svg\|A simple example of a function composition
		+	File:Compfun.svg\|Another composition. In this example, {{math\|1=(''g'' ∘ ''f'' )(c) = #}}.
		+	</gallery>
		+
		+	== Image and preimage ==
		+	Let <math>f\colon X\to Y.</math> The ''image'' under {{mvar\|f}} of an element {{mvar\|x}} of the domain {{mvar\|X}} is {{math\|''f''(''x'')}}.<ref name="EOM Function"/> If {{math\|''A''}} is any subset of {{math\|''X''}}, then the ''image'' of {{mvar\|A}} under {{mvar\|f}}, denoted {{math\|''f''(''A'')}}, is the subset of the codomain {{math\|''Y''}} consisting of all images of elements of {{mvar\|A}},<ref name="EOM Function"/> that is,
		+	:<math>f(A)=\{f(x)\mid x\in A\}.</math>
		+
		+	The ''image'' of {{math\|''f''}} is the image of the whole domain, that is, {{math\|''f''(''X'')}}.{{r\|PCM p.11}} It is also called the [[range of a function\|range]] of {{mvar\|f}},{{r\|EOM Function\|T&K Calc p.3\|Trench RA pp.30-32\|TBB RA pp.A4-A5}} although the term ''range'' may also refer to the codomain.{{r\|TBB RA pp.A4-A5\|PCM p.11}}<ref name = "standard">''Quantities and Units - Part 2: Mathematical signs and symbols to be used in the natural sciences and technology'', p. 15. ISO 80000-2 (ISO/IEC 2009-12-01)</ref>
		+
		+	On the other hand, the ''[[inverse image]]'' or ''[[preimage]]'' under {{mvar\|f}} of an element {{mvar\|y}} of the codomain {{mvar\|Y}} is the set of all elements of the domain {{math\|''X''}} whose images under {{mvar\|f}} equal {{mvar\|y}}.<ref name="EOM Function"/> In symbols, the preimage of {{mvar\|y}} is denoted by <math>f^{-1}(y)</math> and is given by the equation
		+	:<math>f^{-1}(y) = \{x \in X \mid f(x) = y\}.</math>
		+	Likewise, the preimage of a subset {{math\|''B''}} of the codomain {{math\|''Y''}} is the set of the preimages of the elements of {{math\|''B''}}, that is, it is the subset of the domain {{math\|''X''}} consisting of all elements of {{math\|''X''}} whose images belong to {{math\|''B''}}.<ref name="EOM Function"/> It is denoted by <math>f^{-1}(B)</math> and is given by the equation
		+	:<math>f^{-1}(B) = \{x \in X \mid f(x) \in B\}.</math>
		+	For example, the preimage of <math>\{4, 9\}</math> under the [[square function]] is the set <math>\{-3,-2,2,3\}</math>.
		+
		+	By definition of a function, the image of an element {{math\|''x''}} of the domain is always a single element of the codomain. However, the preimage <math>f^{-1}(y)</math> of an element {{mvar\|y}} of the codomain may be [[empty set\|empty]] or contain any number of elements. For example, if {{mvar\|f}} is the function from the integers to themselves that maps every integer to 0, then <math>f^{-1}(0) = \mathbb{Z}</math>.
		+
		+	If <math>f\colon X\to Y</math> is a function, {{math\|''A''}} and {{math\|''B''}} are subsets of {{math\|''X''}}, and {{math\|''C''}} and {{math\|''D''}} are subsets of {{math\|''Y''}}, then one has the following properties:
		+	* <math>A\subseteq B \Longrightarrow f(A)\subseteq f(B)</math>
		+	* <math>C\subseteq D \Longrightarrow f^{-1}(C)\subseteq f^{-1}(D)</math>
		+	* <math>A \subseteq f^{-1}(f(A))</math>
		+	* <math>C \supseteq f(f^{-1}(C))</math>
		+	* <math>f(f^{-1}(f(A)))=f(A)</math>
		+	* <math>f^{-1}(f(f^{-1}(C)))=f^{-1}(C)</math>
		+
		+	The preimage by {{mvar\|f}} of an element {{mvar\|y}} of the codomain is sometimes called, in some contexts, the [[fiber (mathematics)\|fiber]] of {{math\|''y''}} under {{mvar\|''f''}}.
		+
		+	If a function {{mvar\|f}} has an inverse (see below), this inverse is denoted <math>f^{-1}.</math> In this case <math>f^{-1}(C)</math> may denote either the image by <math>f^{-1}</math> or the preimage by {{mvar\|f}} of {{mvar\|C}}. This is not a problem, as these sets are equal. The notation <math>f(A)</math> and <math>f^{-1}(C)</math> may be ambiguous in the case of sets that contain some subsets as elements, such as <math>\{x, \{x\}\}.</math> In this case, some care may be needed, for example, by using square brackets <math>f[A], f^{-1}[C]</math> for images and preimages of subsets and ordinary parentheses for images and preimages of elements.
		+
		+	== Injective, surjective and bijective functions ==
		+	Let <math>f\colon X\to Y</math> be a function.
		+
		+	The function {{mvar\|f}} is ''[[injective function\|injective]]'' (or ''one-to-one'', or is an ''injection'') if {{math\|''f''(''a'') ≠ ''f''(''b'')}} for any two different elements {{math\|''a''}} and {{mvar\|''b''}} of {{mvar\|X}}.<ref name="PCM p.11">{{Princeton Companion to Mathematics\|p=11}}</ref><ref name="EOM Injection">{{eom \|title=Injection \|oldid=30986 \|author-first=O.A. \|author-last=Ivanova}}</ref> Equivalently, {{mvar\|f}} is injective if and only if, for any <math>y\in Y,</math> the preimage <math>f^{-1}(y)</math> contains at most one element. An empty function is always injective. If {{mvar\|X}} is not the empty set, then {{mvar\|f}} is injective if and only if there exists a function <math>g\colon Y\to X</math> such that <math>g\circ f=\operatorname{id}_X,</math> that is, if {{mvar\|f}} has a [[left inverse function\|left inverse]].<ref name="EOM Injection"/> ''Proof'': If {{mvar\|f}} is injective, for defining {{mvar\|g}}, one chooses an element <math>x_0</math> in {{mvar\|X}} (which exists as {{mvar\|X}} is supposed to be nonempty),<ref group=note>The [[axiom of choice]] is not needed here, as the choice is done in a single set.</ref> and one defines {{mvar\|g}} by <math>g(y)=x</math> if <math>y=f(x)</math> and <math>g(y)=x_0</math> if <math>y\not\in f(X).</math> Conversely, if <math>g\circ f=\operatorname{id}_X,</math> and <math>y=f(x),</math> then <math>x=g(y),</math> and thus <math>f^{-1}(y)=\{x\}.</math>
		+
		+	The function {{mvar\|f}} is ''[[surjective]]'' (or ''onto'', or is a ''surjection'') if its range <math>f(X)</math> equals its codomain <math>Y</math>, that is, if, for each element <math>y</math> of the codomain, there exists some element <math>x</math> of the domain such that <math>f(x) = y</math> (in other words, the preimage <math>f^{-1}(y)</math> of every <math>y\in Y</math> is nonempty).<ref name="PCM p.11"/><ref name="EOM Surjection">{{eom \|title=Surjection \|oldid=35689 \|author-first=O.A. \|author-last=Ivanova}}</ref> If, as usual in modern mathematics, the [[axiom of choice]] is assumed, then {{mvar\|f}} is surjective if and only if there exists a function <math>g\colon Y\to X</math> such that <math>f\circ g=\operatorname{id}_Y,</math> that is, if {{mvar\|f}} has a [[right inverse function\|right inverse]].<ref name="EOM Surjection"/> The axiom of choice is needed, because, if {{mvar\|f}} is surjective, one defines {{mvar\|g}} by <math>g(y)=x,</math> where <math>x</math> is an ''arbitrarily chosen'' element of <math>f^{-1}(y).</math>
		+
		+	The function {{mvar\|f}} is ''[[bijective]]'' (or is a ''bijection'' or a ''one-to-one correspondence'') if it is both injective and surjective.<ref name="PCM p.11"/><ref name="EOM Bijection">{{eom \|title=Bijection \|oldid=30987 \|author-first=O.A. \|author-last=Ivanova}}</ref> That is, {{mvar\|f}} is bijective if, for any <math>y\in Y,</math> the preimage <math>f^{-1}(y)</math> contains exactly one element. The function {{mvar\|f}} is bijective if and only if it admits an [[inverse function]], that is, a function <math>g\colon Y\to X</math> such that <math>g\circ f=\operatorname{id}_X</math> and <math>f\circ g=\operatorname{id}_Y.</math><ref name="EOM Bijection"/> (Contrarily to the case of surjections, this does not require the axiom of choice; the proof is straightforward).
		+
		+	Every function <math>f\colon X\to Y</math> may be [[factorization\|factorized]] as the composition <math>i\circ s</math> of a surjection followed by an injection, where {{mvar\|s}} is the canonical surjection of {{mvar\|X}} onto {{math\|''f''(''X'')}} and {{mvar\|i}} is the canonical injection of {{math\|''f''(''X'')}} into {{mvar\|Y}}. This is the ''canonical factorization'' of {{mvar\|f}}.
		+
		+	"One-to-one" and "onto" are terms that were more common in the older English language literature; "injective", "surjective", and "bijective" were originally coined as French words in the second quarter of the 20th century by the [[Nicolas Bourbaki\|Bourbaki group]] and imported into English.{{citation needed\|date=January 2021}} As a word of caution, "a one-to-one function" is one that is injective, while a "one-to-one correspondence" refers to a bijective function. Also, the statement "{{math\|''f''}} maps {{math\|''X''}} ''onto'' {{math\|''Y''}}" differs from "{{math\|''f''}} maps {{math\|''X''}} ''into'' {{math\|''B''}}", in that the former implies that {{math\|''f''}} is surjective, while the latter makes no assertion about the nature of {{math\|''f''}}. In a complicated reasoning, the one letter difference can easily be missed. Due to the confusing nature of this older terminology, these terms have declined in popularity relative to the Bourbakian terms, which have also the advantage of being more symmetrical.
		+
		+	== Restriction and extension ==
		+
		+	If <math>f\colon X \to Y</math> is a function and ''S'' is a subset of ''X'', then the ''restriction'' of <math>f</math> to ''S'', denoted <math>f\|_S</math>, is the function from ''S'' to ''Y'' defined by
		+	:<math>f\|_S(x) = f(x)</math>
		+	for all ''x'' in ''S''. Restrictions can be used to define partial [[inverse function]]s: if there is a [[subset]] ''S'' of the domain of a function <math>f</math> such that <math>f\|_S</math> is injective, then the canonical surjection of <math>f\|_S</math> onto its image <math>f\|_S(S) = f(S)</math> is a bijection, and thus has an inverse function from <math>f(S)</math> to ''S''. One application is the definition of [[inverse trigonometric functions]]. For example, the [[cosine]] function is injective when restricted to the [[interval (mathematics)\|interval]] {{closed-closed\|0, ''π''}}. The image of this restriction is the interval {{closed-closed\|−1, 1}}, and thus the restriction has an inverse function from {{closed-closed\|−1, 1}} to {{closed-closed\|0, ''π''}}, which is called [[arccosine]] and is denoted {{math\|arccos}}.
		+
		+	Function restriction may also be used for "gluing" functions together. Let <math display="inline"> X=\bigcup_{i\in I}U_i</math> be the decomposition of {{mvar\|X}} as a [[set union\|union]] of subsets, and suppose that a function <math>f_i\colon U_i \to Y</math> is defined on each <math>U_i</math> such that for each pair <math>i, j</math> of indices, the restrictions of <math>f_i</math> and <math>f_j</math> to <math>U_i \cap U_j</math> are equal. Then this defines a unique function <math>f\colon X \to Y</math> such that <math>f\|_{U_i} = f_i</math> for all {{mvar\|i}}. This is the way that functions on [[manifold]]s are defined.
		+
		+	An ''extension'' of a function {{mvar\|f}} is a function {{mvar\|g}} such that {{mvar\|f}} is a restriction of {{mvar\|g}}. A typical use of this concept is the process of [[analytic continuation]], that allows extending functions whose domain is a small part of the [[complex plane]] to functions whose domain is almost the whole complex plane.
		+
		+	Here is another classical example of a function extension that is encountered when studying [[homography\|homographies]] of the [[real line]]. A ''homography'' is a function <math>h(x)=\frac{ax+b}{cx+d}</math> such that {{math\|''ad'' − ''bc'' ≠ 0}}. Its domain is the set of all [[real number]]s different from <math>-d/c,</math> and its image is the set of all real numbers different from <math>a/c.</math> If one extends the real line to the [[projectively extended real line]] by including {{math\|∞}}, one may extend {{mvar\|h}} to a bijection from the extended real line to itself by setting <math>h(\infty)=a/c</math> and <math>h(-d/c)=\infty</math>.
		+
		+	== Licensing ==
		+	Content obtained and/or adapted from:
		+	* [https://en.wikipedia.org/wiki/Function_(mathematics) Functions (mathematics), Wikipedia] under a CC BY-SA license
		+
		+	== Resources ==
	* [https://mathresearch.utsa.edu/wikiFiles/MAT1053/Function_and_Function_Notation/MAT1053_M1.1Functions_and_Function_Notation.pdf Function and Function Notation],Book Chapter		* [https://mathresearch.utsa.edu/wikiFiles/MAT1053/Function_and_Function_Notation/MAT1053_M1.1Functions_and_Function_Notation.pdf Function and Function Notation],Book Chapter
	* [https://mathresearch.utsa.edu/wikiFiles/MAT1053/Function_and_Function_Notation/MAT1053_M1.1_Functions_and_Function_NotationGN.pdf Function and Function Notation Guided Notes]		* [https://mathresearch.utsa.edu/wikiFiles/MAT1053/Function_and_Function_Notation/MAT1053_M1.1_Functions_and_Function_NotationGN.pdf Function and Function Notation Guided Notes]