Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support

Katuhiko KanazashiNoboru EndouYasunari Shidama — 2010

Formalized Mathematics

In this article, we give a definition of a functional space which is constructed from all continuous functions defined on a compact topological space. We prove that this functional space is a Banach algebra. Next, we give a definition of a function space which is constructed from all real-valued continuous functions with bounded support. We prove that this function space is a real normed space.

Functional Space C (ω), C 0 (ω)

Katuhiko KanazashiHiroyuki OkazakiYasunari Shidama — 2012

Formalized Mathematics

In this article, first we give a definition of a functional space which is constructed from all complex-valued continuous functions defined on a compact topological space. We prove that this functional space is a Banach algebra. Next, we give a definition of a function space which is constructed from all complex-valued continuous functions with bounded support. We also prove that this function space is a complex normed space.

Page 1

Download Results (CSV)