□これは、もし稠密な部分空間である連続的なことが成り立つことは全空間で成立つことを示している。これはFの任意の元はEの元によって任意の精度で近似することができるということを表している。無理数は小数で近似することができる。空間で稠密であることを用いて、有限要素法の妥当性がいえる。空間の中で稠密であるといえる。ノルムは微分方程式の楕円性により等価である。弱解は微分が区分連続な連続関数によってエネルギーノルムで任意の精度で近似することができる。エネルギーノルムにおける離散空間中での弱解の最良近似が有限要素法解である。ノルムで弱解を任意の精度で近似することができることがわかる。完備化(completion)したものと呼ばれる。L^P空間ノルムノルムとは、で定義されるノルムである。