Exercice 4.
Soit
G
un groupe topologique. Par definition, cela veut dire que c’est un espace topologique
muni d’une structure de groupes tel que les applications de multiplication
m:G×G→G
et d’inverse
I:G→G
definies par
m(x, y) = xy
et
I(x) = x−1
sont continues. Exemples
de groupes topologiques C∗, S1, SLn(R), SLn(C), On(R), Un(C).
a.
Soit
G0⊂G
la composante connexe de l’´el´ement neutre
1
. Montrer que
G0
est un
sous-groupe distingu´e de G. Meme question avec la composante connexe par arcs de 1.
b. Montrer que toutes les composantes connexes de Gsont hom´eomorphes entre elles.
c.
On suppose
G
connexe par arcs. Montrer que
π1(G, 1)
est ab´elien. Etant donn´e deux
lacets γ, γ0, on pourra consid´erer F: [0,1]2→G(s, t)7→ γ(s)γ0(t).
Montrer que si
γ, γ0
sont 2 chemins, leur concatenation
γ.γ0
est homotope au chemin
t7→ γ(t)γ0(t).
Exercice 5.
Soient
X, Y
deux espaces topologiques. On a vu que si
f, g
sont homotopes relaltivement
`a x0, les applications induites entre les groupes fondamentaux coincident.
On suppose que
f, g
sont homotopes, mais pas relativement a
x0
. On ne suppose pas non
plus que f(x0)coincide avec g(x0).
Montrer qu’il existe ηun chemin de f(x0)ag(x0)tq f∗= adη◦g∗.
Exercice 6.
Montrer que tout hom´eomorphisme du disque unit´e
B2
de dimension 2 envoie
S1
dans
S1
.
Exercice 7.
Soit d={0} × R⊂R2, et p:R2→dla projection orthogonale.
a. Montrer que pest une retraction par deformation
b.
Soit
X=R2\ {(1,0)}
, et
q:X→d
la restriction de
q
. Montrer que
q
est une retraction,
mais pas une retraction par deformation.
c.
Soit
d, d0
deux droites de
R3
disjointes,
X=R3\d
, et
r:X→d0
la restriction de la
projection orthogonale sur
d0
. Montrer que
r
est une retraction, mais pas une retraction
par deformation.
Theoreme du sandwich
Exercice 8. Th´eor`eme du sandwich
Il s’agit de d´emontrer le th´eor`eme suivant. Soient
P, J, F ⊂R3
(pain, jambon, fromage)
3 sous-ensembles ouverts connexes et born´es de
R3
, (non vides). Alors il existe un plan
H⊂R3qui decoupe chacun des 3 ensembles P, J, F en 2 morceaux de mesure egale.
a.
Montrer qu’´etant donn´e un vecteur unitaire
v∈R3
, il existe un unique r´eel
a(v)
tel que
l’hyperplan affine d’´equation
hx|vi=a(v)
d´ecoupe l’ouvert
P
en deux moit´es de mesures
´egales. Montrer que v7→ a(v)est continue.
b.
Notons
Hv
le demi-espace d’´equation
hx|vi ≥ a(v)
. Soient
fF(v) = V ol(F∩Hv)
et
fJ(v) = V ol(J∩Hv). Montrer qu’elles sont continues.
c.
Constuire `a partir de
fF
et
fJ
une fonction de
S2→R2
qui satisfait les hypoth`eses du
th´eor`eme de Borsuk Ulam, et en d´eduire le th´eor`eme du Sandwich.
2/4