Bourbaki

Index des notations

CB(X;X′)\mathscr{C}_B(X; X') (B-morphismes) . . . . . 2 IsomB(X;X′)_B(X; X') (B-isomorphismes) 2 AutB(X)_B(X) (B-automorphismes) . . 2 XbX_b (fibre) . . . . . . . . . . . . . . . . . 2 XAX_A (espace induit) . . . . . . . . . . 2 X×BX′X\times_BX' (produit fibré) . . . . . . . 3 ΔX\Delta_X (diagonale) . . . . . . . . . . . . . 4 δX\delta_X (morphisme diagonal) . . . . . . 4 f∗(X)f^*(X) (changement de base) . . . 5 ∏BXi\prod_BX_i (produit fibré) . . . . . . . . 5 Cc(U;V)\mathscr{C}_c(U; V) (applications continues de

U dans V) . . . . . . . . . . . . 19 S(A;E)\mathscr{S}(A; E) (sections continues) . . 33 s∣Us|U (restriction) . . . . . . . . . . 43 F(B;X)\mathscr{F}(B; X) (faisceau d’applications) 45 C(B;X)\mathscr{C}(B; X) (faisceau d’applications

continues) . . . . . . . . . . . . . 45 S(B;E),S(E)\mathscr{S}(B; E),\mathscr{S}(E) (faisceau de

sections) . . . . . . . . . . . . . . 45 CB(E;E′)\mathscr{C}_B(E; E') (faisceau de

B-morphismes) . . . . . . . . . 45 M\mathscr{M}orB(E;E′)_B(E; E') (faisceau de

B-morphismes) . . . . . . . . . 46 I\mathscr{I}somB(E;E′)_B(E; E') (faisceau d’isomorphismes) . . . . . . . . . . . . . . 46 Cr(X;Y)\mathscr{C}^r(X; Y) (faisceau d’applications de

classe Cr)C^r). . . . . . . . . . . . . 46 P(B)\mathfrak{P}(B) (faisceau de sous-espaces) 46 EFE_{\mathscr{F}} (espace étalé) . . . . . . . . . . 49

© N. Bourbaki et Springer-Verlag Berlin Heidelberg 2 N. Bourbaki, Topologie algébrique, DOI 10.1007/978-3-

F~\widetilde{\mathscr{F}} (faisceau associé à un préfaisceau) . . . . . . . . . . . . . . . . 53 u∗(F)u_*(\mathscr{F}) (image directe d’un

(pré)faisceau) . . . . . . . . . . 57 u∗(G)u^*(\mathscr{G}) (image réciproque d’un

(pré)faisceau) . . . . . . . . . . 58 GA\mathscr{G}_A (faisceau induit) . . . . . . . . 59 G∘G^{\circ} (groupe opposé) . . . . . . . . . 91 CBG(E;E′)\mathscr{C}_B^G(E; E') (morphismes d’espaces

fibrés principaux) . . . . . . . 92 E×GFE\times^GF (espace fibré associé) . 106 Zcont1(B,U,G)Z^1_{cont}(B,\mathscr{U},G) (1-cocycles continus) . . . . . . . . . . . . . . . . 114 Hcont1(B,U,G)H^1_{cont}(B,\mathscr{U},G) (classes de

cohomologie) . . . . . . . . . 116 P(B,G)P(B,G) (classes d’isomorphisme de

fibrés principaux) . . . . . . 118 P(B,U,G)P(B,\mathscr{U},G) (classes d’isomorphisme

de fibrés principaux) . . . . 118 Hcont1(B,G)H^1_{cont}(B,G) (classes de cohomologie) . . . . . . . . . . . . . . . . 119 C((X,x);(Y,y))\mathscr{C}((X, x); (Y, y)) (applications

continues pointées) . . . . . 120 pAp_A (jauge de la partie convexe

A) . . . . . . . . . . . . . . . . . 123 S(X) (suspension de l’espace X) 149 Som(C) (sommets d’un carquois) . . . . . . . . . . . . . . . 152 Fl(C) (flèches d’un carquois) . 152

016

662−49361−8_{662-49361-8} 481

oCo_C (application source d’un

carquois) . . . . . . . . . . . . 152 tCt_C (application but d’un carquois) . . . . . . . . . . . . . . . 152 Fla,b(C)_{a,b}(C), Ca,bC_{a,b} (flèches reliant aa à

b). . . . . . . . . . . . . . . . . . 152 Som(φ\varphi ) (morphisme de carquois) . . . . . . . . . . . . . . . 152 Fl(φ\varphi ) (morphisme de carquois) 152 c∗dc*d (chemin juxtaposé) . . . . 154 π0(C)\pi_0(C) (composantes connexes) 155 π0(φ)\pi_0(\varphi ) (application induite sur les

composantes connexes) . . 155 f‾\overline{f} (involution sur Fl(C)) . . . . 155 Ch(C) (ensemble des chemins dans

un carquois) . . . . . . . . . . 160 ΩC\Omega_C (catégorie des chemins d’un

carquois) . . . . . . . . . . . . 160 f−1f^{-1} (inverse d’une flèche inversible) . . . . . . . . . . . . . . . 161 GaG_a (groupe d’isotropie) . . . . . 162 Int(ff) (isomorphisme de groupes

d’isotropie) . . . . . . . . . . . 162 φa\varphi_a (homomorphisme de groupes

d’isotropie) . . . . . . . . . . . 162 Orb(G) (orbites d’un groupoïde) 162 Orb(φ\varphi ) (application déduite de φ\varphi

par passage aux orbites) . 162 B(X,p)\mathscr{B}(X, p) (groupoïde des permutations) . . . . . . . . . . . . . . . 163 lim⟶iGi\longrightarrow_iG_i (limite inductive de

groupoïdes) . . . . . . . . . . 164 X×SXX\times_SX (groupoïde des couples d’une

application) . . . . . . . . . . 165 φ∗G\varphi^*G (groupoïde image réciproque) . . . . . . . . . . . . . 166 Ker(φ\varphi ) (noyau d’un morphisme de

groupoïdes) . . . . . . . . . . 166 G/HG/H (groupoïde quotient) . . . 170 φ‾\overline{\varphi} (morphisme de groupoïdes déduit

par passage au quotient) . 171 ϖG\varpi_G (groupoïde des classes de

chemins) . . . . . . . . . . . . 172 ϖ(φ)\varpi (\varphi ) (morphisme de groupoïdes de

classes de chemins) . . . . . 173 F(A) (groupe libre) . . . . . . . . 173 Grp(C) (groupoïde libre) . . . . 174

482

G/FG/F (groupoïde obtenu par

contraction de flèches) . . . 176 π1(G,a)\pi_1(G, a) (groupe de Poincaré d’un

graphe en a). . . . . . . . . . 178 u∼vu\sim v (homotopie de morphismes de

groupoïdes) . . . . . . . . . . 181 Coh(φ,ψ\varphi , \psi ) (cohomotopeur) . . . 184 i∗∈IGi_i*_{\in I}G_i (produit libre de groupes) 193

Coeg(φ,ψ\varphi , \psi ) (coégalisateur) . . . 199 C(X;Y)\mathscr{C}(X; Y) (applications continues de

X dans Y) . . . . . . . . . . . 230 [X; Y] (classes d’homotopies

d’applications continues) . 230 [f][f] (classe d’homotopie d’une

application continue) . . . . 230 C((X,x);(Y,y))\mathscr{C}((X, x); (Y, y)) (applications

continues pointées) . . . . . 232 Sn\mathbf{S}_n (sphère euclidienne) . . . . . 234 Cyl(ff) (cylindre d’une application) . . . . . . . . . . . . . . . 237 X∪fBX\cup_fB (espace topologique obtenu

par attachement) . . . . . . 248 sX/As_{X/A} (point base de X/AX/A) . . . 252 Côn(f)(f) (cône d’une application) 253 c∗dc*d (chemin juxtaposé) . . . . 256 c‾\overline{c} (chemin opposé) . . . . . . . . . 256 Λ(X) (espace des chemins) . . . 257 Λx(X)\Lambda_x(X) (chemins d’origine xx) . 257 λx,y(X)\lambda_{x,y}(X) (chemins d’origine xx et de

terme y). . . . . . . . . . . . . 257 π0(X)\pi_0(X) (composantes connexes par

arcs) . . . . . . . . . . . . . . . 259 π0(f)\pi_0(f) (application induite par ff sur

les composantes connexes par

arcs) . . . . . . . . . . . . . . . 259 ϖx,y(X)\varpi_{x,y}(X) (classes de chemins de xx à

y) . . . . . . . . . . . . . . . . . 290 Ω(X) (espace des lacets) . . . . 290 Ωx(X)\Omega_x(X) (lacets en xx). . . . . . . . 290 εx\varepsilon_x (lacet constant) . . . . . . . . 290 ϖ(X)\varpi (X) (groupoïde de Poincaré) 292 π1(X,x)\pi_1(X, x) (groupe fondamental) 292 ϖ(f)\varpi (f) (morphisme de groupoïdes de

Poincaré induit par f). . . 294 f∗(γ)f_*(\gamma ) (abbréviation de

ϖx,y(f)(γ)\varpi_{x,y}(f)(\gamma )) . . . . . . . . . . 294

x⋅γx\cdot \gamma (opération du groupoïde de (Z/Rτ,q)(Z/R_{\tau}, q) (espace quotient de

Poincaré) . . . . . . . . . . . . 304 (Z,p)(Z, p) par une donnée de

eBe_B (application terme) . . . . . . 342 descente)′' . . . . . . . . . . . . 384

Cτ,τ′(Z;ZC_{\tau ,\tau'}(Z; Z ) (morphismes compaεB\varepsilon_B (application terme) . . . . . . 342 tibles avec des données de

π1(G)\pi_1(G) (groupe de Poincaré d’un descente) . . . . . . . . . . . . 387

groupe topologique) . . . . 375 ∣G∣|G| (réalisation géométrique d’un Rτ(z1,z2)R_{\tau}(z_1, z_2) (relation d’équivalence graphe) . . . . . . . . . . . . . 417

associée à une donnée de ⋁i(Xi,xi)\bigvee_i(X_i, x_i) (bouquet d’espaces

descente) . . . . . . . . . . . . 383 topologiques pointés) . . . 421

Transcribed from the printed volume. Not translated.