W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/20671Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Pąk, Karol | - |
| dc.date.accessioned | 2026-07-29T11:56:09Z | - |
| dc.date.available | 2026-07-29T11:56:09Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 16, Issue 1, Pages 35-43 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/20671 | - |
| dc.description.abstract | This paper is a continuation of [12]. First some definitions needed to formulate Cantor’s theorem on complete spaces and show several facts about them are introduced. Next section contains the proof of Cantor’s theorem and some properties of complete spaces resulting from this theorem. Moreover, countable compact spaces and proofs of auxiliary facts about them is defined. I also show the important condition that every metric space is compact if and only if it is countably compact. Then I prove that every metric space is compact if and only if it is a complete and totally bounded space. I also introduce the definition of the metric space with the well metric. This article is based on [13]. | pl |
| dc.language.iso | en | pl |
| dc.publisher | University of Białystok | pl |
| dc.rights | Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) | - |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | - |
| dc.title | Complete Spaces | pl |
| dc.type | Article | pl |
| dc.rights.holder | © 2009 Karol Pąk, published by University of Białystok | pl |
| dc.rights.holder | This work is licensed under the Creative Commons License. | pl |
| dc.identifier.doi | 10.2478/v10037-008-0006-2 | - |
| dc.description.Affiliation | Institute of Computer Science, University of Białystok, Poland | pl |
| dc.description.references | Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990. | pl |
| dc.description.references | Grzegorz Bancerek. Countable sets and Hessenberg’s theorem. Formalized Mathematics, 2(1):65–69, 1991. | pl |
| dc.description.references | Józef Białas and Yatsuka Nakamura. Dyadic numbers and T4 topological spaces. Formalized Mathematics, 5(3):361–366, 1996. | pl |
| dc.description.references | Leszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991. | pl |
| dc.description.references | Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990. | pl |
| dc.description.references | Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990. | pl |
| dc.description.references | Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990. | pl |
| dc.description.references | Agata Darmochwał. Compact spaces. Formalized Mathematics, 1(2):383–386, 1990. | pl |
| dc.description.references | Agata Darmochwał. Families of subsets, subspaces and mappings in topological spaces. Formalized Mathematics, 1(2):257–261, 1990. | pl |
| dc.description.references | Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990. | pl |
| dc.description.references | Alicia de la Cruz. Totally bounded metric spaces. Formalized Mathematics, 2(4):559–562, 1991. | pl |
| dc.description.references | Ryszard Engelking. General Topology, volume 60 of Monografie Matematyczne. PWN Polish Scientific Publishers, Warsaw, 1977. | pl |
| dc.description.references | Adam Grabowski. On the Kuratowski limit operators. Formalized Mathematics, 11(4):399–409, 2003. | pl |
| dc.description.references | Adam Grabowski. On the boundary and derivative of a set. Formalized Mathematics, 13(1):139–146, 2005. | pl |
| dc.description.references | Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990. | pl |
| dc.description.references | Stanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607–610, 1990. | pl |
| dc.description.references | Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273–275, 1990. | pl |
| dc.description.references | Jarosław Kotowicz. Monotone real sequences. Subsequences. Formalized Mathematics, 1(3):471–475, 1990. | pl |
| dc.description.references | Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269–272, 1990. | pl |
| dc.description.references | Robert Milewski. Bases of continuous lattices. Formalized Mathematics, 7(2):285–294, 1998. | pl |
| dc.description.references | Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147–152, 1990. | pl |
| dc.description.references | Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990. | pl |
| dc.description.references | Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115–122, 1990. | pl |
| dc.description.references | Michał Trybulec. Formal languages– concatenation and closure. Formalized Mathematics, 15(1):11–15, 2007. | pl |
| dc.description.references | Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990. | pl |
| dc.description.references | Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990. | pl |
| dc.description.references | Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990. | pl |
| dc.description.references | Edmund Woronowicz and Anna Zalewska. Properties of binary relations. Formalized Mathematics, 1(1):85–89, 1990. | pl |
| dc.description.references | Agata Darmochwał and Yatsuka Nakamura. Metric spaces as topological spaces– fundamental concepts. Formalized Mathematics, 2(4):605–608, 1991. | pl |
| dc.identifier.eissn | 1898-9934 | - |
| dc.description.volume | 16 | pl |
| dc.description.issue | 1 | pl |
| dc.description.firstpage | 35 | pl |
| dc.description.lastpage | 43 | pl |
| dc.identifier.citation2 | Formalized Mathematics | pl |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2008, Volume 16, Issue 1 | |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Complete_Spaces.pdf | 246,14 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
