A unified extension of the concept od generalized closedness in topological spaces
Abstract
This paper presents a general unified approach to the notions
of~generalized closedness in topological spaces. The research concerning the notion of generalized closed sets in topological spaces was initiated by Norman Levine in 1970. In the succeeding years, the concepts of this type of generalizations have been investigated in many versions using the standard generalizations of~topologies which has resulted in a large body of literature.
However, the methods and results in the past years have become standard and lacking in innovation.
\par
The basic notion used in this conception is the closure operator designated by~a~family $\mathcal{B}\subseteq\mathcal{P}(X)$, which need not be a Kuratowski operator.
Here, we introduce a general conception of natural extensions of families $\mathcal{B}\subseteq\mathcal{P}(X)$, denoted by $\mathcal{B}\triangleleft\mathcal{K}$, which are determined by other families $\mathcal{K}\subseteq\mathcal{P}(X)$.
Precisely,\vadjust{\vskip0.5ex}
$$
\mathcal{B}\triangleleft\mathcal{K}
=
\left\{
A\subseteq X: \overline{A}^{\mathcal{B}}\!\subseteq\overline{A}^{\mathcal{K}}\!
\right\},
\\[-0.5ex]
$$
where $\overline{(\dots)}^{\mathcal{A}}$ denotes the closure operator designated by $\mathcal{A}\subseteq \mathcal{P}(X)$.
\par
We prove that the collection of all generalizations $\mathcal{B}\triangleleft\mathcal{K}$, where $\mathcal{B}$, $\mathcal{K}\subseteq \mathcal{P}(X)$, forms a Boolean algebra.
In this theory, the family of all generalized closed sets
in~a~topological space $X(\mathcal{T})$ is equal to $\mathcal{C}\triangleleft\mathcal{T}$, where $\mathcal{C}$ is the family
of all closed subsets of X.
This concept gives tools that enable the systemizing and developing
of the current research area of this topic.
The results obtained in this general conception easily extend and imply well-known theorems as obvious corollaries.
Moreover, they also give many new results concerning relationships between various types of generalized closedness studied so far in a topological space.
In particular, we prove and demonstrate in a graph that in~a~topological space $X(\mathcal{T})$ there exist only nine different generalizations determined by the standard generalizations of~topologies.
The tools introduced in this paper enabled us to show that many generalizations studied in the literature are improper.
of~generalized closedness in topological spaces. The research concerning the notion of generalized closed sets in topological spaces was initiated by Norman Levine in 1970. In the succeeding years, the concepts of this type of generalizations have been investigated in many versions using the standard generalizations of~topologies which has resulted in a large body of literature.
However, the methods and results in the past years have become standard and lacking in innovation.
\par
The basic notion used in this conception is the closure operator designated by~a~family $\mathcal{B}\subseteq\mathcal{P}(X)$, which need not be a Kuratowski operator.
Here, we introduce a general conception of natural extensions of families $\mathcal{B}\subseteq\mathcal{P}(X)$, denoted by $\mathcal{B}\triangleleft\mathcal{K}$, which are determined by other families $\mathcal{K}\subseteq\mathcal{P}(X)$.
Precisely,\vadjust{\vskip0.5ex}
$$
\mathcal{B}\triangleleft\mathcal{K}
=
\left\{
A\subseteq X: \overline{A}^{\mathcal{B}}\!\subseteq\overline{A}^{\mathcal{K}}\!
\right\},
\\[-0.5ex]
$$
where $\overline{(\dots)}^{\mathcal{A}}$ denotes the closure operator designated by $\mathcal{A}\subseteq \mathcal{P}(X)$.
\par
We prove that the collection of all generalizations $\mathcal{B}\triangleleft\mathcal{K}$, where $\mathcal{B}$, $\mathcal{K}\subseteq \mathcal{P}(X)$, forms a Boolean algebra.
In this theory, the family of all generalized closed sets
in~a~topological space $X(\mathcal{T})$ is equal to $\mathcal{C}\triangleleft\mathcal{T}$, where $\mathcal{C}$ is the family
of all closed subsets of X.
This concept gives tools that enable the systemizing and developing
of the current research area of this topic.
The results obtained in this general conception easily extend and imply well-known theorems as obvious corollaries.
Moreover, they also give many new results concerning relationships between various types of generalized closedness studied so far in a topological space.
In particular, we prove and demonstrate in a graph that in~a~topological space $X(\mathcal{T})$ there exist only nine different generalizations determined by the standard generalizations of~topologies.
The tools introduced in this paper enabled us to show that many generalizations studied in the literature are improper.
Full Text:
Subscribers OnlyDOI: https://doi.org/10.2478/tmmp-2023-0028