Topological Properties of Real Normed Space
Nakasho, Kazuhisa, Futa, Yuichi, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Fatou's Lemma and the Lebesgue's Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Lattice of ℤ-module
Futa, Yuichi, Shidama, Yasunari
Lebesgue's Convergence Theorem of Complex-Valued Function
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Isomorphisms of Direct Products of Finite Cyclic Groups
Arai, Kenichi, Okazaki, Hiroyuki, Shidama, Yasunari
F. Riesz Theorem
Narita, Keiko, Nakasho, Kazuhisa, Shidama, Yasunari
Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Kanazashi, Katuhiko, Endou, Noboru, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Contracting Mapping on Normed Linear Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari