Some aspects related to the Jones' set function \(\mathcal{T}\) (Q2324551)

Given a metric continuum \(X\), the hyperspace of all closed nonempty subsets of \(X\) is denoted by \(2^{X}\) and the hyperspace of subcontinua of \(X\) is denoted by \(C(X)\), both are endowed with the Hausdorff metric. Given \(A\subset X\), the Jones' function is defined as \(\mathcal{T}(A)=\{p\in X:\) each \(M\in C(X)\) containing the point \(p\) in its interior intersects \(A\}\). Many aspects of the function \(\mathcal{T}\) have been studied. Some important definitions related to \(\mathcal{T}\) are the following: \(\mathcal{T}\) is continuous if its restriction to \(2^{X}\) into \(2^{X}\) is continuous; \(X\) is \(\mathcal{T}\)-additive if for every \(A,B\in 2^{X}\), \(\mathcal{T}(A\cup B)=\mathcal{T}(A)\cup \mathcal{T}(B)\); \(X\) is \(\mathcal{T}\)-symmetric if for every \(A,B\in 2^{X}\) we have that \(A\cap \mathcal{T}(B)\neq \emptyset\) implies \(B\cap \mathcal{T}(A)\neq \emptyset\); \(\mathcal{T}\) is idempotent (respectively, idempotent on closed sets and idempotent on continua) if for each \(A\subset X\) (respectively, \(A\in 2^{X}\) and \(A\in C(X)\)), \(\mathcal{T}(\mathcal{T}(A))=\mathcal{T}(A)\). In the paper under review, the authors study some aspects of the function \(\mathcal{T}\) related with the notions defined above. Among other results they show: -- an example of a continuum \(X\) such that \(\mathcal{T}\) is idempotent on continua but it is not idempotent on closed sets, -- the image under \(\mathcal{T}\) of \(2^{X}\), \(\mathcal{T}(2^{X})\), is an analytic set for each continuum \(X\) (it is not known if this set is a Borel set of \(2^{X}\)), -- if \(\mathcal{T}(2^{X})\) is compact, then \(\mathcal{T}(2^{X})\) is either finite or uncountable, -- there exists a continuum \(X\) such that \(\mathcal{T}(2^{X})\) is countable, -- for non-degenerate continua \(X\) and \(Y\), the continuity of \(\mathcal{T}\) restricted to the hyperspace of subcontinua \(C(X\times Y)\) implies the continuity of \(\mathcal{T}\) in \(2^{X\times Y})\), -- the compactness of \(\mathcal{T}(2^{X\times Y})\) implies the local connectedness of \(X\times Y\).