- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
Search this article
Description
Summary. 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.
Journal
-
- Formalized Mathematics
-
Formalized Mathematics 14 2006-01-01
Walter de Gruyter GmbH
- Tweet
Details 詳細情報について
-
- CRID
- 1871709542992159232
-
- ISSN
- 18989934
- 14262630
-
- Data Source
-
- OpenAIRE