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.

Let $A$ be a matrix in the special orthogonal group, $A \in SO_n$. This means that $A$ is real, $n \times n$, $A^t A = I$ and $Det(A)=1$, that is, the column vectors of $A$ make a positively-oriented orthonormal basis for $\mathbb R^n$.

Decompose $A$ as a block matrix

$$A = \begin{pmatrix} B & C \\ D & E\end{pmatrix}$$

where $B$ is $k \times k$ and $E$ is $(n-k)\times (n-k)$.

I'm looking for a basic linear-algebra argument that $Det(B) = Det(E)$, ideally something that could be presented in a 2nd or 3rd year undergraduate course. So I do not want people to invoke anything like tensor products or differential forms.

share|improve this question
add comment

1 Answer

up vote 7 down vote accepted

Some googling brought up this, Hudson's book "Kummer's quartic surface", containing the following argument.

Given $A = \begin{pmatrix} B & C\\ D & E\end{pmatrix}$, orthgonality gives us that $A^{-1} = A^t = \begin{pmatrix} B^t & D^t\\C^t & E^t\end{pmatrix}$.

The block matrix multiplication gives $$I = A^t A = \begin{pmatrix} B^tB + D^tD & B^t C + D^tE\\C^tB + E^t D & C^tC + E^tE\end{pmatrix}$$

so $B^tB + D^tD = I$, $B^tC + D^tE = 0$, and $C^tC + E^tE = I$ (but the two $I$s probably have different size).

Now, using these relations, it's easy to see that $$\begin{pmatrix} B^t & D^t\\0&I\end{pmatrix} A = \begin{pmatrix} B^t & D^t\\0&I\end{pmatrix}\begin{pmatrix}B&C\\D&E\end{pmatrix} = \begin{pmatrix} I & 0\\D &E\end{pmatrix}$$

(but I confess to being at a loss of how to motivate where this came from - it's in the book).

From here, taking the determinant of both sides, using the fact that $\det(A) = 1$ and that $\det$ is a homomorphism, gives $$\det\begin{pmatrix} B^t & D^t\\0&I\end{pmatrix} = \det\begin{pmatrix} I&0\\D&E\end{pmatrix}$$

but the determinant of a block matrix with one block $0$ is the product of the determinants of the diagonal blocks, so we get $\det(B^t) = \det(E)$. Finally, note that $\det(B^t) = \det(B)$, so we're done.

share|improve this answer
    
Thanks Jason, that's a lovely argument. I was hopeful something like that would work, but I didn't notice the step you found tricky to motivate. I'll see if I can massage it into something more natural. –  Ryan Budney Mar 21 '12 at 1:40
    
Thanks for fixing my typos, Ryan and Hans. –  Jason DeVito Mar 21 '12 at 12:42
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.