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.

For a non-zero vector $\mathbf{v} \in{\mathbb{E}^n}$, I need to show that the collection $W$ of vectors orthogonal to $\mathbf{v}$ forms an (n-1)-dimensional subspace of $\mathbb{E}^n$. I've been working with a spanning set $\alpha_1\mathbf{w}_1 + \dotsb + \alpha_{n-1}\mathbf{w}_{n-1}$, but I'm having trouble trying to wrap my head around how to prove this is linearly independent or why it has to have dimension of $(n-1)$. Thanks

share|improve this question
1  
Do you have the Gram-Schmidt process available? –  Henning Makholm Oct 11 '11 at 0:00
1  
Here's one way of approaching this: suppose $\{w_1, \ldots, w_k \}$ is a basis for $W$. Show that $\{w_1, \ldots , w_k, v\}$ is a basis for $\mathbb{E}^n$. Since every basis of $\mathbb{E}^n$ has $n$ elements, we have $k+1=n$. –  Chris Eagle Oct 11 '11 at 0:02
    
Unfortunately not, I've read about it but apparently this is solvable without using it... –  James Hines Oct 11 '11 at 0:04
    
At least, then, skimming through Wikipedia's account of Gram-Schmidt ought to inspire an attack on the missing piece of Chris's hint. –  Henning Makholm Oct 11 '11 at 0:25

3 Answers 3

I think the simplest way is this. Let $${\bf v}=(a_1,a_2,\dots,a_n), {\bf w}=(w_1,w_2,\dots,w_n)$$ The orthogonality condition is a single homnogeneous linear equation in $n$ unknowns, $$a_1w_1+a_2w_2+\cdots+a_nw_n=0$$ Do you know how to find the dimension of the solution space of a system of homogeneous equations?

EDIT: if not, then see my comment, currently the third one down from this answer.

(Aside to Agusti Roig: perhaps I should have done as you suggested, but what I've done instead should still help, as well as saving a lot of typing!)

share|improve this answer
    
no but this sounds very helpful –  James Hines Oct 11 '11 at 1:11
    
Hint: apply the rank-nullity theorem. :-) –  a.r. Oct 11 '11 at 1:38
2  
Or, if you don't know the rank-nullity theorem, do this: at least one of the $a_i$ is not zero. Let's assume $a_n\ne0$. Then one solution has $w_1=1$, $w_n=-a_1/a_n$, and all the other $w_i=0$. A second solution has $w_2=1$, $w_n=-a_2/a_n$, all the other $w_i=0$. And so on, up to solution number $n-1$, which has $w_{n-1}=1$, $w_n=-a_{n-1}/a_n$, all the other $w_i=0$. So we get $n-1$ elements of $W$. It's easy to check that they are linearly independent, and it isn't too hard to show that every element of $W$ is a linear combination of these elements. –  Gerry Myerson Oct 11 '11 at 2:34
    
@Gerry. You're right: your idea is the simplest one. But maybe you could add this comment of yours in your answer: perhaps it would help james. –  a.r. Oct 11 '11 at 8:36

You can do it in several ways.

First, you can consider a map

$$ f: \mathbb{E}^n \longrightarrow \mathbb{R} \ , \qquad f(u) = v\cdot u \ . $$

Prove that $f$ is linear. By the rank-nullity theorem, you'll have

$$ \mathrm{dim}\, \mathbb{E}^n = \mathrm{dim}\,\mathrm{Im}\, f + \mathrm{dim}\,\mathrm{Ker}\, f \ . $$

And now you must prove two more things: (1) $\mathrm{Im}\, f = \mathbb{R}$ (hint: consider vectors $u$ of the form $\lambda v$). And (2) $\mathrm{Ker}\, f = W$. As a consequence, you'll have all: that $W$ is a subspace and its dimension.

Another approach: if you know what an (internal) direct sum is, prove that

$$ \mathbb{E}^n = \mathrm{span} (v) \oplus W \ . $$

For this, you'll need to: (1) Prove that $W$ is a subspace (hint: just look at the definition of subspace). (2) Prove that $\mathrm{span} (v) \cap W = \left\{ 0\right\} $. And (3), the tough part of this, prove that you can write every vector $u \in \mathbb{E}^n$ as $u = \lambda v + w$, for some $\lambda \in \mathbb{R}$ and $w\in W$. This can be done easily if you know about orthogonal projections. In this case, $\lambda v$ is just the orthogonal projection of $u$ onto $\mathrm{span} (v)$ and $w = u -\lambda v$. (Hint: $\lambda = \dfrac{v\cdot u}{v\cdot v}$.)

As a consequence, $\mathrm{dim}\, \mathbb{E}^n = \mathrm{dim}\,\mathrm{span} (v) + \mathrm{dim}\, W$ and you're done.

share|improve this answer

Since $v$ is non-zero, then the set $\{v\}$, which is linearly independent, can be complete to a basis $B=\{v,w_1,\dots,w_n\}$ of $E^n$, which necessarily must have $n$ elements. Now consider the vectors $$w_i'=w_i-\frac{v\cdot w_i}{v\cdot v}v$$ for $i\in\{1,\dots,n\}$. An easy computation shows that the $w_i'$ are orthogonal to $v$. You should next check that they are linearly independent.

share|improve this answer

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.