On \(\mathcal{T}\)-ft sets and the hyperspace of \(\mathcal{T}\)-closed sets (Q2105013)

For a metric continuum \(X\), \(2^{X}\) denotes the hyperspace of nonempty closed subsets of \(X\) and \(C(X)\) denotes the hyperspace of subcontinua of \(X\). Both hyperspaces are considered with the Hausdorff metric. The Jones' set function \(\mathcal{T}\) is defined for subsets \(A\) of \(X\) by: \(\mathcal{T}(A)=\{p\in X:\) for each \(M\in C(X)\), with \(p\in\) int\(_{X}(M)\), we have \(M\cap A\neq\emptyset\}\). A closed subset \(A\subset X\) is \(\mathcal{T}\)-closed in \(X\) provided that \(A=\mathcal{T}(A)\). So, it is possible to consider and study the hyperspaces \(2^{X}_{\mathcal{T}}=\{A\in 2^{X}: A\) is \(\mathcal{T}\)-closed in \(X\}\) and \(C_{\mathcal{T}}(X)=\{A\in C(X):A\) is \(\mathcal{T}\)-closed in \(X\}\). In the paper [\textit{F. Capulín} et al., Topology Appl. 275, Article ID 107154, 15 p. (2020; Zbl 1441.54023)] the hyperspace \(C_{\mathcal{T}}(X)\) was studied. Following the lines developed in that paper, in the paper under review, the hyperspace \(2^{X}_{\mathcal{T}}\) is investigated. The authors start with a series of illustrative examples. These examples leave the impression that to find many general structural theorems for this hyperspace is a difficult task. The authors show an example of a continuum \(X\) such that \(2^{X}_{\mathcal {T}}\) is homeomorphic to the Cantor set. Another interesting example presented in the paper is a continuum \(X\) such that \(2^{X}_{\mathcal{T}}\setminus\{X\}\) is an arc. The paper offers a number of open problems, including the following very attractive one. Question 3.15. Given a compact metric space \(Y\), does there exist a continuum \(X\) such that \(2^{X}_{\mathcal{T}}\) is homeomorphic to \(Y\)? In fact, they ask if this problem can be solved for the case when \(Y\) is numerable and compact, or even when \(Y\) is the harmonic sequence. The authors also introduce the following definitions: (a) given \(A\in 2^{X}\), \(A\) is said to be of \(\mathcal{T}\)-finite type if the sequence \(A\subset \mathcal{T}(A)\subset \mathcal{T}^{2}(A) \subset\mathcal{T}^{3}(A)\cdots\) is finite; (b) \(A\in C(X)\) (respectively, \(A\in 2^{X}\)) is \(C(\mathcal{T})\)-big (respectively, \(2^{\mathcal{T}}\)-big) if for every \(B\in C(X)\) (respectively, \(B\in 2^{X}\)) such that \(A\subset B\) and \(\mathcal{T}(A)=\mathcal{T}(B)\), it follows that \(A=B\). They finish the paper giving several significative examples and results related to these two notions.