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

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.

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

Saved successfully!

Ooh no, something went wrong!