Definition:Image (Relation Theory)/Relation/Subset

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $X \subseteq S$ be a subset of $S$.


Then the image set (of $X$ by $\RR$) is defined as:

$\RR \sqbrk X := \set {t \in T: \exists s \in X: \tuple {s, t} \in \RR}$


Image of Subset as Element of Direct Image Mapping


This page has been identified as a candidate for refactoring of medium complexity.
In particular: Put this into a child page
Until this has been finished, please leave {{Refactor}} in the code.

New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only.

Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Refactor}} from the code.


The image of $X$ by $\RR$ can be seen to be an element of the codomain of the direct image mapping $\RR^\to: \powerset S \to \powerset T$ of $\RR$:

$\forall X \in \powerset S: \map {\RR^\to} X := \set {t \in T: \exists s \in X: \tuple {s, t} \in \RR}$

Thus:

$\forall X \subseteq S: \RR \sqbrk X = \map {\RR^\to} X$

and so the image of $X$ under $\RR$ is also seen referred to as the direct image of $X$ under $\RR$.


Both approaches to this concept are used in $\mathsf{Pr} \infty \mathsf{fWiki}$.


Also see


Special Cases


Generalizations


Related Concepts


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Image_(Relation_Theory)/Relation/Subset&oldid=574180"