Separability of real normed spaces and its basic properties

DOI10.2478/FORMA-2015-0005zbMATH Open1317.46011OpenAlexW1667693320MaRDI QIDQ2515744FDOQ2515744

Authors: 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

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

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)

Cites Work

• Title not available (Why is that?)
• Espaces vectoriels topologiques
• Title not available (Why is that?)
• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Dual spaces and Hahn-Banach theorem
• Topological properties of real normed space
• Bidual spaces and reflexivity of real normed spaces

Cited In (6)

• Topological properties of real normed space
• Bidual spaces and reflexivity of real normed spaces
• Bad normed spaces, convexity properties, separated sets
• Title not available (Why is that?)
• A seperation property of realizable Volterra kernels
• Separated Presheaves of Normed Spaces and -valued Norms

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)