Topological properties of real normed space

DOI10.2478/FORMA-2014-0024MaRDI QIDQ2344191zbMATH OpenOpenAlexFDO

Authors Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Publication date 12 May 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2014-0024

zbMATH Keywords

functional analysistopological vector spacenormed linear space

Mathematics Subject Classification ID

Geometry and structure of normed linear spaces (46B20) Mechanization of proofs and logical operations (03B35) Other ``topological linear spaces (convergence spaces, ranked spaces, spaces with a metric taking values in an ordered structure more general than (mathbb{R}), etc.) (46A19)

Recommendations

• Separability of real normed spaces and its basic properties
• Finite dimensional real normed spaces are proper metric spaces
• Continuity of bounded linear operators on normed linear spaces
• Compactness in metric spaces
• Weak convergence and weak\(^\ast\) convergence

Cites work

• scientific article; zbMATH DE number 4009063 (Why is no real title available?)
• scientific article; zbMATH DE number 3678487 (Why is no real title available?)
• scientific article; zbMATH DE number 1022519 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Dual spaces and Hahn-Banach theorem
• Set of points on elliptic curve in projective coordinates

Cited in

(10)

• Separability of real normed spaces and its basic properties
• Functional sequence in norm space
• Continuity of bounded linear operators on normed linear spaces
• Bilinear operators on normed linear spaces
• Real vector space and related notions
• scientific article; zbMATH DE number 2187941 (Why is no real title available?)
• Topology Based upon the Concept of a Pseudo-Norm
• Weak convergence and weak\(^\ast\) convergence
• Bidual spaces and reflexivity of real normed spaces
• Finite dimensional real normed spaces are proper metric spaces

This page was built for publication: Topological properties of real normed space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344191)