3
$\begingroup$

If that is possible could you please correct my understanding about complement of a subspace.

From what i recall from set theory. A complement of a set B is the set U - B where U is the universal set. So B and U - B are disjoint, but in case of subspaces of a finite dimensional vector space all subspaces of the same dimension have origin in them, hence the intersection of such a subspace with it's complement is n't disjoint. Is n't this contradictory ?

Any help would be much appreciated.

  • 3
    By a *complement* of a subspace $B \subseteq U$ one usually means another subspace $A \subseteq U$ such that $A \oplus B = U$. There are many such complements in general for a given $B$.2012-02-08
  • 3
    What you say isn't incorrect - it just means that the set-theoretic complement of a subspace is never a subspace. So set-theoretic complements in linear algebra are uninteresting, and instead we have the definition mentioned by Leandro above.2012-02-08
  • 0
    Thanks for that guys, any answers for the other 2 questions would also be much appreciated, it would help clear my understanding.2012-02-08
  • 1
    Most of the question seems to revolve around the misunderstanding of "complement" in the set-theoretic instead of the vector-space sense, which Leandro cleared up; but what does the part about "vector spaces over different fields" have to do with that? Or is that a separate question? If so, please ask it separately; the site works best if there's one question per post.2012-02-08
  • 1
    Since you have separated the first paragraph into its own [separate question](http://math.stackexchange.com/questions/107192/can-a-vector-space-have-subspaces-of-same-dimension-over-different-fields), perhaps you should remove it from this one.2012-02-08

1 Answers 1

7

The word "complement" has different meanings depending on the context. In Set Theory, we often talk about "[relative] complement", which is the concept you describe. As you note, a set and its (relative) complement are disjoint. Moreover, the relative complement is unique: there is one and only one set that qualifies as the relative complement of $A$.

In linear algebra, though, "complement of a subspace" has a different meaning. We say that a subspace $\mathbf{Z}$ of the vector space $\mathbf{V}$ is a complement of the subspace $\mathbf{W}$ if and only if (i) $\mathbf{V}=\mathbf{W}+\mathbf{Z}$; and (ii) $\mathbf{W}\cap\mathbf{Z}=\{\mathbf{0}\}$. In general, there are many different possible complements, and none are disjoint from $\mathbf{W}$ (however, since $\{\mathbf{0}\}$ is the smallest that the intersection of two subspaces can be, we usually say the intersection is "trivial"). For example, if $\mathbf{V}=\mathbb{R}^2$ (as a real vector space) and $\mathbf{W}$ is the $x$-axis, then any line through the origin except the $x$-axis is a complement of the $x$-axis.

There is even a further concept of "complement" in linear algebra, when we have a notion of "inner product"; then we talk about the orthogonal complement of a set/subspace: if $\mathbf{V}$ is a vector space with inner product $\langle \cdot,\cdot\rangle$, then the orthogonal complement of a set $S$ is the set of all vectors that are orthogonal to $S$, and is denoted $S^{\perp}$; in general, $S\cap S^{\perp}\subseteq \{\mathbf{0}\}$.

So, in summary: the same word ("complement") has different meanings depending on context; you are trying to apply one meaning (set-theoretic) in the wrong context (linear algebra). You should look for the linear meaning instead. If you think it's bad to have the same word mean different things... well, you are right, but since the contexts are so different, it usually doesn't matter. (If you think that's bad, just wait until you run into the term "normal"...)

  • 0
    Thanks sorry i just created 2 new questions splitting this one up as i was suggested.2012-02-08
  • 0
    @Hardy: Please delete the first paragraph from this question, then. Thank you.2012-02-08
  • 0
    @Hardy: You should not have repeated *this* question in a new one; the suggestion was to create a *total* of two posts, to cover your two questions. You've now created a total of **three** posts to cover two questions: the two new posts, and then this post with the two questions again.2012-02-08
  • 0
    Sorry for not responding earlier i was commuting. I asked 3 questions in total now as per suggestion i have split them into 3 seperate questions.2012-02-08
  • 0
    @Hardy: No, you asked a total of 2 questions in three posts. One about complements, one about "subspaces of same dimension over the same field".2012-02-08
  • 0
    Thanks for your post that was very interesting and educational.2012-02-08
  • 0
    No boss, one is this one then the other ones are "Finite dimensional vector space with disjoint subspaces of same dimension" and the one was about "subspace over different fields".These are two seperate questions in my mind though u might think they were asking the same question.2012-02-08
  • 0
    @Hardy: [This](http://math.stackexchange.com/questions/107194/finite-dimensional-vector-space-with-subspaces) asks if you can have two disjoint subspaces of the same dimension. *This* question, *here*, asks the same question, but without "same dimension". That's a repeat, and the answer here answers the other one.2012-02-08
  • 0
    My apologies for the inconvenience my inprecise eyes caused other forum readers and thanks for your help. I genuinely appreciate it.2012-02-08
  • 0
    Is it safe to assume If two subspaces A and B of same dimension in a finite dimensional vector space are the same ?2012-02-08
  • 1
    @Hardy: No, not at all. For example, in $\mathbb{R}^2$, subspaces of dimension 1 correspond to lines through the origin. There are uncountably many different subspaces of dimension $1$, and any two have only the origin in common; there are uncountably many subspaces of dimension $2$, and any two distinct ones have only a line in common. The only dimensions for which there is only one subspace of that dimension are dimension $0$, and dimension $n=\dim(\mathbf{V})$. Two subspaces of the same dimension are *isomorphic*, but they need not be the same.2012-02-09
  • 0
    Thanks mate, after reading your reply i recall that you had brought that example to my attention earlier today and i should have recalled that. I am such a Man bimbo. lol. Thanks again for the clarification.2012-02-09