Bourbaki

Corollary 3

Tag 01NE, permanent. Cite it as [Bourbaki, Tag 01NE].

Topologie algébrique, chapter I, § 2. Applications étales

Let E, B and Z be topological spaces, let p:E→Bp: E\rightarrow B be an étale and separated mapping, and let f:Z→Bf: Z\rightarrow B be a continuous mapping. For i=1i= 1, 2, let UiU_i be an open subset ( resp. closed subset) of Z and gi:Ui→Eg_i: U_i\rightarrow E a continuous lifting of ff defined on UiU_i. Suppose that the intersection U1∩U2U_1\cap U_2 is connected and that there exists a point zz of U1∩U2U_1\cap U_2 such that g1(z)=g2(z)g_1(z) =g_2(z). Then there exists a continuous lifting of ff defined on U1∪U2U_1\cup U_2 which extends g1g_1 and g2g_2.

By Corollary 1, the restrictions of g1g_1 and g2g_2 to U1∩U2U_1\cap U_2 are equal. The mapping g:U1∪U2→Eg: U_1\cup U_2\rightarrow E defined by g(z)=gi(z)g(z) =g_i(z) for z∈Ui(i=1z\in U_i(i= 1, 2) is a continuous lifting of ff defined on U1∪U2U_1\cup U_2 (TG, I, p. 19, Prop. 4).

In the preceding results, the particular case where Z = B and f=f= IdB_B is important: the continuous liftings of ff are then the continuous sections of pp.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.