REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21441
Tytuł: Baire's Category Theorem and Some Spaces Generated from Real Normed Space
Autorzy: Endou, Noboru
Shidama, Yasunari
Okamura, Katsumasa
Data wydania: 2006
Data dodania: 5-lis-2026
Wydawca: University of Białystok
Źródło: Formalized Mathematics, Volume 14, Issue 4, Pages 213-219
Abstrakt: As application of complete metric space, we proved a Baire's category theorem. Then we defined some spaces generated from real normed space and discussed each of them. In the second section, we showed the equivalence of convergence and the continuity of a function. In other sections, we showed some topological properties of two spaces, which are topological space and linear topological space generated from real normed space.
Afiliacja: Noboru Endou - Gifu National College of Technology Gifu, Japan
Yasunari Shidama - Shinshu University Nagano, Japan
Katsumasa Okamura - Shinshu University Nagano, Japan
Sponsorzy: This work has been partially supported by the MEXT grant Grant-in-Aid for Young Scientists (B)16700156.
URI: http://hdl.handle.net/11320/21441
DOI: 10.2478/v10037-006-0024-x
ISSN: 1426-2630
e-ISSN: 1898-9934
Typ Dokumentu: Article
metadata.dc.rights.uri: https://creativecommons.org/licenses/by-sa/4.0/
Właściciel praw: © 2008 Noboru Endou, Yasunari Shidama, Katsumasa Okamura, published by University of Białystok
This work is licensed under the Creative Commons License.
Występuje w kolekcji(ach):Formalized Mathematics, 2006, Volume 14, Issue 4

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
Baire's_Category_Theorem_and_Some_Spaces_Generated_from_Real_Normed_Space.pdf114,39 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons