Skip to main content
Have a personal or library account? Click to login
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1 Cover

Baire's Category Theorem and Some Spaces Generated from Real Normed Space1

Formalized Mathematics
Volume 14 (2006): Issue 4 (December 2006)
By: ,   and    
Open Access
|Jun 2008
References

References

  1. [1] Grzegorz Bancerek. The ordinal numbers., 1(1):91-96, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The "way-below" relation., 6(1):169-176, 1997.
    Search in Google Scholar
  3. [3] Leszek Borys. Paracompact and metrizable spaces., 2(4):481-485, 1991.
    Search in Google Scholar
  4. [4] Czesław Byliński. Functions and their basic properties., 1(1):55-65, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. Functions from a set to a set., 1(1):153-164, 1990.
    Search in Google Scholar
  6. [6] Czesław Byliński. Partial functions., 1(2):357-367, 1990.
    Search in Google Scholar
  7. [7] Czesław Byliński. Some basic properties of sets., 1(1):47-53, 1990.
    Search in Google Scholar
  8. [8] Czesław Byliński. Introduction to real linear topological spaces., 13(1):99-107, 2005.
    Search in Google Scholar
  9. [9] Agata Darmochwał. Compact spaces., 1(2):383-386, 1990.
    Search in Google Scholar
  10. [10] Alicia de la Cruz. Totally bounded metric spaces., 2(4):559-562, 1991.
    Search in Google Scholar
  11. [11] Stanisława Kanas and Adam Lecko. Sequences in metric spaces., 2(5):657-661, 1991.
    Search in Google Scholar
  12. [12] Stanisława Kanas and Adam Lecko, and Mariusz Startek. Metric spaces., 1(3):607-610, 1990.
    Search in Google Scholar
  13. [13] Zbigniew Karno. Continuity of mappings over the union of subspaces., 3(1):1-16, 1992.
    Search in Google Scholar
  14. [14] Takaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces., 12(3):269-275, 2004.
    Search in Google Scholar
  15. [15] Beata Padlewska. Families of sets., 1(1):147-152, 1990.
    Search in Google Scholar
  16. [16] Beata Padlewska. Locally connected spaces., 2(1):93-96, 1991.
    Search in Google Scholar
  17. [17] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions., 1(1):223-230, 1990.
    Search in Google Scholar
  18. [18] Jan Popiołek. Real normed space., 2(1):111-115, 1991.
    Search in Google Scholar
  19. [19] Bartłomiej Skorulski. First-countable, sequential, and Frechet spaces., 7(1):81-86, 1998.
    Search in Google Scholar
  20. [20] Bartłomiej Skorulski. The sequential closure operator in sequential and Frechet spaces., 8(1):47-54, 1999.
    Search in Google Scholar
  21. [21] Andrzej Trybulec. Subsets of complex numbers.
    Search in Google Scholar
  22. [22] Andrzej Trybulec. Domains and their Cartesian products., 1(1):115-122, 1990.
    Search in Google Scholar
  23. [23] Andrzej Trybulec. Tarski Grothendieck set theory., 1(1):9-11, 1990.
    Search in Google Scholar
  24. [24] Andrzej Trybulec. Baire spaces, Sober spaces., 6(2):289-294, 1997.
    Search in Google Scholar
  25. [25] Wojciech A. Trybulec. Vectors in real linear space., 1(2):291-296, 1990.
    Search in Google Scholar
  26. [26] Zinaida Trybulec. Properties of subsets., 1(1):67-71, 1990.
    Search in Google Scholar
  27. [27] Edmund Woronowicz. Relations defined on sets., 1(1):181-186, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-006-0024-x | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 213 - 219
Published on: Jun 13, 2008
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics

© 2008 Noboru Endou, Yasunari Shidama, Katsumasa Okamura, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 14 (2006): Issue 4 (December 2006)
Previous article
Next article