Separability of real normed spaces and its basic properties

DOI10.2478/forma-2015-0005zbMath1317.46011OpenAlexW1667693320MaRDI QIDQ2515744

Kazuhisa Nakasho, Noboru Endou

Publication date: 6 August 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2015-0005

zbMATH Keywords

normed linear spacefunctional analysistopological vector 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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dual spaces and Hahn-Banach theorem
• Topological properties of real normed space
• Bidual spaces and reflexivity of real normed spaces
• Semantics of MML Query - Ordering
• Espaces vectoriels topologiques

This page was built for publication: Separability of real normed spaces and its basic properties