A tree characterization of the point of continuity property in general Banach spaces (Q2846850)

Let \([\mathbb{N}]^{< \omega}\) denote the set of all finite sequences in \(\mathbb{N}\) ordered by extension. Let \(X\) be a Banach space. A family \(\{x_ A\}\), \( A\in [\mathbb{N}]^{< \omega}\), of elements of \(X\) is called a topologically weakly null tree if \(0\) belongs to the weak closure of the set \(\{x_{ A,n} : n=1,2,\dots\}\) for every \(A\in [\mathbb{N}]^{< \omega}\). A branch of a tree \(\{x_A\}\) is a sequence \(\{x_\emptyset, x_{(n1)}, x_{(n1,n2)},\dots\}\) for some sequence \(n_1,n_2,n_3,\dots\) in \(\mathbb{N}\). A bounded subset \(K\) of a Banach space \(X\) has the point of continuity property (PCP) if, for every closed subset \(L\) of \(K\), the identity map \(I:(L, \mathrm{weak})\to (L,\mathrm{norm})\) has a point of continuity. In this paper, the authors show the following theorems: NEWLINENEWLINENEWLINE NEWLINETheorem A: Let \(K\) be a bounded subset of a Banach space \(X\). Then the following are equivalent: NEWLINE(1)~\(K\) fails the PCP. (2)~There exists a seminormalized topologically weakly null tree \(\{x_A\}\) of elements of \(X\) such that the set \(\{\sum_{B\leq A} x_B : A \in [\mathbb{N}]^{< \omega} \}\) is contained in \(K\). NEWLINENEWLINENEWLINENEWLINETheorem B: Let \(X\) be a Banach space. The following are equivalent: (1)~The unit ball of \(X\) has the PCP. (2)~Every seminormalized weakly null tree in \(X\) admits a boundedly complete branch.