[Math] Direct sum $\mathbb{R} \oplus \mathbb{R}$ – isn’t intersection non-zero

direct-sumlinear algebra

I am just starting to learn about direct sums and every definition I have read about direct sums say that the intersection of subspaces must be zero. So, how can $$\mathbb{R} \oplus \mathbb{R}$$ be a direct sum when they are identical? Thanks in advance!

Best Answer

The direct sum depends on context. There are two notions of direct sum: the inner direct sum and the outer direct sum.

With the inner direct sum, we have some large vector space and two subspaces. We must assume that the intersection of the two subspaces is zero in order to form the inner direct sum.

With the outer direct sum, we take two vector spaces that have nothing to do with each other and slam them together. I.e. you get a vector in the outer direct sum by appending vectors from your two vector spaces.

It turns out that these two notions are isomorphic. That is, if you take the inner direct sum of two subspaces in a big vector space, that is isomorphic to the vector space obtained by taking the outer direct sum of those subspaces as vector spaces in their own right.

In your example, we are viewing the two copies of $\mathbb{R}$ as distinct vector spaces that have nothing to do with each other and then taking the outer direct sum of them.

To think about it in terms of the inner direct sum, think of one of the copies of $\mathbb{R}$ as the x-axis and the other copy of $\mathbb{R}$ as the y-axis. Then their intersection is zero, and taking the inner direct sum yields $\mathbb{R}^2$.

Related Question