Chiamiamo [latex:2l3fqesn]K[/latex:2l3fqesn] questo compatto e, come nella lezione, chiamiamo [latex:2l3fqesn]G_\epsilon[/latex:2l3fqesn] la famiglia di funzionali che vogliamo mostrare essere equicoercivi su [latex:2l3fqesn]K[/latex:2l3fqesn]. 

Se ho capito bene il fatto che una stima su ogni singolo funzionale [latex:2l3fqesn]G_\epsilon[/latex:2l3fqesn] implica una stima sulle norme [latex:2l3fqesn]L^2[/latex:2l3fqesn] delle derivate basta a dimostrare l'equicoercività perché mostra che per ogni [latex:2l3fqesn]\epsilon[/latex:2l3fqesn] fissato esiste un sottolivello di [latex:2l3fqesn]G_\epsilon[/latex:2l3fqesn] contenuto in [latex:2l3fqesn]K[/latex:2l3fqesn], da cui segue facilmente l'equicoercività. 

E' ciò che intendeva?