On peut faire cette construction dans le cas o`u f:A→∂M1est un plongement
d’une sous-vari´et´e `a bord de dimension n−1, A⊂∂M2.
Exercice 1.1.4.Montrer que le recollement pr´ec´edent le long d’une sous-vari´et´e du bord
admet une structure lisse.
Exercice 1.1.5.D´efinir une structure lisse sur le produit de deux vari´et´es `a bord.
Dans le cadre diff´erentiable, une orientation d’une vari´et´e est d´efini par un atlas
orient´e : les changements de cartes sont de jacobien positif. Dans le cadre topologique
une orientation d’une vari´et´e `a bord M, de dimension n, est un choix continu pour
x∈M−∂M de g´en´erateurs µxde Hn(M, M −x)≃Z. L’orientation du bord est telle
que la restriction au bord d’une carte orient´ee d’image un ouvert de ] − ∞,0] ×Rn−1
est orient´ee. La r`egle pratique s’´enonce normale sortante, premier vecteur.
Proposition 1.1.6. Si M1et M2sont deux vari´et´es diff´erentiables orient´ees, et si f
renverse l’orientation (resp. respecte l’orientation), alors M=M1∪fM2est orient´ee
(resp. M=M1∪fM2est orient´ee
La notation M2d´esigne la vari´et´e M2munie de l’orientation oppos´ee.
D´efinition 1.1.7. a) Une isotopie (lisse) de la vari´et´e Vvers la vari´et´e Mest une
application (lisse) H: [0,1] ×V→Mtelle que tout t∈[0,1], l’application Ht=H(t, .)
est un plongement.
b) Deux plongements lisses f, g :V→Msont isotopes si et seulement s’il existe une
isotopie Htelle que f=H0et g=H1.
D´efinition 1.1.8. a) Une isotopie ambiante (lisse) d’une vari´et´e lisse Mest une appli-
cation (lisse)
h: [0,1] ×M→M
(t, x)7→ h(t, x) = ht(x)
telle que : h0=IdM, et pour tout t,htest un diff´eomorphisme.
b) Deux plongements f, g :A→Nsont a-isotopes si et seulement s’il existe un isotopie
htelle que : g=h1◦f.
Lorsque Vest compacte, les notions d’isotopies et d’a-isotopie sont ´equivalentes.
Voir : Hirsch, Differential Topology, ch 8. Dans les deux d´efinition pr´ec´edentes on
pourrait demander que Hsoit un chemin continu dans les plongements ou les
diff´eomorphismes ; les notions d’isotopie correspondantes sont ´equivalentes.
Exercice 1.1.9.Montrer que si f, g :A→∂M1sont des plongements a-isotopes
d’une sous vari´et´e `a bord Ade mˆeme dimension que ∂M2, alors les vari´et´es recoll´ees
M=M1∪fM2et M′=M1∪gM2sont diff´eomorphes .
2