Mapping/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Mappings

Rotation of Cartesian Plane Anticlockwise through $30 \degrees$

Let $\Gamma$ be the Cartesian plane.

The rotation $R_{30 \degrees}$ of $\Gamma$ anticlockwise through an angle of $30 \degrees$ about the origin $O$ is a mapping from $\Gamma$ to $\Gamma$.


$\paren {x - 2}^2 + 1$ Mapping on $\N$

Let $f: \N \to \N$ be the mapping defined on the set of natural numbers as:

$\forall x \in \N: \map f x = \paren {x - 2}^2 + 1$

Then $f$ has an infinite image set, but is neither a surjection nor an injection.


$x^3 - x$ Mapping on $\R$

Let $f: \R \to \R$ be the mapping defined on the set of real numbers as:

$\forall x \in \R: \map f x = x^3 - x$

Then $f$ is a surjection but not an injection.


Area and Circumference of Circle

Let $A$ denote the set of circles.

Let $f_1: A \to \R$ be the mapping defined on $A$ as:

$\forall a \in A: \map {f_1} a = \map {\Area} a$

Let $f_2: A \to \R$ be the mapping defined on $A$ as:

$\forall a \in A: \map {f_2} a = \map {\operatorname {Circ} } a$

where $\map {\operatorname {Circ} } a$ denotes the circumference of $a$.


Age of a Person

Let $P$ be the set of all people.

Let $\theta: P \to \Z$ be the mapping defined as:

$\forall x \in P: \map \theta x = \text { the age of $x$ last birthday}$


Height of a Person

Let $P$ be the set of all people.

Let $\theta: P \to \Z$ be the mapping defined as:

$\forall x \in P: \map \phi x = \text { the height of $x$ in mm}$


Thus it is seen that multiple mappings may be defined on the same set.


Population of Nation

Let $T$ be the set of all times.

Let $N$ be a nation in the world.

Let $P: T \to \N$ be the mapping defined as:

$\forall t \in T: \map P t = \text {the population of $N$ at time $t$}$


Stretch of Spring

Let $S$ be a spring.

Let $W$ be a weight placed on the end of $S$.


Let $G: \R \to \R$ be the mapping defined as:

$\map G W = \text {the stretch of $S$ under $W$}$


Further Examples of Relations which May or May Not be Mappings

Questionable mapping on Arbitrary Sets

Let $A = \set {a, b, c}$.

Let $B = \set {1, 2, 3, 4}$.

Let $g_1 \subseteq {A \times B}$ such that:

$g_1 = \set {\tuple {a, 2}, \tuple {b, 4} }$

Let $g_2 \subseteq {A \times B}$ such that:

$g_2 = \set {\tuple {a, 3}, \tuple {b, 1}, \tuple {c, 2}, \tuple {c, 4} }$

Let $g_3 \subseteq {A \times B}$ such that:

$g_3 = \set {\tuple {a, 4}, \tuple {b, 4}, \tuple {c, 2} }$

Then $g_3$ is a mapping.

However, neither $g_1$ nor $g_2$ is a mapping.


The following examples consist of relations on the real numbers $\R$ which may or may not be mappings from $\R$ to $\R$:

Questionable mapping: $x^2 + y^2 = 1$

Let $R_1$ be the relation defined on the Cartesian plane $\R \times \R$ as:

$R_1 = \set {\tuple {x, y} \in \R \times \R: x^2 + y^2 = 1}$

Then $R_1$ is not a mapping.


Questionable mapping: $x y = 1$

Let $R_2$ be the relation defined on the Cartesian plane $\R \times \R$ as:

$R_2 = \set {\tuple {x, y} \in \R \times \R: x y = 1}$

Then $R_2$ is not a mapping.


Questionable mapping: $x^4 + y^3 = 1$

Let $R_3$ be the relation defined on the Cartesian plane $\R \times \R$ as:

$R_3 = \set {\tuple {x, y} \in \R \times \R: x^4 + y^3 = 1}$

Then $R_3$ is a mapping.


Questionable mapping: $x^3 + y^4 = 1$

Let $R_4$ be the relation defined on the Cartesian plane $\R \times \R$ as:

$R_4 = \set {\tuple {x, y} \in \R \times \R: x^3 + y^4 = 1}$

Then $R_4$ is not a mapping.


Questionable mapping: $\sqrt x + \sqrt y = 1$

Let $R_5$ be the relation defined on the Cartesian plane $\R \times \R$ as:

$R_5 = \set {\tuple {x, y} \in \R \times \R: \sqrt x + \sqrt y = 1}$

Then $R_5$ is not a mapping.


Sources