Super properties and net weight
type: Item
instance of: scholarly article
title: Super properties and net weight
zbMATH Open document ID: 1444.54017
author: Joan E. Hart
author: Kenneth Kunen
published in: Topology and its Applications
publication date: 2020-03-24T00:00:00Z
review text: In what follows, all topological spaces are \(T_3\) (i.e., Hausdorff and regular) and we assume the reader is familiar with \textit{Martin's Axiom}, \(\mathbf{MA}(\kappa)\), and with the \textit{Continuum Hypothesis}, \(\mathbf{CH}\). The cardinality of a set \(X\) is denoted by \(|X|\). A \textit{network} for a topological space \(X\) is a family \(\mathcal{N}\) of (non-necessarily open) subsets of \(X\) such that every open set of \(X\) is the union of a subfamily of \(\mathcal{N}\). The \textit{net weight} of \(X\), denoted by \(nw(X)\), is the least cardinality of a network for \(X\). Every base is a network and \(\{\{x\}: x \in X\}\) is a network, so clearly \(nw(X) \leqslant \min\{|X|,w(X)\}\) -- where \(w(X)\) (the \textit{weight} of \(X\)) is the least cardinality of a base of \(X\). Given a topological space \(X\) and a cardinal \(\kappa\), a \textit{\(\kappa\)-assignment} for \(X\) is a sequence \(\mathcal{U} = \{(x_\alpha,U_\alpha): \alpha < \kappa\}\), where each \(U_\alpha\) is open in \(X\) and \(x_\alpha \in U_\alpha\). An \textit{assignment} for \(X\) is an \(\omega_1\)-assignment. A topological space \(X\) is said to be HG (\textit{Hereditarily Good}) if for all assignments \(\mathcal{U}\) of \(X\) there are \(\alpha \neq \beta\) such that \([x_\beta \in U_\alpha\,\, \&\,\, x_\alpha \in U_\beta]\). The property HG was introduced in [\textit{J. E. Hart} and \textit{K. Kunen}, Topol. Proc. 55, 147--174 (2020; Zbl 1444.54016)] and it is a natural strengthening of the properties \(HS\) (i.e. Hereditarily Separable) and \(HL\) (i.e. Hereditarily Lindelöf). A topological space \(X\) is \textit{strongly} HG, or \(\text{st}\)HG, if all finite powers of \(X\) are HG (equivalently, \(X^\omega\) is HG), and it is said to be \textit{super} HG, or \(\text{su}\)HG, if for all assignments for \(X\) there is some \(S\subseteq\omega_1\) with \(|S| = \aleph_1\) such that for all \(\alpha, \beta \in S\) one has \([x_\beta \in U_\alpha\,\, \&\,\, x_\alpha \in U_\beta]\…
reviewed by: Samuel Gomes da Silva
Mathematics Subject Classification ID: 54D70
Mathematics Subject Classification ID: 54D20
Mathematics Subject Classification ID: 54A35
zbMATH DE Number: 7181594
zbMATH Keywords: weakly separated
zbMATH Keywords: forcing
zbMATH Keywords: network
zbMATH Keywords: net weight
zbMATH Keywords: butterfly
MaRDI profile type: MaRDI publication profile
full work available at URL: j.topol.2020.107144
OpenAlex ID: W3009814133
cites work: Cosmicity of Cometrizable Spaces
cites work: Q3892930
cites work: Q5109952
cites work: Q5109953
cites work: Q5525886
cites work: HFD and HFC type spaces, with applications
cites work: Q4881914
cites work: Q3715106
cites work: Set theory.
cites work: Q5620181
cites work: Q3725151
cites work: Q4189791
cites work: Partition Problems in Topology
DOI: 10.1016/J.TOPOL.2020.107144
description: scientific article; zbMATH DE number 7181594