Topological properties of real normed space

DOI10.2478/FORMA-2014-0024zbMATH Open1311.46016OpenAlexW1145362253MaRDI QIDQ2344191FDOQ2344191

Authors: Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama 

Publication date: 12 May 2015

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

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

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

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Set of points on elliptic curve in projective coordinates
• Title not available (Why is that?)
• Dual spaces and Hahn-Banach theorem

Cited In (9)

• Real vector space and related notions
• Bidual spaces and reflexivity of real normed spaces
• 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
• Weak convergence and weak\(^\ast\) convergence
• Title not available (Why is that?)
• Topology Based upon the Concept of a Pseudo-Norm
• Bilinear operators on normed linear 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)