INTERNATIONAL JOURNAL OF LATEST TECHNOLOGY IN ENGINEERING,
MANAGEMENT & APPLIED SCIENCE (IJLTEMAS)
ISSN 2278-2540 | DOI: 10.51583/IJLTEMAS | Volume XIII, Issue X, October 2024
www.ijltemas.in Page 47
Reducibility of Topologies
Alexander O. Ilo., Chika S. Moore., Chukwunonso Ofodile
Department of Mathematics, Nnamdi Azikiwe University, P.M.B. 5025, Awka, Anambra State, Nigeria
DOI : https://doi.org/10.51583/IJLTEMAS.2024.131007
Received: 20 October 2024; Accepted: 26 October 2024; Published: 05 November 2024
Abstract: The concepts of weak or strong reduction of topologies are introduced. Closely related to these, and introduced as well,
are the concepts of weak and strong base reduction of topologies. We also defined extensible topologies; and defined weak and
strong base extension of topologies. We proved that there exists a topology γ, weaker than a weak topology τ, on X, which has a
chain of strong reductions if one of the range spaces, say (Xα, τα) of τ, has a chain of strong reductions. It is proved that the usual
topology of the set R of real numbers can be reduced in the weak sense to chains of infinite families of pairwise comparable
topologies; and that the usual topology of R can neither be reduced in the normal sense nor in the strong sense. We proved that a
weak topology has a chain of weaker topologies if one of its range topologies is reducible to a chain of topologies.
Keywords: Reduction of Topology, Strong, Normal and Weak Reduction of Topologies, Extension of Topologies, Weak Topology,
Comparability of Topologies, Base Reduction of Topologies Mathematics Subjects Classification (MSC) 2020: 54A05, 54A10
I. Introduction
Throughout, X is a nonempty set.
Definition 1.1 A topology τ on X is said to be strongly reducible or reducible in the strong sense if G τ such that τ1 = τ − {G} is
a topology on X. The topology τ1 is called a strong reduction of τ.
Example 1
Let X = {a, b, c} and τ = {, X, {a}, {c}, {a, c}}. Then τ on X is strongly reducible, since there exists {a} τ such that τ1 = τ −
{{a}} ≡ {, X, {c}, {a, c}} is a topology on X. Conversely, τ1 is a strong reduction of τ.
Let X = {a, b, c} and τ = 2X = {, X, {a},{b},{c},{a ,b},{a, c},{b, c}}. Then τ = 2X is not strongly reducible.
Definition 1.2 A topology τ on X is said to be normally reducible or simply reducible, or reducible in the normal sense if there
exist Gi τ (i = 1,···,m); m IN such that τ1 = τ −{G1,···,Gm} is a topology on X. Such a topology τ1 is called a normal reduction of
τ, or simply a reduction of τ.
Example 2
Let X = {a, b, c} and τ = 2X = {, X,{a},{b},{c},{a, b},{a, c},{b, c}}. Then τ = 2X is normally reducible, to τ1 = τ − {{c},{b, c}} ≡
{, X,{a},{b},{a, b},{a, c}}.
Definition 1.3 A topology τ on X is said to be weakly reducible or reducible in a weak sense if there exist{Gα τ : α ∆} such that
τ1 = τ − {Gα τ : α ∆} is a topology on X. The topology τ1 is called a weak reduction of τ.
Example 3
Let (IR, U) denote set R of real numbers with its usual topology U. Let X = (−∞,0), and τX = {G U : G X}{IR}. Then τX is a
weak reduction of U, since τX = U − {G U : G is not a subset of X}.
Remark
1. Strongly Reducible = Normally Reducible = Weakly Reducible. But the converses are not always true.
2. The indiscrete topology of a set cannot be reduced in any sense (strong, normal or weak). In fact, it is the weakest reduction
of any topology.
3. In the first two examples above we saw that the discrete topology of X is not reducible in the strong sense. This is actually
a general fact for the discrete topology of any set X whose cardinality is greater than 2; and we state and prove that below
as a theorem.
4. The discrete topology is not the only topology that is irreducible in the strong sense. The usual topology of IR is not
reducible in the strong sense. This is stated and proved below as a proposition.
Theorem 1.1 (a) The discrete topology of X cannot be reduced in the strong sense if the cardinality of X is greater than 2. (b) Every
non-indiscrete topology on a set X can be reduced in some sense (strong, normal or weak).