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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm supposed to determine the matrix of the reflection of a vector $v \in \mathbb{R}^{3}$ around the plane $z = 0$, parallel to the line $x = y = z$. I think this means that, denoting the plane by $E$ and the line by $F$, we will have $\mathbb{R}^{3} = E \oplus F$ and thus for a vector $v$, we write $v = z + w$ where $z \in E$ and $w \in F$, and then we set $Rv = z + Rw$? Then I guess we'd have $Rw = -w$ making $Rv = z - w$. Here $R$ denotes the reflection. Is this the correct definition?

share|cite|improve this question
That sounds like it would work to me. – Nathan Reed Jan 24 '13 at 1:28

Technically $E \ \dot{+} \ F = \mathbb{R}^{3}$, or $E \oplus F \simeq \mathbb{R}^{3}$, but it is a matter of debating $\mathbb{R}^{2} \oplus \mathbb{R} = \mathbb{R}^{3}$ should be an equality. The left and right hand side also are homeomorphic to each other and they don't need any distinctions between them.

If you want to work with $E \oplus F$, your $v \in \mathbb{R}^{3}$ is thus (technically) has an ismorphic image, which you called $v$ in $E \oplus F$.

share|cite|improve this answer
But by $E$ we mean $E = \{(x, y, 0); x, y \in \mathbb{R}\}$ and by $F$ we mean $F = \{(x, x, x); x \in \mathbb{R}\}$. They are both subspaces of $\mathbb{R}^{3}$ this way, so I don't see how can't we write $\mathbb{R}^{3} = E \oplus F$. – Pedro Jan 24 '13 at 10:07
up vote 0 down vote accepted

The definition is exactly as stated in the question.

share|cite|improve this answer

Your Answer


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.