Category:Inverse Mappings
Jump to navigation
Jump to search
This category contains results about Inverse Mappings.
Definitions specific to this category can be found in Definitions/Inverse Mappings.
Let $S$ and $T$ be sets.
Let $f: S \to T$ be a mapping.
Let $f^{-1} \subseteq T \times S$ be the inverse of $f$:
- $f^{-1} := \set {\tuple {t, s}: \map f s = t}$
Let $f^{-1}$ itself be a mapping:
- $\forall y \in T: \tuple {y, x_1} \in f^{-1} \land \tuple {y, x_2} \in f^{-1} \implies x_1 = x_2$
and
- $\forall y \in T: \exists x \in S: \tuple {y, x} \in f$
Then $f^{-1}$ is called the inverse mapping of $f$.
Subcategories
This category has the following 9 subcategories, out of 9 total.
B
E
I
L
P
Pages in category "Inverse Mappings"
The following 28 pages are in this category, out of 28 total.
B
C
I
- Image of Element under Inverse Mapping
- Inverse Element of Bijection
- Inverse Element of Injection
- Inverse Mapping is Bijection
- Inverse Mapping is Unique
- Inverse of Bijection is Bijection
- Inverse of Composite Bijection
- Inverse of Identity Mapping
- Inverse of Injection is One-to-One Relation
- Inverse of Inverse of Bijection
- Inverse of Mapping is One-to-Many Relation
- Inverse of Mapping is Right-Total Relation
- Inverse of Surjection is Relation both Left-Total and Right-Total