Displaying similar documents to “A new proof of James' sup theorem.”

Weak Convergence and Weak Convergence

Keiko Narita, Yasunari Shidama, Noboru Endou (2015)

Formalized Mathematics

Similarity:

In this article, we deal with weak convergence on sequences in real normed spaces, and weak* convergence on sequences in dual spaces of real normed spaces. In the first section, we proved some topological properties of dual spaces of real normed spaces. We used these theorems for proofs of Section 3. In Section 2, we defined weak convergence and weak* convergence, and proved some properties. By RNS_Real Mizar functor, real normed spaces as real number spaces already defined in the article...

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...

A universal modulus for normed spaces

Carlos Benítez, Krzysztof Przesławski, David Yost (1998)

Studia Mathematica

Similarity:

We define a handy new modulus for normed spaces. More precisely, given any normed space X, we define in a canonical way a function ξ:[0,1)→ ℝ which depends only on the two-dimensional subspaces of X. We show that this function is strictly increasing and convex, and that its behaviour is intimately connected with the geometry of X. In particular, ξ tells us whether or not X is uniformly smooth, uniformly convex, uniformly non-square or an inner product space.

Boundedness of linear maps

T. S. S. R. K. Rao (2000)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this short note we consider necessary and sufficient conditions on normed linear spaces, that ensure the boundedness of any linear map whose adjoint maps extreme points of the unit ball of the domain space to continuous linear functionals.