Topological Properties of Real Normed Space

被引:4
|
作者
Nakasho, Kazuhisa [1 ]
Futa, Yuichi [2 ]
Shidama, Yasunari [1 ]
机构
[1] Shinshu Univ, Nagano, Japan
[2] Japan Adv Inst Sci & Technol, Nomi, Ishikawa, Japan
来源
FORMALIZED MATHEMATICS | 2014年 / 22卷 / 03期
关键词
functional analysis; normed linear space; topological vector space;
D O I
10.2478/forma-2014-0024
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this article, we formalize topological properties of real normed spaces. In the first part, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real normed sub-space. Then we discuss linear functions between real normed speces. Several kinds of subspaces induced by linear functions such as kernel, image and inverse image are considered here. The fact that Lipschitz continuity operators preserve convergence of sequences is also refered here. Then we argue the condition when real normed subspaces become Banach's spaces. We also formalize quotient vector space. In the last session, we argue the properties of the closure of real normed space. These formalizations are based on [19](p.3-41), [2] and [34](p.3-67).
引用
收藏
页码:209 / 223
页数:15
相关论文
共 50 条
  • [31] Machine learning topological phases in real space
    Holanda, N. L.
    Griffith, M. A. R.
    PHYSICAL REVIEW B, 2020, 102 (05)
  • [32] CERTAIN PROPERTIES OF MEASURES ON A NORMED SPACE POSSESSING PROPERTY RN
    RYBAKOV, VI
    MATHEMATICAL NOTES, 1977, 21 (1-2) : 45 - 50
  • [33] Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
    Nakasho, Kazuhisa
    Shidama, Yasunari
    FORMALIZED MATHEMATICS, 2024, 32 (01): : 165 - 172
  • [34] Properties of rough sets in normed linear space and its proof
    Sun, Hui
    Wang, Ying
    He, LinLin
    Liu, Qing
    GRC: 2007 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, PROCEEDINGS, 2007, : 209 - 212
  • [35] GEOMETRIC-PROPERTIES CHARACTERISTIC OF NORMED LINEAR-SPACE
    MURPHY, G
    FREESE, R
    ANDALAFTE, E
    MATHEMATISCHE NACHRICHTEN, 1989, 141 : 67 - 72
  • [36] Simplexes in a Normed Space
    Makeev, V. V.
    VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2016, 49 (02) : 119 - 121
  • [37] Topological properties of some sequences defined over 2-normed spaces
    Dutta, Hemen
    Kilicman, Adem
    Altun, Omer
    SPRINGERPLUS, 2016, 5
  • [38] Convex Normed Space
    Alsaffar, Saif R.
    Kider, Jehad R.
    INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE, 2025, 20 (01): : 447 - 458
  • [39] The maximal operator space of a normed space
    Paulsen, VI
    PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1996, 39 : 309 - 323
  • [40] THE DIFFERENTIABILITY OF REAL FUNCTIONS ON NORMED LINEAR-SPACE USING GENERALIZED SUBGRADIENTS
    BORWEIN, JM
    FITZPATRICK, SP
    GILES, JR
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1987, 128 (02) : 512 - 534