How to find a vector space V and decompositions $V=A\oplus B = C\oplus D$ with $A$ isomorphic to $C$ but $B$ is not isomorphic to $D?$

Question

I've tried to solve the following question (Exercise 10, page 107 from Roman's book: Advanced Linear Algebra), but I wasn't able to solve it.

Find a vector space V and decompositions $V=A\oplus B = C\oplus D$ with $A$ isomorphic to $C$ but $B$ is not isomorphic to $D$.

Note that clearly $V$ cannot be finite dimensional, then it might be easier to see how to construct an example. — Tobias Kildetoft, Jan 23 '12 at 20:32

David Mitra · Accepted Answer · 2012-01-23T21:15:53.913

4

Take infinite dimensional $\ell_2$ and:

$\ \ \ A=\{ (x_i) : x_i=0, i\text{ even}\}$,

$\ \ \ B=\{ (x_i) : x_i=0, i\text{ odd}\}$,

$\ \ \ C=\{ (x_i) : x_1=0\}$,

$\ \ \ D=\{ (x_i) : x_i=0, i>1\}$.

edited Jan 23 '12 at 21:15

answered Jan 23 '12 at 20:38

David Mitra

Hello!Sorry, but $A$ and $C$ are not isomorphic as vector spaces. Am I missing something? Thanks! – Jan 23 '12 at 21:06
@user23505 Sorry, I had my letters mixed up. Thanks for pointing it out. It is correct now. – David Mitra Jan 23 '12 at 21:16
1

Perhaps one could just say that for any field $K$, $K^{\infty}=K^{\infty}\oplus K^{\infty}=K^{\infty}\oplus K$? – Gerry Myerson Jan 24 '12 at 00:33
@GerryMyerson I don't think $K^{\infty}\oplus K^{\infty}$ is a direct sum since the intersection of the factors is not ${0}$. – cap Jun 12 '16 at 03:12
@cap, $K^{\infty}\oplus K^{\infty}$ just means ${,(a,b):a,b{\rm\ in\ }K^{\infty},}$. – Gerry Myerson Jun 12 '16 at 03:17

1 Answers1