Previous Page 2

Displaying 21 – 33 of 33

Showing per page

The n -dual space of the space of p -summable sequences

Yosafat E. P. Pangalela, Hendra Gunawan (2013)

Mathematica Bohemica

In the theory of normed spaces, we have the concept of bounded linear functionals and dual spaces. Now, given an n -normed space, we are interested in bounded multilinear n -functionals and n -dual spaces. The concept of bounded multilinear n -functionals on an n -normed space was initially intoduced by White (1969), and studied further by Batkunde et al., and Gozali et al. (2010). In this paper, we revisit the definition of bounded multilinear n -functionals, introduce the concept of n -dual spaces, and...

The Orthogonal Projection and the Riesz Representation Theorem

Keiko Narita, Noboru Endou, Yasunari Shidama (2015)

Formalized Mathematics

In this article, the orthogonal projection and the Riesz representation theorem are mainly formalized. In the first section, we defined the norm of elements on real Hilbert spaces, and defined Mizar functor RUSp2RNSp, real normed spaces as real Hilbert spaces. By this definition, we regarded sequences of real Hilbert spaces as sequences of real normed spaces, and proved some properties of real Hilbert spaces. Furthermore, we defined the continuity and the Lipschitz the continuity of functionals...

Topological groups and convex sets homeomorphic to non-separable Hilbert spaces

Taras Banakh, Igor Zarichnyy (2008)

Open Mathematics

Let X be a topological group or a convex set in a linear metric space. We prove that X is homeomorphic to (a manifold modeled on) an infinite-dimensional Hilbert space if and only if X is a completely metrizable absolute (neighborhood) retract with ω-LFAP, the countable locally finite approximation property. The latter means that for any open cover 𝒰 of X there is a sequence of maps (f n: X → X)nεgw such that each f n is 𝒰 -near to the identity map of X and the family f n(X)n∈ω is locally finite...

Two mappings related to semi-inner products and their applications in geometry of normed linear spaces

Sever Silvestru Dragomir, Jaromír J. Koliha (2000)

Applications of Mathematics

In this paper we introduce two mappings associated with the lower and upper semi-inner product ( · , · ) i and ( · , · ) s and with semi-inner products [ · , · ] (in the sense of Lumer) which generate the norm of a real normed linear space, and study properties of monotonicity and boundedness of these mappings. We give a refinement of the Schwarz inequality, applications to the Birkhoff orthogonality, to smoothness of normed linear spaces as well as to the characterization of best approximants.

Currently displaying 21 – 33 of 33

Previous Page 2