Epimorphisms

↳ Project "Serlo"
↳ Linear algebra
Contents "Linear algebra"

Linear maps preserve linear combinations. We now learn about special linear maps that preserve generators. These are called epimorphisms.

Motivation and derivation

In the article on monomorphisms we considered linear maps which map linearly independent vectors to linearly independent vectors. There we found out that these maps are exactly injective linear maps. Injective linear maps therefore "preserve" linear independence.

Using the linear independence, we could express the intuitive dimension notion in mathematical (linear algebra) terms. There, we also encountered generators. Now: Are there also linear maps that preserve generators?

So let $V, W$ be two $K$ -vector spaces over the same field $K$ and ${v_{1}, \dots, v_{n}} \subseteq V$ a generator. Now, what properties must a linear map $f : V \to W$ satisfy, in order for ${f (v_{1}), \dots, f (v_{n})}$ being a generator of vector space $W$ ? For this, we would need to be able to represent any $w \in W$ as a linear combination of $f (v_{i})$ . That is, we need to find $λ_{1}, \dots, λ_{n} \in K$ such that

w = \sum_{i = 1}^{n} λ_{i} f (v_{i}) .

Since the map $f$ is linear, this is equivalent to

w = f (\sum_{i = 1}^{n} λ_{i} v_{i}) .

So $w$ must be in the image of $f$ . This is said to hold for every $w \in W$ . Thus $f (V) = W$ is a necessary condition for $f$ to preserve generators.

Is this also a sufficient condition? Let $f (V) = W$ . We investigate whether every $w \in W$ can be represented as a linear combination of $f (v_{i})$ . Because $f (V) = W$ we have for any $w \in W$ a vector $v \in V$ with $f (v) = w$ . Since $v_{1}, \dots, v_{n}$ is a generator of $V$ , there are some linear combination factors $λ_{1}, \dots, λ_{n}$ with

v = \sum_{i = 1}^{n} λ_{i} v_{i} .

So we can write $w$ as:

w = f (\sum_{i = 1}^{n} λ_{i} v_{i}) = \sum_{i = 1}^{n} λ_{i} f (v_{i})

And hence $w$ is within the generated space of the $f (v_{i})$ .

Thus, the linear map $f$ preserves generators if and only if $f (V) = W$ . Moreover, $f$ satisfies $f (V) = W$ exactly if $f$ is surjective. Thus, a linear map must be surjective to have the generating property. We call surjective linear maps epimorphisms.

Definition

Definition (Epimorphism)

An epimorphism is a surjective linear map $f : V \to W$ between two $K$ -vector spaces $V$ and $W$ . That is: to every $w \in W$ there is a $v \in V$ such that $w = f (v)$ .

Equivalent characterization of epimorphisms

We have already considered in the motivation that surjective linear maps are exactly the maps that preserve generators.
Because the case of finite generators is more important than the general statement, we consider this case first. Then we investigate what we need to change for the general case:

Theorem

Let $f : V \to W$ be a linear map and let ${v_{1}, \dots, v_{n}} \subseteq V$ be a generator of $V$ .

The linear map $f$ is an epimorphism exactly if ${f (v_{1}), \dots, f (v_{n})}$ is a generator of $W$ .

Proof

Proof step: „ $f$ is an epimorphism“ $⟹$ „ ${f (v_{1}), \dots, f (v_{n})}$ is a generator“

Let $w \in W$ beliebig. Then according to precondition there is a vector $v \in V$ with $f (v) = w$ . Since ${v_{1}, \dots, v_{n}}$ generates the vector space $V$ , there are linear combination factors $λ_{1}, \dots, λ_{n}$ with $v = \sum_{i = 1}^{n} λ_{i} v_{i}$ . Hence, we have:

\begin{matrix} w = f (v) = f (\sum_{i = 1}^{n} λ_{i} v_{i}) = \sum_{i = 1}^{n} f (λ_{i} v_{i}) = \sum_{i = 1}^{n} λ_{i} f (v_{i}) . \end{matrix}

So $w \in W$ can be represented as a linear combination of $f (v_{1}), \dots, f (v_{n})$ . Since $w$ was arbitrary, $f (v_{1}), \dots, f (v_{n})}$ is a generator of $W$ .

Proof step: „ ${f (v_{1}), \dots, f (v_{n})}$ is a generator“ $⟹$ „ $f$ is an epimorphism“

Let $w \in W$ be arbitrary. We have to show that there is a vector $v \in V$ with $f (v) = w$ . Since $W$ is generated by ${f (v_{1}), \dots, f (v_{n})}$ , there exist scalars $λ_{1}, \dots, λ_{n} \in K$ (for linear combination) with $w = \sum_{i = 1}^{n} λ_{i} f (v_{i})$ . We now set $v := \sum_{i = 1}^{n} λ_{i} v_{i}$ :

\begin{matrix} f (v) = f (\sum_{i = 1}^{n} λ_{i} v_{i}) = \sum_{i = 1}^{n} f (λ_{i} v_{i}) = \sum_{i = 1}^{n} λ_{i} f (v_{i}) = w . \end{matrix}

This proves that $f$ is surjective, that is, an epimorphism.

Now we generalize to vector spaces of arbitrary dimension:

Theorem

Let $f : V \to W$ be a linear map and let $M \subseteq V$ be a generator of $V$ .

The linear map $f$ is an epimorphism if and only if $f (M)$ is a generator of $W$ .

Proof

We can almost copy the proof from above: Since $M \subseteq V$ is a generator of $V$ , this means that every vector $v \in V$ has a representation as a linear combination $v = \sum_{i = 1}^{n} λ_{i} v_{i}$ , where $λ_{1}, \dots, λ_{n}$ are scalars and $v_{1}, \dots, v_{n}$ are from $M$ .

The only thing that changes is that the sums no longer have a fixed number of summands. In the proof above, we could always run the sums of $1$ to $n$ . Here, the number of summands depends on the vectors $v$ and $w$ , respectively. But it is still a finite number of summands. Therefore, the rest of the proof is the same as within the finite case.

We will now be introduced to a second (category-theoretic) characterization of epimorphisms, the possibility of being "right shortened":

Theorem (Epimorphisms can be right shortened)

Let $f : V \to W$ be a homomorphism. Then the following statements are equivalent

$f$ is an epimorphism.
For all vector spaces $U$ and all $a, b : W \to U$ with $a \circ f = b \circ f$ we have that $a = b$ . One also says that the epimorphism can be "right shortened".

Proof (Epimorphisms can be right shortened)

Proof step: 1. $⟹$ 2., by direct proof

Let $f : V \to W$ be an epimorphism, i.e., $f$ is surjective. Let $U$ be a vector space, and $a, b : W \to U$ , such that $a \circ f = b \circ f$ . We want to show that $a = b$ holds. Since $a$ and $b$ are maps with same domain of definition $W$ and same range $U$ , we need to show that $a (w) = b (w)$ holds for all $w \in W$ .

So consider any $w \in W$ . Since $f$ is surjective, there exists a $v \in V$ with $f (v) = w$ . Now, $a (w) = a (f (v)) = (a \circ f) (v) = (b \circ f) (v) = b (f (v)) = b (w)$ . Since we have chosen $w$ arbitrary, we obtain $a = b$ .

Proof step: 2. $⟹$ 1., proof by contradiction

Let $f : V \to W$ be a homomorphism. Suppose $f$ is not an epimorphism, i.e., not surjective. Then there is a $w \in W$ with $w \notin im f$ . In particular, $w \neq 0$ since $0 = f (0) \in im f$ . We extend ${w}$ to a basis $B$ of $W$ .

now , let us define two homomorphisms $a, b : W \to W$ . First we set $a := {id}_{W}$ . Further, we define $b$ using the principle of linear continuation on the basis $B$ : $b : v \mapsto 0, b \mapsto b$ for all $b \in B ∖ {v}$ .

Next we show $a \circ f = b \circ f$ : Consider some $v \in V$ . Then $f (v) \in span (B ∖ {v})$ , since $w \notin in f$ . As $a |_{span (B ∖ {v})} = {Id}_{span (B ∖ {v})} = b |_{span (B ∖ {v})}$ , we indeed have $a (f (v)) = b (f (v))$ .

But $a \neq b$ , since $a (w) = w \neq 0 = b (w)$ .

This is a contradiction to the assumption, and it follows that $f$ is an epimorphism.

Examples

Example

We consider the vector spaces $ℝ^{n}$ and $ℝ^{m}$ with $n \geq m$ , as well as the linear map

\begin{matrix} f : ℝ^{n} & \to ℝ^{m}, \\ (x_{1}, x_{2}, \dots, x_{m}, x_{m + 1}, \dots, x_{n}) & \mapsto (x_{1}, x_{2}, \dots, x_{m}) . \end{matrix}

For this map, we simply truncate the last $n - m$ components. This makes it clear why we must require $n \geq m$ (if $n = m$ , the map is simply the identity). This map is an epimorphism: Let $(x_{1}, x_{2}, \dots, x_{m}) \in ℝ^{m}$ . Then, we have $f (x_{1}, x_{2}, \dots, x_{m}, \underset{n - m zeros}{\underset{⏟}{0, \dots, 0}}) = (x_{1}, x_{2}, \dots, x_{m})$ .

Example

For a field $K$ and two $K$ -vector spaces $V, W$ , the following map is an epimorphism:

\begin{matrix} f : V \oplus W & \to V, \\ (v, w) & \mapsto v \end{matrix}

Here $V \oplus W$ denotes the Outer direct sum (missing).

We first show for this that the map $f$ is linear. Consider some $(v, w), (v^{'}, w^{'}) \in V \oplus W$ , as well as $λ \in K$ . Then $f ((v, w) + (v^{'}, w^{'})) = f ((v + v^{'}, w + w^{'})) = v + v^{'} = f ((v, w)) + f ((v^{'}, w^{'}))$ and $f (λ \cdot (v, w)) = f ((λ v, λ w)) = λ v = λ f ((v, w))$ . This establishes linearity.

Let now $v \in V$ be arbitrary. Then $f ((v, w)) = v$ for every $w \in W$ . That is, $(v, w)$ is a preimage of $v$ under $f$ . Thus $f$ is an epimorphism. If $W$ is not the null space, then there are even multiple (perhaps infinitely many) preimages.

Exercises

Exercise

We consider $ℝ^{3}$ . By $e_{1} := (1, 0, 0), e_{2} := (0, 1, 0), e_{3} := (0, 0, 1)$ , we denote the standard basis. Let $f : ℝ^{3} \to ℝ^{2}$ be the unique linear map given by the principle of linear continuation and

\begin{matrix} f (e_{1}) = (\begin{matrix} 1 \\ 1 \end{matrix}), f (e_{2}) = (\begin{matrix} 1 \\ - 1 \end{matrix}), f (e_{3}) = (\begin{matrix} 1 \\ - 1 \end{matrix}) \end{matrix}

Show that $f$ is an epimorphism.

Solution

By construction, $f$ is a linear map. We want to show that ${f (e_{1}), f (e_{2}), f (e_{3})} = {(1, 1), (1, - 1)}$ is a generator of $ℝ^{2}$ . Then, we have with the above theorem that $f$ is an epimorphism. So, we must represent every $(x, y) \in ℝ^{2}$ as a linear combination of vectors $(1, 1), (1, - 1)$ . Accordingly, we search linear combination scalars $λ, μ \in ℝ$ such that

\begin{matrix} (\begin{matrix} x \\ y \end{matrix}) = λ (\begin{matrix} 1 \\ 1 \end{matrix}) + μ (\begin{matrix} 1 \\ - 1 \end{matrix}) . \end{matrix}

From this we get the linear system of equations

\begin{matrix} \begin{matrix} x & = λ + μ \\ y & = λ - μ, \end{matrix} \end{matrix}

which is solved by $λ = \frac{x + y}{2}$ and $μ = \frac{x - y}{2}$ . So we have $(\begin{matrix} x \\ y \end{matrix}) = \frac{x + y}{2} (\begin{matrix} 1 \\ 1 \end{matrix}) + \frac{x - y}{2} (\begin{matrix} 1 \\ - 1 \end{matrix})$ for all $x, y \in ℝ$ . Thus ${(1, 1), (1, - 1)}$ is a generator. This proves that $f$ is an epimorphism.

Exercise

Consider the function space $Fun ([0, 1], ℝ)$ of all function s mapping $ℝ$ to $ℝ$ , as well as the map

\begin{matrix} ϕ : Fun ([0, 1], ℝ) & \to ℝ, \\ f & \mapsto f (0) . \end{matrix}

Show that $ϕ$ is an epimorphism.

Solution

The operations on the function space are defined element-wise in each case. That is: for $f, g \in Fun ([0, 1], ℝ)$ , $λ \in ℝ$ and $x \in [0, 1]$ we have that $(f + g) (x) = f (x) + g (x)$ and $(λ f) (x) = λ f (x)$ . In particular, this is true for $x = 0$ , which implies

\begin{matrix} ϕ (f + g) = (f + g) (0) = f (0) + g (0) = ϕ (f) + ϕ (g) \end{matrix}

and

\begin{matrix} ϕ (λ f) = (λ f) (0) = λ f (0) = λ ϕ (f) \end{matrix}

Thus we have shown the linearity.

To prove surjectivity, let $c \in ℝ$ be arbitrary. We need to show that there is a $f : [0, 1] \to ℝ$ with $f (0) = c$ . Such a map exists, since e.g. the constant function

\begin{matrix} f : [0, 1] \to ℝ, x \mapsto c \end{matrix}

has the desired properties. Every $c \in ℝ$ thus has a preimage, so $ϕ$ is an epimorphism.

Isomorphisms →

„Analysis Eins“ ist jetzt als Buch verfügbar!

Den Bereich zur Analysis 1 gibt es jetzt auch als Buch! Bestelle dir dein Exemplar oder lade dir das Buch gleich kostenlos als PDF herunter:

Buch kaufen PDF downloaden

Über 150 ehrenamtliche Autorinnen und Autoren – die meisten davon selbst Studierende – haben daran mitgewirkt. Wir wollen, dass alle Studierende die Konzepte der Hochschulmathematik verstehen und dass hochwertige Bildungsangebote frei verfügbar sind. Bei dieser Mission kannst du mitmachen oder uns mit einer Spende unterstützen.

Feedback? Do you want to join?

If you have questions concerning the content, or didn't understand something, the feel free to contact us! We would love to answer your questions! Also we are thankful for critics and/or comments! If you share our vision to explain university math in an comprehensible way, then contact us under:

E-Mail: en@serlo.org

This article is licensed under the free license CC-BY-SA 3.0. With that you can use it, modify it or share it freely, as long as you name „Serlo“ as source and put you changes under the same CC-BY-SA 3.0 oder an compatible license. On the page „Kopier uns!“ we explain you what you have to pay attention to, when using our texts, picture or videos.