John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
164 8 Topology<br />
8.2 Closed matrix groups<br />
In <strong>Lie</strong> theory, closed sets are important from the beginning, because all<br />
matrix <strong>Lie</strong> groups are closed sets in the appropriate topology. This has to do<br />
with the continuity <strong>of</strong> matrix multiplication and the determinant function,<br />
which we assume for now. In the next section we will discuss continuity<br />
and its relationship with open and closed sets more thoroughly.<br />
Example 1. The circle group S 1 = SO(2).<br />
Viewed as a set <strong>of</strong> points in C or R 2 , the unit circle is a closed set<br />
because its complement (the set <strong>of</strong> points not on the circle) is clearly open.<br />
Figure 8.1 shows a typical point P not on the circle and an ε-neighborhood<br />
<strong>of</strong> P that lies in the complement <strong>of</strong> the circle. The open neighborhood <strong>of</strong> P<br />
is colored gray and its perimeter is drawn dotted to indicate that boundary<br />
points are not included.<br />
P<br />
Figure 8.1: Why the complement <strong>of</strong> the circle is open.<br />
Example 2. The groups O(n) and SO(n).<br />
We view O(n) as a subset <strong>of</strong> the space R n2 <strong>of</strong> n×n real matrices, which<br />
we also call M n (R). The complement <strong>of</strong> O(n) is<br />
M n (R) − O(n)={A ∈ M n (R) : AA T ≠ 1}.<br />
This set is open because if A is a matrix in M n (R) with AA T ≠ 1 then<br />
some entries <strong>of</strong> AA T are unequal to the corresponding entries (1 or 0) in 1.<br />
It follows, since matrix multiplication and transpose are continuous, that<br />
BB T also has entries unequal to the corresponding entries <strong>of</strong> 1 for any B<br />
sufficiently close to A. Thus some ε-neighborhood <strong>of</strong> A is contained in<br />
M n (R) − O(n),soO(n) is closed.