REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2007, Volume 15, Issue 4

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21405
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorByliński, Czesław-
    dc.date.accessioned2026-11-03T09:43:51Z-
    dc.date.available2026-11-03T09:43:51Z-
    dc.date.issued2007-
    dc.identifier.citationFormalized Mathematics, Volume 15, Issue 4, Pages 167-170pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21405-
    dc.description.abstractIn the article, I introduce the notions of the compactification of topological spaces and the Alexandroff one point compactification. Some properties of the locally compact spaces and one point compactification are proved.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleAlexandroff One Point Compactificationpl
    dc.typeArticlepl
    dc.rights.holder© 2008 Czesław Byliński, published by University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.identifier.doi10.2478/v10037-007-0019-2-
    dc.description.AffiliationUniversity of Białystok, Polandpl
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The "way-below" relation. Formalized Mathematics, 6(1):169-176, 1997.pl
    dc.description.referencesGrzegorz Bancerek. Bases and refinements of topologies. Formalized Mathematics, 7(1):35-43, 1998.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.pl
    dc.description.referencesAgata Darmochwał. Compact spaces. Formalized Mathematics, 1(2):383-386, 1990.pl
    dc.description.referencesAgata Darmochwał. Families of subsets, subspaces and mappings in topological spaces. Formalized Mathematics, 1(2):257-261, 1990.pl
    dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.pl
    dc.description.referencesZbigniew Karno. Separated and weakly separated subspaces of topological spaces. Formalized Mathematics, 2(5):665-674, 1991.pl
    dc.description.referencesZbigniew Karno. On nowhere and everywhere dense subspaces of topological spaces. Formalized Mathematics, 4(1):137-146, 1993.pl
    dc.description.referencesArtur Korniłowicz. Introduction to meet-continuous topological lattices. Formalized Mathematics, 7(2):279-283, 1998.pl
    dc.description.referencesBeata Padlewska. Locally connected spaces. Formalized Mathematics, 2(1):93-96, 1991.pl
    dc.description.referencesBeata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.pl
    dc.description.referencesAndrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.pl
    dc.description.referencesMirosław Wysocki and Agata Darmochwał. Subsets of topological spaces. Formalized Mathematics, 1(1):231-237, 1990. Search in Google Scholarpl
    dc.description.volume15pl
    dc.description.issue4pl
    dc.description.firstpage167pl
    dc.description.lastpage170pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2007, Volume 15, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Alexandroff_One_Point_Compactification.pdf125,95 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons