Banach Algebra of Bounded Functionals
Yasunari Shidama, Hikofumi Suzuki, Noboru Endou (2008)
Formalized Mathematics
Similarity:
In this article, we describe some basic properties of the Banach algebra which is constructed from all bounded functionals.MML identifier: C0SP1, version: 7.8.10 4.99.1005