15.01.2013 Views

Simplicial Structures in Topology

Simplicial Structures in Topology

Simplicial Structures in Topology

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.

I.3 Group Actions 41<br />

S2 = {(x,y,z) ∈ R3 | x2 + y2 + z2 = 1} by φ : S2 × Z2 → S2 , with φ((x,y,z),1) =<br />

(x,y,z) and φ((x,y,z),−1) =(−x,−y,−z). Therefore, we obta<strong>in</strong> the orbit space<br />

S2 /Z2 of this action by identify<strong>in</strong>g antipodal po<strong>in</strong>ts of the sphere S2 . On the other<br />

hand, let E ∼ = S1 be the equator of S2 and let the antipodal po<strong>in</strong>ts a and −a of S2 � E<br />

be identified. Let S2 + be the north hemisphere of S2 ; we note that S2 + � E alone represents<br />

the classes [a] ∈ S2 /Z2 where a ∈ S2 �E. In order to obta<strong>in</strong> S2 /Z ,wemust<br />

2<br />

is homeomorphic to the unit disk<br />

still identify the antipodal po<strong>in</strong>ts of E. S<strong>in</strong>ceS 2 +<br />

D2 , RP2 is also homeomorphic to the space S2 + /Z2 .<br />

In general, Z2 acts on the n-dimensional unit sphere (n ≥ 1)<br />

�<br />

�<br />

S n =<br />

(x0,x1,...,xn) ∈ R n+1 |<br />

by the antipodal action φ : S n × Z2 → S n , such that<br />

and<br />

n<br />

∑<br />

i=0<br />

xi = 1<br />

φ((x0,x1,...,xn),1)=(x0,x1,...,xn)<br />

φ((x0,x1,...,xn),−1)=(−x0,−x1,...,−xn).<br />

The orbit space Sn /Z2 is the n-dimensional real projective space .Whenn = 1, we<br />

have the real projective l<strong>in</strong>e, which is homeomorphic to the circle S1 .<br />

We say that a group G acts freely on a space X if<br />

Exercises<br />

(∀x ∈ X)(∀g ∈ G , g �= 1G) xg �= x.<br />

1. Prove that the projective l<strong>in</strong>e RP 1 is homeomorphic to S 1 .<br />

2. Prove that the action of a subgroup H ⊂ G of a topological group G given by the<br />

product (g,h) ↦→ gh is an action (on the right) of H on G. F<strong>in</strong>d the quotient G/H<br />

when G = SO(2) and H ⊂ G is the group generated by a rotation angle θ.<br />

3. Prove that the topological group GL(n,R) is connected.<br />

4. Prove that all discrete subgroups of R are cyclic and <strong>in</strong>f<strong>in</strong>ite.<br />

5. F<strong>in</strong>d a (non-Abelian) subgroup of SO(3) that is free on two generators.<br />

6. Consider the action of Q on R given by (x,q) ↦→ x+q. Is the quotient connected?<br />

Hausdorff? Compact?<br />

7. Let G be a topological group that acts on the left on two spaces X and Y .Prove<br />

that the action of G<br />

(g,[x ↦→ f (x)]) ∈ G × [X,Y] ↦→ [x ↦→ gf(g −1 x)] ∈ [X,Y ]<br />

on the homotopy classes of maps is well def<strong>in</strong>ed.

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

Saved successfully!

Ooh no, something went wrong!