Доведено нєскінчєнновимірний аналог класичної теореми про щільність множини C¹₀(G) Фінітних гладких Функцій в ядрі граничного оператора сліду γ:H₁(G)→L₂(∂G).
We prove an infinite-dimensional analog of the classical theorem on density of the set C¹₀(G) of finite smooth functions in the kernel of the boundary trace operator γ:H₁(G)→L₂(∂G).