Linear algebra (Osnabrück 2024-2025)/Part I/Lecture 2/latex
\setcounter{section}{2}
A main focus of mathematics is to study how a certain variable \extrabracket {describing a size or a magnitude} {} {} depends on another variable \extrabracket {or several variables} {} {.} For example, how does the area of a square depend on the length of the side, how does the price depend on the commodities bought, how does the size of a population grow with time. Such dependencies are expressed with the concept of a mapping.
\inputdefinition
{ }
{
Let
\mathcor {} {L} {and} {M} {}
denote sets. A \definitionword {mapping}{} $F$ from $L$ to $M$ is given by assigning to every element of the set $L$ exactly one element of the set $M$. The unique element that is assigned to
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is denoted by \mathl{F(x)}{.} For the mapping as a whole, we write
\mathdisp {F \colon L \longrightarrow M
}
If a mapping
$F \colon L \rightarrow M$
is given, then $L$ is called the \definitionword {domain}{} (or domain of definition) of the map, and $M$ is called the \definitionword {codomain}{} (or \keyword {target range} {}) of the map. For an element
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the element
\mathrelationchaindisplay
{\relationchain
{ F(x)
}
{ \in} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
is called the \keyword {value} {} of $F$ at the \keyword {place} {} (or \keyword {argument} {}) $x$.
Two mappings
$F \colon L_1 \rightarrow M_1$
and
$G \colon L_2 \rightarrow M_2$
are equal if and only if their domains coincide, their codomains coincide, and if for all
\mathrelationchain
{\relationchain
{x
}
{ \in }{L_1
}
{ = }{L_2
}
{ }{
}
{ }{
}
}
{}{}{}
the equality
\mathrelationchain
{\relationchain
{ F(x)
}
{ = }{ G(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mathrelationchain
{\relationchain
{M_1
}
{ = }{ M_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds. So the equality of mappings is reduced to the equalities of elements in a set. Mappings are also called \keyword {functions} {.} However, we will usually reserve the term \keyword {function} {} for mappings where the codomain is a number set like the real numbers $\R$.
For every set $L$, the mapping
\mathdisp {L \longrightarrow L
, x \longmapsto x} { , }
which sends every element to itself, is called the \keyword {identity} {} (on $L$). We denote it by
$\operatorname{Id}_{ L }$. For another set $M$ and a fixed element
\mathrelationchain
{\relationchain
{c
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the mapping
\mathdisp {L \longrightarrow M
, x \longmapsto c} { }
that sends every element
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
to the \keyword {constant value} {} $c$ is called the \definitionword {constant mapping}{}
\extrabracket {with value $c$} {} {.}
It is usually again denoted by $c$\extrafootnote {Hilbert has said that the art of denotation in mathematics is to use the same symbol for different things} {.} {.}
There are several ways to describe a mapping, like a value table, a bar chart, a pie chart, an arrow diagram, or the graph of the mapping. In mathematics, a mapping is most often given by a mapping rule that allows computing the values of the mapping for every argument. Such rules are, e.g., \extrabracket {from $\R$ to $\R$} {} {} \mathl{x \mapsto x^2}{,} \mathl{x \mapsto x^3- e^x + \sin x}{,} etc. In the sciences and in sociology, also \keyword {empirical functions} {} are important that describe real movements or developments. But also for such functions, one wants to know whether they can be described (approximately) in a mathematical manner.
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Aplicacion_2.svg} }
\end{center}
\imagetext {} }
\imagelicense { Aplicación 2.svg } {} {HiTe} {Commons} {PD} {}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Beliebteste_Eissorten_in_Deutschland.svg} }
\end{center}
\imagetext {} }
\imagelicense { Beliebteste Eissorten in Deutschland.svg } {} {Doofi} {Commons} {PD} {}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Tiefkühlkonsum.svg} }
\end{center}
\imagetext {} }
\imagelicense { Tiefkühlkonsum.svg } {} {SInner1} {Commons} {CC-by-sa 3.0} {}
\valuetablesixfromsubrows { $x$ }
{\mathrowandfive {1} {2} {3} {4} {5} }
{ {6
} }
{ $\pi(x)$ }
{\mathrowandfive {2} {4} {6} {5} {3} }
{ {1} }
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Exp.svg} }
\end{center}
\imagetext {} }
\imagelicense { Exp.svg } {} {} {Commons} {CC-by-sa 3.0} {}
%Data for following table
\renewcommand{\leadrowzero}{ $\cdot$ }
\renewcommand{\leadrowone}{ $0$ }
\renewcommand{\leadrowtwo}{ $1$ }
\renewcommand{\leadrowthree}{ $2$ }
\renewcommand{\leadrowfour}{ $3$ }
\renewcommand{\leadrowfive}{ $4$ }
\renewcommand{\leadrowsix}{ $5$ }
\renewcommand{\leadrowseven}{ $6$ }
\renewcommand{\leadroweight}{ }
\renewcommand{\leadrownine}{ }
\renewcommand{\leadrowten}{ }
\renewcommand{\leadroweleven}{ }
\renewcommand{\leadrowtwelve}{ }
\renewcommand{\leadcolumnzero}{ $\cdot$ }
\renewcommand{\leadcolumnone}{ $0$ }
\renewcommand{\leadcolumntwo}{ $1$ }
\renewcommand{\leadcolumnthree}{ $2$ }
\renewcommand{\leadcolumnfour}{ $3$ }
\renewcommand{\leadcolumnfive}{ $4$ }
\renewcommand{\leadcolumnsix}{ $5$ }
\renewcommand{\leadcolumnseven}{ $6$ }
\renewcommand{\leadcolumneight}{ }
\renewcommand{\leadcolumnnine}{ }
\renewcommand{\leadcolumnten}{ }
\renewcommand{\leadcolumneleven}{ }
\renewcommand{\leadcolumntwelve}{ }
\renewcommand{\leadcolumnthirteen}{ }
\renewcommand{\leadcolumnfourteen}{ }
\renewcommand{\leadcolumnfifteen}{ }
\renewcommand{\leadcolumnsixteen}{ }
\renewcommand{\leadcolumnseventeen}{ }
\renewcommand{\leadcolumneightteen}{ }
\renewcommand{\leadcolumnnineteen}{ }
\renewcommand{\leadcolumntwenty}{ }
\renewcommand{\aonexone}{ 0 }
\renewcommand{\aonextwo}{ 0 }
\renewcommand{\aonexthree}{ 0 }
\renewcommand{\aonexfour}{ 0 }
\renewcommand{\aonexfive}{ 0 }
\renewcommand{\aonexsix}{ 0 }
\renewcommand{\aonexseven}{ 0 }
\renewcommand{\aonexeight}{ }
\renewcommand{\aonexnine}{ }
\renewcommand{\aonexten}{ }
\renewcommand{\aonexeleven}{ }
\renewcommand{\aonextwelve}{ }
\renewcommand{\atwoxone}{ 0 }
\renewcommand{\atwoxtwo}{ 1 }
\renewcommand{\atwoxthree}{ 2 }
\renewcommand{\atwoxfour}{ 3 }
\renewcommand{\atwoxfive}{ 4 }
\renewcommand{\atwoxsix}{ 5 }
\renewcommand{\atwoxseven}{ 6 }
\renewcommand{\atwoxeight}{ }
\renewcommand{\atwoxnine}{ }
\renewcommand{\atwoxten}{ }
\renewcommand{\atwoxeleven}{ }
\renewcommand{\atwoxtwelve}{ }
\renewcommand{\athreexone}{ 0 }
\renewcommand{\athreextwo}{ 2 }
\renewcommand{\athreexthree}{ 4 }
\renewcommand{\athreexfour}{ 6 }
\renewcommand{\athreexfive}{ 1 }
\renewcommand{\athreexsix}{ 3 }
\renewcommand{\athreexseven}{ 5 }
\renewcommand{\athreexeight}{ }
\renewcommand{\athreexnine}{ }
\renewcommand{\athreexten}{ }
\renewcommand{\athreexeleven}{ }
\renewcommand{\athreextwelve}{ }
\renewcommand{\afourxone}{ 0 }
\renewcommand{\afourxtwo}{ 3 }
\renewcommand{\afourxthree}{ 6 }
\renewcommand{\afourxfour}{ 2 }
\renewcommand{\afourxfive}{ 5 }
\renewcommand{\afourxsix}{ 1 }
\renewcommand{\afourxseven}{ 4 }
\renewcommand{\afourxeight}{ }
\renewcommand{\afourxnine}{ }
\renewcommand{\afourxten}{ }
\renewcommand{\afourxeleven}{ }
\renewcommand{\afourxtwelve}{ }
\renewcommand{\afivexone}{ 0 }
\renewcommand{\afivextwo}{ 4 }
\renewcommand{\afivexthree}{ 1 }
\renewcommand{\afivexfour}{ 5 }
\renewcommand{\afivexfive}{ 2 }
\renewcommand{\afivexsix}{ 6 }
\renewcommand{\afivexseven}{ 3 }
\renewcommand{\afivexeight}{ }
\renewcommand{\afivexnine}{ }
\renewcommand{\afivexten}{ }
\renewcommand{\afivexeleven}{ }
\renewcommand{\afivextwelve}{ }
\renewcommand{\asixxone}{ 0 }
\renewcommand{\asixxtwo}{ 5 }
\renewcommand{\asixxthree}{ 3 }
\renewcommand{\asixxfour}{ 1 }
\renewcommand{\asixxfive}{ 6 }
\renewcommand{\asixxsix}{ 4 }
\renewcommand{\asixxseven}{ 2 }
\renewcommand{\asixxeight}{ }
\renewcommand{\asixxnine}{ }
\renewcommand{\asixxten}{ }
\renewcommand{\asixxeleven}{ }
\renewcommand{\asixxtwelve}{ }
\renewcommand{\asevenxone}{ 0 }
\renewcommand{\asevenxtwo}{ 6 }
\renewcommand{\asevenxthree}{ 5 }
\renewcommand{\asevenxfour}{ 4 }
\renewcommand{\asevenxfive}{ 3 }
\renewcommand{\asevenxsix}{ 2 }
\renewcommand{\asevenxseven}{ 1 }
\renewcommand{\asevenxeight}{ }
\renewcommand{\asevenxnine}{ }
\renewcommand{\asevenxten}{ }
\renewcommand{\asevenxeleven}{ }
\renewcommand{\asevenxtwelve}{ }
\renewcommand{\aeightxone}{ }
\renewcommand{\aeightxtwo}{ }
\renewcommand{\aeightxthree}{ }
\renewcommand{\aeightxfour}{ }
\renewcommand{\aeightxfive}{ }
\renewcommand{\aeightxsix}{ }
\renewcommand{\aeightxseven}{ }
\renewcommand{\aeightxeight}{ }
\renewcommand{\aeightxnine}{ }
\renewcommand{\aeightxten}{ }
\renewcommand{\aeightxeleven}{ }
\renewcommand{\aeightxtwelve}{ }
\renewcommand{\aninexone}{ }
\renewcommand{\aninextwo}{ }
\renewcommand{\aninexthree}{ }
\renewcommand{\aninexfour}{ }
\renewcommand{\aninexfive}{ }
\renewcommand{\aninexsix}{ }
\renewcommand{\aninexseven}{ }
\renewcommand{\aninexeight}{ }
\renewcommand{\aninexnine}{ }
\renewcommand{\aninexten}{ }
\renewcommand{\aninexeleven}{ }
\renewcommand{\aninextwelve}{ }
\renewcommand{\atenxone}{ }
\renewcommand{\atenxtwo}{ }
\renewcommand{\atenxthree}{ }
\renewcommand{\atenxfour}{ }
\renewcommand{\atenxfive}{ }
\renewcommand{\atenxsix}{ }
\renewcommand{\atenxseven}{ }
\renewcommand{\atenxeight}{ }
\renewcommand{\atenxnine}{ }
\renewcommand{\atenxten}{ }
\renewcommand{\atenxeleven}{ }
\renewcommand{\atenxtwelve}{ }
\renewcommand{\aelevenxone}{ }
\renewcommand{\aelevenxtwo}{ }
\renewcommand{\aelevenxthree}{ }
\renewcommand{\aelevenxfour}{ }
\renewcommand{\aelevenxfive}{ }
\renewcommand{\aelevenxsix}{ }
\renewcommand{\aelevenxseven}{ }
\renewcommand{\aelevenxeight}{ }
\renewcommand{\aelevenxnine}{ }
\renewcommand{\aelevenxten}{ }
\renewcommand{\aelevenxeleven}{ }
\renewcommand{\aelevenxtwelve}{ }
\renewcommand{\atwelvexone}{ }
\renewcommand{\atwelvextwo}{ }
\renewcommand{\atwelvexthree}{ }
\renewcommand{\atwelvexfour}{ }
\renewcommand{\atwelvexfive}{ }
\renewcommand{\atwelvexsix}{ }
\renewcommand{\atwelvexseven}{ }
\renewcommand{\atwelvexeight}{ }
\renewcommand{\atwelvexnine}{ }
\renewcommand{\atwelvexten}{ }
\renewcommand{\atwelvexeleven}{ }
\renewcommand{\atwelvextwelve}{ }
\renewcommand{\athirteenxone}{ }
\renewcommand{\athirteenxtwo}{ }
\renewcommand{\athirteenxthree}{ }
\renewcommand{\athirteenxfour}{ }
\renewcommand{\athirteenxfive}{ }
\renewcommand{\athirteenxsix}{ }
\renewcommand{\athirteenxseven}{ }
\renewcommand{\athirteenxeight}{ }
\renewcommand{\athirteenxnine}{ }
\renewcommand{\athirteenxten}{ }
\renewcommand{\athirteenxeleven}{ }
\renewcommand{\athirteenxtwelve}{ }
\renewcommand{\afourteenxone}{ }
\renewcommand{\afourteenxtwo}{ }
\renewcommand{\afourteenxthree}{ }
\renewcommand{\afourteenxfour}{ }
\renewcommand{\afourteenxfive}{ }
\renewcommand{\afourteenxsix}{ }
\renewcommand{\afourteenxseven}{ }
\renewcommand{\afourteenxeight}{ }
\renewcommand{\afourteenxnine}{ }
\renewcommand{\afourteenxten}{ }
\renewcommand{\afourteenxeleven}{ }
\renewcommand{\afourteenxtwelve}{ }
\renewcommand{\afifteenxone}{ }
\renewcommand{\afifteenxtwo}{ }
\renewcommand{\afifteenxthree}{ }
\renewcommand{\afifteenxfour}{ }
\renewcommand{\afifteenxfive}{ }
\renewcommand{\afifteenxsix}{ }
\renewcommand{\afifteenxseven}{ }
\renewcommand{\afifteenxeight}{ }
\renewcommand{\afifteenxnine}{ }
\renewcommand{\afifteenxten}{ }
\renewcommand{\afifteenxeleven}{ }
\renewcommand{\afifteenxtwelve}{ }
\renewcommand{\asixteenxone}{ }
\renewcommand{\asixteenxtwo}{ }
\renewcommand{\asixteenxthree}{ }
\renewcommand{\asixteenxfour}{ }
\renewcommand{\asixteenxfive}{ }
\renewcommand{\asixteenxsix}{ }
\renewcommand{\asixteenxseven}{ }
\renewcommand{\asixteenxeight}{ }
\renewcommand{\asixteenxnine}{ }
\renewcommand{\asixteenxten}{ }
\renewcommand{\asixteenxeleven}{ }
\renewcommand{\asixteenxtwelve}{ }
\renewcommand{\aseventeenxone}{ }
\renewcommand{\aseventeenxtwo}{ }
\renewcommand{\aseventeenxthree}{ }
\renewcommand{\aseventeenxfour}{ }
\renewcommand{\aseventeenxfive}{ }
\renewcommand{\aseventeenxsix}{ }
\renewcommand{\aseventeenxseven}{ }
\renewcommand{\aseventeenxeight}{ }
\renewcommand{\aseventeenxnine}{ }
\renewcommand{\aseventeenxten}{ }
\renewcommand{\aseventeenxeleven}{ }
\renewcommand{\aseventeenxtwelve}{ }
\renewcommand{\aeightteenxone}{ }
\renewcommand{\aeightteenxtwo}{ }
\renewcommand{\aeightteenxthree}{ }
\renewcommand{\aeightteenxfour}{ }
\renewcommand{\aeightteenxfive}{ }
\renewcommand{\aeightteenxsix}{ }
\renewcommand{\aeightteenxseven}{ }
\renewcommand{\aeightteenxeight}{ }
\renewcommand{\aeightteenxnine}{ }
\renewcommand{\aeightteenxten}{ }
\renewcommand{\aeightteenxeleven}{ }
\renewcommand{\aeightteenxtwelve}{ }
\tableleadsevenxseven
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Monkey_Saddle_Surface_(Shaded).png} }
\end{center}
\imagetext {} }
\imagelicense { Monkey Saddle Surface (Shaded).png } {} {Inductiveload} {Commons} {PD} {}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Schoenberg-ebringen-isohypsen.png} }
\end{center}
\imagetext {} }
\imagelicense { Schoenberg-ebringen-isohypsen.png } {} {W-j-s} {Commons} {CC-by-sa 3.0} {}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Elliptic_orbit.gif} }
\end{center}
\imagetext {} }
\imagelicense { Elliptic orbit.gif } {} {Brandir} {Commons} {CC-BY-SA 2.5} {}
\subtitle {Injective and surjective mappings}
\inputdefinition
{ }
{
Let $L$ and $M$ denote sets, and let
\mathdisp {F \colon L \longrightarrow M
, x \longmapsto F(x)} { , }
be a
mapping.
Then $F$ is called \definitionword {injective}{} if for two different elements
\mathrelationchain
{\relationchain
{ x,x'
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mathcor {} {F(x)} {and} {F(x')} {}
}
\inputdefinition
{ }
{
Let $L$ and $M$ denote sets, and let
\mathdisp {F \colon L \longrightarrow M
, x \longmapsto F(x)} { , }
be a
mapping.
Then $F$ is called \definitionword {surjective}{} if, for every
\mathrelationchain
{\relationchain
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
there exists at least one element
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
such that
\mathrelationchaindisplay
{\relationchain
{F(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
}
\inputdefinition
{ }
{
Let $M$ and $L$ denote sets, and suppose that
\mathdisp {F \colon M \longrightarrow L
, x \longmapsto F(x)} { , }
is a
mapping.
Then $F$ is called \definitionword {bijective}{} if $F$ is
injective
as well as
}
These concepts are fundamental!
The question, whether a mapping $F \colon L \rightarrow M$ has the properties of being
injective
or
surjective,
can be understood looking at the equation
\mathrelationchaindisplay
{\relationchain
{F(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
(in the two variables $x$ and $y$). The surjectivity means that for every
\mathrelationchain
{\relationchain
{y
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
there exists at least one solution
\mathrelationchaindisplay
{\relationchain
{x
}
{ \in} { L
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
for this equation; the injectivity means that for every
\mathrelationchain
{\relationchain
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
there exists at most one solution
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for this equation. The bijectivity means that for every
\mathrelationchain
{\relationchain
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
there exists exactly one solution
\mathrelationchain
{\relationchain
{x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for this equation. Hence, surjectivity means the existence of solutions, and injectivity means the uniqueness of solutions. Both questions are everywhere in mathematics, and they can also be interpreted as surjectivity or injectivity of suitable mappings.
In order to show that a certain mapping is injective, we often use the following strategy: One shows for any two given elements
\mathcor {} {x} {and} {x'} {}
using the condition
\mathrelationchain
{\relationchain
{ F(x)
}
{ = }{ F(x')
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
that
\mathrelationchain
{\relationchain
{x
}
{ = }{x'
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
holds. This method is often easier than showing that
\mathrelationchain
{\relationchain
{x
}
{ \neq }{x'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
implies
\mathrelationchain
{\relationchain
{F(x)
}
{ \neq }{F(x')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputexample{}
{
The
mapping
\mathdisp {\R \longrightarrow \R
, x \longmapsto x^2} { , }
is neither injective nor surjective. It is not
injective
because the different numbers
\mathcor {} {2} {and} {-2} {}
are both sent to $4$. It is not
surjective
because only nonnegative elements are in the image
\extrabracket {a negative number does not have a real square root} {} {.}
The mapping
\mathdisp {\R_{\geq 0} \longrightarrow \R
, x \longmapsto x^2} { , }
is injective, but not surjective. The injectivity can be seen as follows: If
\mathrelationchain
{\relationchain
{x
}
{ \neq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
then one number is larger, say
\mathrelationchaindisplay
{\relationchain
{x
}
{ >} {y
}
{ \geq} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
But then also
\mathrelationchain
{\relationchain
{x^2
}
{ > }{ y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
and in particular
\mathrelationchain
{\relationchain
{x^2
}
{ \neq }{y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
The mapping
\mathdisp {\R \longrightarrow \R_{\geq 0}
, x \longmapsto x^2} { , }
is not injective, but surjective, since every nonnegative real number has a square root. The mapping
\mathdisp {\R_{\geq 0} \longrightarrow \R_{\geq 0}
, x \longmapsto x^2} { , }
is injective and surjective.
}
\inputdefinition
{ }
{
Let
$F \colon L \rightarrow M$
denote a
bijective mapping.
Then the mapping
\mathdisp {G \colon M \longrightarrow L} { }
that sends every element
\mathrelationchain
{\relationchain
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
to the uniquely determined element
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with
\mathrelationchain
{\relationchain
{F(x)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
The inverse mapping is usually denoted by $F^{-1}$.
We discuss two classes of mappings that are in the framework of linear algebra very important. They are both so-called \keyword {linear mappings} {.}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Proportional variables.svg} }
\end{center}
\imagetext {} }
\imagelicense { Proportional variables.svg } {} {Krishnavedala} {Commons} {Public domain} {}
\inputexample{}
{
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Proportional variables.svg} }
\end{center}
\imagetext {} }
\imagelicense { Proportional variables.svg } {} {Krishnavedala} {Commons} {Public domain} {}
Let
\mathrelationchain
{\relationchain
{ a
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be fixed. This real number defines a
mapping
\mathdisp {\R \longrightarrow \R
, x \longmapsto ax} { . }
For
\mathrelationchain
{\relationchain
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
this is the constant zero mapping. For
\mathrelationchain
{\relationchain
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
we have a
bijective
mapping; the
inverse mapping
is
\mathdisp {y \longrightarrow { \frac{ 1 }{ a } } y} { . }
Here, the inverse mapping has a similar form as the mapping itself.
}
\inputexample{}
{
Let an
$m \times n$-matrix
\mathdisp {\begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ m 1 } & a_{ m 2 } & \ldots & a_{ m n } \end{pmatrix}} { }
be given, where the entries \mathl{a_{ij}}{} are real numbers. Such a matrix defines a
mapping
\mathdisp {\varphi \colon \R^n \longrightarrow \R^m} { , }
by sending an $n$-tuple
\mathrelationchain
{\relationchain
{ x
}
{ = }{ \begin{pmatrix} x_1 \\x_2\\ \vdots\\x_n \end{pmatrix}
}
{ \in }{ \R^n
}
{ }{
}
{ }{
}
}
{}{}{}
to the $m$-tuple
\mathrelationchainalign
{\relationchainalign
{ \varphi(x)
}
{ =} { \begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ m 1 } & a_{ m 2 } & \ldots & a_{ m n } \end{pmatrix} \begin{pmatrix} x_1 \\x_2\\ \vdots\\x_n \end{pmatrix}
}
{ =} { \begin{pmatrix} a_{11} x_1 + a_{12} x_2 + \cdots + a_{1n} x_n \\ a_{21} x_1 + a_{22} x_2 + \cdots + a_{2n} x_n \\ \vdots\\ a_{m1} x_1 + a_{m2} x_2 + \cdots + a_{mn} x_n \end{pmatrix}
}
{ =} { \begin{pmatrix} \sum_{j = 1}^n a_{1j} x_j \\ \sum_{j = 1}^n a_{2j} x_j \\ \vdots\\ \sum_{j = 1}^n a_{mj} x_j \end{pmatrix}
}
{ } {
}
}
{}
{}{.}
The $i$-th component of the image vector is
\mathrelationchaindisplay
{\relationchain
{ y_i
}
{ =} { \left( a_{i1} , \, a_{i2} , \, \ldots , \, a_{in} \right) \begin{pmatrix} x_1 \\x_2\\ \vdots\\x_n \end{pmatrix}
}
{ =} { \sum_{j = 1}^n a_{ij} x_j
}
{ } {
}
{ } {
}
}
{}{}{.}
So one has to apply the $i$-th row of the matrix to the column vector $x$ in the described way.
}
It is a goal of linear algebra to determine, in dependence of the entries $a_{ij}$, whether the mapping defined by the matrix is injective, surjective, or bijective, and how, in the bijective case, the inverse mapping looks like.
\inputexample{}
{
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Fruit salad (1).jpg} }
\end{center}
\imagetext {} }
\imagelicense { Fruit salad (1).jpg } {} {Fæ} {Commons} {public domain} {}
A healthy breakfast starts with a fruit salad. The following table shows how much vitamin C, calcium, and magnesium various fruits have \extrabracket {in milligrams with respect to 100 grams of the fruit} {} {.}
%Data for following table
\renewcommand{\leadrowzero}{ }
\renewcommand{\leadrowone}{ apple }
\renewcommand{\leadrowtwo}{ orange }
\renewcommand{\leadrowthree}{ grapes }
\renewcommand{\leadrowfour}{ banana }
\renewcommand{\leadrowfive}{ }
\renewcommand{\leadrowsix}{ }
\renewcommand{\leadrowseven}{ }
\renewcommand{\leadroweight}{ }
\renewcommand{\leadrownine}{ }
\renewcommand{\leadrowten}{ }
\renewcommand{\leadroweleven}{ }
\renewcommand{\leadrowtwelve}{ }
\renewcommand{\leadcolumnzero}{ }
\renewcommand{\leadcolumnone}{ vitamin C }
\renewcommand{\leadcolumntwo}{ calcium }
\renewcommand{\leadcolumnthree}{ magnesium }
\renewcommand{\leadcolumnfour}{ }
\renewcommand{\leadcolumnfive}{ }
\renewcommand{\leadcolumnsix}{ }
\renewcommand{\leadcolumnseven}{ }
\renewcommand{\leadcolumneight}{ }
\renewcommand{\leadcolumnnine}{ }
\renewcommand{\leadcolumnten}{ }
\renewcommand{\leadcolumneleven}{ }
\renewcommand{\leadcolumntwelve}{ }
\renewcommand{\leadcolumnthirteen}{ }
\renewcommand{\leadcolumnfourteen}{ }
\renewcommand{\leadcolumnfifteen}{ }
\renewcommand{\leadcolumnsixteen}{ }
\renewcommand{\leadcolumnseventeen}{ }
\renewcommand{\leadcolumneightteen}{ }
\renewcommand{\leadcolumnnineteen}{ }
\renewcommand{\leadcolumntwenty}{ }
\renewcommand{\aonexone}{ 12 }
\renewcommand{\aonextwo}{ 53 }
\renewcommand{\aonexthree}{ 4 }
\renewcommand{\aonexfour}{ 9 }
\renewcommand{\aonexfive}{ }
\renewcommand{\aonexsix}{ }
\renewcommand{\aonexseven}{ }
\renewcommand{\aonexeight}{ }
\renewcommand{\aonexnine}{ }
\renewcommand{\aonexten}{ }
\renewcommand{\aonexeleven}{ }
\renewcommand{\aonextwelve}{ }
\renewcommand{\atwoxone}{ 7 }
\renewcommand{\atwoxtwo}{ 40 }
\renewcommand{\atwoxthree}{ 12 }
\renewcommand{\atwoxfour}{ 5 }
\renewcommand{\atwoxfive}{ z_2 }
\renewcommand{\atwoxsix}{ }
\renewcommand{\atwoxseven}{ }
\renewcommand{\atwoxeight}{ }
\renewcommand{\atwoxnine}{ }
\renewcommand{\atwoxten}{ }
\renewcommand{\atwoxeleven}{ }
\renewcommand{\atwoxtwelve}{ }
\renewcommand{\athreexone}{ 6 }
\renewcommand{\athreextwo}{ 10 }
\renewcommand{\athreexthree}{ 8 }
\renewcommand{\athreexfour}{ 27 }
\renewcommand{\athreexfive}{ z_3 }
\renewcommand{\athreexsix}{ }
\renewcommand{\athreexseven}{ }
\renewcommand{\athreexeight}{ }
\renewcommand{\athreexnine}{ }
\renewcommand{\athreexten}{ }
\renewcommand{\athreexeleven}{ }
\renewcommand{\athreextwelve}{ }
\renewcommand{\afourxone}{ }
\renewcommand{\afourxtwo}{ }
\renewcommand{\afourxthree}{ }
\renewcommand{\afourxfour}{ }
\renewcommand{\afourxfive}{ }
\renewcommand{\afourxsix}{ }
\renewcommand{\afourxseven}{ }
\renewcommand{\afourxeight}{ }
\renewcommand{\afourxnine}{ }
\renewcommand{\afourxten}{ }
\renewcommand{\afourxeleven}{ }
\renewcommand{\afourxtwelve}{ }
\renewcommand{\afivexone}{ }
\renewcommand{\afivextwo}{ }
\renewcommand{\afivexthree}{ }
\renewcommand{\afivexfour}{ }
\renewcommand{\afivexfive}{ }
\renewcommand{\afivexsix}{ }
\renewcommand{\afivexseven}{ }
\renewcommand{\afivexeight}{ }
\renewcommand{\afivexnine}{ }
\renewcommand{\afivexten}{ }
\renewcommand{\afivexeleven}{ }
\renewcommand{\afivextwelve}{ }
\renewcommand{\asixxone}{ }
\renewcommand{\asixxtwo}{ }
\renewcommand{\asixxthree}{ }
\renewcommand{\asixxfour}{ }
\renewcommand{\asixxfive}{ }
\renewcommand{\asixxsix}{ }
\renewcommand{\asixxseven}{ }
\renewcommand{\asixxeight}{ }
\renewcommand{\asixxnine}{ }
\renewcommand{\asixxten}{ }
\renewcommand{\asixxeleven}{ }
\renewcommand{\asixxtwelve}{ }
\renewcommand{\asevenxone}{ }
\renewcommand{\asevenxtwo}{ }
\renewcommand{\asevenxthree}{ }
\renewcommand{\asevenxfour}{ }
\renewcommand{\asevenxfive}{ }
\renewcommand{\asevenxsix}{ }
\renewcommand{\asevenxseven}{ }
\renewcommand{\asevenxeight}{ }
\renewcommand{\asevenxnine}{ }
\renewcommand{\asevenxten}{ }
\renewcommand{\asevenxeleven}{ }
\renewcommand{\asevenxtwelve}{ }
\renewcommand{\aeightxone}{ }
\renewcommand{\aeightxtwo}{ }
\renewcommand{\aeightxthree}{ }
\renewcommand{\aeightxfour}{ }
\renewcommand{\aeightxfive}{ }
\renewcommand{\aeightxsix}{ }
\renewcommand{\aeightxseven}{ }
\renewcommand{\aeightxeight}{ }
\renewcommand{\aeightxnine}{ }
\renewcommand{\aeightxten}{ }
\renewcommand{\aeightxeleven}{ }
\renewcommand{\aeightxtwelve}{ }
\renewcommand{\aninexone}{ }
\renewcommand{\aninextwo}{ }
\renewcommand{\aninexthree}{ }
\renewcommand{\aninexfour}{ }
\renewcommand{\aninexfive}{ }
\renewcommand{\aninexsix}{ }
\renewcommand{\aninexseven}{ }
\renewcommand{\aninexeight}{ }
\renewcommand{\aninexnine}{ }
\renewcommand{\aninexten}{ }
\renewcommand{\aninexeleven}{ }
\renewcommand{\aninextwelve}{ }
\renewcommand{\atenxone}{ }
\renewcommand{\atenxtwo}{ }
\renewcommand{\atenxthree}{ }
\renewcommand{\atenxfour}{ }
\renewcommand{\atenxfive}{ }
\renewcommand{\atenxsix}{ }
\renewcommand{\atenxseven}{ }
\renewcommand{\atenxeight}{ }
\renewcommand{\atenxnine}{ }
\renewcommand{\atenxten}{ }
\renewcommand{\atenxeleven}{ }
\renewcommand{\atenxtwelve}{ }
\renewcommand{\aelevenxone}{ }
\renewcommand{\aelevenxtwo}{ }
\renewcommand{\aelevenxthree}{ }
\renewcommand{\aelevenxfour}{ }
\renewcommand{\aelevenxfive}{ }
\renewcommand{\aelevenxsix}{ }
\renewcommand{\aelevenxseven}{ }
\renewcommand{\aelevenxeight}{ }
\renewcommand{\aelevenxnine}{ }
\renewcommand{\aelevenxten}{ }
\renewcommand{\aelevenxeleven}{ }
\renewcommand{\aelevenxtwelve}{ }
\renewcommand{\atwelvexone}{ }
\renewcommand{\atwelvextwo}{ }
\renewcommand{\atwelvexthree}{ }
\renewcommand{\atwelvexfour}{ }
\renewcommand{\atwelvexfive}{ }
\renewcommand{\atwelvexsix}{ }
\renewcommand{\atwelvexseven}{ }
\renewcommand{\atwelvexeight}{ }
\renewcommand{\atwelvexnine}{ }
\renewcommand{\atwelvexten}{ }
\renewcommand{\atwelvexeleven}{ }
\renewcommand{\atwelvextwelve}{ }
\renewcommand{\athirteenxone}{ }
\renewcommand{\athirteenxtwo}{ }
\renewcommand{\athirteenxthree}{ }
\renewcommand{\athirteenxfour}{ }
\renewcommand{\athirteenxfive}{ }
\renewcommand{\athirteenxsix}{ }
\renewcommand{\athirteenxseven}{ }
\renewcommand{\athirteenxeight}{ }
\renewcommand{\athirteenxnine}{ }
\renewcommand{\athirteenxten}{ }
\renewcommand{\athirteenxeleven}{ }
\renewcommand{\athirteenxtwelve}{ }
\renewcommand{\afourteenxone}{ }
\renewcommand{\afourteenxtwo}{ }
\renewcommand{\afourteenxthree}{ }
\renewcommand{\afourteenxfour}{ }
\renewcommand{\afourteenxfive}{ }
\renewcommand{\afourteenxsix}{ }
\renewcommand{\afourteenxseven}{ }
\renewcommand{\afourteenxeight}{ }
\renewcommand{\afourteenxnine}{ }
\renewcommand{\afourteenxten}{ }
\renewcommand{\afourteenxeleven}{ }
\renewcommand{\afourteenxtwelve}{ }
\renewcommand{\afifteenxone}{ }
\renewcommand{\afifteenxtwo}{ }
\renewcommand{\afifteenxthree}{ }
\renewcommand{\afifteenxfour}{ }
\renewcommand{\afifteenxfive}{ }
\renewcommand{\afifteenxsix}{ }
\renewcommand{\afifteenxseven}{ }
\renewcommand{\afifteenxeight}{ }
\renewcommand{\afifteenxnine}{ }
\renewcommand{\afifteenxten}{ }
\renewcommand{\afifteenxeleven}{ }
\renewcommand{\afifteenxtwelve}{ }
\renewcommand{\asixteenxone}{ }
\renewcommand{\asixteenxtwo}{ }
\renewcommand{\asixteenxthree}{ }
\renewcommand{\asixteenxfour}{ }
\renewcommand{\asixteenxfive}{ }
\renewcommand{\asixteenxsix}{ }
\renewcommand{\asixteenxseven}{ }
\renewcommand{\asixteenxeight}{ }
\renewcommand{\asixteenxnine}{ }
\renewcommand{\asixteenxten}{ }
\renewcommand{\asixteenxeleven}{ }
\renewcommand{\asixteenxtwelve}{ }
\renewcommand{\aseventeenxone}{ }
\renewcommand{\aseventeenxtwo}{ }
\renewcommand{\aseventeenxthree}{ }
\renewcommand{\aseventeenxfour}{ }
\renewcommand{\aseventeenxfive}{ }
\renewcommand{\aseventeenxsix}{ }
\renewcommand{\aseventeenxseven}{ }
\renewcommand{\aseventeenxeight}{ }
\renewcommand{\aseventeenxnine}{ }
\renewcommand{\aseventeenxten}{ }
\renewcommand{\aseventeenxeleven}{ }
\renewcommand{\aseventeenxtwelve}{ }
\renewcommand{\aeightteenxone}{ }
\renewcommand{\aeightteenxtwo}{ }
\renewcommand{\aeightteenxthree}{ }
\renewcommand{\aeightteenxfour}{ }
\renewcommand{\aeightteenxfive}{ }
\renewcommand{\aeightteenxsix}{ }
\renewcommand{\aeightteenxseven}{ }
\renewcommand{\aeightteenxeight}{ }
\renewcommand{\aeightteenxnine}{ }
\renewcommand{\aeightteenxten}{ }
\renewcommand{\aeightteenxeleven}{ }
\renewcommand{\aeightteenxtwelve}{ }
\tableleadthreexfour
This table yields a mapping, which assigns to a $4$-tuple \mathl{\begin{pmatrix} x_1 \\x_2\\ x_3\\x_4 \end{pmatrix}}{,} representing the used fruits, the content of the resulting fruit salad with respect to vitamin C, calcium, and magnesium, in the form of a $3$-tuple \mathl{\begin{pmatrix} y_1 \\y_2\\ y_3 \end{pmatrix}}{.} This mapping can be described with the matrix
\mathdisp {\begin{pmatrix} 12 & 53 & 4 & 9 \\ 7 & 40 & 12 & 5 \\ 6 & 10 & 8 & 27 \end{pmatrix}} { }
using matrix multiplication as
\mathdisp {\begin{pmatrix} x_1 \\x_2\\ x_3\\x_4 \end{pmatrix} \longmapsto \begin{pmatrix} 12 & 53 & 4 & 9 \\ 7 & 40 & 12 & 5 \\ 6 & 10 & 8 & 27 \end{pmatrix} \begin{pmatrix} x_1 \\x_2\\ x_3\\x_4 \end{pmatrix} = \begin{pmatrix} 12x_1 +53x_2 +4x_3+9 x_4 \\7x_1 +40x_2 +12x_3+ 5 x_4\\ 6 x_1 + 10 x_2 + 8x_3+ 27 x_4 \end{pmatrix} = \begin{pmatrix} y_1 \\y_2\\ y_3 \end{pmatrix}} { . }
}
\subtitle {Composition of mappings}
\inputdefinition
{ }
{
Let
$L,\, M$ and $N$
denote sets, let
\mathdisp {F \colon L \longrightarrow M
, x \longmapsto F(x)} { , }
and
\mathdisp {G \colon M \longrightarrow N
, y \longmapsto G(y)} { , }
be
mappings.
Then the mapping
\mathdisp {G \circ F \colon L \longrightarrow N
, x \longmapsto G(F(x))} { , }
is called the \definitionword {composition}{} of the mappings
}
So we have
\mathrelationchaindisplay
{\relationchain
{ (G \circ F)(x)
}
{ \defeq} { G(F(x))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
where the left-hand side is defined by the right-hand side. If both mappings are given by functional expressions, then the composition is realized by plugging in the first term into the variable of the second term
\extrabracket {and to simplify the expression, if possible} {} {.}
The
composition
of
\mathdisp {F \colon \R \longrightarrow \R
, t \longmapsto t^3} { , }
and
\mathdisp {G \colon \R \longrightarrow \R
, x \longmapsto x^2 -x} { , }
is given by
\mathrelationchaindisplay
{\relationchain
{ (G \circ F) (t)
}
{ =} { (t^3)^2 - t^3
}
{ =} { t^6-t^3
}
{ } {
}
{ } {
}
}
{}{}{.}
However,
\mathrelationchaindisplay
{\relationchain
{ (F \circ G) (x)
}
{ =} { (x^2 - x)^3
}
{ =} { x^6 -3x^5 +3x^4 -x^3
}
{ } {
}
{ } {
}
}
{}{}{.}
Hence, the composition of two mappings depends on the ordering.
For a bijective mapping
$\varphi \colon M \rightarrow N$,
the inverse mapping
$\varphi^{-1} \colon N \rightarrow M$
is characterized by the conditions
\mathrelationchaindisplay
{\relationchain
{ \varphi \circ \varphi^{-1}
}
{ =} {
\operatorname{Id}_{ N }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
and
\mathrelationchaindisplay
{\relationchain
{ \varphi^{-1} \circ \varphi
}
{ =} {
\operatorname{Id}_{ M }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputfactproof
{Mapping/Composition/Associativity/Fact}
{Lemma}
{}
{
\factsituation {Let
$L, M, N$ and $P$
be sets, and let
\mathdisp {F \colon L \longrightarrow M
, x \longmapsto F(x)} { , }
\mathdisp {G \colon M \longrightarrow N
, y \longmapsto G(y)} { , }
and
\mathdisp {H \colon N \longrightarrow P
, z \longmapsto H(z)} { , }
be
mappings.}
\factconclusion {Then
\mathrelationchaindisplay
{\relationchain
{ H \circ (G \circ F)
}
{ =} { (H \circ G) \circ F
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
holds.}
\factextra {}
}
{
Two mappings
$\alpha, \beta \colon L \rightarrow P$
are the same if and only if the equality
\mathrelationchain
{\relationchain
{ \alpha(x)
}
{ = }{\beta(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for every
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
So let
\mathrelationchain
{\relationchain
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Then
\mathrelationchainalign
{\relationchainalign
{ ( H \circ ( G \circ F)) (x)
}
{ =} { H( ( G \circ F) (x) )
}
{ =} { H( G(F(x)) )
}
{ =} { ( H \circ G ) (F(x))
}
{ =} { (( H \circ G ) \circ F)(x)
}
}
{}
{}{.}
\subtitle {Graph, image and preimage of a mapping}
\inputdefinition
{ }
{
Let
\mathcor {} {L} {and} {M} {}
be sets, and let
\mathdisp {F \colon L \longrightarrow M} { }
be a
mapping.
Then the set
\mathrelationchaindisplay
{\relationchain
{ \Gamma
}
{ =} { \Gamma_F
}
{ =} { { \left\{ (x,F(x)) \mid x \in L \right\} }
}
{ \subseteq} { L \times M
}
{ } {
}
}
{}{}{}
}
The graph is a concept of set theory. Whether it is possible to \quotationshort{visualize}{} it in a picture depends on whether we can visualize the product set \mathl{L \times M}{.}
\inputdefinition
{ }
{
Let
\mathcor {} {L} {and} {M} {}
be sets, and let
\mathdisp {F \colon L \longrightarrow M} { }
be a
mapping.
For a subset
\mathrelationchain
{\relationchain
{S
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
we call
\mathrelationchaindisplay
{\relationchain
{ F(S)
}
{ =} { { \left\{ y \in M \mid \text{there exists an } x \in S \text{ such that } F(x)= y \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
the \definitionword {image of}{} $S$ under $F$. For
\mathrelationchain
{\relationchain
{S
}
{ = }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mathrelationchaindisplay
{\relationchain
{ F(L)
}
{ =} { \operatorname{Im} F
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
\inputdefinition
{ }
{
Let
\mathcor {} {L} {and} {M} {}
be sets, and let
\mathdisp {F \colon L \longrightarrow M} { }
be a
mapping.
For a subset
\mathrelationchain
{\relationchain
{T
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
we call
\mathrelationchaindisplay
{\relationchain
{ F^{-1}(T)
}
{ =} { { \left\{ x \in L \mid F(x) \in T \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
the \definitionword {preimage of}{} $T$ under $F$. For a subset
\mathrelationchain
{\relationchain
{T
}
{ = }{ \{y\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with one element, we call
\mathdisp {F^{-1}(\{y\})} { }
}
For the mapping
\mathdisp {\R \longrightarrow \R
, x \longmapsto x^2} { , }
the image of \mathl{[1,2]}{} is the set of all squares of real numbers between
\mathcor {} {1} {and} {2} {,}
this is thus \mathl{[1,4]}{.} The preimage of \mathl{[1,4]}{} consists of all real numbers whose square is between
\mathcor {} {1} {and} {4} {.}
This is \mathl{[-2,-1] \cup [1,2]}{.}
For two given sets
\mathcor {} {L} {and} {M} {,}
we denote the \keyword {set of mappings} {} from $L$ to $M$ by
\mathrelationchaindisplay
{\relationchain
{ \operatorname{Map} \, { \left( L , M \right) }
}
{ =} { { \left\{ f: L \rightarrow M \mid f \text{ mapping} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\subtitle {Binary operations}
The natural addition assigns to two real numbers another real number, its structure is
\mathdisp {+ \colon \R \times \R \longrightarrow \R
, (x,y) \longmapsto x+y} { . }
Such binary operations play an important role in mathematics.
\inputdefinition
{ }
{
An \definitionword {operation}{}
\extrabracket {or \definitionword {binary operation}{}} {} {}
$\circ$ on a set $M$ is a
mapping
\mathdisp {\circ \colon M\times M \longrightarrow M
}
A binary operation assigns to a pair
\mathrelationchaindisplay
{\relationchain
{ (x,y)
}
{ \in} { M \times M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
another element
\mathrelationchaindisplay
{\relationchain
{ x \circ y
}
{ \in} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Many mathematical constructions are captured by this concept: addition, difference, multiplication, division of numbers, the composition of mappings, the intersection or the union of sets, etc. Basically, any symbol can be used to denote a binary operation, like $\circ, \cdot, +,-, \oplus, \clubsuit, \heartsuit$. Depending on the symbol, we call the binary operation also \keyword {multiplication} {} or \keyword {addition} {,} but this does not mean that we are referring to any natural multiplication. Important structural properties of a binary operation are listed in the following definitions.
\inputdefinition
{ }
{
A
binary operation
\mathdisp {\circ \colon M \times M \longrightarrow M
, (x,y) \longmapsto x \circ y} { , }
on a set $M$ is called \definitionword {commutative}{} if for all
\mathrelationchain
{\relationchain
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the equality
\mathrelationchaindisplay
{\relationchain
{ x \circ y
}
{ =} { y \circ x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
\inputdefinition
{ }
{
A
binary operation
\mathdisp {\circ \colon M \times M \longrightarrow M
, (x,y) \longmapsto x \circ y} { , }
on a set $M$ is called \definitionword {associative}{} if for all
\mathrelationchain
{\relationchain
{x,y,z
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the equality
\mathrelationchaindisplay
{\relationchain
{( x \circ y ) \circ z
}
{ =} { y \circ ( x \circ z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
\inputdefinition
{ }
{
Let a set $M$ and a
binary operation
\mathdisp {\circ \colon M \times M \longrightarrow M
, (x,y) \longmapsto x \circ y} { , }
be given. An element
\mathrelationchain
{\relationchain
{e
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is called \definitionword {neutral element}{} of the operation if, for all
\mathrelationchain
{\relationchain
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the equalities
\mathrelationchain
{\relationchain
{ x \circ e
}
{ = }{ x
}
{ = }{ e \circ x
}
{ }{
}
{ }{
}
}
{}{}{}
}
In the commutative case, it is enough to check only one property of the neutral element.
\inputdefinition
{ }
{
Let a set $M$ with a
binary operation
\mathdisp {\circ \colon M \times M \longrightarrow M
, (x,y) \longmapsto x \circ y} { , }
and a
neutral element
\mathrelationchain
{\relationchain
{e
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be given. For an element
\mathrelationchain
{\relationchain
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
an element
\mathrelationchain
{\relationchain
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is called \definitionword {inverse element}{}
\extrabracket {for $x$} {} {}
if the equalities
\mathrelationchaindisplay
{\relationchain
{ x \circ y
}
{ =} { e
}
{ =} { y \circ x
}
{ } {
}
{ } {
}
}
{}{}{}
}
\inputexample{}
{
Let $L$ be a set, and let
\mathrelationchaindisplay
{\relationchain
{M
}
{ =} { \operatorname{Map} \, { \left( L , L \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
be the set of all
mappings
from $L$ to itself. The
composition of mappings
gives a
binary operation
on $M$, which is
associative,
due to
Lemma 2.11
.
In general, it is not
commutative.
The
identity
on $L$ is the
neutral element.
A mapping
$f \colon L \rightarrow L$
has an
inverse element
if and only if it is
bijective;
the inverse element is just the
inverse mapping.
}