Difference between revisions of "Inverse"
Jump to navigation
Jump to search
| Line 13: | Line 13: | ||
: <math> f^{-1} \circ f = \operatorname{id}_X</math> and <math>f \circ f^{-1} = \operatorname{id}_Y, </math> | : <math> f^{-1} \circ f = \operatorname{id}_X</math> and <math>f \circ f^{-1} = \operatorname{id}_Y, </math> | ||
where <math>\operatorname{id}_X</math> is the [[identity function]] on the set <math>X</math>; that is, the function that leaves its argument unchanged. In [[Category Theory]], this statement is used as the definition of an inverse [[morphism]]. | where <math>\operatorname{id}_X</math> is the [[wikipedia:Identity function|identity function]] on the set <math>X</math>; that is, the function that leaves its argument unchanged. In [[Category Theory]], this statement is used as the definition of an inverse [[wikipedia:morphism|morphism]]. | ||
Revision as of 14:27, 6 August 2021
The notion of inverse in mathematical operation is simply the anti-operator.
Excerpt from Wikipedia
The following paragraph is copied from Wikipedia.
Compositional inverseInverses and composition
If is an invertible function with domain and codomain , then
- , for every ; and , for every .
Using the composition of functions, we can rewrite this statement as follows:
- and
where is the identity function on the set ; that is, the function that leaves its argument unchanged. In Category Theory, this statement is used as the definition of an inverse morphism.
