3
$\begingroup$

So I'm reading through Serre's "Linear Representations of Finite Groups," and I'm a bit confused by what's probably a fairly minor point. However, subsequent proofs are hinging on it, so I figure I'll turn to you guys for clarification.

So he defines the direct sum (I guess in this case the internal one), and then introduces the projection map. So if $V=W+W'$, then $p(x=w+w')=w$. Then, for some converse implicating, he assumes we have some map $p$ from $V$ to $V$ whose image is $W$ and whose restriction to $W$ yields $p(x)=x$. Then we can show that $V$ is the direct sum of $W$ and the kernel of $p$. It's the next line that trips me up. He says "A bijective correspondence is thus established between the projections of $V$ onto $W$ and the complements of $W$ in $V$." My brain can't fill the gap in the logic, nor can I really understand what that statement is all about.

Apologies for the logorrhea. Any and all help is very much appreciated!

  • 1
    It's OK, it sounds like fairly *natural logorrhea* (har har)2012-08-13
  • 0
    @rschwieb I wish I could take the laughter back, but alas...well-played.2012-08-31

3 Answers 3

3

Every projection $\,p:V\stackrel{\text{onto}}\rightarrow W\,$ determines a complement of $\,W\,$ , namely $\,\ker p\,$, since $\,V=W\oplus \ker p\,$, and the way around: for every decomposition $\,V=W\oplus U\,$ there exists a projection $\,p_U:V\to W\,$ , defined by $\,p_U(v=w\oplus u):= w\,$ . There you have your bijective correspondence.

2

You just need to understand the following: Namely let $p : V \to V$ such that $p^2 = p.$ Then

$$V = \textrm{Im} \hspace{1mm} p \oplus \textrm{Ker} \hspace{1mm} p. $$

Assuming this result, what Serre is saying is this. Suppose you have a subspace $W$ of $V$. Then you can always extend the basis of $W$ to a basis of $V$ just by adding in more basis vectors to the collection that is already a basis for $W$. In this way, those extra guys give you a complement of $W$ which you can call $W'$. I now claim that

$$V = W \oplus W'.$$

It is plain that every vector in $V$ can be written as $w + w'$ with $w \in W$, $w' \in W'$. It now suffices to show that $W \cap W' = \{0\}$. But this is trivial as well because by choice the set consisting of basis vectors of $W$ and $W'$ is linearly independent. This completes the proof of the claim.

So you can now get a projection $p$ from $V$ onto $W$ simply as follows. Write $\{w_1,\ldots w_n\}$ as a basis for $W$ and $\{u_1,\ldots,u_m\}$ a basis for $W'$. Then the matrix of $p$ with respect to the basis for $V$ obtained from concatenating the two is:

$$\left(\begin{array}{c|c} I & 0 \\ \hline 0& 0 \end{array}\right)$$

where the upper left block is the $n \times n$ identity matrix and the lower right block is a $m \times m$ matrix with all zeros as its entries.

Conversely if you have a projection, i.e. an operator that satifies $p^2 = p$ then by the result I told you above this gives rise to a subspace, namely $\textrm{im} p$ which is our $W$ now and its complement, the kernel of $p$.

  • 0
    "Orthogonal complement"...orthogonal wrt what? I think this term is mostly reserved when we have an inner product, or a bilinear form, or something of the like. In general, a subspace $\,W\,$ can have many complements within the big space $\,V\,$2012-08-12
  • 0
    A vector space complement is NOT a set theoretic complement, as if $0\neq u\in U$ and $0\neq v\in V$ with $U \cap V = 0$, $u+v$ is in neither $U$ nor $V$.2012-08-12
  • 0
    @ronno I have removed that.2012-08-12
  • 0
    @DonAntonio In the context of representation theory, I think you assume that your spaces are always equipped with an inner product.2012-08-12
  • 0
    @BenjaLim , no: why should we? Unless I misunderstood something, the OP is talking of simply matrix representations of a group, and no where is needed an inner product *a priori* in the general case, as Serre begins his book. But even if we had an inner product, it seems from what you wrote that we *always* get the orthogonal complement of $\,W\,$, which would then render the bijective correspondence pretty boring...2012-08-12
  • 1
    @DonAntonio Say we did not have an inner product. Given $W$, can't I then always find (by extending bases) a space $W'$ such that $V = W \oplus W'$?2012-08-12
  • 0
    Of course, @BenjaLim : this is precisely the point! For any such complement of $\,W\,$ you get a projection on it from $\,V\,$ and the other way around, just as it's asked in the OP.2012-08-12
  • 0
    @BenjaLim , if you limit yourself to *the orthogonal* complement of $\,W\,$ in an inner product space $\,V\,$ , then you only have one projection (and one such complement, of course), and thus the OP's question is pointless.2012-08-12
  • 0
    @DonAntonio Yes I see the point of the OP's question now. If we just talk about the orthogonal complement we are talking about a correspondence of one point sets which is trivial. I will edit my answer shortly.2012-08-12
  • 0
    @DonAntonio I have edited my answer. Please read it.2012-08-12
  • 0
    @BenjaLim , I think is just fine now.2012-08-12
1

Each direct decomposition of a module $M$ arises from an idempotent $e$ in the endomorphism ring $\mathrm{End}(M_R)$ in this way: $M=e(M)\oplus (1-e)(M)$.

In this case, the module is a vector space and "projection" refers to the idempotent.

You can find some more discussion about this on the idempotence Wiki page.

(The other solutions are good by the way, I just wanted to give my own spin on the overview.)