img I riferimenti nella dimostrazione sono i seguenti: il funzionale \(\Lambda\) è continuo in \(D(\Omega)\) se lo è in ogni \(D_{K}\subset D(\Omega)\), dove \(K\subset \Omega\) è compatto e in \(D_{K}\) (che ha la sua topologia*) sono contenute le funzioni test con supporto in \(K\). * La topologia è data dalla famiglia di norme (\(N=0,1,...\))
\[
||\varphi||_{N}=\sup_{|\alpha|\leq N,x \in \Omega}|D^{\alpha}\varphi(x)|
\]
che formano una subbase locale nel solito modo. Ritornando al (mio) problema: per esplicitare (b) mi sembra di dovere usare la limitatezza di \(\Lambda\) in \(D_{K}\). Non chiedo a qualcuno di farmi vedere come si faccia, piuttosto, esiste qualche libro che lo mostra? Altrimenti posso chiarire meglio il problema.