Skip to main content
Have a personal or library account? Click to login
Finite Dimensional Real Normed Spaces are Proper Metric Spaces Cover

Finite Dimensional Real Normed Spaces are Proper Metric Spaces

Formalized Mathematics
Volume 29 (2021): Issue 4 (December 2021)
By: Kazuhisa Nakasho,  Hiroyuki Okazaki and  Yasunari Shidama  
Open Access
|Jul 2022
Authors

Authors

Kazuhisa Nakasho

Yamaguchi University, Yamaguchi, Japan

Hiroyuki Okazaki

Shinshu University, Nagano, Japan

Yasunari Shidama

Nagano, Japan
DOI: https://doi.org/10.2478/forma-2021-0017 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 175 - 184
Accepted on: Sep 30, 2021
Published on: Jul 9, 2022
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
real vector space,
topological space,
normed spaces,
L1-norm,
maximum norm,
linear isometry,
proper metric space
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2022 Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 29 (2021): Issue 4 (December 2021)
Previous article
Next article