Serlo: EN: Inner direct sum

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Derivation and definition

We have already learned about sums of two subspaces. If $U$ and $W$ are two subspaces, then the sum of $U$ and $W$ is again a subspace $Z=U+W$. So for each vector $v\in Z$ we may find two vectors $u\in U$ and $w\in W$, such that $v=u+w$. Now the question arises: Are there several ways to write $v$ as such a combination?

The answer is yes, there can be several possibilities. As an example, let's look at the vector space ${ℝ}^3$. This space can be viewed as the sum of the $xy$-plane and the $yz$-plane. This means that if $v\in {ℝ}^3$, then there are actually several ways to represent $v$ as the sum of vectors from the $xy$-plane and the $yz$-plane. For the vector $(2,3,5)$, for example, we have $(2,3,5)=(2,2,0)+(0,1,5)=(2,1,0)+(0,2,5)$.

Such representations are therefore generally not unique. We now want to find a criterion for uniqueness.

Suppose we have two different representations of $v$, i.e. $v=u+w$ and $v=u^{\prime }+w^{\prime }$ with $u\ne u^{\prime }$ and $w\ne w^{\prime }$ (if one of them is the same, then so is the other). In particular, we know that $u-u^{\prime }\ne 0$ and $w-w^{\prime }\ne 0$. If we now rearrange the equation $u+w=v=u^{\prime }+w^{\prime }$, we get $\underset{\in U}{\underbrace{u-u^{\prime }}}=\underset{\in W}{\underbrace{w^{\prime }-w}}$. Because the left-hand side is in $U$ and the right-hand side is in $W$, this is an element in $U\cap W$ which is not a zero vector at the same time. So $U\cap W$ is not just $\{0\}$. (The zero vector is in the intersection because $U$ and $W$ are both subspaces). This means that if the representation is not unique, then the intersection $U\cap W$ does not only contain the zero vector.

Conversely, if the intersection is not $\{0\}$, we do not have a unique representation: Let $v\in U\cap W$ with $v\ne 0$. Then there are two representations of $v$, namely $v=v+0=0+v$ (on the one hand $v=u+w$ with $u=v$ and $w=0$ and on the other hand $v=u^{\prime }+w^{\prime }$ with $u^{\prime }=0$ and $w^{\prime }=v$). Because of $v\ne 0$, these representations are different from each other.

We can therefore conclude an equivalence: The intersection $U\cap W$ is exactly $\{0\}$ if the representation of all vectors in $V$ is unique.

In this case, we give the sum a special name: We call the sum of $U$ and $W$, in the case $U\cap W=\{0\}$, the direct sum of $U$ and $W$ and write $U\oplus W=U+W$.

Examples

Sum of two lines in ℝ² Vorlage:Anker

The lines $U$ and $W$

We consider the following two lines in ${ℝ}^2$: Vorlage:Einrücken So $U$ is the $x$-axis and $W$ is the line that runs through the origin and the point $(1,1)$. Their sum is $U+W={ℝ}^2$

Let us now investigate whether this sum is direct. To do so, we need to determine $U\cap W$. If $v=(x,y{)}^T\in U\cap W$, then we know the following: Because $v\in U$, we have $y=0$. And because $v\in W$, we have $x=y$. Therefore $x=y=0$ and we get $v=0$. Because $U\cap W$ also contains $0$, we get $U\cap W=\{0\}$. This means that the sum of $U$ and $W$ is direct and we can write $U\oplus W$.

Sum of two lines in ℝ³

The lines $U$ and $W$

We have the following lines in ${ℝ}^3$: Vorlage:Einrücken Then $U$ is a line in ${ℝ}^3$ that runs through the origin and the point $(1,1,2)$, and $W$ is a line that runs through the origin and $(3,0,5)$. The sum $U+W$ is a plane spanned by the vectors $(1,1,2{)}^T$ and $(3,0,5{)}^T$, i.e. Vorlage:Einrücken

Also here, we want to determine whether the sum is direct. To do so, we consider a vector $v=(x,y,z{)}^T\in U\cap W$. Then, because $v\in U$, we have $x=y=2z$. And because $v\in W$, we obtain $y=0$. Therefore, $x=z=y=0$ and the sum is direct. This means that we can write $U\oplus W$.

Sum of a line and a plane in ℝ³

The line $U_3$ and the plane $W$

We consider the subvector spaces $U_3$ and $W$ of ${ℝ}^3$.

Vorlage:Einrücken The subspace $U_3$ is the line through the origin and the point $(1,1,1)$, while $W$ represents the y-z-plane. Together, $U_3$ and $W$ span the entire ${ℝ}^3$, i.e. $U_3+W={ℝ}^3$.

One may now ask whether the sum $U_3+W$ is direct. To check this, we need to analyze the intersection $U_3\cap W$. If $U_3\cap W$ only contains the zero vector $(0,0,0{)}^T$, then the sum is direct.

Let $(a,b,c{)}^T$ be a vector in $U_3\cap W$. Since $(a,b,c{)}^T\in U_3$, we have $a=b=c$. Consequently, we can write $(a,b,c{)}^T$ as $(a,a,a{)}^T$. Furthermore, $(a,a,a{)}^T\in W$, which implies $a=0$. We have therefore shown that $(a,b,c{)}^T=(0,0,0{)}^T$.

It follows that $U_3\cap W=\{(0,0,0{)}^T\}$. Since the intersction only contains the zero vector, the sum $U_3+W$ is direct. Therefore, we can conclude ${ℝ}^3=U_3\oplus W$.

Sum of even and odd polynomials

We will now look at an example of a direct sum in the vector space of real polynomials $ℝ[x]$. Let us consider the following subspaces $U$ and $W$ of $ℝ[x]$: $U$ consists of all odd polynomials over $ℝ$, while $W$ is the space of the even polynomials over $ℝ$. In formulas, this is Vorlage:Einrücken

The odd polynomials $\sum _{i=0}^n{a}_i{x}^{2i+1}$ only contain monomials with odd exponents, while the even polynomials $\sum _{i=0}^n{a}_i{x}^{2i}$ only contain monomials with even exponents. For example, $3x^{18}+19x^{12}-x^4+8x^2$ is an even polynomial, while $x^{10}-x$ is neither even nor odd. We now show that the even and odd polynomials together generate the entire polynomial space $ℝ[x]$. Expressed in formulas: $U+W=ℝ[x]$.

To show this, we need to prove that every polynomial in $ℝ[x]$ can be written as the sum of an odd and an even polynomial. To do so, we consider any polynomial $p=\sum _{i=0}^n{a}_i{x}^i$ from $ℝ[x]$. We must write $p$ as the sum of an even and an odd polynomial. Vorlage:Einrücken Therefore, $p$ is contained in the sum $U+W$.

Now we want to check whether the sum $U+W$ is direct. That is, we need to check whether the intersection of the two subspaces $U\cap W$ only contains the zero vector, i.e. the zero polynomial. Let $p$ be a polynomial in the intersection $U\cap W$. Then $p$ lies both in $U$ and in $W$. We can write $p$ as $\sum _{i=0}^n{a}_i{x}^i$. Since $p$ lies in $U$, $p$ only consists of odd monomials. Therefore, the prefactors of the even monomials must be equal to $0$. So $a_i=0$ for all even $i$. Since $p$ lies in $W$, $p$ only consists of even monomials. So $a_i=0$ for all odd $i$. This means that all coefficients $a_i$ are equal to zero and $p$ is therefore the zero polynomial. Thus $U\cap W=0$, and the sum of $U$ and $W$ is direct.

We have seen that $ℝ[x]=U\oplus W$. In other words, the polynomial space $ℝ[x]$ can be written as the direct sum of the subspaces $U$ and $W$, where $U$ is the subspace of odd polynomials and $W$ is the subspace of even polynomials.

Counterexamples

Two planes in ℝ³

The planes $U$ and $W$

We consider the following two planes:

The two planes together span all of ${ℝ}^3$. However, the sum is not direct, as the intersection is a line and therefore does not only contain the zero vector. That is, $U\cap W\ne \{(0,0,0{)}^T\}$.

We want to check this mathematically. This requires looking for a vector in the intersection of $U$ and $W$ which is not zero. We consider a vector $(a,b,c{)}^T$ that lies in the intersection $U\cap W$. Because this vector lies in $U$, we have $x,y\in ℝ$ so $(a,b,c{)}^T=(2x,x,y{)}^T$. In addition, there must be $v,w\in ℝ$ so $(a,b,c{)}^T=(0,2v,-w{)}^T$, since $(a,b,c{)}^T\in W$.

We now look for suitable values for $x,y,v,w$ to fulfill both conditions. From $a=2x$ and $a=0$, we get $x=0$. Because $2v=b=x$, we also have $v=0$. Furthermore, $b=0$ results from $b=x$. Finally, we conclude $y=c=-w$.

One possible solution is $x=v=0$, $y=1$ and $w=-1$. The vector $(a,b,c{)}^T=(0,0,1{)}^T$ therefore lies in the intersection of $U$ and $W$. Hence, $U\cap W\ne \{(0,0,0{)}^T\}$.

Various polynomials in polynomial space

Let $K$ be a field. We consider two subspaces in the polynomial space $K[X]$: Let $U=\{f\in K[X]\mid \mathrm{deg}f\le 2\}$ be the space of polynomials of degree less or equal to two, and let Vorlage:Einrücken be the space of polynomials whose sum of coefficients is $0$. We want to investigate whether the sum $U+V$ is direct. To find this out, we need to decide whether $U\cap V=0$.

An element $f\in U\cap V$ is a polynomial $f=a_0+a_{1}X+\dots +a_n{X}^n$, which has a maximum degree of $2$ and for which $a_0+\dots ,a_n=0$ applies. Because the polynomial has degree two, we have $a_3=\dots =a_n=0$. Therefore, we get $a_0+a_1+a_2=0$. This means $U\cap V$ consists of all polynomials $f=a_0+a_{1}X+a_2{X}^2$ for which $a_0+a_1+a_2=0$. Thus, we can find a non-zero element of $U\cap V$ if we use the equation Vorlage:Einrücken with non-trivial $a_0,a_1,a_2$. One possibility for this is $a_0=1,a_1=-1,a_2=0$, i.e. $f=1-X\in U\cap V$. So the intersection of $U$ and $V$ is not zero, and the sum $U+V$ is therefore not direct.

Unique decomposition of vectors

We have already considered in the derivation that the decomposition of vectors is unique for the direct sum. We will prove this result here rigorously.

Inner direct sum and disjoint union of sets

We can imagine the sum of two subspaces as a structure-preserving union: Forming the sum is "structure-preserving" because the result is again a subspace. This means that the vector space structure is preserved when forming the sum. We can also think of this construction as a union because the sum contains both subspaces. The subspaces $U$ and $W$ are subsets of the sum $U+W$. The sum $U+W$ is the smallest subspace that contains the two subspaces $U$ and $W$. Just as you can form unions with sets, the sums of subspaces also work in the same way.

The direct sum is a special case of the sum of subspaces. This means that every direct sum is also a structure-preserving union. "Being direct" is a property of a sum of subspaces. We now want to see whether there is a property of the union of sets that corresponds to the directness of a sum.

Direct sums are characterized by the fact that the decomposition of the vectors in the sum is unique. If we have a vector $v\in U\oplus W$ with $v=u+w$, where $u\in U$ and $w\in W$, then the vectors $u$ and $w$ are unique. For a union $X\cup Y$ of sets $X$ and $Y$, each element $a\in X\cup Y$ lies in $X$ or in $Y$. The element can also lie in both, which means that we generally do not clearly know where they lie. We cannot assign $a$ unambiguously if $a\in X\cap Y$, i.e. in the intersection. This means that the assignment of elements $a\in X\cup Y$ is unique if $X\cap Y$ is empty. In fact, this criterion corresponds exactly to the criterion for a sum to be direct: We want $U\cap W=\{0\}$, which is the smallest possible vector space, so the intersection contains nothing more from $U$ and $W$ (except the zero, which it must contain anyway as a vector space). This is exactly the definition of a disjoint union. In other words, the direct sum of subspaces intuitively corresponds to the disjoint union of sets.

Basis and dimension

We have seen that the direct sum is a special case of a sum of subspaces. So we can transfer everything we know about the vector space sum to the direct sum. We have already seen that the union of bases of $U$ and $W$ is a generating system of $U+W$. This means if $B_U$ is a basis of $U$ and if $B_W$ is a basis of $W$, then $B_U\cup B_W$ is a generating system of $U+W$. If $U$ and $W$ are finite dimensional, we can use the dimension formula. Vorlage:Einrücken

If the sum $U+W$ is direct, i.e. if $U+W=U\oplus W$, then we even have $U\cap W=\{0\}$. Since $\dim (\{0\})=0$, the following sum formula applies in the finite-dimensional case: Vorlage:Einrücken So the dimension of the sum space $U+W$ is exactly the sum of the dimensions $\dim (U)$ and $\dim (W)$. If $B_U$ is a basis of $U$ and if $B_W$ is a basis of $W$, then we can conclude Vorlage:Einrücken Since $U\cap W=\{0\}$, the union of the bases of $U$ and $W$ is disjoint, i.e. $B_U\uplus B_W$. Therefore, we get $|B_U|+|B_W|=|B_U\cup B_W|$. Because $B_U\cup B_W$ is a generating system of $U+W$ and because $\dim (U+W)=|B_U\cup B_W|$, we conclude that $B_U\cup B_W$ is a basis of $U+W$.

We have thus seen that in finite dimensions, the union of the bases of $U$ and $W$ is a basis of $U\oplus W$. This also applies in general:

Mathe für Nicht-Freaks: Vorlage:Satz From this theorem, we may immediately conclude that Vorlage:Einrücken

Exercises

For the following two exercises, you should know what a linear map is.

For this exercise, you need to know what the kernel and the image of a linear map are.

In ${ℝ}^2$ we can illustrate the statement from the previous exercise:

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}