Let a=(a1,...,an)∈An, let h:Cn→C be a mapping and let u1,...,un be mappings of Cn into A. We say that the sequence (h,u1,...,un) is adapted to a if
(i) The mapping h is infinitely differentiable, of compact support, and equal to 1 in the neighbourhood of Spn(a) ;
(ii) The mappings u1,...,un are infinitely differentiable ;
(iii) For every z=(z1,...,zn)∈Cn, one has
h(z)+(z1−a1)u1(z)+⋯+(zn−an)un(z)=1(1)
The differential form of degree 2n on Cn, with coefficients in A, defined by
ω=i=1⋀n(dui∧dzi)
is called the differential form associated with (h,u1,...,un).
If (h,u1,...,un) is adapted to a, then, by differentiating (1), one obtains the equality
dh=−i=1∑nuidzi−i=1∑n(zi−ai)dui(2)
whence, for every i such that 1⩽i⩽n, the relation
dh∧dzi∧j=i⋀(duj∧dzj)=−(zi−ai)ω(3)
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.
Nothing.
Nothing.