Finite dimensional real normed spaces are proper metric spaces

DOI10.2478/FORMA-2021-0017zbMATH Open1494.68302OpenAlexW4285325843MaRDI QIDQ2171521FDOQ2171521

Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Publication date: 9 September 2022

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

Full work available at URL: https://doi.org/10.2478/forma-2021-0017

zbMATH Keywords

topological spacemaximum normnormed spacesproper metric spaceL1-normlinear isometryreal vector space

Mathematics Subject Classification ID

Convergence and divergence of series and sequences (40A05) Compactness in topological linear spaces; angelic spaces, etc. (46A50) Formalization of mathematics in connection with theorem provers (68V20) Linear transformations, semilinear transformations (15A04)

Cites Work

• Title not available (Why is that?)
• Mizar: State-of-the-art and Beyond
• Differentiable functions on normed linear spaces
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited In (1)

• Every \(n\)-dimensional normed space is the space \(\mathbb R^n\) endowed with a normal norm

Recommendations

• Title not available (Why is that?) 👍 👎
• A metric characterization of normed linear spaces 👍 👎
• A characterization of normed spaces among metric spaces 👍 👎
• Normed ordered and \(E\)-metric spaces 👍 👎
• On finite dimensional 2-normed spaces 👍 👎
• Embeddings of proper metric spaces into Banach spaces 👍 👎
• A finiteness theorem for metric spaces 👍 👎
• Topological properties of real normed space 👍 👎
• Finite homogeneous metric spaces 👍 👎

This page was built for publication: Finite dimensional real normed spaces are proper metric spaces

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