On two cardinal inequalities involving free sequences (Q715663): Difference between revisions

A space is homogeneous if for any pair of points there is a homeomorphism sending one point to the other. A space is power homogeneous if some power of it is homogeneous. \(f:X\rightarrow Y\) is \(\theta\)-continuous if for any \(x\in X\) and any open neighbourhood \(U\) of \(f(x)\) there exists an open neighbourhood \(V\) of \(x\) such that \(f(\overline{V})\subseteq \overline{U}\). \(f\) is a \(\theta\)-homeomorphism if it is bijective and \(\theta\)-continuous in both directions. The space \(X\) is \(\theta\)-homogeneous if for any \(x,y\in X\) there is a \(\theta\)-homeomorphism \(f:X\rightarrow X\) such that \(f(x)=y\). \(X\) is power \(\theta\)-homogeneous if some power of it is \(\theta\)-homogeneous. The point compactness type of a space \(X\), denoted by \(pct(X)\), is the smallest cardinal \(\kappa\) such that \(X\) has a cover by compact sets of character at most \(\kappa\) in \(X\). Let \(L(X)\) denote the Lindelöf degree and \(\psi_{c}(X)\) denote the closed pseudocharacter. In this paper, the author shows that the inequality \(|X|\leq 2^{L(X)F_{c}(X)pct(X)}\), which was proved for Hausdorff power homogeneous spaces \(X\) in [\textit{N. A. Carlson} and \textit{G.-J. Ridderbos}, Houston J. Math. 38, No.1, 319--332 (2012; Zbl 1244.54012)], is valid for power \(\theta\)-homogeneous spaces. Moreover, the author proves that the inequality \(|X|\leq 2^{aL_{c}(X)F_{c}(X)\psi_{c}(X)}\) holds for any Hausdorff space.