Baire’s Category Theorem and Some Spaces Generated from Real Normed Space 1.pdfVIP

FORMALIZED MATHEMATICS Volume 14, Number 4, Pages 213–219 University of Bialystok, 2006 Baire’s Category Theorem and Some Spaces Generated from Real Normed Space1 Noboru Endou Yasunari Shidama Gifu National College of Technology Shinshu University Gifu, Japan Nagano, Japan Katsumasa Okamura Shinshu University Nagano, Japan