Name
Abstract | ||
|---|---|---|
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]. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.2478/forma-2014-0030 | FORMALIZED MATHEMATICS |
Keywords | Field | DocType |
continuous dual space, topological duality, reflexivity | Functional analysis,Discrete mathematics,Reflexive space,Normed vector space,Mathematical analysis,Space (mathematics),Dual space,Topological vector space,Topological tensor product,Locally convex topological vector space,Mathematics | Journal |
Volume | Issue | ISSN |
22 | 4 | 1898-9934 |
Citations | PageRank | References |
2 | 0.53 | 2 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Keiko Narita | 1 | 49 | 16.59 |
| Noboru Endou | 2 | 72 | 28.00 |
| Yasunari Shidama | 3 | 166 | 72.47 |