On Urysohn's lemma for generalized topological spaces in ZF

DOI10.1007/S00025-021-01585-1zbMATH Open1492.54005arXiv2103.05139OpenAlexW4220764248WikidataQ125027238 ScholiaQ125027238MaRDI QIDQ2120286FDOQ2120286

Authors: Eleftherios Tachtsis, Eliza Wajch, Jacek Hejduk 

Publication date: 31 March 2022

Published in: Results in Mathematics (Search for Journal in Brave)

Abstract: A strong generalized topological space is an ordered pair $mathbfX=langleX,mathcalTangle$ such that $X$ is a set and $mathcalT$ is a collection of subsets of $X$ such that $emptyset,XinmathcalT$ and $mathcalT$ is stable under arbitrary unions. A necessary and sufficient condition for a strong generalized topological space $mathbfX$ to satisfy Urysohn's lemma or its appropriate variant is shown in $mathbfZF$. Notions of a U-normal and an effectively normal generalized topological space are introduced. It is observed that, in $mathbfZF+mathbfDC$, every U-normal generalized topological space satisfies Urysohn's lemma. It is shown that every effectively normal generalized topological space satisfies Csasz'ar's modification of Urysohn's Lemma. A $mathbfZF$- example of a strong generalized topological normal space which satisfies the Tietze-Urysohn Extension Theorem and fails to satisfy Urysohn's Lemma is shown.

Full work available at URL: https://arxiv.org/abs/2103.05139

Recommendations

• Normal generalized topologies
• Compactness and compactifications in generalized topology
• scientific article; zbMATH DE number 2203366
• A uniform approach to normality for topological spaces
• A unified theory of generalized closed sets in weak structures
• scientific article; zbMATH DE number 6609822
• Regular relations and normality of topologies
• scientific article; zbMATH DE number 1205883
• Contra continuity on generalized topological spaces
• On \((\Lambda,\mu)\)-closed sets in generalized topological spaces

zbMATH Keywords

normalitygeneralized topologyUrysohn's lemma

Mathematics Subject Classification ID

Consistency and independence results (03E35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Consistency and independence results in general topology (54A35) Axiom of choice and related propositions (03E25) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Cites Work

• Title not available (Why is that?)
• The axiom of choice
• Title not available (Why is that?)
• Title not available (Why is that?)
• Injectivity, Projectivity, and the Axiom of Choice
• Generalized topology, generalized continuity
• Continuing horrors of topology without choice
• On supratopological spaces
• The foundations of mathematics
• Normal generalized topologies
• Some results related to supra topological spaces
• Auswahlaxiom in der Algebra
• On a strong generalized topology with respect to the outer Lebesgue measure
• Geordnete Läuchli Kontinuen
• Hausdorff compactifications in ZF
• Versions of Normality and Some Weak Forms of the Axiom of Choice
• On functions continuous with respect to a density type strong generalized topology
• The Urysohn lemma is independent of ZF + countable choice

Cited In (5)

• The Urysohn lemma is independent of ZF + countable choice
• A case study of transporting Urysohn's lemma from topology via open sets into topology via neighborhoods
• Urysohn's lemma in Schröder categories
• Quasiorders for a characterization of iso-dense spaces
• Urysohn's lemma in weak structures

This page was built for publication: On Urysohn's lemma for generalized topological spaces in \(\mathbf{ZF}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2120286)