Domain of Relation is Image of Inverse Relation

From ProofWiki
Jump to navigation Jump to search


Let $\RR \subseteq S \times T$ be a relation.

Let $\RR^{-1} \subseteq T \times S$ be the inverse of $\RR$.


$\Dom \RR = \Img {\RR^{-1} }$

That is, the domain of a relation is the image of its inverse.


By definition:

\(\ds \Dom \RR\) \(:=\) \(\ds \set {s \in S: \exists t \in T: \tuple {s, t} \in \RR}\)
\(\ds \Img {\RR^{-1} }\) \(:=\) \(\ds \set {s \in S: \exists T \in T: \tuple {t, s} \in \RR^{-1} }\)

\(\ds x\) \(\in\) \(\ds \Dom \RR\)
\(\ds \leadstoandfrom \ \ \) \(\ds \exists t \in T: \, \) \(\ds \tuple {x, t}\) \(\in\) \(\ds \RR\) Definition of Domain of Relation
\(\ds \leadstoandfrom \ \ \) \(\ds \exists t \in T: \, \) \(\ds \tuple {t, x}\) \(\in\) \(\ds \RR^{-1}\) Definition of Inverse Relation
\(\ds \leadstoandfrom \ \ \) \(\ds x\) \(\in\) \(\ds \Img {\RR^{-1} }\) Definition of Image of Relation


Also see