Bourbaki

Definition 1

Tag 029W, permanent. Cite it as [Bourbaki, Tag 029W].

Théories spectrales, chapter I, § 4. Calcul fonctionnel holomorphe

Let a=(a1,...,an)∈An\boldsymbol{a}= (a_1, . . . , a_n)\in A^n, let h:Cn→Ch:\mathbf{C}^n\rightarrow \mathbf{C} be a mapping and let u1,...,unu_1, . . . , u_n be mappings of Cn\mathbf{C}^n into A. We say that the sequence (h,u1,...,un)(h, u_1, . . . , u_n) is adapted to a\boldsymbol{a} if

(i) The mapping hh is infinitely differentiable, of compact support, and equal to 1 in the neighbourhood of Spn(a)^n(\boldsymbol{a}) ;

(ii) The mappings u1,...,unu_1, . . . ,u_n are infinitely differentiable ;

(iii) For every z=(z1,...,zn)∈Cn\boldsymbol{z}= (z_1, . . . , z_n)\in \mathbf{C}^n, one has

h(z)+(z1−a1)u1(z)+⋯+(zn−an)un(z)=1(1) h(\boldsymbol{z}) + (z_1-a_1)u_1(\boldsymbol{z}) +\cdots + (z_n-a_n)u_n(\boldsymbol{z}) = 1 \tag{1}

The differential form of degree 2n2n on Cn\mathbf{C}^n, with coefficients in A, defined by

ω=⋀i=1n(dui∧dzi) \omega =\bigwedge_{i=1}^n(du_i\wedge dz_i)

is called the differential form associated with (h,u1,...,un)(h, u_1, . . . , u_n).

If (h,u1,...,un)(h, u_1, . . . , u_n) is adapted to a\boldsymbol{a}, then, by differentiating (1), one obtains the equality

dh=−∑i=1nuidzi−∑i=1n(zi−ai)dui(2) dh=-\sum_{i=1}^nu_idz_i-\sum_{i=1}^n(z_i-a_i)du_i \tag{2}

whence, for every ii such that 1⩽i⩽n1\leqslant i\leqslant n, the relation

dh∧dzi∧⋀j≠i(duj∧dzj)=−(zi−ai)ω(3) dh\wedge dz_i\wedge \bigwedge_{j\not=i}(du_j\wedge dz_j) =-(z_i-a_i)\omega \tag{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.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini, gpt-5-mini, gpt-5.4, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.