Special Compactness and Separability in Topological Spaces

#### **Chapter 7**

## *βI*-Compactness, *βI* \*-Hyperconnectedness and *βI*-Separatedness in Ideal Topological Spaces

*Glaisa T. Catalan, Michael P. Baldado Jr and Roberto N. Padua*

#### **Abstract**

Let ð Þ *X*, *τ*,*I* be an ideal topological space. A subset *A* of *X* is said to be *β*-open if *A* ⊆cl int cl ð Þ ð Þ ð Þ *A* , and it is said to be *βI*-open if there is a set *O*ð Þ ∈*τ* with the property 1ð Þ *O* � *A* ∈*I* and 2ð Þ *A* � cl int cl ð Þ ð Þ ð Þ *O* ∈*I*. The set *A* is called *βI*-compact if every cover of *A* by *βI*-open sets has a finite sub-cover. The set *A* is said to be *cβI*-compact, if every cover f g *O<sup>λ</sup>* : *λ*∈Λ of *A* by *β*-open sets, Λ has a finite subset Λ<sup>0</sup> such that *A* � ∪ f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈*I*. The set *A* is said to be countably *βI*-compact if every countable cover of *A* by *βI*-open sets has a finite sub-cover. An ideal topological space ð Þ *<sup>X</sup>*, *<sup>τ</sup>*,*<sup>I</sup>* is said to be *<sup>β</sup>* <sup>∗</sup> *<sup>I</sup>* -hyperconnected if *<sup>X</sup>* � cl <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup>*<sup>I</sup>* for every nonempty *βI*-open subset *A* of *X*. Two subsets *A* and *B* of *X* is said to be *βI*-separated if cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ ∅ ¼ *A*∩cl*β*ð Þ *B* . Moreover, *A* is called a *βI*-connected set if it can't be written as a union of two *βI*-separated subsets. An ideal topological space ð Þ *X*, *τ*,*I* is called *βI*-connected space if *X* is *βI*-connected. In this article, we give some important properties of *βI*-open sets, *βI*-compact spaces, *cβI*-compact spaces, *β* ∗ *<sup>I</sup>* -hyperconnected spaces, and *βI*-connected spaces.

**Keywords:** *β*-open set, *βI*-open set, *βI*-compact, *cβI*-compact, *β\* <sup>I</sup>*-hyperconnected

#### **1. Introduction**

Let ð Þ *X*, *τ* be a topological space. A subset *A* of *X* is said to be a *β*-open set [1] if *A* ⊆cl int cl ð Þ ð Þ ð*A* . For example, consider the topology ð Þ¼ *X*, *τ* ðf g *a*, *b*,*c* , f∅, f g*a* , f g *a*, *b* f g *a*,*c* ,*X*gÞ. Then ∅, *X*, f g *a*, *b* , f g *a*,*c* are the *β*-open sets of ð Þ *X*, *τ* . A subset *A* of *X* is said to be *semi-open* set [1] if *A* ⊆ cl int ð Þ ð Þ *A* . A subset *A* of *X* is said to be *α-open* set [2] if *A* ⊆ int cl int ð Þ ð Þ ð Þ *A* . A subset *A* of *X* is said to be *pre-open* set [3] if *A* ⊆int cl ð Þ ð Þ *A* . A subset *A* of *X* is said to be *regular-open* set [4] if *A* ¼ int cl ð Þ ð Þ *A* . A subset *<sup>A</sup>* of *<sup>X</sup>* is said to be *<sup>β</sup>* <sup>∗</sup> *-open* set [5] if *<sup>A</sup>* <sup>⊆</sup> cl int cl ð Þ ð Þ ð Þ *<sup>A</sup>* <sup>∪</sup> int cl ð Þ *<sup>δ</sup>*ð Þ *<sup>A</sup>* (please see [5] for the notation cl*δ*ð Þ *<sup>A</sup>* ). A subset *<sup>A</sup>* of *<sup>X</sup>* is said to be *<sup>β</sup>*^*-generalized-closed* set [6] if cl int cl ð Þ ð Þ ð Þ *A* ⊆ *O* whenever *A* ⊆ *O* and *O* is open in *X*.

An ideal *I* on a set *X* is a nonempty collection of subsets of *X* which satisfies the conditions: (1) *A* ∈*I* and *B* ⊆ *A* implies *B* ∈*I*, (2) *A* ∈*I* and *B* ∈*I* implies *A*∪ *B*∈*I*. Let ð Þ *X*, *τ* be a topological space and *I* be an ideal in *X*. Then we call ð Þ *X*, *τ*,*I* an ideal topological space. For example, let *X* ¼ f g *a*, *b*,*c* . Then *I* ¼ f g ∅, f g*a* is an ideal on *X*. To see this, we note that the subsets of ∅ is itself, and the subsets of f g*a* are f g*a* and ∅. Note that all of these subsets are in *I*. Next, we observe that ∅∪ ∅ ¼ ∅ ∈ *I*, ∅∪ f g*a* ¼ f g*a* ∈*I* and f g*a* ∪ f g*a* ¼ f g*a* ∈ *I*. Thus, *I* ¼ f g ∅, f g*a* is an ideal on *X*.

For the concepts that were not discussed here please refer to [5, 7–13].

Topology is a new subject of mathematics, being born in the nineteenth century. However, the involvement of topology is clear in the other branches of math [12].

Topology is also seen in some fields of science. In particular, it is applied in biochemistry [14] and information systems [15].

Topology as a mathematical system is fundamentally comprised of open sets, among others. Open sets were generalized in a couple of different ways over the past. To mention a few, Stone [4] presented regular open set. Levine [1] presented semi-open sets. Najasted [2] presented *α*-open sets. Mashhour et al. [3] presented pre-open sets. Abd El-Monsef et al. [7] presented *β*-open set. Among these generalization, this study focused on one—the *β*-open sets.

Abd El-Monsef et al. [7] also presented the concepts *β*-continuous and *β*-open mappings. They gave some of their properties. Recently, *β*-open sets were investigated by many math enthusiast. For example, Abid [16] utilized *β*-open sets to gain some properties of non-semi-predense set. Tahiliani [13] presented an operation involving *β*-open sets which paved way to the creation of *β*-*γ*-open sets. Kannan and Nagaveni [6] generalized *β*-open set, and named it *β*^-generalized closed set. Mubarki et al. [5] also generalized *β*-open set, and named it *β* <sup>∗</sup> -open set. El-Mabhouh and Mizyed [17] also generalized *β*-open set, and named it *βc*-open set. Akdag and Ozkan [8] made an investigation of *β*-open sets in soft topological spaces. Arockiarani and Arokia Lancy [9] introduced *gβ*-closed set and *gsβ*-closed set (these were defined using *β*-open sets).

The notion of ideal topological spaces was introduced by Kuratowski [18]. Later, Vaidyanathaswamy [19] studied the concept in point set topology. Tripathy and Shravan [20, 21], Tripathy and Acharjee [22], Triapthy and Ray [23], among others, were also some of those who studied ideal topological spaces.

This study have important applications in some areas of mathematics. In particular, *βI*-compactness, *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnectedness and *βI*-separatedness can be investigated in the areas of measure theory, continuum theory and dimension theory just as the parallel notions (compactness, hypercompactness, and separatedness, respectively) were studied in those areas. The purpose of this paper is to introduce and study a notion of connectedness, hypercompactness, and separatedness relative to the family of all *β*-open sets in some ideal topological spaces.

### **2.** *βI***-compactness in ideal spaces**

In this section, we gave some important properties of *βI*-open sets in *τω*-spaces.

Recall, a topological space ð Þ *X*, *τ* is said to be a *τω*-space if for every subset *A* of *X*, it is always true that int cl ð Þ¼ ð Þ *A* int cl int ð Þ ð Þ *A* . For example, let *X* ¼ f g *w*, *x*, *y*, *z* . Then *τ*<sup>1</sup> ¼ f g ∅, f g *w* , f g *w*, *x* , f g *w*, *y* , f g *w*, *x*, *y* ,*X* is a *τω*-space, while

*τ*<sup>2</sup> ¼ f g ∅, f g *w*, *x*, *y* ,*X* is not. Also, a discrete space is a *τω*-space, while an indiscete space is not.

Lemma 1.1 characterizes *β*-open sets in a *τω*-space.

βI*-Compactness,* β*\*-Hyperconnectedness and* <sup>I</sup> βI*-Separatedness in Ideal Topological Spaces DOI: http://dx.doi.org/10.5772/intechopen.101524*

**Lemma 1.1.** *Let X*ð Þ , *τ be a τω-space and I be an ideal in X. A set A* ð Þ ⊆ *X is a β-open set precisely if there is a set O*ð Þ ∈*τ with the property that O* ⊆ *A* ⊆cl int cl ð Þ ð Þ ð Þ *O* .

**Proof:** Suppose that *A* is a *β*-open set. Then *A* ⊆cl int cl ð Þ ð Þ ð Þ *A* . Consider *O* ¼ intð Þ *A* (note that *O* is open). Since ð Þ *X*, *τ* is a *τω*-space, int cl ð Þ¼ ð Þ *A* int cl int ð Þ ð Þ *A* . Hence, *O* ⊆ *A* ⊆ cl int cl ð Þ¼ ð Þ ð Þ *A* cl int cl int ð ð Þ ð Þ ð Þ *A* Þ ¼ cl int cl ð Þ ð Þ ð Þ *O* .

Conversely, suppose that there is a set *O*ð Þ ∈ *τ* with the property that *O* ⊆ *A* ⊆cl int cl ð Þ ð Þ ð Þ *O* . Since *O* ⊆ *A*, we have clð Þ *O* ⊆clð Þ *A* . And so, int cl ð Þ ð Þ *O* ⊆int cl ð Þ ð Þ *A* . Therefore, cl int cl ð Þ ð Þ ð Þ *O* ⊆cl int cl ð Þ ð Þ ð Þ *A* Thus, *A* ⊆cl int cl ð Þ ð Þ ð Þ *A* .

Next, we define *βI*-open set.

**Definition 1.1.** *Let X*ð Þ , *τ be a topological space and I be an ideal in X. A subset A of X is called β-open with respect to the ideal I, or a βI-open set, if there exists an open set O such that* ð Þ1 *O* � *A* ∈ *I, and* ð Þ2 *A* � *cl int cl O* ð Þ ð Þ ð Þ ∈*I*.

□

For example, let *X* ¼ f g *a*, *b*,*c* , *τ* ¼ f g ∅, f g*a* , f g *b*,*c* ,*X* , and *I* ¼ f g ∅, f g*b* (note that *τ* is a topology on *X*, and *I* is an ideal on *X*). Then *A* ¼ f g *b*,*c* is a *βI*-open set. To see this, consider *O* ¼ f g *b*,*c* . Then *O* is a open set. Observe that *O* � *A* ¼ f g *b*,*c* � f g *b*,*c* ¼ ∅ ∈*I*, and *A* � cl int cl ð Þ¼ ð Þ ð Þ *O* f g *b*,*c* � cl int cl ð ð Þ ð Þ f g *b*,*c* Þ ¼ f g� *b*,*c* cl int ð Þ¼ ð Þ f g *b*,*c* f g� *b*,*c* clð Þ¼ f g *b*,*c* f g� *b*,*c* f g¼ *b*,*c* ∅ ∈*I*. Thus, *A* ¼ f g *b*,*c* is *β*-open with respect to the ideal *I*.

Lemma 1.2 says that an open set is a *βI*-open set, and an element of the ideal is a *βI*-open set. One may see [24] to gain more insights relative to these ideas. While, Lemma 1.3 says that in a *τω*-space a *β*-open set is also a *βI*-open set.

**Lemma 1.2.** *Let X*ð Þ , *τ be a topological space and I be an ideal in X. Then the following statements are true*.

*i. Every open set is a βI-open set*.

*ii*. *Every element of I is a βI-open set*.

**Proof:** ð Þ*i* Let *A* be an open set. Note that *A* � *A* ¼ ∅ ∈*I*, and *A* � cl int cl ð Þ ð Þ ð Þ *A* ⊆ *A* � clð Þ¼ *A* ∅ ∈*I*. Thus, *A* is *βI*-open. ð Þ *ii* Let *A* ∈*I*. Consider *O* ¼ ∅. Note that *O* � *A* ¼ ∅ � *A* ¼ ∅ ∈*I*, and *A* � cl int cl ð Þ¼ ð Þ ð Þ *O A* � ∅ ¼ *A* ∈*I*. Thus, *<sup>A</sup>* is *<sup>β</sup>I*-open. □

**Lemma 1.3.** *Let X*ð Þ , *τ be a τω-space and I be an ideal in X. Then every β-open set is a βI-open set*.

**Proof:** Let *A* be a *β*-open set. By Lemma 1.1 there exists an open set *O* such that *O* ⊆ *A* ⊆cl int cl ð Þ ð Þ ð Þ *O* . Hence *O* � *A* ¼ ∅ ∈*I*, and *A* � cl int cl ð Þ¼ ð Þ ð Þ *O* ∅ ∈*I*. Thus, *<sup>A</sup>* is *<sup>β</sup>I*-open. □

Let ð Þ *X*, *τ* be a topology and *I* be an ideal in *X*. We say that *I* is countably additive if ∪ *Ai* f g : *i* ∈ ∈ *I* whenever *Ai* f g : *i*∈ is a (countable) family of elements of *I*.

Lemma 1.4 says that in a *τω*-space, if *I* is the minimal ideal, then the *βI*-open sets are precisely the *β*-open sets.

**Lemma 1.4.** *Let X*ð Þ , *τ be a τω-space and I be an ideal in X. If I is not countably additive, then the following statements are equivalent*.

i. *I* ¼ f g ∅ .

ii. *A is a β-open set precisely when A is a βI-open set*.

**Proof:** ðÞ)*i* ð Þ *ii* Suppose that *I* ¼ f g ∅ . Let *A* be a *β*-open set. By Lemma 1.3, *A* is a *βI*-open set. For the converse, let *A* be a *βI*-open set and *O* be an open set with *O* � *A* ∈*I* and *A* � cl int cl ð Þ ð Þ ð Þ *O* ∈*I*. Because *I* ¼ f g ∅ , we have *O* � *A* ¼ ∅ and *A* � cl int cl ð Þ¼ ð Þ ð Þ *O* ∅. Hence, *O* ⊆ *A* and *A* ⊆ cl int cl ð Þ ð Þ ð Þ *O* , that is *O* ⊆ *A* ⊆cl ðint cl ð ð ÞÞÞ *O* . Therefore, by Lemma 1.1 *A* is *β*-open.

ð Þ) *ii* ð Þ*i* Suppose that ð Þ *ii* holds, and that *I* 6¼ f g ∅ . Let *D* be a non-empty element of *I*. By Lemma 1.2, *D* is *βI*-open. Thus, by assumption *D* is *β*-open. Now, by Lemma 1.1, there exists *O*<sup>1</sup> ∈*τ* with *O*<sup>1</sup> ⊆ *D* ⊆cl int cl ð Þ ð Þ ð Þ *O*<sup>1</sup> . Since *D* is an element of *I* and *O*<sup>1</sup> ⊆ *D*, we have *O*<sup>1</sup> ∈*I*. Hence, *O*1∪ *D* ∈*I*. By Lemma 1.1, *O*1∪ *D* is a *βI*-open set. Hence, by assumption *O*1∪ *D* is a *β*-open set. And so, again there exists *O*<sup>2</sup> ∈ *τ* with *O*<sup>2</sup> ⊆ ð Þ *O*1∪ *D* ⊆cl int cl ð Þ ð Þ ð Þ *O*<sup>2</sup> . Since *O*1∪ *D* ∈*I* and *O*<sup>2</sup> ⊆ *O*1∪ *D*, we have *O*<sup>2</sup> ∈ *I*. Hence, *O*1∪ *O*2∪ *D* ∈*I*. Thus, by Lemma 1.1, *O*1∪ *O*2∪ *D* is a *βI*-open set. By assumption *O*1∪ *O*2∪ *D* is a *β*-open set. And so, again there exists *O*<sup>3</sup> ∈*τ* with *O*<sup>3</sup> ⊆ð Þ *O*1∪ *O*2∪ *D* ⊆cl int cl ð Þ ð Þ ð Þ *O*<sup>3</sup> . Since *O*1∪ *O*2∪ *D* ∈ *I* and *O*<sup>3</sup> ⊆ *O*1∪ *O*2∪ *D*, we have *O*<sup>3</sup> ∈*I*. Hence, *O*1∪ *O*2∪ *O*3∪ *D* ∈*I*. Continuing in this fashion we obtain a countably infinite subset f g *O*1, *O*2, *O*3, … of *I* with *O*1∪ *O*2∪ *O*3∪⋯∈*I*. This is a contradiction since *I* is not countably additive. Thus, *<sup>I</sup>* <sup>¼</sup> f g <sup>∅</sup> . □

Next, we define *βI*-compact set, *βI*-compact space, compatible *βI*-compact set, and compatible *βI*-compact space.

**Definition 1.2.** *Let X*ð Þ , *τ*,*I be an ideal topological space. A subset A of X is said to be βI-compact if for every cover O*f g *<sup>λ</sup>* : *λ*∈Λ *of A by βI-open sets,* Λ *has a finite subset* Λ0*, such that O*f g *<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> *still covers A. A space X is said to be a βI-compact space if it is βIcompact as a subset*.

**Definition 1.3.** *Let X*ð Þ , *τ*,*I be an ideal topological space. A subset A of X is said to be countably βI-compact if for every countable cover O*f g *<sup>n</sup>* : *n* ∈ *of A by βI-open sets, has a finite subset i <sup>j</sup>* : *<sup>j</sup>* <sup>¼</sup> 1, 2, … , *<sup>k</sup>* � � *with the property that Oi <sup>j</sup>* : *<sup>j</sup>* <sup>¼</sup> 1, 2, … , *<sup>k</sup>* n o *still covers A. A space X is said to be a countably βI-compact space if it is countably βIcompact as a subset*.

**Definition 1.4.** *Let X*ð Þ , *τ*,*I be an ideal topological space. A subset A of X is said to be compatible βI-compact, or simply cβI-compact, if for every cover O*f g *<sup>λ</sup>* : *λ*∈Λ *of A by β-open sets,* Λ *has a finite subset* Λ0*, such that A* � ∪ f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈ *I. An ideal topological space X*ð Þ , *τ*,*I is said to be cβI-compact space if it is cβI-compact as a subset*.

Theorem 1.1 says that in an ideal *τω*-space in which *I* is the minimal ideal, the notions *β*-compact, *βI*-compact and *cβI*-compact coincides.

**Theorem 1.1.** *Let X*ð Þ , *τ be a τω-space and I* ¼ f g ∅ *. Then the following statements are equivalent*.


**Proof:** ðÞ)*i* ð Þ *ii* Suppose that ð Þ*i* holds. Let f g *O<sup>λ</sup>* : *λ*∈Λ be a family of *β*-open sets that covers *X*. By assumption, Λ has a finite subset, say Λ0, with the property that f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> still covers *X*. By Lemma 1.3 ð Þ *iii* , f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> is also a family of *βI*-open sets. Hence, f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> is a finite covering of *X* by *βI*-open sets. Therefore, *X* is *β<sup>I</sup>* compact.

ð Þ) *ii* ð Þ *iii* Suppose that ð Þ *ii* holds. Let f g *O<sup>λ</sup>* : *λ*∈Λ be a family of *β*-open sets that covers *X*. Since *I* ¼ f g ∅ , by Lemma 1.4 f g *O<sup>λ</sup>* : *λ*∈Λ is also a family of *βI*-open sets that covers *X*. By assumption, Λ has a finite subset, say Λ0, with the property that f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> still covers *X*. Note that f g *U<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> is also a family of *β*-open sets, and *X* � ∪ *<sup>λ</sup>*∈Λ0*O<sup>λ</sup>* ¼ ∅ ∈ *I*. Therefore, *X* is *cβ<sup>I</sup>* compact.

ð Þ) *iii* ð Þ*i* Suppose that ð Þ *iii* holds. Let f g *O<sup>λ</sup>* : *λ*∈Λ be a family of *β*-open sets that covers *X*. By assumption, Λ has a finite subset, say Λ0, with the property that βI*-Compactness,* β*\*-Hyperconnectedness and* <sup>I</sup> βI*-Separatedness in Ideal Topological Spaces DOI: http://dx.doi.org/10.5772/intechopen.101524*

*X* � ∪ *<sup>λ</sup>* <sup>∈</sup>Λ0*O<sup>λ</sup>* ∈*I*. Since *I* ¼ f g ∅ , *X* � ∪ *<sup>λ</sup>* <sup>∈</sup>Λ0*O<sup>λ</sup>* ¼ ∅, that is *X* ⊆ ∪ *<sup>λ</sup>* <sup>∈</sup>Λ0*Oλ*. Hence, f g *<sup>O</sup><sup>λ</sup>* : *<sup>λ</sup>*∈Λ<sup>0</sup> is covering of *<sup>X</sup>*. Therefore, *<sup>X</sup>* is *<sup>β</sup>* compact. □

Theorem 1.2 presents a characterization of *βI*-compact spaces.

**Theorem 1.2.** *Let X*ð Þ , *τ*,*I be an ideal topological space. Then the following are equivalent*.


**Proof:** ðÞ)*i* ð Þ *ii* Suppose that ð Þ*i* holds. Let f g *F<sup>λ</sup>* : *λ*∈Λ be a family of *βI*-closed sets with the property <sup>∩</sup>f g *<sup>F</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> <sup>∅</sup>. Then <sup>∪</sup> *<sup>F</sup><sup>C</sup> <sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> ð Þ <sup>∩</sup>f g *<sup>F</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> *<sup>C</sup>* <sup>¼</sup> *X*. Hence, *F<sup>C</sup> <sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> is a family of *<sup>β</sup>I*-open sets which covers of *<sup>X</sup>*. By assumption, Λ has a finite subset, say Λ0, with the property ∪ *F<sup>C</sup> <sup>λ</sup>* : *λ*∈Λ<sup>0</sup> <sup>¼</sup> *<sup>X</sup>*, i.e. ∩f g *F<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ¼ ∅.

ð Þ) *ii* ð Þ*i* Suppose that ð Þ*ii* holds. Let f g *O<sup>λ</sup>* : *λ*∈Λ be a family of *βI*-open sets that covers *<sup>X</sup>*, i.e. <sup>∪</sup> f g *<sup>U</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> *<sup>X</sup>*. Then <sup>∩</sup> *<sup>O</sup><sup>C</sup> <sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> ð Þ <sup>∪</sup> f g *<sup>U</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> *<sup>C</sup>* <sup>¼</sup> <sup>∅</sup>. Note that *OC* is *βI*-closed since *O* is *βI*-open. By assumption, Λ has a finite subset, say Λ0, with the property that ∩ *O<sup>C</sup> <sup>λ</sup>* : *λ*∈Λ<sup>0</sup> <sup>¼</sup> <sup>∅</sup>. Thus, <sup>∪</sup> f g *<sup>O</sup><sup>λ</sup>* : *<sup>λ</sup>*∈Λ<sup>0</sup> <sup>¼</sup> <sup>∩</sup> *<sup>O</sup><sup>C</sup> <sup>λ</sup>* : *λ*∈Λ<sup>0</sup> *<sup>C</sup>* <sup>¼</sup> *X*, that is f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> is a family of *βI*-open sets that covers *X*.

Theorem 1.3 presents a characterization of *βI*-compact spaces.

**Theorem 1.3.** *Let X*ð Þ , *τ be a topological space and I be an ideal in X. Then the following are equivalent*.


□

□

**Proof:** ðÞ)*i* ð Þ *ii* Suppose that ð Þ*i* holds. Let f g *F<sup>λ</sup>* : *λ*∈Λ be a family of *β*-closed sets such that <sup>∩</sup>f g *<sup>F</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> <sup>∅</sup>. Note that <sup>∪</sup> *<sup>F</sup><sup>C</sup> <sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> ð Þ <sup>∩</sup>f g *<sup>F</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> *<sup>C</sup>* <sup>¼</sup> *<sup>X</sup>*. Hence, *F<sup>C</sup> <sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> is a family of *<sup>β</sup>*-open sets that covers *<sup>X</sup>*. By assumption, <sup>Λ</sup> has a finite subset, say <sup>Λ</sup>0, with the property *<sup>X</sup>* � <sup>∪</sup> *<sup>F</sup><sup>C</sup> <sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈*I*, i.e. ∩f g *F<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈*I*.

ð Þ) *ii* ð Þ*i* Suppose that ð Þ *ii* holds. Let f g *O<sup>λ</sup>* : *λ*∈Λ be a family of *β*-open sets that covers *<sup>X</sup>*, i.e. <sup>∪</sup> f g *<sup>O</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> *<sup>X</sup>*. Note that <sup>∩</sup> *<sup>O</sup><sup>C</sup> <sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> <sup>¼</sup> ð Þ <sup>∪</sup> f g *<sup>O</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> *<sup>C</sup>* <sup>¼</sup> <sup>∅</sup>. By assumption, Λ has a finite subset, say Λ0, with the property ∩ *O<sup>C</sup> <sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈ *I*, i.e. *X* � ∪ f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈*I*.

**Remark 1.1.** *[25] Let X*ð Þ , *τ*,*I and Y*ð Þ , *σ*, *J be ideal spaces, and f* : *X* ! *Y be a fuction. Then*:


Next, we define *βI*-open, *βI*-irresolute, and *βI*-continuous functions.

**Definition 1.5.** *Let X*ð Þ , *τ*,*I and Y*ð Þ , *σ*, *J be ideal topological spaces. A function f* : *X* ! *Y is said to be*

i. *β-open if f A*ð Þ *is β-open for every β-open set A,*

ii. *β-irresolute if f* �<sup>1</sup> ð Þ *B is β-open for every β-open set B, and*

iii. *β-continuous if f* �<sup>1</sup> ð Þ *B is β-open for every open set B*.

iv. *βI-open if f A*ð Þ *is βJ-open for every βI-open set A*,

v. *βI-irresolute if f* �<sup>1</sup> ð Þ *B is βI-open for every βJ-open set B, and*

vi. *βI-continuous if f* �<sup>1</sup> ð Þ *B is βI-open for every open set B*.

Theorem 1.4 says that given a *β*-irresolute function, if the domain is compatibly compact, then so is the image of *f*. On the other hand, Theorem 1.5 say that given an open surjection, if the co-domain is compatibly compact, then so is the domain.

**Theorem 1.4.** *Let X*ð Þ , *τ and Y*ð Þ , *σ be topological spaces, I be an ideal in X, and f* : *X* ! *Y be a β-irresolute function. If X is a cβI-compact space, then* ð Þ *f X*ð Þ, f g *f X*ð Þ∩*B* : *B* ∈*σ* , *f I*ð Þ *is a cβ f I*ð Þ*-compact space.*

**Proof:** Let f g *O<sup>λ</sup>* : *λ*∈Λ be a family of *β*-open sets that covers *f X*ð Þ. Beacuse *f* is a *β*-irresolute, *f* �1 ð Þ *<sup>O</sup><sup>λ</sup>* : *<sup>λ</sup>*∈<sup>Λ</sup> � � is a family of by *<sup>β</sup>*-open sets that covers *<sup>X</sup>*. Because *X* is *cβI*-compact, Λ has a finite subset, say Λ0, with the property *X* � ∪ *f* �1 ð Þ *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> � �<sup>∈</sup> *<sup>I</sup>*. Hence, by Remark 1.1 *f X*ð Þ� <sup>∪</sup> f g *<sup>O</sup><sup>λ</sup>* : *<sup>λ</sup>*∈Λ<sup>0</sup> <sup>¼</sup> *f X* � ∪ *f* �1 ð Þ *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> � � � � <sup>∈</sup> *f I*ð Þ. □

**Theorem 1.5.** *Let X*ð Þ , *τ and Y*ð Þ , *σ be topological spaces, J be an ideal in Y, and f* : *X* ! *Y be a β-open surjection (surjective function). If Y is cβJ-compact, then X is cβ <sup>f</sup>* �1 ð Þ*J compact*.

**Proof:** Let f g *O<sup>λ</sup>* : *λ*∈Λ be a family of *β*-open sets that covers *X*. Beacuse *f* is a *β*-open surjection, f g *f O*ð Þ*<sup>λ</sup>* : *λ*∈Λ is a family *β*-open sets that covers *Y*. Because *Y* is *cβJ*-compact, Λ has a finite subset, say Λ0, with the property *Y* � ∪ f g *f O*ð Þ*<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈ *J*. Hence, *X* � ∪ f g *O<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ¼ *f* �1 ð Þ *Y* � ∪ f g *f O*ð Þ*<sup>λ</sup>* : *λ*∈Λ<sup>0</sup> ∈ *f* �1 ð Þ*<sup>J</sup>* . □

The next theorem says that in a *τω*-space and when *I* ¼ f∅}, the family of all countably *βI*-compact space contains all *cβI*-compact space.

**Theorem 1.6.** *Let X*ð Þ , *τ*,*I be an ideal τω-space and I* ¼ ∅*. If X is cβI-compact, then it is also countably βI-compact*.

**Proof:** Let f g *On* : *n* ∈ be a countable family *βI*-open sets that covers *X*. Because *<sup>X</sup>* is *<sup>c</sup>βI*-compact, has a finite subset *<sup>i</sup> <sup>j</sup>* : *<sup>j</sup>* <sup>¼</sup> 1, 2, … , *<sup>k</sup>* � � with the property that *X* � ∪ *Oi <sup>j</sup>* : *j* ¼ 1, 2, … , *k* n o∈*I*. Because *<sup>I</sup>* <sup>¼</sup> f g <sup>∅</sup> , *<sup>X</sup>* <sup>¼</sup> <sup>∪</sup> *Oi <sup>j</sup>* : *<sup>j</sup>* <sup>¼</sup> 1, 2, … , *<sup>k</sup>* n o<sup>∈</sup> *<sup>I</sup>*. By Lemma 1.4 *Oi <sup>j</sup>* : *j* ¼ 1, 2, … , *k* n o is also a family of *<sup>β</sup>*-open sets. Hence, *Oi <sup>j</sup>* : *j* ¼ 1, 2, … , *k* n o is a finite subcover of *<sup>X</sup>* by *<sup>β</sup>*-open sets. □

#### **3.** *β* **<sup>∗</sup>** *<sup>I</sup>* **-hyperconnectedness in ideal spaces**

The concept ∗ -hyperconnectedness was introduced by Ekici et al. [26], and the concept *I* ∗ -hyperconnectedness was introduced by Abd El-Monsef et al. [27].

βI*-Compactness,* β*\*-Hyperconnectedness and* <sup>I</sup> βI*-Separatedness in Ideal Topological Spaces DOI: http://dx.doi.org/10.5772/intechopen.101524*

These insights motivated us to create the concept called *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnectedness. One may see [28] to gain more insights on these ideas.

**Definition 1.6.** *Let X*ð Þ , *τ be a topological space and I be an ideal on X. A function* ð Þ <sup>∗</sup> ð Þ *<sup>I</sup>*, *<sup>τ</sup>* : *P X*ð Þ! *P X*ð Þ *given by A*<sup>∗</sup> ð Þ¼ *<sup>I</sup>*, *<sup>τ</sup>* f g *<sup>x</sup>*∈*<sup>X</sup>* : *<sup>A</sup>*<sup>∪</sup> *<sup>U</sup>* <sup>∉</sup> *I for everyU* <sup>∈</sup>*τ*ð Þ *<sup>x</sup> where τ*ð Þ¼ *x* f g *U* ∈ *τ* : *x*∈ *U is called a local of A with respect to τ and I*.

**Example 1.1.** *Let X* ¼ f g *a*, *b*,*c , τ* ¼ f g ∅, f g*a* , f g*b* , f g*c* , f g *a*, *b* , f g *a*,*c* , f g *b*,*c* ,*X , and I* ¼ f g ∅, f g*a* , f g*b* , f g *a*, *b (note that τ is a topology on X and I is an ideal on X). Then,* <sup>∅</sup><sup>∗</sup> <sup>¼</sup> <sup>∅</sup>*, a*f g <sup>∗</sup> <sup>¼</sup> f g*<sup>c</sup> , b*f g <sup>∗</sup> <sup>¼</sup> f g*<sup>c</sup> , c*f g <sup>∗</sup> <sup>¼</sup> *X, a*f g , *<sup>b</sup>* <sup>∗</sup> <sup>¼</sup> f g*<sup>c</sup> , a*f g ,*<sup>c</sup>* <sup>∗</sup> <sup>¼</sup> *X, b*f g ,*<sup>c</sup>* <sup>∗</sup> <sup>¼</sup> *X and X*<sup>∗</sup> <sup>¼</sup> *<sup>X</sup>*.

**Definition 1.7.** *Let X*ð Þ , *τ be a topological space and I be an ideal on X. The Kuratowski closure operator Cl*ðÞ <sup>∗</sup> ð Þ *<sup>I</sup>*, *<sup>τ</sup>* : *P X*ð Þ! *P X*ð Þ *for the topology <sup>τ</sup>* <sup>∗</sup> ð Þ *<sup>I</sup>*, *<sup>τ</sup> is given by Cl A*ð Þ <sup>∗</sup> ð Þ¼ *<sup>I</sup>*, *<sup>τ</sup> <sup>A</sup>*<sup>∪</sup> *<sup>A</sup>*<sup>∗</sup> .

**Example 1.2.** *Consider the ideal space of Example 3. Then we have, Cl*ð Þ <sup>∅</sup> <sup>∗</sup> <sup>¼</sup> ∅∪ ∅<sup>∗</sup> <sup>¼</sup> ∅∪ ∅ <sup>¼</sup> <sup>∅</sup>*, Cl a* ð Þ f g <sup>∗</sup> <sup>¼</sup> f g*<sup>a</sup>* <sup>∪</sup> f g*<sup>a</sup>* <sup>∗</sup> <sup>¼</sup> f g*<sup>a</sup>* <sup>∪</sup> f g*<sup>c</sup>* <sup>¼</sup> f g *<sup>a</sup>*,*<sup>c</sup> , Cl b* ð Þ f g <sup>∗</sup> <sup>¼</sup> f g*<sup>b</sup>* <sup>∪</sup> f g*<sup>b</sup>* <sup>∗</sup> <sup>¼</sup> f g*<sup>b</sup>* <sup>∪</sup> f g*<sup>c</sup>* <sup>¼</sup> f g *<sup>b</sup>*,*<sup>c</sup> , Cl c* ð Þ f g <sup>∗</sup> <sup>¼</sup> f g*<sup>c</sup>* <sup>∪</sup> f g*<sup>c</sup>* <sup>∗</sup> <sup>¼</sup> f g*<sup>c</sup>* <sup>∪</sup>*<sup>X</sup>* <sup>¼</sup> *X, Cl a* ð Þ f g , *<sup>b</sup>* <sup>∗</sup> <sup>¼</sup> f g *<sup>a</sup>*, *<sup>b</sup>* <sup>∪</sup> f g *<sup>a</sup>*, *<sup>b</sup>* <sup>∗</sup> <sup>¼</sup> f g *<sup>a</sup>*, *<sup>b</sup>* <sup>∪</sup> f g*<sup>c</sup>* <sup>¼</sup> *X, Cl a* ð Þ f g ,*<sup>c</sup>* <sup>∗</sup> <sup>¼</sup> f g *<sup>a</sup>*,*<sup>c</sup>* <sup>∪</sup> f g *<sup>a</sup>*,*<sup>c</sup>* <sup>∗</sup> <sup>¼</sup> f g *<sup>a</sup>*,*<sup>c</sup>* <sup>∪</sup>*<sup>X</sup>* <sup>¼</sup> *X, Cl b* ð Þ f g ,*<sup>c</sup>* <sup>∗</sup> <sup>¼</sup> f g *<sup>b</sup>*,*<sup>c</sup>* <sup>∪</sup> f g *<sup>b</sup>*,*<sup>c</sup>* <sup>∗</sup> <sup>¼</sup> f g *<sup>b</sup>*,*<sup>c</sup>* <sup>∪</sup>*<sup>X</sup>* <sup>¼</sup> *X, and Cl X*ð Þ <sup>∗</sup> <sup>¼</sup> *<sup>X</sup>*<sup>∪</sup> *<sup>X</sup>*<sup>∗</sup> <sup>¼</sup> *<sup>X</sup>*∪*<sup>X</sup>* <sup>¼</sup> *<sup>X</sup>*.

**Definition 1.8.** *Let X*ð Þ , *τ be a topological space and I be an ideal on X. The Kuratowski interior operator Int*ðÞ <sup>∗</sup> ð Þ *<sup>I</sup>*, *<sup>τ</sup>* : *P X*ð Þ! *P X*ð Þ *for the topology <sup>τ</sup>* <sup>∗</sup> ð Þ *<sup>I</sup>*, *<sup>τ</sup> is given by Int A*ð Þ <sup>∗</sup> ð Þ¼ *<sup>I</sup>*, *<sup>τ</sup> <sup>X</sup>* � *Cl X*ð Þ � *<sup>A</sup>* <sup>∗</sup> .

Definition 1.9 is taken from [26], while Definition 1.10 is taken from [29]. **Definition 1.9.** *[26] An ideal space X*ð Þ , *<sup>τ</sup>*,*<sup>I</sup> is called* <sup>∗</sup> *-hyperconnected if cl* <sup>∗</sup> ð Þ¼ *<sup>A</sup> X for all non-empty open set A* ⊆*X*.

**Definition 1.10.** *[29] An ideal space X*ð Þ , *<sup>τ</sup>*,*<sup>I</sup> is called I* <sup>∗</sup> *-hyperconnected if <sup>X</sup>* � *cl* <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup>*I for all non-empty open set A* <sup>⊆</sup> *<sup>X</sup>*.

A notion similar to Definition 1.9 and Definition 1.10 is presented next. **Definition 1.11.** *An ideal topological space X*ð Þ , *<sup>τ</sup>*,*<sup>I</sup> is said to be <sup>β</sup>* <sup>∗</sup> *<sup>I</sup> -hyperconnected space if X* � cl <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup>*I for every non-empty <sup>β</sup>I-open subset A of X*.

The next theorem says that the family of all *β<sup>I</sup>* ∗ -hyperconnected space contains all *I* ∗ -hyperconnected space.

**Theorem 1.7.** *Let X*ð Þ , *τ be a topological space, and I be an ideal in X. If X is I* ∗  *hyperconnected, then it is β* <sup>∗</sup> *<sup>I</sup> -hyperconnected also*.

**Proof:** Let *X* be *I* ∗ -hyperconnected, and *A* be a non-empty open set. Because *X* is *<sup>I</sup>* <sup>∗</sup> -hyperconnected, we have *<sup>X</sup>* � *cl A*ð Þ <sup>∗</sup> <sup>∈</sup>*<sup>I</sup>* for all non-empty open set *<sup>A</sup>* <sup>⊆</sup>*X*. And, because an open set is also a *<sup>β</sup>I*-open set, we have *<sup>X</sup>* � *cl A*ð Þ <sup>∗</sup> <sup>∈</sup>*<sup>I</sup>* for all nonempty *βI*-open set *A* ⊆*X*. Hence, *X* is *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnected. □

The next lemma is clear.

**Lemma 1.5.** *Let X*ð Þ , *τ be a topological space. Then the intersection of any family of ideals on X is an ideal on X*.

Theorem 1.8 is taken from [29]. It says that when *I* is the minimal ideal, then the notions ∗ -hyperconnected and *I* <sup>∗</sup> -hyperconnected are equivalent.

**Theorem 1.8.** *[29] Let X*ð Þ , *τ be a topological space, and I* ¼ f g ∅ *. Then, X is* ∗  *hyperconnected if and only if it is I* <sup>∗</sup> *-hyperconnected.*

The next remark is clear.

**Remark 1.2.** *If X*ð Þ , *τ is a clopen topological space (a space in which every open set is also closed), then A is open if and only if A is β-open*.

To see this, let *A* be an open set. Since *τ* is clopen, *A* is closed also. Hence, cl int cl ð Þ¼ ð Þ ð Þ *A A*. Thus, *A* is a *β*-open set. Conversely, if *A* is a *β*-open set, then *A* ⊆cl int cl ð Þ ð Þ ð Þ *A* . This implies that *A* must be open.

Theorem 1.9 says that in a clopen *τω*-space, with respect to the minimal ideal *I*, the notions *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnected and *I* <sup>∗</sup> -hyperconnected are equivalent.

**Theorem 1.9.** *Let X*ð Þ , *<sup>τ</sup> be a clopen τω-space, and I* <sup>¼</sup> f g <sup>∅</sup> *. Then, X is I* <sup>∗</sup>  *hyperconnected if and only if it is β* <sup>∗</sup> *<sup>I</sup> -hyperconnected*.

**Proof:** Suppose that *X* is *I* <sup>∗</sup> -hyperconnected. Let *A* is a non-empty element of *τ*. Then *<sup>X</sup>* � *cl* <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup> *<sup>I</sup>*. By Remark 1.2 and Lemma 1.5, every open set is absolutely *<sup>β</sup>I*open. Thus, *<sup>X</sup>* � *cl* <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup> *<sup>I</sup>* for all *<sup>β</sup>I*-open set *<sup>A</sup>* ð Þ 6¼ <sup>∅</sup> . Therefore, *<sup>X</sup>* is *<sup>β</sup>* <sup>∗</sup> *I* hyperconnected also. Conversely, suppose that *X* is *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnected. Let *A* be a non-empty *<sup>β</sup>I*-open set. Then *<sup>X</sup>* � *cl* <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup> *<sup>I</sup>*. By Remark 1.2 and Lemma 1.5, every *<sup>β</sup>I*-open set is absolutely open. Thus, *<sup>X</sup>* � *cl A*ð Þ <sup>∗</sup> <sup>∈</sup>*<sup>I</sup>* for all open set *<sup>A</sup>* ð Þ 6¼ <sup>∅</sup> . Therefore, *<sup>X</sup>* is *<sup>I</sup>* <sup>∗</sup> -hyperconnected also. □

Corollary 1.1 says that in a clopen *τω*-space, relative to the minimal ideal *I*, the notions *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnected, *I* <sup>∗</sup> -hyperconnected, and ∗ -hyperconnected are equivalent.

**Corollary 1.1.** *Let X*ð Þ , *τ be a clopen τω-space and I* ¼ f g ∅ *. Then the following statements are equivalent.*

i. *X is I* <sup>∗</sup> *-hyperconnected.*

ii. *X is β* <sup>∗</sup> *<sup>I</sup> -hyperconnected.*

iii. *X is β* <sup>∗</sup> *<sup>I</sup> -hyperconnected.*

Theorem 1.3 may be an important property.

**Remark 1.3.** *If an ideal τω space X*ð Þ , *τ*, f g ∅ *is a β<sup>I</sup>* ∗ *-hyperconnected space, then <sup>X</sup>* � cl <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup>*I for every non-empty <sup>β</sup>-open subset A of X*.

To see this, let *A* is a non-empty *β*-open set. By Lemma 1.4 *A* is *βI*-open. Since *X* is *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnected, *<sup>X</sup>* � *cl* <sup>∗</sup> ð Þ *<sup>A</sup>* <sup>∈</sup>*I*.

Theorem 1.10 is a characterization of *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnected space.

**Theorem 1.10.** *Let X*ð Þ , *τ be an topological space and I be an ideal in X. Then the following statements are equivalent*.

i. *X is a β* <sup>∗</sup> *<sup>I</sup> -hyperconnected space.*

ii. Intð Þ *<sup>A</sup>* <sup>∗</sup> <sup>∈</sup>*I for all proper <sup>β</sup>I-closed subset A of X*.

**Proof:** ðÞ)*i* ð Þ *ii* Suppose that ð Þ*i* holds. Let *B* be *βI*-closed. Then *X* � *B* is *βI*open. Since *<sup>B</sup>* 6¼ *<sup>X</sup>*, *<sup>X</sup>* � *<sup>B</sup>* 6¼ <sup>∅</sup>. Hence, by assumption we have Intð Þ *<sup>B</sup>* <sup>∗</sup> <sup>¼</sup> *<sup>X</sup>* � Clð Þ *<sup>X</sup>* � *<sup>B</sup>* <sup>∗</sup> <sup>∈</sup>*I*.

ð Þ) *ii* ð Þ*i* Suppose that ð Þ *ii* holds. Let *A* ð Þ 6¼ *X* be a non-empty *βI*-open set. Then *<sup>X</sup>* � *<sup>A</sup>* is a non-empty *<sup>β</sup>I*-open set. Hence, by assumption we have *<sup>X</sup>* � clð Þ *<sup>A</sup>* <sup>∗</sup> <sup>¼</sup> *<sup>X</sup>* � clð Þ *<sup>X</sup>* � ð Þ *<sup>X</sup>* � *<sup>A</sup>* <sup>∗</sup> <sup>¼</sup> intð Þ *<sup>X</sup>* � *<sup>A</sup>* <sup>∗</sup> <sup>∈</sup>*I*. Thus, *<sup>X</sup>* is *<sup>β</sup>* <sup>∗</sup> *<sup>I</sup>* -hyperconnected. □

### **4.** *βI***-separatedness in ideal spaces**

In this section, we present the concepts *βI*-separated sets and *βI*-connected sets. We also present some of their important properties.

Let ð Þ *X*, *τ*,*I* be an ideal topological space and *A* be a subset of *X*. The *β*-closure of *A*, denoted by cl*β*ð Þ *A* , is the smallest *β*-closed set that contains *A*. The *βI*-closure of *A*, denoted by cl*<sup>β</sup><sup>I</sup>* ð Þ *A* , is the smallest *βI*-closed set that contains *A*.

Next, we define *βI*-separated set, *βI*-connected set, and *βI*-connected space. **Definition 1.12.** *Let X*ð Þ , *τ*,*I be an ideal topological space. A pair of subsets, say A and B, of X is said to be βI-separated if cl<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ ∅ ¼ *A*∩*clβ*ð Þ *B* .

βI*-Compactness,* β*\*-Hyperconnectedness and* <sup>I</sup> βI*-Separatedness in Ideal Topological Spaces DOI: http://dx.doi.org/10.5772/intechopen.101524*

**Definition 1.13.** *Let X*ð Þ , *τ*,*I be an ideal topological space and A be a subset of X. Then A is said to be βI-connected if it cannot be expressed as a union of two βI-separated sets. A topological space X is said to be βI-connected if it is βI-connected as a subset*.

Recall, a topological space ð Þ *X*, *τ* is said to be a *τζ*-space if for every pair of subsets *A* and *B* of *X*, it is always true that clð Þ¼ *A*∩*B* clð Þ *A* ∩clð Þ *B* and intð Þ¼ *A*∩*B* intð Þ *A* ∩intð Þ *B* . For example, a discrete space is a *τζ*-space, while an indiscete space is not. Also, if *X* ¼ f g *a*, *b*,*c* , then *τ* ¼ f g ∅, f g*a* ,*X* is not a *τζ*-space. Let ð Þ *X*, *τ* be a *τζ*space and *I* be an ideal in *X*. Then we call ð Þ *X*, *τ*,*I* an ideal *τζ*-space.

Lemma 1.6 present sufficient conditions for two sets to be *βI*-separated.

**Lemma 1.6.** *Let X*ð Þ , *τ be a topological space and I be an ideal in X. If A* ð Þ 6¼ ∅ *is βopen and B* ð Þ 6¼ ∅ *is βI-open with A*∩*B* ¼ ∅*, then they are βI-separated*.

**Proof:** Suppose that *A* and *B* is not *βI*-separated, that is cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* 6¼ ∅ or *<sup>A</sup>*∩cl*β*ð Þ *<sup>B</sup>* 6¼ <sup>∅</sup>. Because *<sup>A</sup>*∩*<sup>B</sup>* <sup>¼</sup> <sup>∅</sup>, we have *<sup>A</sup>* <sup>⊆</sup> *BC* and *<sup>B</sup>* <sup>⊆</sup> *AC*. If *<sup>A</sup>* is *<sup>β</sup>*-open, then *AC* is *β*-closed. Similarly, if *B* is *βI*-open, then *BC* is *βI*-closed. Thus, *BC*∩*B* ⊇ cl*<sup>β</sup><sup>I</sup>*

ð Þ *<sup>A</sup>* <sup>∩</sup>*<sup>B</sup>* 6¼ <sup>∅</sup>, or *<sup>A</sup>*∩*AC* <sup>⊇</sup> *<sup>A</sup>*∩cl*β*ð Þ *<sup>B</sup>* 6¼ <sup>∅</sup>. A contradiction. □ Lemma 1.7 says that in a *τω*-space every *βI*-connected space is connected. Recall, a space is connected if it cannot be written as a union of two non-empty open sets.

**Lemma 1.7.** *Let X*ð Þ , *τ be a topology and I be an ideal in X. If X is βI-connected, then it is connected*.

**Proof:** Suppose that to the contrary *X* is not connected. Let *A* and *B* be non-empty disjoint elements of *τ* with *X* ¼ *A*∪ *B*. Note that *A* and *B* are *β*-open and *βI*-open also. Because *<sup>A</sup>* <sup>¼</sup> *BC* and *<sup>B</sup>* <sup>¼</sup> *AC*, *<sup>A</sup>* and *<sup>B</sup>* are also *<sup>β</sup>*-closed and *<sup>β</sup>I*-closed. And so, *A* ¼ cl*<sup>β</sup><sup>I</sup>* ð Þ *A* and *B* ¼ cl*β*ð Þ *B* . Thus, cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ *A*∩*B* ¼ ∅ and *A*∩cl*β*ð Þ¼ *B A*∩*B* ¼ ∅.

This implies that *<sup>X</sup>* is *<sup>β</sup>I*-separated, that is *<sup>X</sup>* is not *<sup>β</sup>I*-connected. □ **Remark 1.4.** *Let X*ð Þ , *τ be a topology and I be an ideal in X. If Y* ⊆*X, then IY* ¼ f g *Y*∩*A* : *A* ∈*I is an ideal in the relative topology Y*ð Þ , *τ<sup>Y</sup>* .

To see this, for the first property, let *B* ∈*IY* and *A* ⊆*B*. Then *A* ⊆ *B*⊆*Y*. Now, if *A* ∈*IY*, then there exist *C*∈*I* such that *Y*∩*C* ¼ *A*. Note that *A* ⊆*B* ⊆*C*. Hence, *A*, *B*∈ *I*. Thus, *A* ¼ *Y*∩*A* ∈*IY*. Next, for the second, let *D*, *E* ∈*IY*. Then *D* ⊆ *Y* and *E*⊆ *Y*. if *D* ∈*IY*, then there exist *F* ∈ *I* such that *Y*∩*F* ¼ *D*. Similarly, if *E*∈ *IY*, then there exist *G* ∈ *I* such that *Y*∩*G* ¼ *E*. Since *I* is an ideal, *F*∪ *G* ∈*I*. Now, because *D*∪ *E*⊆ *F*∪ *G*, *D*∪ *E* ∈*I*. Thus, *D*∪ *E* ¼ ð Þ *D*∪ *E* ∩*Y* ∈*IY*.

The next statement, Theorem 1.11, presents a way to construct *βI*-open sets in a subspace.

**Theorem 1.11.** *Let X*ð Þ , *τ*,*I be an ideal τζ-space and Y be a clopen (a set that is open and closed at the same time) set. If A is a βI-open subset of X* ð Þ *τ*,*I , then A*∩*Y is a βIY open set in Y* ð Þ *τY*,*IY* .

**Proof:** Let *A* be a *βI*-open set in *X* ð Þ *τ*,*I* . Then there exists an open set *U*<sup>0</sup> such that *U*<sup>0</sup> � *A* ∈*I* and *A* � cl int cl *U*<sup>0</sup> ð Þ ð Þ ð Þ ∈*I*. Let *U* ¼ *U*<sup>0</sup> ∩*Y*. Then

$$\begin{aligned} U - (A \cap Y) &= U \cap (A \cap Y)^C \\ &= (U' \cap Y) \cap (A^C \cup Y^C) \\ &= (U' \cap Y \cap A^C) \cup \left(U' \cap Y \cap Y^C\right) \\ &= U' \cap Y \cap A^C \\ &= (U' - A) \cap Y \in I\_Y. \end{aligned} \tag{1}$$

Moreover, since *X* is a *τζ*-space and *Y* is clopen

$$\begin{split} (A \cap Y) - \operatorname{cl}(\operatorname{int}(\operatorname{cl}(U))) &= (A \cap Y) - \operatorname{cl}(\operatorname{int}(\operatorname{cl}(U' \cap Y))) \\ &= (A \cap Y) - \operatorname{cl}(\operatorname{int}(\operatorname{cl}(U'))) \cap Y \\ &= [A - \operatorname{cl}(\operatorname{int}(\operatorname{cl}(U')))] \cap Y \in I\_Y. \end{split} \tag{2}$$

This shows that *<sup>A</sup>*∩*<sup>Y</sup>* is *<sup>β</sup>IY* -open in *<sup>Y</sup>*ð Þ *<sup>τ</sup>Y*,*IY* . □ **Corollary 1.2.** *Let X*ð Þ , *τ*,*I be an ideal τζ-space and Y be a clopen set. If A is a βIclosed subset of X* ð Þ *τ*,*I , then A*∩*Y is a βIY -closed set in Y* ð Þ *τY*,*IY* .

**Proof:** If *A* is *βI*-closed, then *A<sup>C</sup>* is *βI*-open. By Theorem 1.11, *AC*∩*Y* is *βIY* -open. Hence, *<sup>A</sup>*∩*<sup>Y</sup>* <sup>¼</sup> *AC*∩*<sup>Y</sup> <sup>C</sup>* is *<sup>β</sup>IY* -closed in *<sup>Y</sup>*. □

The next remark is clear. We shall be using it in showing some of the succeeding theorems.

**Remark 1.5.** *Let X*ð Þ , *τ*,*I be an ideal topological space and Y* ⊆*X. Then IY* ¼ f g *A*∩*Y* : *A* ∈*I is a subset of I*.

**Proof:** If *A* is a *βIY* -open set in *Y*, then there exists an open set *O* ∈*τ<sup>Y</sup>* with *O* � *A* ∈*IY* and *A* � cl int cl ð Þ ð Þ ð Þ *O* ∈*IY*. Because *τ<sup>Y</sup>* ⊆*τ* and by Remark 1.5, there exists an open set *O* ∈*τ* with *O* � *A* ∈*I* and *A* � cl int cl ð Þ ð Þ ð Þ *O* ∈*I*. Thus, *A* is *βI*-open in *X*ð Þ *τ*,*I* .

The converse follows from Theorem 1.11. □ The next statement, Lemma 1.8, characterizes *βI*-open sets in subspaces.

**Lemma 1.8.** *Let X*ð Þ , *τ*,*I be an ideal τζ-space, Y* ð Þ ⊆*X be clopen, and τ<sup>Y</sup>* ⊆*τ. If A* ⊆*Y, then A is βIY -open in Y*ð Þ *τY*,*IY if and only if it is βI-open in X*ð Þ *τ*,*I* .

**Proof:** If *A* is a *βIY* -open set in *Y*, then there exists an open set *O* ∈*τ<sup>Y</sup>* with *O* � *A* ∈*IY* and *A* � cl int cl ð Þ ð Þ ð Þ *O* ∈*IY*. Because *τ<sup>Y</sup>* ⊆*τ* and by Remark 1.5, there exists an open set *O* ∈*τ* with *O* � *A* ∈*I* and *A* � cl int cl ð Þ ð Þ ð Þ *O* ∈*I*. Thus, *A* is *βI*-open in *X*ð Þ *τ*,*I* .

The converse follows from Theorem 1.11. □ The next statement, Theorem 1.12, provides a way of determining the closure of a set in the subspace.

**Theorem 1.12.** *Let X*ð Þ , *τ*,*I be an ideal τζ-space, Y be clopen, and τ<sup>Y</sup>* ⊆*τ. If A* ⊆ *X, then* cl*<sup>β</sup>IY* ð Þ¼ *A*∩*Y* cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*Y*.

**Proof:** Since cl*<sup>β</sup><sup>I</sup>* ð Þ *A* is a *βI*-closed set in *X*, by Lemma 1.8 cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*Y* is a *βIY* -closed set in *Y*. Hence, cl*<sup>β</sup>IY* ð Þ *A*∩*Y* ⊇ cl*<sup>β</sup>IY* cl*<sup>β</sup><sup>I</sup>* ð Þ *<sup>A</sup>* <sup>∩</sup>*<sup>Y</sup>* <sup>¼</sup> cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*Y*. But, cl*<sup>β</sup>IY* ð Þ¼ *A*∩*Y* cl*<sup>β</sup><sup>I</sup>* ð Þ *A*∩*Y* ⊆ cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩cl*<sup>β</sup><sup>I</sup>* ð Þ¼ *Y* cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*Y*. Therefore, cl*<sup>β</sup>IY* ð Þ¼ *A*∩*Y* cl*<sup>β</sup><sup>I</sup>* ð Þ *<sup>A</sup>* <sup>∩</sup>*Y*. □

**Definition 1.14.** *Let X*ð Þ , *τ*,*I be an ideal topological space, and Y*ð Þ , *τY*,*IY be a subspace. A pair of subsets, say A and B, of X is said to be βIY -separated in Y if clβIY* ð Þ *A* ∩*B* ¼ ∅ ¼ *A*∩*clβ<sup>Y</sup>* ð Þ *B , where clβ<sup>Y</sup>* ð Þ¼ *B clβ*ð Þ *B* ∩*Y*.

**Definition 1.15.** *Let X*ð Þ , *τ*,*I be an ideal topological space, and Y*ð Þ , *τY*,*IY be a subspace. A subset A of Y is said to be βIY -connected if it cannot be expressed as a union of two βIY -separated sets. The subspace Y is said to be βIY -connected if it is βIY -connected as a subset*.

The next statement, Theorem 1.13, says that if two sets are separated in the mother space, then they are also separated in the subspace.

**Theorem 1.13.** *Let X*ð Þ , *τ be a τζ-space, I be an ideal, Y* ð Þ ⊆*X be clopen, and τ<sup>Y</sup>* ⊆*τ. If A and B are βI-separated in X, then they are βIY -separated in Y*.

**Proof:** If *A* and *B* are *βI*-separated in *X*, then by Theorem 1.12 ∅ ¼ cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ cl*<sup>β</sup><sup>I</sup>* ð Þ *<sup>A</sup>* <sup>∩</sup>*<sup>B</sup>* <sup>∩</sup>*<sup>Y</sup>* <sup>¼</sup> cl*<sup>β</sup><sup>I</sup>* ð Þ *<sup>A</sup>* <sup>∩</sup>*<sup>Y</sup>* <sup>∩</sup>*<sup>B</sup>* <sup>¼</sup> cl*<sup>β</sup>IY* ð Þ *<sup>A</sup>* <sup>∩</sup>*<sup>B</sup>* and <sup>∅</sup> <sup>¼</sup> *<sup>A</sup>*∩cl*β*ð Þ¼ *<sup>B</sup>*

*<sup>A</sup>*∩cl*β*ð Þ *<sup>B</sup>* <sup>∩</sup>*<sup>Y</sup>* <sup>¼</sup> *<sup>A</sup>*<sup>∩</sup> cl*β*ð Þ *<sup>B</sup>* <sup>∩</sup>*<sup>Y</sup>* <sup>¼</sup> *<sup>A</sup>*∩cl*<sup>β</sup><sup>Y</sup>* ð Þ *<sup>B</sup>* . Thus, *<sup>A</sup>* and *<sup>B</sup>* are *<sup>β</sup>IY* -separated. □ The next statement, Remark 1.6, says that if two non-empty sets, which

expresses *X* as a disjoint union, is *βI*-separated, then one must be *β*-open and the other must be *βI*-open.

**Remark 1.6.** *Let X*ð Þ , *τ be a topological space and I be an ideal. If X is βI-separated (say, X* ¼ *A*∪ *B with A* 6¼ ∅*, B* 6¼ ∅*, and cl<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ ∅ ¼ *A*∩*clβ*ð Þ *B ), then A is β-open while B is βI-open*.

To see this, if *A* and *B* is *βI*-separated, then cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ ∅ and *A*∩cl*β*ð Þ¼ *B* ∅. Hence, *<sup>A</sup><sup>C</sup>* <sup>¼</sup> cl*β*ð Þ *<sup>B</sup>* and *BC* <sup>¼</sup> cl*<sup>β</sup><sup>I</sup>* ð Þ *<sup>A</sup>* . Thus, *<sup>A</sup><sup>C</sup>* is *<sup>β</sup>*-closed and *<sup>B</sup><sup>C</sup>* is *<sup>β</sup>I*-closed. Accordingly, *A* is *β*-open and *B* is *βI*-open.

βI*-Compactness,* β*\*-Hyperconnectedness and* <sup>I</sup> βI*-Separatedness in Ideal Topological Spaces DOI: http://dx.doi.org/10.5772/intechopen.101524*

The next statement, Theorem 1.14, characterizes *βI*-connected spaces.

**Theorem 1.14.** *Let X*ð Þ , *τ be a topological space and I be an ideal X. Then, X is βIconnected if and only if it cannot be expressed as a union of two a non-empty disjoint sets in which one is a β-open set and the other is a βI-open set*.

**Proof:** Suppose that *X* is *βI*-connected, and we can express *X* as a union of two non-empty disjoint *β*-open set and *βI*-open set, say *A*∪ *B* ¼ *X* (with *A*, a *β*-open set, and *<sup>B</sup>*, a *<sup>β</sup>I*-open set) and *<sup>A</sup>*∩*<sup>B</sup>* <sup>¼</sup> <sup>∅</sup>. If *<sup>A</sup>*<sup>∪</sup> *<sup>B</sup>* <sup>¼</sup> *<sup>X</sup>* and *<sup>A</sup>*∩*<sup>B</sup>* <sup>¼</sup> <sup>∅</sup>, then *<sup>A</sup><sup>C</sup>* <sup>¼</sup> *<sup>B</sup>* and *BC* <sup>¼</sup> *<sup>A</sup>*. Since *<sup>A</sup>* is *<sup>β</sup>*-open, *<sup>B</sup>* is *<sup>β</sup>*-closed. Also, since *<sup>B</sup>* is *<sup>β</sup>I*-open, *<sup>A</sup>* is *<sup>β</sup>I*-closed. Hence, cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ *A*∩*B* ¼ ∅ and *A*∩cl*β*ð Þ¼ *B A*∩*B* ¼ ∅. Thus, the pair *A* and *B* is *βI*-separated. This is a contradiction.

The converse follows from Remark 1.6. □ The next statement, Theorem 1.15, says that two separated set cannot contain portions of a connected set.

**Theorem 1.15.** *Let X*ð Þ , *τ be a topological space, I be an ideal X, and A be a βIconnected set. If A* ⊆ *H*∪ *G where H and G is a pair of βI-separated sets, then either A* ⊆ *H or A* ⊆ *G*.

**Proof:** Suppose that to the contrary, *A* ¼ ð Þ *A*∩*H* ∪ ð Þ *A*∩*G* with *A*∩*H* 6¼ ∅ and *A*∩*G* 6¼ ∅. Since *H* and *G* is a pair of *βI*-separated sets,

cl*<sup>β</sup><sup>I</sup>* ð Þ *A*∩*H* ∩ð Þ *A*∩*G* ⊆cl*<sup>β</sup><sup>I</sup>* ð Þ *H* ∩ð Þ¼ *G* ∅ and ð Þ *A*∩*H* ∩cl*β*ð Þ *A*∩*G* ⊆ *H*∩cl*β*ð Þ¼ *G* ∅. Thus, cl*<sup>β</sup><sup>I</sup>* ð Þ *A*∩*H* ∩ð Þ¼ *A*∩*G* ∅ and ð Þ *A*∩*H* ∩cl*β*ð Þ¼ *A*∩*G* ∅. Therefore, *A* can be expressed as a union of two *<sup>β</sup>I*-separated sets *<sup>A</sup>*∩*<sup>H</sup>* and *<sup>A</sup>*∩*G*. A contradiction. □

The next statement, Theorem 1.16, says that subsets of each of two separated sets are also separated.

**Theorem 1.16.** *Let X*ð Þ , *τ be a topological space, I be an ideal in X, and, A and B be βI-separated sets. If C*⊆ *A (C* 6¼ ∅*) and D* ⊆ *B (D* 6¼ ∅*), then C and D are also βIseparated.*

**Proof:** Suppose that *A* and *B* are *βI*-separated. Then cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ ∅ and *A*∩cl*β*ð Þ¼ *B* ∅. Thus, cl*<sup>β</sup><sup>I</sup>* ð Þ *C* ∩*D* ⊆cl*<sup>β</sup><sup>I</sup>* ð Þ *A* ∩*B* ¼ ∅ and *C*∩cl*β*ð Þ¼ *D A*∩cl*β*ð Þ¼ *B* ∅. Hence, cl*<sup>β</sup><sup>I</sup>* ð Þ *<sup>C</sup>* <sup>∩</sup>*<sup>D</sup>* <sup>¼</sup> <sup>∅</sup> <sup>¼</sup> *<sup>C</sup>*∩cl*β*ð Þ *<sup>D</sup>* . Therefore, *<sup>C</sup>* and *<sup>D</sup>* is *<sup>β</sup>I*-separated. □

#### **5. Conclusion**

With the important concepts and results which intertwined with those introduced by other authors, this chapter is very interesting. The construction of the different theorems were realized using the definitions or properties of *β*-open sets, *βI*-compact spaces, *β* <sup>∗</sup> *<sup>I</sup>* -hyperconnected spaces, *βI*-separated spaces. Also, some properties focusing on generalizing ideals in ideal topological space theory were realized.

*Advanced Topics of Topology*

#### **Author details**

Glaisa T. Catalan1†, Michael P. Baldado Jr<sup>2</sup> \*† and Roberto N. Padua3†✠

1 Negros Oriental State University—Siaton Campus, Siaton, Negros Oriental, Philippines

2 Mathematics Department, Negros Oriental State University—Main Campus, Dumaguete City, Philippines

3 Commission on Higher Education (CHED), Philippines

\*Address all correspondence to: michael.baldadojr@norsu.edu.ph

† These authors contributed equally.

✠ Deceased.

© 2022 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/ by/3.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

βI*-Compactness,* β*\*-Hyperconnectedness and* <sup>I</sup> βI*-Separatedness in Ideal Topological Spaces DOI: http://dx.doi.org/10.5772/intechopen.101524*

#### **References**

[1] Levine N. Semi-open sets and semicontinuity in topological spaces. The American Mathematical Monthly. 1963; **70**(1):36-41

[2] Njástad O. On some classes of nearly open sets. Pacific Journal of Mathematics. 1965;**15**(3):961-970

[3] Mashhour AS, Abd El-Monsef ME, El-Deeh SN. On pre-continuous and weak pre-continuous mappings. Proceedings of the Mathematical and Physical Society of Egypt. 1982;**53**:47-53

[4] Stone MH. Applications of the theory of boolean rings to general topology. Transactions of the American Mathematical Society. 1937;**41**(3):375-481

[5] Mubarki AM, Al-Rshudi MM, Al-Juhani MA. *β*\*-open sets and *β*\* continuity in topological spaces. Journal of Taibah University for Science. 2014; **8**(2):142-148

[6] Kannan K, Nagaveni N. On *β*^ generalized closed sets in topological spaces. International Journal of Mathematical Analysis. 2012;**6**(57): 2819-2828

[7] Abd El-Monsef ME. *β*-open sets and *β*-continuous mappings. Bulletin of the Faculty of Science. Assiut University. 1983;**12**:77-90

[8] Akdag M, Ozkan A. On soft *β*-open sets and soft *β*-continuous functions. The Scientific World Journal. Hindawi. 2014;**2014**:1-6. DOI: 10.1155/2014/ 843456

[9] Arockiarani I, Arokia LA. Generalized soft g*β*-closed sets and soft gs*β*-closed sets in soft topological spaces. International Journal of Mathematical Archive. 2013;**4**(2):1-7

[10] Dugundji J. Topology. Boston: Ally and Bacon; 1966

[11] Kuratowski K. Topology. Poland: Scientific Publishers. 1996

[12] Morris SA. Topology without Tears. Australia: University of New England; 1989

[13] Tahiliani S. Operation approach to *β*-open sets and applications. Mathematical Communications. 2011; **16**(2):577-591

[14] Bhattacharyya P. Semi-generalized closed sets in topology. Indian Journal of Mathematics. 1987;**29**(3):375-382

[15] Skowron A. On topology information systems. Bulletin of the Polish Academy of Sciences. 1989;**3**: 87-90

[16] Abid MY. Non semi-pre-denseness in topological spaces. Journal of Kerbala University. 2007;**5**(2):159-163

[17] El-Mabhouh A, Mizyed A. On the topology generated by *β*c-open sets. International Journal of Mathematical Sciences and Engineering Applications (IJMSEA). 2015;**9**(1):223-232

[18] Kuratowski K. Topologie. Bulletin of the American Mathematical Society. 1934;**40**:787-788

[19] Vaidyanathaswamy R. Set Topology, Chelsea, New York. Lubbock, Texas: University of New Mexico, Albuquerque, New Mexico Texas Technological College; 1960

[20] Shravan K, Tripathy BC. Generalised closed sets in multiset topological space. Proyecciones (Antofagasta). 2018;**37**(2):223-237

[21] Shravan K, Tripathy BC. Multiset ideal topological spaces and local functions. Proyecciones (Antofagasta). 2018;**37**(4):699-711

#### *Advanced Topics of Topology*

[22] Chandra Tripathy B, Acharjee S. On (*γ*, *δ*)-bitopological semi-closed set via topological ideal. Proyecciones (Antofagasta). 2014;**33**(3):245-257

[23] Tripathy BC, Ray GC. Mixed fuzzy ideal topological spaces. Applied Mathematics and Computation. 2013; **220**:602-607

[24] Michael FI. On semi-open sets with respect to an ideal. European Journal of Pure and Applied Mathematics. 2013; **6**(1):53-58

[25] Newcomb RL. Topologies which are compact modulo an ideal [Ph.d. dissertation]. Santa Barbara, CA: University of California; 1967

[26] Erdal E, Takashi N. \*-hyperconnected ideal topological spaces. Analele ştiinţifice Ale Universităţii "Al.I. Cuza" Din Iaçsi (S.N.) Matematică. 2012;**LVIII**:121-129

[27] Maheshwari SN, Thakur SS. On *α*compact spaces. Bulletin of the Institute of Mathematics. 1985;**13**(4):341-347

[28] Nasef AA, Radwan AE, Esmaeel RB. Some properties of *α*-open sets with respect to an ideal. International Journal of Pure and Applied Mathematics. 2015; **102**(4):613-630

[29] Abd El-Monsef ME, Nasef AA, Radwan AE, Ibrahem FA, Esmaeel RB. Some properties of semi-open sets with respect to an ideal. International Electronic Journal of Pure and Applied Mathematics. 2015;**9**(3):167-179. DOI: 10.12732/iejpam.v9i3.6

Section 6
