Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

Baire's Category Theorem and Some Spaces Generated from Real Normed Space 1

Noboru EndouYasunari ShidamaKatsumasa Okamura — 2006

Formalized Mathematics

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.

Page 1

Download Results (CSV)