The set functions \(\mathcal{K}\) and \(\mathcal{T}\) and the property of Kelley (Q6181133)

A \textsl{continuum} is a compact connected Hausdorff space. A \textsl{subcontinuum} is a compact connected subspace of a continuum. Let \(X\) be a continuum. The \textsl{set function} \(\mathcal T_X\) is defined as follows: if \(A\) is a subset of \(X\), then \(\mathcal T_X(A) = X \setminus \{ x \in X : \ \text{there exists a subcontinuum of} \ X \ \text{such that} \ x \in \text{Int}(W) \subseteq W \subseteq X \setminus A\}\) for each subset \(A\) of \(X\). The \textsl{set function} \(K_X\) is defined as follows: if \(A\) is a subset of \(X\), then \(\mathcal K_X(A) = \bigcap \{ W \subseteq X : W \ \text{is a subcontinuum of} \ X \ \text{and} \ A \subseteq \text{Int}_X(W)\}\) The author present new properties of the set functions \(\mathcal T_X\) and \(\mathcal K_X\). Some of the most important result are mentioned below. The continuity of \(\mathcal T_X\) on the hyperspace of subcontinua of a decomposable continuum \(X\) with the property of Kelley implies that \(\mathcal K_X\) is continuous on the hyperspace of subcontinua of \(X\). The idempotency on closed subset of \(\mathcal K_X\) holds if for each closed subset \(A\) of \(X\) and for each subcontinuum \(L\) of \(X\) such that \(\text{Int}_X(L) \neq \emptyset\) and \(L \cap A = \emptyset\), there exists a subcontinuum \(W\) of \(X\) such that \(A \cap W = \emptyset\) and \(L \subseteq \text{Int}_X (W)\). The converse of the last statement fails. The family of \(\mathcal K\)-closed subsets of a metric continuum \(X\), \(\{ A \subseteq X : \mathcal K_X(A) = A, A \neq \emptyset \}\), is a \(G_\delta\) subset of the hyperspace of nonempty closed subsets of \(X\), in particular, it is completely metrizable. The image under \(\mathcal K_X\) of the hyperspace of nonempty closed subsets is an analytic set. Finally, under the assumption \(X\) is a continuum with the property of Kelley, the continuity of \(\mathcal T_X\) is equivalent to the idempotency of \(\mathcal T_X\) and the fact that the image of the hyperspace of subcontinua of \(X\) under \(\mathcal T_X\) is a closed subset of the hyperspace of subcontinua of \(X\) together.