4
$\begingroup$

I have two subspaces:

$W_1 = \{(x, 3x) : x\in \Bbb R \}$ and

$W_2 = \{(2x, 0): x\in \Bbb R \}$

How do I get $W_1 + W_2$? I tried simply adding a sample vector from each, i.e. $ (1, 3) + (2, 0) = (3, 3)$ but I don't think this makes sense since this new vector doesn't fit it $W_1$ nor $W_2$....

3 Answers 3

10

$W_1+W_2$ is by definition the set of all vectors $w_1+w_2$ such that $w_1\in W_1$ and $w_2\in W_2$. You have $W_1=\big\{(x,3x):x\in\Bbb R\big\}=\big\{x(1,3):x\in\Bbb R\big\}$ and $W_2=\big\{(2x,0):x\in\Bbb R\big\}=\big\{x(2,0):x\in\Bbb R\big\}\;,$ so you’re looking at all vectors of the form $x(1,3)+y(2,0)$ for $x,y\in\Bbb R$. Every vector in $W_1$ can be written in this form (with $y=0$), and every vector in $W_2$ can be written in this form as well, but you can’t expect every vector in $W_1+W_2$ to belong to $W_1$ or $W_2$. In fact, this occurs if and only if one of the subspaces $W_1$ and $W_2$ is a subspace of the other.

Note: you must combine each vector in $W_1$ with every vector in $W_2$, so you need to allow the coefficients $x$ and $y$ to be different; that’s why I have $x$ and $y$ and not $x$ and $x$.

  • 0
    @beginner: I’m glad that it helped. $W_2$ is actually just the $x$-axis. Take any point $\langle a,0\rangle$ on the $x$-axis. Now let $x=\frac{a}2$. Then $\langle a,0\rangle=\langle 2x,0\rangle$. You can think of it as the result of applying the linear transformation $T(\vec v)=2\vec v$ to the $x$-axis: everything is stretched out twice as far from the origin, but the transformation carries the $x$-axis onto itself.2014-11-26
2

Carefully note that for any two sets (not only for subspaces) $S$ & $T$, $S+T=${$s+t:s\in S, t\in T$}. Thus your sample vector viz $(3,3)$ is just a single element of $W_1+W_2$. You need to accommodate all such in $W_1+W_2$. Thus what should be the general form of a vector in $W_1+W_2$? Isn't it $(x,3x)+(2y,0)$ for $x,y\in \mathbb R$?

  • 0
    In the example I gave, what is $W1∪W2$?2012-12-09
0

Yes, that is the way. You have to add all pairs of $W_1$ and $W_2$. So, formally $W_1+W_2=\{w_1+w_2\mid w_1\in W_1\text{ and }w_2\in W_2\}.$ For example the sum of two lines (both containing the origo) in the space is the plane they span.

Anyway, it is worth to mention, that $W_1+W_2$ is the smallest subspace that contains $W_1\cup W_2$.

  • 0
    It's just the two lines $y=3x$ & the $x$-axis whereas $W_1+W_2$ is the entire $\mathbb R^2$. Can you give the reason behind it?2012-12-09