Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added statement and proof that compactly supported distributions are equivalently the smooth linear functionals: here
(in the sense of either diffeological spaces, or smooth sets, or formal smooth sets/Cahiers topos).
I have spelled out here the characterization of continuity of a linear map u:C∞(ℝn)→ℝ as in Hörmander’s book
∃K,k,C(|u(Φ)|≤C∑|α|≤ksupx∈K|∂αK|)from the un-summed seminorms Φ↦supx∈K|∂αΦ(x)|.
1 to 4 of 4