18.07.2014 Views

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!