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: Noboru Endou,  Yasunari Shidama and  Katsumasa Okamura  
Open Access
|Jun 2008

References

  1. [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The "way-below" relation. Formalized Mathematics, 6(1):169-176, 1997.
    Search in Google Scholar
  3. [3] Leszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991.
    Search in Google Scholar
  4. [4] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  6. [6] Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.
    Search in Google Scholar
  7. [7] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    Search in Google Scholar
  8. [8] Czesław Byliński. Introduction to real linear topological spaces. Formalized Mathematics, 13(1):99-107, 2005.
    Search in Google Scholar
  9. [9] Agata Darmochwał. Compact spaces. Formalized Mathematics, 1(2):383-386, 1990.
    Search in Google Scholar
  10. [10] Alicia de la Cruz. Totally bounded metric spaces. Formalized Mathematics, 2(4):559-562, 1991.
    Search in Google Scholar
  11. [11] Stanisława Kanas and Adam Lecko. Sequences in metric spaces. Formalized Mathematics, 2(5):657-661, 1991.
    Search in Google Scholar
  12. [12] Stanisława Kanas and Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607-610, 1990.
    Search in Google Scholar
  13. [13] Zbigniew Karno. Continuity of mappings over the union of subspaces. Formalized Mathematics, 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. Formalized Mathematics, 12(3):269-275, 2004.
    Search in Google Scholar
  15. [15] Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.
    Search in Google Scholar
  16. [16] Beata Padlewska. Locally connected spaces. Formalized Mathematics, 2(1):93-96, 1991.
    Search in Google Scholar
  17. [17] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.
    Search in Google Scholar
  18. [18] Jan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991.
    Search in Google Scholar
  19. [19] Bartłomiej Skorulski. First-countable, sequential, and Frechet spaces. Formalized Mathematics, 7(1):81-86, 1998.
    Search in Google Scholar
  20. [20] Bartłomiej Skorulski. The sequential closure operator in sequential and Frechet spaces. Formalized Mathematics, 8(1):47-54, 1999.
    Search in Google Scholar
  21. [21] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.
    Search in Google Scholar
  22. [22] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.
    Search in Google Scholar
  23. [23] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
    Search in Google Scholar
  24. [24] Andrzej Trybulec. Baire spaces, Sober spaces. Formalized Mathematics, 6(2):289-294, 1997.
    Search in Google Scholar
  25. [25] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
    Search in Google Scholar
  26. [26] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  27. [27] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 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
Publication frequency: 1 issue per year
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
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)