Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: topological duality

Sortuj według:

Ogranicz wyniki do:

Bidual Spaces and Reflexivity of Real Normed Spaces

100%

Narita K., Endou N., Shidama Y.

Formalized Mathematics

2014

tom 22

nr 4

303-311

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 functionals as linear operators by this definition. Accordingly we proved Uniform Boundedness Theorem for linear functionals using the theorem (5) from [21]. Finally, we defined reflexivity of real normed spaces and proved some theorems about isomorphism of linear operators. Using them, we proved some properties about reflexivity. These formalizations are based on [19], [20], [8] and [1].

Ograniczanie wyników

1 Formalized Mathematics

1 Endou N.

1 Narita K.

1 Shidama Y.

1 2014

Wyniki wyszukiwania

Bidual Spaces and Reflexivity of Real Normed Spaces