Quotient space – Serlo

In this article we consider the quotient space $V/U$ of a $K$-vector space $V$ with respect to a subspace $U$. The quotient space $V/U$ is a vector space in which we can do computations as in $V$, up to an addition of arbitrary terms from $U$.

Introduction

Computations with solutions of a linear system

We consider the matrix

$A={\begin{pmatrix}1&1&0\\-1&-1&1\end{pmatrix}}.$

We now want to solve the linear system of equations $Ax=b$ for different vectors $b\in \mathbb {R} ^{2}$. For example, taking $b_{1}=(3,-7)^{T}$, we get a solution $x_{1}=(1,2,-4)^{T}$ and for $b_{2}=(1,2)^{T}$, we get a solution $x_{2}=(2,0,3)^{T}$. That is, $Ax_{1}=b_{1}$ and $Ax_{2}=b_{2}$ hold. What is then the solution for $Ax=b_{1}+b_{2}$? To find this out, we can use linearity of $A$: We just have to add our previous solutions together, since $A(x_{1}+x_{2})=Ax_{1}+Ax_{2}=b_{1}+b_{2}$. Thus, a solution to $Ax=b_{1}+b_{2}$ is given by $x_{1}+x_{2}=(3,2,-1)^{T}$.

The solution to the above system of equations is not unique. For instance, the system $Ax=b_{1}$ is also solved by $x_{1}'=(2,1,-4)^{T}$ and the system $Ax=b_{2}$ is also solved by $x_{2}'=(-1,3,3)^{T}$. The solutions $x_{1}$ and $x_{1}'$, as well as $x_{2}$ and $x_{2}'$ differ from each other. Their differences are $x_{1}=x_{1}'+(-1,1,0)^{T}$ and $x_{2}=x_{2}'+(3,-3,0)^{T}$. Both $(-1,1,0)^{T}$ and $(3,-3,0)^{T}$ are solutions to the (homogeneous) linear system $Ax=0$. That is, they lie in the kernel of $A$.

To-Do:

Link kernel of a matrix

This "kernel property" is true in general: if $x$ and $x'$ are two different solutions of $Ax=b$, they differ exactly by an element in the kernel of $A$, because $A(x-x')=Ax-Ax'=b-b=0$. Since the kernel of $A$ is important, we give it the separate name $U$ in the following. Conversely, whenever we have two solutions $x_{1}+x_{2}$ and $x_{1}'+x_{2}'$ of $Ax=b_{1}+b_{2}$, then their difference $(x_{1}+x_{2})-(x_{1}'+x_{2}')$ is in the kernel $U$. So once a single solution is found, then the kernel can be used to find all solutions to the system. Put differently, we can consider two vectors whose difference is in $U$ as equivalent, since if one vector solves $Ax=b$, then the other also does.

For scalar multiplication by $\lambda \in \mathbb {R}$, we can use linearity of $A$ again: We have a solution $x_{1}$ of $Ax=b_{1}$ and we want to solve $Ax=\lambda b_{1}$ without recalculating. Again, we can obtain a solution by using our already determined solution $x_{1}$: We have $A(\lambda x_{1})=\lambda (Ax_{1})=\lambda b_{1}$, so $\lambda x_{1}$ is a solution to $Ax=\lambda b_{1}$. For the second solution $x_{1}'$ this also works: $x=\lambda x_{1}'$ is a solution of $Ax=\lambda b$. Again, the difference of both (equivalent) solutions $\lambda x_{1}$ and $\lambda x_{1}'$ is in $U$. So we can scale solutions of linear systems to find solutions to scaled systems. While scaling, the differences stay in $\ker(A)=U$, so both solutions stay equivalent. A different way to say that two vectors are equivalent is to say that they are the same modulo $U$ whenever they differ only by some vector in $U$. For example, the solutions $x_{1}+x_{2}$ and $x_{1}'+x_{2}'$ of the system of equations $Ax=b_{1}+b_{2}$ are equal modulo $U$, since $(x_{1}+x_{2})-(x_{1}'+x_{2}')\in U$. When calculating with solutions of systems of linear equations, we therefore calculate modulo $U$.

Construction of the quotient space

In the example, we made calculations in a vector space $V$, but only looked at the results up to differences in a subspace $U$. That is, we considered two vectors $v$ and $v'$ in $V$ as equivalent, whenever $v-v'\in U$. To formalise these "calculations up to some element in $U$", we identify vectors which using an equivalence relation $\sim$ that is defined by

$v\sim v'\quad :\iff \quad v-v'\in U.$

This is exactly the relation we used to define cosets of a subspace. In this article, we have also checked that $\sim$ is an equivalence relation. Mathematically, the set of all equivalence classes is denoted by $V/U$.

We will now show that on $V/U$, we can define a natural vector space structure. To do so, we introduce an addition $\boxplus$ and a scalar multiplication $\boxdot$ on $V/U$: For $v+U,w+U\in V/U$ and $\lambda \in K$ we define

${\begin{aligned}(v+U)\boxplus (w+U)&:=(v+w)+U\\\lambda \boxdot (v+U)&:=(\lambda \cdot v)+U\end{aligned}}$

These definitions make use of representatives. That is, we took one element from each involved coset to define $\boxplus$ and $\boxdot$. However, we still have to show that the definitions are independent of the chosen representative.

That is, we must show that this definition is independent of the choice of representative and thus makes sense. We give this proof further below. The property that a mathematical definition makes sense is also called well-definedness.

We also need to show that $V/U$ is a vector space with this addition and scalar multiplication, which we will do below.

Definition

In the previous section, we considered what a vector space $V/U$ might look like, in which we can calculate modulo $U$. The elements of $V/U$ are the cosets $v+U$. We want to define the vector space structure using the representatives. Further below , we then show that the definition makes mathematical sense, that is, the vector space structure is proven to be well--defined.

To distinguish addition and scalar multiplication on $V/U$ from that on $V$, we refer to the operations on $V/U$ as "$\boxplus$" and "$\boxdot$" in this article. Other articles and sources mostly use "$+$" and "$\cdot$" for the vector space operations.

Definition (Quotient space)

Let $V$ be a $K$-vector space and $U\subseteq V$ be a subspace of $V$ with

$V/U=\{v+U\mid v\in V\}$

being the set of cosets of $U$ in $V$. Further, let $v,wbe\in V$.

We define the addition in $V/U$ by:

${\begin{aligned}&\boxplus :(V/U\times V/U)\to V/U\\&(v+U)\boxplus (w+U):=(v+w)+U.\end{aligned}}$

Analogously, we define scalar multiplication on $V/U$ as:

${\begin{aligned}&\boxdot :(K\times V/U)\to V/U\\&\lambda \boxdot (v+U):=(\lambda \cdot v)+U.\end{aligned}}$

Explanation of the definition

A short explanation concerning the brackets appearing in $(v+U)\boxplus (w+U):=(v+w)+U$ and $\lambda \boxdot (v+U):=(\lambda \cdot v)+U$: To define the addition $\boxplus$ in $V/U$, we need two vectors from $V/U$. Vectors in $V/U$ are cosets, so $(v+U)$ and $(w+U)$ denote cosets given by $v,w\in V$. The expression $(v+w)+U$ is also a coset, namely the one associated with $v+w$:

${\color {OliveGreen}\underbrace {{\color {Blue}\underbrace {v+U} _{\text{coset}}}\boxplus {\color {Blue}\underbrace {w+U} _{\text{coset}}}} _{{\text{addition in }}V/U}}={\color {Blue}\underbrace {{\color {OliveGreen}\underbrace {(v+w)} _{{\text{addition in }}V}}+U} _{\text{coset}}}$

The scalar multiplication works similarly: For a scalar $\lambda \in K$ and a coset $v+U$ with $v\in V$ we want to define $\lambda \boxdot (v+U)$. For this we first calculate the scalar product $\lambda \cdot v$ in $V$ and then turn to the associated coset $(\lambda \cdot v)+U$:

${\color {OliveGreen}\underbrace {\lambda \boxdot {\color {Blue}\underbrace {(v+U)} _{\text{coset}}}} _{{\text{scalar multiplication in }}V/U}}={\color {Blue}\underbrace {{\color {OliveGreen}\underbrace {(\lambda \cdot v)} _{{\text{scalar multiplication in }}V}}+U} _{\text{coset}}}$

So we first execute the addition or scalar multiplication of the representatives in $V$ and then turn to the coset to get the addition or scalar multiplication on $V/U$. Mathematically, we also say that the vector space structure on $V$ "induces" the structure on $V/U$.

Well-defined operations in the quotient space

We want to check whether the operations of $\boxplus$ and $\boxdot$ are independent of the choice of representatives - that is, they are well-defined.

Theorem (Well-defined operations in the quotient space)

Let $V$ be a $K$-vector space and $U\subseteq V$ a subspace of vectors. Then addition and scalar multiplication on $V/U$ are well-defined.

Proof (Well-defined operations in the quotient space)

For well-definedness, we need to show the following: If in the definition, we plug in different representatives of the coset(s) on the left-hand side, we end up with the same coset on the right-hand side. Mathematically, we have to show :

• For $\boxplus$: If $v+U=v'+U$ and $w+U=w'+U$, then $(v+w)+U=(v'+w')+U$.
• For $\boxdot$: If $v+U=v'+U$ and $\lambda \in K$, then $(\lambda \cdot v)+U=(\lambda \cdot v')+U$.

Proof step: Well-defined addition

By definition of a coset we have to show that $(v+w)-(v'+w')\in U$ holds. Since $(v+w)-(v'+w')=v+w-v'-w'=(v-v')+(w-w')$, this is equivalent to $(v-v')+(w-w')\in U$. Now $v$ and $v'$ or $w$ and $w'$ each represent the same coset modulo $U$. Thus, $v-v',w-w'\in U$. Since $U$ is a subspace of $V$, it follows that $(v-v')+(w-w')\in U$. So the addition $\boxplus$ is indeed independent of the choice of representatives.

Proof step: Well-defined scalar multiplication

Well-definedness of the scalar multiplication $\boxdot$ can be seen in same way: In the above notation, we have to show that $\lambda \cdot v-\lambda \cdot v'=\lambda \cdot (v-v')\in U$. Since $v$ and $v'$ represent the same coset modulo $U$, we have $v-v'\in U$. And since $U$ is a subspace, we also have $\lambda \cdot (v-v')\in U$. So the scalar multiplication $\boxdot$ is also independent of the choice of representative.

Establishing the vector space axioms

We show that the quotient space is again a $K$-vector space by taking the axioms valid for $V$ and inferring those axioms of $V/U$. Hence, taking quotient spaces is a way to generate new vector spaces from an existing $K$-vector space, just like taking subspaces.

Exercise (Proof of the vector space axioms in quotient space)

Let $V$ be a $K$-vector space and $U\subseteq V$ a subspace of it, then $V/U$ with the operations $\boxplus$ and $\boxdot$ defined above is also a $K$-vector space

Solution (Proof of the vector space axioms in quotient space)

Proof step: Establishing properties of a commutative additive group (also called an Abelian group).

We first consider the properties of addition. For this let $v,w,z\in V$.

1. Associativity:

We trace back the associativity to associativity in $V$

${\begin{aligned}(v+U)\boxplus ((w+U)\boxplus (z+U))&=(v+U)\boxplus ((w+z)+U)\\[0.3em]&=(v+(w+z))+U\\[0.3em]&\quad {\color {OliveGreen}\left\downarrow \ {\text{associativity in the vector space }}V\right.}\\[0.3em]&=((v+w)+z)+U\\[0.3em]&=((v+w)+U)\boxplus (z+U)\\[0.3em]&=((v+U)\boxplus (w+U))\boxplus (z+U)\end{aligned}}$

2. Commutativity

We also trace commutativity back to commutativity in $V$

${\begin{aligned}(v+U)\boxplus (w+U)&=(v+w)+U\\[0.3em]&\quad {\color {OliveGreen}\left\downarrow \ {\text{commutativity in the vector space }}V\right.}\\[0.3em]&=(w+v)+U\\[0.3em]&=(w+U)\boxplus (v+U)\end{aligned}}$

3. Existence of a neutral element

Since we are considering displacements of $U$, the coset $0+U$ should be the neutral element with respect to addition. We can verify this by using that $0$ is the neutral element in $V$:

$(v+U)\boxplus (0+U)=(v+0)+U=v+U$

4. Existence of an inverse

We consider the coset $v+U$. For the inverse $v'+U$ of $v+U$, we need that

$(v+U)\boxplus (v'+U)=0+U.$

Thus, the addition of an element with its inverse indeed yields the neutral element $0+U$.

We also trace the inverse of $v+U$ back to inverse in $V$. Let $v$ be a representative of $v+U$ and $(-v)$ its inverse in $V$. Then,

$(v+U)\boxplus ((-v)+U)=(v-v)+U=0+U.$

Thus, the element inverse to $v+U$ is $-v+U$.

Proof step: Distributive laws

1. Scalar Distributive Law

Multiplication of a vector (in a quotient space, i.e., the vector is a coset) with a sum of scalars yields:

${\begin{aligned}(\lambda +\mu )\boxdot (v+U)&=((\lambda +\mu )\cdot v)+U\\[0.3em]&\quad {\color {OliveGreen}\left\downarrow \ {\text{distributive law in the vector space }}V\right.}\\[0.3em]&=(\lambda \cdot v+\mu \cdot v)+U\\[0.3em]&=\lambda v+U\boxplus \mu v+U\\[0.3em]&=\lambda \boxdot (v+U)\boxplus \mu \boxdot (v+U)\end{aligned}}$

2. Vector Distributive Law

Likewise, we can show that the distributive law also holds for the multiplication of a scalar with the sum of two vectors (i.e., with two cosets in the quotient space):

${\begin{aligned}\lambda \boxdot (v+U\boxplus w+U)&=\lambda \boxdot (v+w)+U\\[0.3em]&=(\lambda \cdot (v+w))+U\\[0.3em]&\quad {\color {OliveGreen}\left\downarrow \ {\text{distributive law in the vector space }}V\right.}\\[0.3em]&=(\lambda v+\lambda w)+U\\[0.3em]&=\lambda v+U\boxplus \lambda w+U\\[0.3em]&=\lambda \boxdot (v+U)\boxplus \lambda \boxdot (w+U)\end{aligned}}$

Proof step: Properties of scalar multiplication

We now show that the scalar multiplication of cosets also satisfies the corresponding vector space axioms. Again, we trace back properties in the quotient space back to the corresponding properties in $V$. To this end, let $\lambda ,\mu \in K$ and $v,w\in V$. Then the following axioms hold:

1. Associative law for scalars

The scalar multiplication is associative, since

${\begin{aligned}(\lambda \cdot \mu )\boxdot (v+U)&=((\lambda \cdot \mu )\cdot v)+U\\&\quad {\color {OliveGreen}\left\downarrow \ {\text{associative law in the vector space }}V\right.}\\&=(\lambda \cdot (\mu )\cdot v))+U\\&=\lambda \boxdot ((\mu v)+U)\\&=\lambda \boxdot (\mu \boxdot (v+U))\end{aligned}}$

2. Neutral element of scalar multiplication

We want to prove that $1\in K$ is also the neutral element for $\boxdot$. That is, $1\boxdot (v+U)=v+U$ must hold. Since 1 is neutral in $V$ and since $1\boxdot v=v$, we get

$1\boxdot (v+U)=(1\cdot v)+U=v+U$

So $1\in K$ is the neutral element of scalar multiplication and $V/U$ is indeed a $K$-vector space.

Examples

Satellite images

Example (Satellite images)

Skyline of New York

Satellite image of New York

We imagine that we are standing on a vantage point in New York City from which we are looking at the skyline. In this situation, we will see the city in three dimensions. So objects (e.g. skyscrapers) can be identified with vectors in $V=\mathbb {R} ^{3}$. However, there are also situations where we want to look at the city in only two dimensions, for instance, when taking a virtual tour using a map or a satellite image of New York.

If we want to create a map or a satellite image, we need to "project" information from three dimensions into two dimensions. This process can mathematically be described by a reduction to some quotient space $V/U$.

For example, let us take a look at the edge of a skyscraper. On the oblique image, we see that an edge reaches about 600 feet up into the air. However, on the satellite image, the edge is just displayed as a dot. So all points (= vectors) on the edge are identified with this one dot. The dot is then a coset in $V/U$. The vector space $U$ is given by the (1-dimensional) $x_{3}$-axis, since after adding a vector on the $x_{3}$-axis (i.e., shifting a point up or down), we end up at the same dot on the sattelite image. The space $V/U$ contains all dots, i.e., it corresponds to the (2-dimensional) map.

Example in finite vector space

Now, we turn to a more abstract mathematical example, that will involve some donuts.

Example (Quotient space in $(\mathbb {Z} /3\mathbb {Z} )^{2}$)

In the vector space article, we considered the abstract mathematical set $(\mathbb {Z} /5\mathbb {Z} )^{2}$, which can be seen as lattice points on a torus (= surface of a donut). Using the same method, we can think of $(\mathbb {Z} /3\mathbb {Z} )^{2}$ as 9 lattice points on a torus as well:

We obtain a torus from a square by stretching gluing the edges as follows:

Gluing a square to a torus

Forming a torus from a plane

In other words, the surface of a donut is the same as a square, where, if you walk out on one edge, you immediately enter it at the opposite side. Thus we may visualize $(\mathbb {Z} /3\mathbb {Z} )^{2}$ as follows: On the torus, we draw nine points in lattice form. We then get the following picture:

Visualization of a two-dimensional vector space over a field with three elements on a torus

The subspace $U\subseteq (\mathbb {Z} /3\mathbb {Z} )^{2}$ generated by $(1,1)^{T}$, corresponds to a discrete straight line. We put this line through the above points.

Visualization of a subspace in F3^2 on a torus

We now have points lying on two different sides directly next to our line. Some points are lying directly to the right of the line; that is, they are displaced from the straight line by $+(1,0)^{T}$. Some other points lie directly to the left of our line; that is, they are displaced by $-(1,0)^{T}$. In the picture it looks like this:

Visualization of the cosets of a subspace in F3^2 on a torus

The vector space $(\mathbb {Z} /3\mathbb {Z} )^{2}$ also allows for "adding the points on the donut": Here, we get the following relations:

1. If we add a point on the left and a point on the right of the line, we get a point on the line: For example, ${\color {Red}(0,1)^{T}}+{\color {Blue}(1,0)^{T}}={\color {Purple}(1,1)^{T}}$.
2. If we add two points on the left of the line, we get a point on the right: For example, we have ${\color {Red}(0,1)^{T}}+{\color {Red}(2,0)^{T}}={\color {Blue}(2,1)^{T}}$.
3. If we add two points on the right of the line, we get a point on the left: For example, ${\color {Blue}(0,2)^{T}}+{\color {Blue}(1,0)^{T}}={\color {Red}(1,2)^{T}}$.

If we form the quotient space $(\mathbb {Z} /3\mathbb {Z} )^{2}/U$ (with 3 cosets), we see that two points have the same position with respect to the line (on/left/right) if they are in the same coset. Each coset then consists of 3 points. Furthermore, our addition relations above just represent the addition on the quotient space $(\mathbb {Z} /3\mathbb {Z} )^{2}/U$.

Relationship between quotient space and complement

In the quotient space $V/U$ we calculate with vectors in $V$ up to arbitrary modifications from $U$. We know another construction that can be interpreted similarly: The complement. A complement of a subspace $U\subseteq V$ is a subspace $W\subseteq V$ such that $U\oplus W=V$. Here $U\oplus W$ denotes the inner direct sum of $U$ and $W$ in $V$, that is, $U\oplus W=U+W$ and $U\cap W=\{0\}$. A vector $v\in V$ can then be decomposed uniquely as $v=u+w$, where $u\in U$ and $w\in W$. But the complement itself is then not unique! There can be different subspaces $W,W'\subseteq V$, with $U\oplus W=V=U\oplus W'$.

For the quotient space, we "forget" the part of $v$ that is in $U$ by identifying $v$ with the coset $v+U$:

$V\to V/U,\quad v\mapsto v+U$

If $W$ is a complement of $U$ and $v=u+w$ for distinct $u\in U$ and $w\in W$, then we can analogously forget the $U$-part by mapping $v$ to the $W$-part, called $w$:

$V=U\oplus W\to W,\quad v=u+w\mapsto w$

Apparently $V/U$ and the complement $W$ are similar. Can we identify the two vector spaces $V/U$ and $W$, i.e., are they isomorphic? Yes, they are, as we prove in the following theorem.

Theorem (Isomorphism between complement and quotient space)

Let $W$ be a complement of $U$ in $V$. Then the projection $f\colon W\to V/U;w\mapsto w+U$ is a linear isomorphism between $W$ and the quotient space $V/U$.

Proof (Isomorphism between complement and quotient space)

We want to show that $f$ is linear, i.e., compatible with addition and scalar multiplication, and bijective.

Proof step: Linearity of $f$

Since $W\subseteq V$ is a subspace and scalar multiplication and addition is defined on representatives, $f$ is compatible with addition and scalar multiplication. That is, for $\lambda \in K$ and $v,w\in W$, we have

$f(v+w)=(v+w)+U=(v+U)\boxplus (w+U)=f(v)\boxplus f(w)$

and

$f(\lambda \cdot v)=(\lambda \cdot v)+U=\lambda \boxdot (v+U)=\lambda \boxdot f(v).$

Proof step: Surjectivity of $f$

Let $v+U\in V/U$. Since $W$ is a complement of $U$, we find $u\in U$ and $w\in W$ with $v=u+w$. Then

$f(w)=w+U{\overset {(*)}{=}}(w+u)+U=v+U,$

where we used in $(*)$ that $(w+u)-w=u\in U$ and thus $w+U=(w+u)+U$ holds. So $f$ is surjective.

Proof step: Injectivity of $f$

We show $\ker(f)=\{0\}$. Let $w\in \ker(f)$, i.e. $w\in W$ with $f(w)=0+U$. So $w+U=f(w)=0+U$ holds. Thus $w=w-0\in U$. Since $U$ is a complement of $W$, we have $U\cap W=\{0\}$. Further, $w\in U$ and $w\in W$ implies $w\in U\cap W=\{0\}$, so $w=0$.

We have seen that $V/U$ is isomorphic to any complement of $U$. So it should also behave like a complement, i.e. $U\oplus V/U=V$ should hold. But be careful: Because $V/U$ is not a subspace of $V$, we cannot form the inner direct sum with $U$. However, we can still consider the outer direct sum of $U$ and $V/U$:

$U\oplus V/U=\{(u,v+U)\mid u\in U,v+U\in V/U\}$

This may not be equal to $V$, but it may be isomorphic to $V$. And we will show that it indeed is isomorphic.

Theorem ($U\oplus V/U\cong V$)

Let $U$ be a subspace of a $K$-vector space $V$. Then, $U\oplus V/U\cong V$ holds.

Proof ($U\oplus V/U\cong V$)

Let $W$ be a complement of $U$, i.e. $U\cap W=\{0\}$ and $U+W=V$. From the previous theorem we know that the function

$f\colon W\to V/U,\quad w\mapsto w+U$

is an isomorphism. We use this to show that

$g\colon U\oplus W\to U\oplus V/U,\quad (u,w)\mapsto (u,w+U)$

is an isomorphism, where $U\oplus W=\{(u,w)\mid u\in U,w\in W\}$ denotes the outer direct sum.

Proof step: $g$ is linear

We have $g(u,w)=(\operatorname {id} _{U}(u),f(w))$ for all $(u,w)\in U\oplus W$. It follows directly that $g$ is linear, since addition and scalar multiplication on $U\oplus W$ are defined component-wise and as $\operatorname {id} _{U}$ and $f$ are linear.

Proof step: $g$ is bijective

This also follows from $g(u,w)=(\operatorname {id} _{U}(u),f(w))$ for all $(u,w)\in U\oplus W$, since the identity $\operatorname {id} _{U}$ and $f$ are bijective.

Thus we have $U\oplus V/U\cong U\oplus W$. By this theorem, the inner direct sum of the subspaces $U$ and $W$ is isomorphic to their outer direct sum. So $V=U\oplus _{I}W\cong U\oplus W\cong U\oplus V/U$, where $U\oplus _{I}W$ denotes the inner direct sum of $U$ and $W$.

To-Do:

link "this theorem" to the appropriate theorem

Exercises

Exercise (The projection is linear)

Let $V$ be a $K$-vector space and $U\subseteq V$ a subspace. Show that the canonical projection.

$\pi \colon V\to V/U,\quad v\mapsto v+U$

is linear.

Solution (The projection is linear)

Let $v,w\in V$ and $\lambda \in K$ be arbitrary. We again write $\boxplus$ and $\boxdot$ for the vector space structure on $V/U$. We then have

${\begin{aligned}&\pi (\lambda v+w)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{definition of }}\pi \right.}\\[0.3em]=&(\lambda v+w)+U\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{definition of }}\boxplus \right.}\\[0.3em]=&((\lambda v)+U)\boxplus (w+U)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{definition of }}\boxdot \right.}\\[0.3em]=&(\lambda \boxdot (v+U))\boxplus (w+U)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{definition of }}\pi \right.}\\[0.3em]=&(\lambda \boxdot \pi (v))\boxplus \pi (w).\end{aligned}}$

So $\pi$ is linear.