Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I read today that for a vector space $V$ and any subspace $S$, all complements of $S$ in $V$ are isomorphic to $V/S$, and thus to each other.

I want to ask, is there a case where $V\cong W$ are isomorphic vector spaces, where $V=S\oplus A$ and $W=S\oplus B$, but $A$ and $B$ are not isomorphic? So complements in different vector spaces, albeit isomorphic ones, need not be isomorphic themselves? Thanks.

share|improve this question
add comment

2 Answers 2

up vote 3 down vote accepted

Yes, there are such cases. If $S$ is infinite dimensional, you can take $V=S\oplus S$ and $W=S\oplus\{0\}$. Or, $V=S\oplus(\text{a finite dimensional space})$ and $W=S\oplus(\text{a finite dimensional space with different dimension})$.

If $S$ is finite dimensional, then there are no such cases.

share|improve this answer
    
Thanks Jonas Meyer. –  Noomi Holloway Dec 21 '12 at 3:48
add comment

The following works if the bases of $V$ and $W$ are finite.

Given an isomorphism $\phi:S\rightarrow S$, we can extend to an isomorphism $\overline{\phi}:V\rightarrow W$ by mapping the completion of the basis of $S$ in $V$ to the completion of the basis of $S$ in $W$. Then $\overline{\phi}\left|_{A}\right.$ is an isomorphism between $A$ and $B$.

I don't know about infinite dimensions.

share|improve this answer
    
@JonasMeyer Yeah, I realize that. Thanks anyway for pointing out the error. –  Samuel Handwich Dec 20 '12 at 8:10
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.