Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/4838
Tytuł: | Separability of Real Normed Spaces and Its Basic Properties |
Autorzy: | Nakasho, Kazuhisa Endou, Noboru |
Słowa kluczowe: | functional analysis normed linear space topological vector space |
Data wydania: | 2015 |
Data dodania: | 6-gru-2016 12-gru-2016 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 23, Issue 1, Pages 59–65 |
Abstrakt: | In this article, the separability of real normed spaces and its properties are mainly formalized. In the first section, it is proved that a real normed subspace is separable if it is generated by a countable subset. We used here the fact that the rational numbers form a dense subset of the real numbers. In the second section, the basic properties of the separable normed spaces are discussed. It is applied to isomorphic spaces via bounded linear operators and double dual spaces. In the last section, it is proved that the completeness and reflexivity are transferred to sublinear normed spaces. The formalization is based on [34], and also referred to [7], [14] and [16]. |
Afiliacja: | Kazuhisa Nakasho - Shinshu University, Nagano, Japan Noboru Endou - Gifu National College of Technology, Gifu, Japan |
URI: | http://hdl.handle.net/11320/4838 |
DOI: | 10.2478/forma-2015-0005 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2015, Volume 23, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2015-0005.pdf | 253,13 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL