Skip to main content
Have a personal or library account? Click to login
Separability of Real Normed Spaces and Its Basic Properties Cover

Separability of Real Normed Spaces and Its Basic Properties

Formalized Mathematics
Volume 23 (2015): Issue 1 (March 2015)
By:  and    
Open Access
|Mar 2015
References

References

  1. [1] Jonathan Backer, Piotr Rudnicki, and Christoph Schwarzweller. Ring ideals., 9():565–582, 2001.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. Cardinal numbers., 1():377–382, 1990.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek. Cardinal arithmetics., 1():543–547, 1990.
    Search in Google Scholar
  4. [4] Grzegorz Bancerek. König’s theorem., 1():589–593, 1990.
    Search in Google Scholar
  5. [5] Grzegorz Bancerek. The fundamental properties of natural numbers., 1():41–46, 1990.
    Search in Google Scholar
  6. [6] Grzegorz Bancerek. The ordinal numbers., 1():91–96, 1990.
    Search in Google Scholar
  7. [7] Nicolas Bourbaki. Topological vector spaces: Chapters 1-5., 1981.
    Search in Google Scholar
  8. [8] Czesław Byliński. The complex numbers., 1():507–513, 1990.
    Search in Google Scholar
  9. [9] Czesław Byliński. Functions and their basic properties., 1(): 55–65, 1990.
    Search in Google Scholar
  10. [10] Czesław Byliński. Functions from a set to a set., 1():153–164, 1990.
    Search in Google Scholar
  11. [11] Czesław Byliński. Partial functions., 1():357–367, 1990.
    Search in Google Scholar
  12. [12] Czesław Byliński. Some basic properties of sets., 1():47–53, 1990.
    Search in Google Scholar
  13. [13] Agata Darmochwał. Finite sets., 1():165–167, 1990.
    Search in Google Scholar
  14. [14] N. J. Dunford and T. Schwartz.. Interscience Publ., 1958.
    Search in Google Scholar
  15. [15] Noboru Endou, Yasunari Shidama, and Katsumasa Okamura. Baire’s category theorem and some spaces generated from real normed space., 14(): 213–219, 2006. doi:10.2478/v10037-006-0024-x.
    Open DOISearch in Google Scholar
  16. [16] Andrey Kolmogorov and Sergei Fomin.. Martino Fine Books, 2012.
    Search in Google Scholar
  17. [17] Andrzej Kondracki. Basic properties of rational numbers., 1(): 841–845, 1990.
    Search in Google Scholar
  18. [18] Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces., 1():335–342, 1990.
    Search in Google Scholar
  19. [19] Kazuhisa Nakasho, Yuichi Futa, and Yasunari Shidama. Topological properties of real normed space., 22():209–223, 2014. doi:10.2478/forma-2014-0024.
    Open DOISearch in Google Scholar
  20. [20] Keiko Narita, Noboru Endou, and Yasunari Shidama. Dual spaces and Hahn-Banach theorem., 22():69–77, 2014. doi:10.2478/forma-2014-0007.
    Open DOISearch in Google Scholar
  21. [21] Keiko Narita, Noboru Endou, and Yasunari Shidama. Bidual spaces and reflexivity of real normed spaces., 22():303–311, 2014. doi:10.2478/forma-2014-0030.
    Open DOISearch in Google Scholar
  22. [22] Bogdan Nowak and Andrzej Trybulec. Hahn-Banach theorem., 4():29–34, 1993.
    Search in Google Scholar
  23. [23] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions., 1():223–230, 1990.
    Search in Google Scholar
  24. [24] Jan Popiołek. Real normed space., 2():111–115, 1991.
    Search in Google Scholar
  25. [25] Yasunari Shidama. Banach space of bounded linear operators., 12():39–48, 2004.
    Search in Google Scholar
  26. [26] Andrzej Trybulec. Domains and their Cartesian products., 1(): 115–122, 1990.
    Search in Google Scholar
  27. [27] Wojciech A. Trybulec. Subspaces and cosets of subspaces in real linear space., 1():297–301, 1990.
    Search in Google Scholar
  28. [28] Wojciech A. Trybulec. Vectors in real linear space., 1():291–296, 1990.
    Search in Google Scholar
  29. [29] Wojciech A. Trybulec. Linear combinations in real linear space., 1():581–588, 1990.
    Search in Google Scholar
  30. [30] Wojciech A. Trybulec. Basis of real linear space., 1():847–850, 1990.
    Search in Google Scholar
  31. [31] Zinaida Trybulec. Properties of subsets., 1():67–71, 1990.
    Search in Google Scholar
  32. [32] Edmund Woronowicz. Relations and their basic properties., 1():73–83, 1990.
    Search in Google Scholar
  33. [33] Edmund Woronowicz. Relations defined on sets., 1():181–186, 1990.
    Search in Google Scholar
  34. [34] Kosaku Yoshida.. Springer, 1980.
    Search in Google Scholar
DOI: https://doi.org/10.2478/forma-2015-0005 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 59 - 65
Submitted on: Feb 26, 2015
Published on: Mar 31, 2015
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Keywords:
functional analysis,
normed linear space,
topological vector space
MSC:
46B20,
46A19,
03B35
MML:
identifier: NORMSP _4,
version: 8.1.04 5.31.1231
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics

© 2015 Kazuhisa Nakasho, Noboru Endou, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Volume 23 (2015): Issue 1 (March 2015)
Previous article
Next article