Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
Carrito
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Home
Revistas
Formalized Mathematics
Volumen 29 (2021): Edición 4 (December 2021)
Acceso abierto
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Kazuhisa Nakasho
Kazuhisa Nakasho
,
Hiroyuki Okazaki
Hiroyuki Okazaki
y
Yasunari Shidama
Yasunari Shidama
| 09 jul 2022
Formalized Mathematics
Volumen 29 (2021): Edición 4 (December 2021)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
09 jul 2022
Páginas:
175 - 184
Aceptado:
30 sept 2021
DOI:
https://doi.org/10.2478/forma-2021-0017
Palabras clave
real vector space
,
topological space
,
normed spaces
,
L1-norm
,
maximum norm
,
linear isometry
,
proper metric space
© 2022 Kazuhisa Nakasho et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Kazuhisa Nakasho
Yamaguchi University,
Yamaguchi, Japan
Hiroyuki Okazaki
Shinshu University,
Nagano, Japan
Yasunari Shidama
Nagano, Japan