Lemma 5
Tag 030O, permanent. Cite it as [Bourbaki, Tag 030O].
Théories spectrales, chapter IV, § 3. Distributions et distributions tempérées
Let be a filter on having a countable basis or containing a simply bounded set. Then converges to a distribution if and only if converges according to for every test function on U.
In particular, a sequence of distributions converges to a distribution if and only if, for every , the sequence converges to .
Since is a Montel space, hence barrelled, this follows from the Banach-Steinhaus theorem (EVT, III, p. 26, cor. 3 of th. 1).
Let V be an open set contained in U. The transpose of the canonical linear mapping of into is a continuous linear mapping of into (V), called the restriction of distributions from U to V and denoted by , or sometimes .
One has . If are open sets in U, then one has . In other words, if denotes the topology on U, the projective system is a presheaf on U with values in the Species of structures of locally convex topological vector spaces (TA, I, p. 42, def. 1 and p. 66, §10).
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.