Bourbaki

Exercise 29, § 3

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

Spectral Theories, I, p. 172

*Let X be a compact real manifold. We equip C∞(X)\mathscr{C}^{\infty}(X) with the topology of uniform convergence of the functions and of all their derivatives; it is a Fréchet space. Let A be a subalgebra of C(X)\mathscr{C}(X). Suppose that A is provided with a norm f↦∥f∥Af\mapsto \|f\|_A which makes it a Banach algebra, such that the canonical injection of A into C(X)\mathscr{C}(X) is continuous. Suppose moreover that C∞(X)\mathscr{C}^{\infty}(X) is contained and dense in A.

a) There exists a constant C⩾0C\geqslant 0 and an integer k∈Nk\in \mathbf{N} such that for all f∈C∞(X)f\in \mathscr{C}^{\infty}(X), one has

∥f∥A⩽C\|f\|_A\leqslant C supx∈X∣f(k)(x)∣_{x\in X}|f^{(k)}(x)|.

b) The subalgebra A is full in C(X)\mathscr{C}(X). (Let f∈Af\in A not vanishing on X and δ=\delta = infx∈X∣f(x)∣_{x\in X}|f(x)|; choose g∈C∞(X)g\in \mathscr{C}^{\infty}(X) such that ∥f−g∥A<δ/3\|f-g\|_A< \delta /3, then note that f−1=g−1∑n∈N((g−f)/g)nf^{-1}=g^{-1}\sum_{n\in\mathbf{N}}((g-f)/g)^n in C(X)\mathscr{C}(X), and verify that the series converges in A.)

c) Deduce a new proof of the Wiener theorem (I, p. 38, example).*

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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