More on Continuous Functions on Normed Linear Spaces

被引：7
|
作者：
Okazaki, Hiroyuki [1 ]
Endou, Noboru [2 ]
Shidama, Yasunari [1 ]
机构：
[1] Shinshu Univ, Nagano, Japan
[2] Nagano Natl Coll Technol, Nagano, Japan
来源：
FORMALIZED MATHEMATICS | 2011年 / 19卷 / 01期
关键词：
D O I：
10.2478/v10037-011-0008-3
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this article we formalize the definition and some facts about continuous functions from R into normed linear spaces [14].
引用
收藏
页码：45 / 49
页数：5
相关论文
共 50 条
12345