Bidual Spaces and Reflexivity of Real Normed Spaces

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

Full description

Bibliographic Details
Main Authors: Narita Keiko, Endou Noboru, Shidama Yasunari
Format: Article
Language:English
Published: Sciendo 2014-12-01
Series:Formalized Mathematics
Subjects:
Online Access:https://doi.org/10.2478/forma-2014-0030