Quasi-uniform Space

Pole DC	Wartość	Język
dc.contributor.author	Coghetto, Roland	-
dc.date.accessioned	2017-06-02T11:53:00Z	-
dc.date.available	2017-06-02T11:53:00Z	-
dc.date.issued	2016	-
dc.identifier.citation	Formalized Mathematics, Volume 24, Issue 3, pp. 205-214	pl
dc.identifier.issn	1426-2630	pl
dc.identifier.issn	1898-9934	pl
dc.identifier.uri	http://hdl.handle.net/11320/5555	-
dc.description.abstract	In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space.We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X \ Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.	-
dc.language.iso	en	-
dc.publisher	De Gruyter Open	-
dc.subject	quasi-uniform space	-
dc.subject	quasi-uniformity	-
dc.subject	Pervin space	-
dc.subject	Csaszar-Pervin quasi-uniformity	-
dc.title	Quasi-uniform Space	-
dc.type	Article	-
dc.identifier.doi	10.1515/forma-2016-0017	-
dc.description.Affiliation	Rue de la Brasserie 5 7100 La Louvière, Belgium	-
dc.description.references	William W. Armstrong, Yatsuka Nakamura, and Piotr Rudnicki. Armstrong’s axioms. Formalized Mathematics, 11(1):39-51, 2003.	-
dc.description.references	Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261-279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1.	-
dc.description.references	Nicolas Bourbaki. General Topology: Chapters 1-4. Springer Science and Business Media, 2013.	-
dc.description.references	Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.	-
dc.description.references	Roland Coghetto. Convergent filter bases. Formalized Mathematics, 23(3):189-203, 2015.	-
dc.description.references	Hans-Peter A. Künzi. Quasi-uniform spaces - eleven years later. In Topology Proceedings, volume 18, pages 143-171, 1993.	-
dc.description.references	Hans-Peter A. Künzi. An introduction to quasi-uniform spaces. Beyond Topology, 486: 239-304, 2009.	-
dc.description.references	Hans-Peter A. Künzi and Carolina Ryser. The Bourbaki quasi-uniformity. In Topology Proceedings, volume 20, pages 161-183, 1995.	-
dc.description.references	William J. Pervin. Quasi-uniformization of topological spaces. Mathematische Annalen, 147(4):316-317, 1962.	-
dc.description.references	Alexander Yu. Shibakov and Andrzej Trybulec. The Cantor set. Formalized Mathematics, 5(2):233-236, 1996.	-
dc.description.references	James Williams. Locally uniform spaces. Transactions of the American Mathematical Society, 168:435-469, 1972.	-
dc.description.references	Mirosław Wysocki and Agata Darmochwał. Subsets of topological spaces. Formalized Mathematics, 1(1):231-237, 1990.	-
Występuje w kolekcji(ach):	Formalized Mathematics, 2016, Volume 24, Issue 3

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
forma-2016-0017.pdf		251,87 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

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