Displaying similar documents to “Cayley-Dickson Construction”

Banach Algebra of Bounded Complex-Valued Functionals

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama (2011)

Formalized Mathematics

Similarity:

In this article, we describe some basic properties of the Banach algebra which is constructed from all bounded complex-valued functionals.

Cartesian Products of Family of Real Linear Spaces

Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama (2011)

Formalized Mathematics

Similarity:

In this article we introduced the isomorphism mapping between cartesian products of family of linear spaces [4]. Those products had been formalized by two different ways, i.e., the way using the functor [:X, Y:] and ones using the functor "product". By the same way, the isomorphism mapping was defined between Cartesian products of family of linear normed spaces also.

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

In this article we formalize one of the most important theorems of linear operator theory - the Closed Graph Theorem commonly used in a standard text book such as [10] in Chapter 24.3. It states that a surjective closed linear operator between Banach spaces is bounded.

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

Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama (2010)

Formalized Mathematics

Similarity:

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.

Bidual Spaces and Reflexivity of Real Normed Spaces

Keiko Narita, Noboru Endou, Yasunari Shidama (2014)

Formalized Mathematics

Similarity:

In this article, we considered bidual spaces and reflexivity of real normed spaces. At first we proved some corollaries applying Hahn-Banach theorem and showed related theorems. In the second section, we proved the norm of dual spaces and defined the natural mapping, from real normed spaces to bidual spaces. We also proved some properties of this mapping. Next, we defined real normed space of R, real number spaces as real normed spaces and proved related theorems. We can regard linear...

On the non-existence of norms for some algebras of functions

Bertram Yood (1994)

Studia Mathematica

Similarity:

Let C(Ω) be the algebra of all complex-valued continuous functions on a topological space Ω where C(Ω) contains unbounded functions. First it is shown that C(Ω) cannot have a Banach algebra norm. Then it is shown that, for certain Ω, C(Ω) cannot possess an (incomplete) normed algebra norm. In particular, this is so for Ω = n where ℝ is the reals.

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

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

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.