On bisequentiality and spaces of strictly decreasing functions on trees (Q1738965): Difference between revisions

In this work all topological spaces under consideration are assumed to be Hausdorff and completely regular. Recall that a sequence of non-empty subsets $\{A_n:n\in \omega \}$ of a topological space $X$ converges to a point $x\in X$ if for any neighborhood $U$ of $x$ there exists $n_0 \in \omega$ such that $A_n\subset U$ for any natural $n > n_0$. An ultrafilter $\mathcal{U}\subset \mathcal{P}(X)$ converges to $x\in X$ if every neighborhood $U$ of $x$ is an element of $\mathcal{U}$. A topological space $X$ is bisequential at a point $x_0 \in X$ if every ultrafilter $\mathcal{U}$ in $X$ convergent to $x_0$ contains a decreasing sequence $\{U_n:n\in \omega \}$ converging to $x_0$. A space $X$ is said to be bisequential if it is bisequential at each $x\in X$. A compact space $X$ is called Eberlein compact (uniform Eberlein) if it embeds homeomorphically into some Banach (respectively Hilbert) space with its weak topology. \par The objective of this work is to answer Questions 6.1 and 6.2, which were posed in [\textit{T. Cieśla}, Topology Appl. 229, 106--111 (2017; Zbl 1376.54027)]. \par Question 6.1 For which trees $T$ of height less than or equal to $\omega _1$ is $\mathcal{X}_T$ bisequential? \par Question 6.2 Let $T$ be an Aronszajn tree. Is $\mathcal{X}_T$ bisequential? \par (Where $\mathcal{X}_T$ is the space of strictly decreasing functions on a tree $T$ into itself with totally ordered domain.) To achieve the above the authors present a characterization of spaces of strictly decreasing functions on trees in terms of bisequentiality. They also study the relation between bisequentiality and the classes of Corson, Eberlein and uniform Eberlein compacta. \par The main result in this paper is: \par Theorem 3.1. Let $T$ be a tree. $\mathcal{X}_T$ is a bisequential space if and only if $T$ satisfies the following conditions: i) $T$ has size less than the first measurable cardinal and ii) $T$ has no uncountable branches. \par Theorem 3.1 gives positive answer to Question 6.2 (see Corollary 3.7). Another interesting result is Theorem 4, in which it is proved that, for a given tree $T$, the topological space $\mathcal{Y}_T$ is bisequential if and only if $T$ is countable.