0
$\begingroup$

The direct sum of the three subspaces $V_1, V_2, V_3$is defined as $V_1 \oplus V_2 \oplus V_3$ iff in their intersection lies only a zero vector. I want to find the subspace in $\Bbb R^3$ for which the direct sum exists and the subspace where the direct sum isn't defined.

1) Direct sum exists: For example $\{v_1,v_2,v_3\}=\{(1,-1,1), (-1,-1,1),(1,1,1)\}$ (the set is linearly independent)

2) Direct sum doesn't exist: For example $\{v_1,v_2,v_3\}=\{(1,-1,1), (2,-2,2), (1,1,1)\}$ (the set is linearly dependent)

PS: $v_i \in V_i$ and these vectors individually form the subspaces because they are closed under a multiplication by a scalar and under an addition.

$\endgroup$
2
  • $\begingroup$ That is not a correct definition of the triple direct sum. $\endgroup$ Commented Mar 8, 2017 at 19:22
  • $\begingroup$ Then I don't know. $\endgroup$
    – Leif
    Commented Mar 8, 2017 at 19:30

1 Answer 1

1
$\begingroup$

The direct sum is constructed iteratively. First you construct $V_1 \oplus V_2$, then you construct $(V_1 \oplus V_2) \oplus V_3$. So you have to require that $$V_1 \cap V_2 = \{0\}\,,$$ but also that $$(V_1 \oplus V_2) \cap V_3 = \{0\}\,.$$ Note that this is more restrictive than just requiring $V_1 \cap V_2 \cap V_3 = \{0\}$.

For example, let $e_1, e_2, e_3$ be the standard basis in $\mathbb R^3$ and $[e_1]$ the span of $e_1$. Then the direct sum $$ [e_1] \oplus [e_2] \oplus [e_3]$$ exists, but the direct sum $$ [e_1] \oplus [e_2] \oplus [e_1+e_2]$$ does not exist, even though $$ [e_1] \cap [e_2] \cap [e_1+e_2] = \{0\}\,.$$

$\endgroup$
3
  • $\begingroup$ It doesn't exist, because $e_1$ and $e_2$ can't span whole \Bbb R^3, right? $\endgroup$
    – Leif
    Commented Mar 8, 2017 at 21:17
  • 1
    $\begingroup$ No, it doesn't exist, because $e_1+e_2 \in [e_1] \oplus [e_2]$. $\endgroup$ Commented Mar 8, 2017 at 21:46
  • $\begingroup$ Ok, thank you very much. $\endgroup$
    – Leif
    Commented Mar 8, 2017 at 21:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .