Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11238
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gutierres, Gonçalo | - |
dc.date.accessioned | 2009-08-28T08:22:51Z | - |
dc.date.available | 2009-08-28T08:22:51Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Pré-Publicações DMUC. 08-37 (2008) | en_US |
dc.identifier.uri | https://hdl.handle.net/10316/11238 | - |
dc.description.abstract | It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we cannot replace filters by ultrafilters. It is proven that the ultrafilter convergence determines the open sets for every topological space if and only if the Ultrafilter Theorem holds. More, we can also prove that the Ultrafilter Theorem is equivalent to the fact that uX = kX for every topological space X, where k is the usual Kuratowski Closure operator and u is the Ultrafilter Closure with uX(A) := {x ∈ X : (∃U ultrafilter in X)[U converges to x and A ∈ U]}. However, it is possible to built a topological space X for which uX 6= kX, but the open sets are characterized by the ultrafilter convergence. To do so, it is proved that if every set has a free ultrafilter then the Axiom of Countable Choice holds for families of non-empty finite sets. It is also investigated under which set theoretic conditions the equality u = k is true in some subclasses of topological spaces, such as metric spaces, second countable T0-spaces or {R}. | en_US |
dc.description.sponsorship | Centro de Matemática da Universidade de Coimbra/FCT | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Centro de Matemática da Universidade de Coimbra | en_US |
dc.rights | openAccess | eng |
dc.subject | Ultrafilter Theorem | en_US |
dc.subject | Ultrafilter Closure | en_US |
dc.title | The Ultrafilter Closure in ZF | en_US |
dc.type | preprint | en_US |
uc.controloAutoridade | Sim | - |
item.fulltext | Com Texto completo | - |
item.openairecristype | http://purl.org/coar/resource_type/c_816b | - |
item.grantfulltext | open | - |
item.languageiso639-1 | en | - |
item.openairetype | preprint | - |
item.cerifentitytype | Publications | - |
crisitem.author.dept | Faculty of Sciences and Technology | - |
crisitem.author.parentdept | University of Coimbra | - |
crisitem.author.researchunit | CMUC - Centre for Mathematics of the University of Coimbra | - |
crisitem.author.orcid | 0000-0001-9480-498X | - |
Appears in Collections: | FCTUC Matemática - Vários |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
The Ultrafilter Closure in ZF.pdf | 121.53 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.