This work is licensed under the Creative Commons Attribution 4.0 International License.
introduction and some Preliminaries
The notion of compactness or compactification is an important concept in general topology as well as in a branch of mathematics and quantum physic. A compactification of a space X is a compact space containing X as a dense subspace. There are a lot of compactification methods applying different topological spaces such as Aleksandrov (one-point), Wallman, Stone-Cech. In 1929, Aleksandrov proved that all locally compact Hausdorff spaces may be completed to a compact hausdorff by the addition of one point [1]. In 1937, Cech constructed the compactification of a space by using the diagonal product of all continuous functions [3] while Stone was using Boolean algebras and rings of continuous functions [12] to do this. Henry Wallman introduced compactification of spaces having a normal base which is also called Wallman compactification [13]. Recall the Fan-Gottesman compactification is defined by Ky Fan and Noel Gottesman.
In 1952, Let β be a class of open sets in X. If it satisfies the following three conditions, it is called a normal base.
β is closed under finite intersections
If B ∈ β, then X − clX B ∈ β, where clX B denotes closure of B in X.
For every open set U in X and every B ∈ β such that clX B ⊂ U, there exists a set D ∈ β such that clX B ⊂ D ⊂ clX D ⊂ U.
We consider a regular space having a normal base for open sets i.e., which satisfies the above three properties of normal base A chain family on β is a non-empty family of sets of β such that
c{l_X}{B_1} \cap c{l_X}{B_2} \cap \ldots \cap c{l_X}{B_n} \ne \emptyset
for any finite number of sets Bi of the family. Every chain family on β is contained in at least one maximal chain family on β by Zorn’s lemma. Maximal chain families on β will be denoted by letters as a*, b*,..., and also the set of all maximal chain families on β will be denoted by (X, β)
*. (X, β)
* is a compact Hausdorff spaces and is a compactification of our regular space. Whose topology is defined as follow. For each B ∈ β, let
\tau (B) = \{ {b^*} \in {(X,\beta )^*}:B \in {b^*}\}
Then the topology of (X, β)
* is defined by taking
{\beta ^*} = \left\{ {\tau (B):B \in \beta } \right\}
as a base of open sets. Afterwards this compactification is called Fan-Gottesman compactification [7]
.
Now, we defined this compactification via ultra-open filter in [5].
Definition 1.1
Let X be a T3 space and FX the subcollection of all open ultrafilters on X. For each open set O ⊂ X, define O* ⊂ FX to be the set
{O^*} = \left\{ {\hat G \in FX:V \subset c{k_X}V \subset O,\;O\;{\text{is}}\;{\text{open}}\;{\text{in}}\;X\;{\text{and}}\;V,O \in \hat G} \right\}
Let Φ is the {O* : O is open subset of X} set. It is clear that Φ is the base for open sets of topology on FX. FX is a compact space and the Fan-Gottesman compactifications of X.
In order to avoid the confusion between FX and (X, β)*, we will use X* when it regarded as Fan-Gottesman compactification of X.
On the other hand, for each closed set D ⊂ X, we define D* ⊂ X* by
{D^*} = \left\{ {\hat G \in {X^*}:G \subseteq D\;\;{\text{for}}\;{\text{some}}\;G\;{\text{in}}\;\hat G} \right\}.
The following properties of X* are useful
If U ⊂ X is open, then X* − U* = (X* − U)*
If D ⊂ X is closed, then X* − D* = (X* − D)*
If U1 and U2 are open in X, then {({U_1} \cap {U_2})^*} = U_1^* \cap U_2^* and {({U_1} \cup {U_2})^*} = U_1^* \cup U_2^*
Properties We consider the map fX : X → X* be defined by fX (x) =Ĝx, the open ultrafilter converging to x in X. Then the following properties hold.
If U is open in X, then fX (Ū) = U*. In particular fX (X) is dense in X*.
fX is continuous and it is an embedding of X in X* if and only if X is a T3-space.
If U1 and U2 are open subsets of X, then fX (Ū1 ∩ U2) = fX (Ū1) ∩ fX (Ū2).
X* is a compact T2-space.
Recal that X* − X is called as Fan-Gottesman remainder and we get following theorems in.
Theorem 1.1
Let X be a topological space. Suppose that X* − X contains an infinite subspace having the topology of finite complements. Then there exists a sequence H1, H2,... of closed noncompact subsets of X which are pairwise disjoint.
Theorem 1.2
Let X be a topological space. Then the following statements are equivalent:
The Fan-Gotteman compactification of X is its weak reflection in compact spaces.
The space X has a weak reflection in compact spaces.
There exists such that any pairwise disjoint family of closed sets in X contains at most k noncompact elements.
Every infinite sequences F1, F2,... of closed sets such that Fp ∩ Fq is compact for p ≠ q has a compact member
The Fan-Gottesman remainder of X is finite.
A topological space X is said to be scattered if every non-empty subset S of X contains at least one point which is isolated in S. Compact scattered spaces are very important tools for analysis and topology. In 1972, Mrowka and others characterized compact scattered space [11]. In 1974, Kannan and Rajagopalan showed that a 0-dimensional, Lindolef, scattered first countable Hausdorff Space admits a scattered compactification [9]. In 1979, Moran characterize the class of scattered compact orders among the compact orders by means of properties of their continuous real valued functions [10]. In 2007, M.Henriksen and others established a new generalization of scattered spaces called SP-scattered [8]. In 2016, Al-Hajri and others characterized spaces such that their Aleksandrov (one-poin) compactification is a scattered space. They presented image classificaiton problem as an application of scattered space [2]. In 2018, Cioban and Budanaev present some geometrical and topological concepts to accommodate the needs of information theories. They established that Khalimsky topology on the discrete line is unique as the minimal symmetric digital topology on ℤ [4].
Definition 1.2
Let X be a topological space and S ⊆ X.S is called a scattered subset of X if S considered as a topological space is scattered. Also if clS is scattered, then S is scattered.
Proposition 1.1
Let X be a TO-topological space and S be a subset of X. clS is scattered if and only if S and clS are scattered.
Proposition 1.2
Let X be a TO-topological space and S1, S2 be two scattered subsets of X. The following statements hold:
The intersection of Sl and S2 is a scattered subset of X.
The union of Sl and S2 is a scattered subset of X.
Corollary 1.3
Let X be a topological space and {Si : i ∈ I} be a finite collection of scattered subsets of X. Then \bigcup\nolimits_{i \in I} {S_i}Si is a scattered subset of X.
The following remarks are very important for topologists. Because the results are scattered space definition and the construction of compactification.
Remark 1.4
Let K(X) be a compactification of a topological space X. If K(X) is a scattered then X is also a scattered space.
Remark 1.5
Let X be a scattered topological space and S ⊆ X. Then S is also a scattered space.
Main Results
Theorem 2.1
Let X* be Fan-Gottesman compactification of X, T3-space. Then X* is a scattered if and only if X and X* − X are scattered.
Proof
(⇒) It is obviously that if X* is a scattered then X and X* − X are scattered due to hereditary properties of scattered space.
(⇐) Assume that X and X* − X are scattered and let S be a subset of X*. We think about two cases:
Case 1: S ⊆ X or S ⊆ X*. So there exists an element x of S and an open set U of X such that U ∩ S = {x}. Case 2: S ∩ X ≠ 0 and S ∩ X* ≠ 0. Since X is a scattered and S ∩ X ≠ 0. There are an element z of S ∩ X and an open set U of X such that U ∩ (S ∩ X) = {x}. Assume that (U ∩ S) ∩ (X* − X) ≠ 0. Because X* − X is scattered there exists an element z of (U ∩ S) ∩ (X* − X) and an open set O of X such that O ∩ [(U ∩ S) ∩ (X* − X)] = {z}. Therefore either S ∩ O = {z} or S ∩ O = {x, z}. It is clear that S ∩ O = {z}, then z is an isolated point of S. Assume that S ∩ O = {x, z}, since X* is Hausdorff space and z ∈ X* − X, there is an open set V of X* such that x ∈ V and z ∉ V. Therefore (V ∩ U ∩ O) ∩ S = {x}. Thus S is scattered.
Theorem 2.2
Let X be a T3-space such that its Fan-Gottesman compactification remainder is finite. Then the Fan-Gottesman compactifiction X* is a scattered if and only if X is a scattered space.
Proof
We get (⇒) It is obviously that if the Fan-Gottesman compactification X* is a scattered then X is a scattered space due to hereditary properties of scattered space.
(⇐) Since X* − X is finite and X* is Hausdorff space, X* − X is a discrete space. Then X* − X is a scattered. It is clear that X* is a scattered space from Theorem 2.1.
Theorem 2.3
Let X be a T3-space such that its Fan-Gottesman compactification is a scattered space. If ℱ is a collection of disjoint non-compact, closed sets of X, then there exists an open set U of X and F ∈ ℱ such that
There exists a closed, non-compact set K of X such that K ⊆ F ∩ U
For each non-compact, closed set D ⊆ T with T ∈ ℱ − {F}, D ⊈ U.
Proof
Let A = {ξ ∈ X* : ∃T ∈ ℱ, T ∈ ξ}. Since X* is a scattered, there exists ξ ∈ A such that ξ is an isolated point in A. Therefore there exists an open set U of X such that U* ∩ S = {ξ} Thus ξ ∈ U*, so that there exists K ∈ ξ such that K ⊆ U. Since ξ ∈ S, let F ∈ ℱ such that F ∈ ξ. Then K ⊆ F ∩ U.
Let T ∈ ℱ − {F} and D be a non-compact, closed set of X such that D ⊆ T. Then there exists 𝒟 ∈ S such that D ∈ 𝒟. It is clear that 𝒟 ≠ ξ for elements of T are disjoints; so that 𝒟 ∉ U*. Hence D ⊈ U.