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.

188 9 Simply connected <strong>Lie</strong> groups<br />

Thus we have three <strong>Lie</strong> groups with the same <strong>Lie</strong> algebra: O(2),SO(2),<br />

and R. These groups can be distinguished algebraically in various ways<br />

(exercises), but the most obvious differences between them are topological:<br />

• O(2) is not path-connected.<br />

• SO(2) is path-connected but not simply connected, that is, there is a<br />

closed path in SO(2) that cannot be continuously shrunk to a point.<br />

• R is path-connected and simply connected.<br />

Another difference is that both O(2) and SO(2) are compact, that is, closed<br />

and bounded, and R is not.<br />

As this chapter unfolds, we will see that the properties <strong>of</strong> compactness,<br />

path-connectedness, and simple connectedness are crucial for distinguishing<br />

between <strong>Lie</strong> groups with the same <strong>Lie</strong> algebra. These properties are<br />

“squeezed out” <strong>of</strong> the <strong>Lie</strong> group G when we form its <strong>Lie</strong> algebra g, and<br />

we need to put them back in order to “reconstitute” G from g. In particular,<br />

we will see in Section 9.6 that G can be reconstituted uniquely from<br />

g if we know that G is simply connected. But before looking at simple<br />

connectedness more closely, we study another example.<br />

Exercises<br />

9.1.1 Find algebraic properties showing that the groups O(2), SO(2), andR are<br />

not isomorphic.<br />

From the circle group S 1 = SO(2) and the line group R we can construct three<br />

two-dimensional groups as Cartesian products: S 1 × S 1 , S 1 × R,andR × R.<br />

9.1.2 Explain why it is appropriate to call these groups the torus, cylinder, and<br />

plane, respectively.<br />

9.1.3 Show that the three groups have the same <strong>Lie</strong> algebra. Describe its underlying<br />

vector space and <strong>Lie</strong> bracket operation.<br />

9.1.4 Distinguish the three groups algebraically and topologically.<br />

9.2 Three groups with the cross-product <strong>Lie</strong> algebra<br />

At various points in this book we have met the groups O(3), SO(3), and<br />

SU(2), and observed that they all have the same <strong>Lie</strong> algebra: R 3 with the<br />

cross product operation. Their <strong>Lie</strong> algebra may also be viewed as the space

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

Saved successfully!

Ooh no, something went wrong!