John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
52 3 Generalized rotation groups<br />
An example <strong>of</strong> a transformation that is in O(n), but not in SO(n), isreflection<br />
in the hyperplane orthogonal to the x 1 -axis, (x 1 ,x 2 ,x 3 ,...,x n ) ↦→<br />
(−x 1 ,x 2 ,x 3 ,...,x n ), which has the matrix<br />
⎛<br />
⎞<br />
−1 0 ... 0<br />
0 1 ... 0<br />
⎜<br />
⎟<br />
⎝ .<br />
⎠ ,<br />
0 0 ... 1<br />
obviously <strong>of</strong> determinant −1. We notice that the determinant <strong>of</strong> a matrix<br />
A ∈ O(n) is ±1 because (as mentioned in the previous section)<br />
AA T = 1 ⇒ 1 = det(AA T )=det(A)det(A T )=det(A) 2 .<br />
Path-connectedness<br />
The most striking difference between SO(n) and O(n) is a topological one:<br />
SO(n) is path-connected and O(n) is not. That is, if we view n×n matrices<br />
as points <strong>of</strong> R n2 in the natural way—by interpreting the n 2 matrix entries<br />
a 11 ,a 12 ,...,a 1n ,a 21 ,...,a 2n ,...,a n1 ,...,a nn as the coordinates <strong>of</strong> a point—<br />
then any two points in SO(n) may be connected by a continuous path in<br />
SO(n), but the same is not true <strong>of</strong> O(n). Indeed, there is no continuous<br />
path in O(n) from<br />
⎛<br />
⎞ ⎛<br />
⎞<br />
1<br />
−1<br />
1<br />
⎜<br />
⎝<br />
. ..<br />
⎟<br />
⎠ to 1<br />
⎜<br />
⎝<br />
. ..<br />
⎟<br />
⎠<br />
1<br />
1<br />
(where the entries left blank are all zero) because the value <strong>of</strong> the determinant<br />
cannot jump from 1 to −1 along a continuous path.<br />
The path-connectedness <strong>of</strong> SO(n) is not quite obvious, but it is interesting<br />
because it reconciles the everyday concept <strong>of</strong> “rotation” with the<br />
mathematical concept. In mathematics, a rotation <strong>of</strong> R n is given by specifying<br />
just one configuration, usually the final position <strong>of</strong> the basis vectors,<br />
in terms <strong>of</strong> their initial position. This position is expressed by a matrix<br />
A. In everyday speech, a “rotation” is a movement through a continuous<br />
sequence <strong>of</strong> positions, so it corresponds to a path in SO(n) connecting the<br />
initial matrix 1 to the final matrix A.