Dual spaces and Hahn-Banach theorem
From MaRDI portal
Publication:467813
DOI10.2478/FORMA-2014-0007zbMath1298.46005OpenAlexW951606502MaRDI QIDQ467813
Yasunari Shidama, Keiko Narita, Noboru Endou
Publication date: 5 November 2014
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2014-0007
Theorems of Hahn-Banach type; extension and lifting of functionals and operators (46A22) Mechanization of proofs and logical operations (03B35) Banach spaces of continuous, differentiable or analytic functions (46E15)
Related Items (6)
F. Riesz theorem ⋮ Weak convergence and weak\(^\ast\) convergence ⋮ The orthogonal projection and the Riesz representation theorem ⋮ Separability of real normed spaces and its basic properties ⋮ Topological properties of real normed space ⋮ Bidual spaces and reflexivity of real normed spaces
Cites Work
This page was built for publication: Dual spaces and Hahn-Banach theorem
