Separability of real normed spaces and its basic properties

DOI10.2478/FORMA-2015-0005MaRDI QIDQ2515744zbMATH OpenOpenAlexFDO

Authors Kazuhisa Nakasho, Noboru Endou

Publication date 6 August 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-2015-0005

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

• Topological properties of real normed space
• Bidual spaces and reflexivity of real normed spaces
• Separability in function spaces
• Finite dimensional real normed spaces are proper metric spaces
• Dual spaces and Hahn-Banach theorem

Cites work

• scientific article; zbMATH DE number 3137662 (Why is no real title available?)
• scientific article; zbMATH DE number 3678487 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Bidual spaces and reflexivity of real normed spaces
• Dual spaces and Hahn-Banach theorem
• Espaces vectoriels topologiques
• Semantics of MML query -- ordering
• Topological properties of real normed space

Cited in

(6)

• Separated Presheaves of Normed Spaces and -valued Norms
• Topological properties of real normed space
• Bidual spaces and reflexivity of real normed spaces
• Bad normed spaces, convexity properties, separated sets
• scientific article; zbMATH DE number 5257609 (Why is no real title available?)
• A seperation property of realizable Volterra kernels

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

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