EURASIAN JOURNAL OF MATHEMATICAL
THEORY AND COMPUTER SCIENCES
Innovative Academy Research Support Center
Volume 5 Issue 6, June 2025 ISSN 2181-2861
Page 32
METRIZABILITY OF TOPOLOGICAL SPACES AND THEIR
COMPACT PROPERTIES
Sabırbaeva Elmira Keunimjay qızı
3rd year student of Chimbay Faculty of Mathematics of Karakalpak
State University
https://doi.org/10.5281/zenodo.15730872
ARTICLE INFO
ABSTRACT
Received: 18
th
June 2025
Accepted: 23
rd
June 2025
Online: 24
th
June 2025
This article discusses the conditions under which a
topological space is metrizable and how this relates to
compactness. Key metrization theorems, such as those by
Urysohn and Nagata-Smirnov, are examined. The article
also explores the role of compactness in metrizable spaces,
supported by examples like the Sorgenfrey line and Cantor
set. Applications in analysis, computer science, and control
theory demonstrate the practical importance of these
concepts.
KEYWORDS
Metrizability,
compactness,
topology,
metric
space,
Urysohn theorem, Cantor set,
product topology, functional
analysis.
Introduction.
In the field of topology, one of the central themes is the study of topological
spaces and the conditions under which these spaces can be described using a metric. This leads
us to the concept of metrizability, which is the property of a topological space that allows it to
be associated with a metric in such a way that the topology induced by the metric coincides
with the original topology. This concept is not merely of theoretical interest; rather, it bridges
abstract topological structures with the more concrete and computationally tractable metric
spaces. The ability to metrize a topological space opens up the application of powerful analytical
tools such as limits, continuity, compactness, and convergence. Moreover, the interplay
between metrizability and compactness has significant implications in analysis, geometry, and
applied mathematics. In this article, we aim to explore the foundational conditions for
metrizability, present key theorems and definitions, and examine how compactness interacts
with metric structures in a meaningful way.
To begin with, a topological space (X,
τ
) is said to be metrizable if there exists a metric
d
:
X ͯ X→ℝ such that the topology
τ
is the topology generated by open balls under
d
. In other words,
all open sets in
τ
can be expressed as unions of open balls defined by the metric. Metrizable
spaces inherit many beneficial properties of metric spaces, such as the ability to work with
sequences, continuity via epsilon-delta definitions, and compactness via sequential
compactness. For example, the Euclidean space
ℝ
𝑛
is a classic metrizable space with the
standard Euclidean metric
d(x,y)
=
√∑
(𝑥
𝑖
− 𝑦
𝑖
)
𝑛
𝑖=1
2
. This example is intuitive and fundamental
in both undergraduate and advanced mathematics. Furthermore, discrete spaces, where every
subset is open, are trivially metrizable using the discrete metric
d(x,y)
= 1 if
x ≠ y
, and 0
otherwise. However, it is essential to recognize that not all topological spaces are metrizable.
Many spaces encountered in functional analysis, algebraic topology, and theoretical computer
EURASIAN JOURNAL OF MATHEMATICAL
THEORY AND COMPUTER SCIENCES
Innovative Academy Research Support Center
Volume 5 Issue 6, June 2025 ISSN 2181-2861
Page 33
science lack a compatible metric structure. Therefore, determining the conditions under which
a space is metrizable becomes a question of both theoretical importance and practical
significance.
Importantly, several theorems provide necessary and sufficient conditions for a space to
be metrizable. Among them, the Urysohn Metrization Theorem is foundational and widely cited.
A topological space
X
is metrizable if and only if it is regular,
𝑇
1
(i.e., satisfies the separation
axiom), and has a countable basis. This theorem not only highlights the critical role of
separation axioms, such as the T1 and T2 (Hausdorff) properties, but also underscores the
importance of second countability, which ensures that the space has a countable base for its
topology. Second countability enables the use of countable approximations and constructions,
which are essential in analysis and computation. Another crucial result is the Nagata-Smirnov
Metrization Theorem, which generalizes the Urysohn theorem: A topological space is
metrizable if and only if it is regular and has a
σ
-locally finite base. This theorem allows for a
broader class of spaces to be considered for metrizability. A
σ
- locally finite base is a countable
union of locally finite collections of open sets, which essentially ensures that the space can be
covered efficiently without overwhelming overlap. Additionally, the Bing Metrization Theorem
provides another perspective: A topological space is metrizable if and only if it is regular and
has a development (a countable sequence of open covers satisfying certain refinement
conditions). These criteria are not just theoretical. They offer practical methods for determining
whether a given space can be treated using tools from metric space theory. In particular,
software and algorithmic applications in data science, artificial intelligence, and numerical
analysis often require that data be modeled in metrizable spaces for efficient processing.
Moving on to compactness, we define a topological space as compact if every open cover
has a finite subcover. This property is fundamental in topology and analysis because it allows
the extension of finite results to infinite settings. Compactness is often considered a form of
topological finiteness and is essential in extending limits, ensuring continuity, and proving the
existence of solutions in various branches of mathematics. For instance, the closed interval
[0,1]
⸦
ℝ is compact in the standard topology, whereas the open interval (0,1) is not. The
difference lies in the ability to include the limit points of sequences. This distinction is crucial
in calculus and analysis. Compactness also implies that any continuous real-valued function
defined on a compact space is bounded and attains its maximum and minimum—this is the
Extreme Value Theorem. Compactness is preserved under continuous mappings, which makes
it a powerful tool in various proofs and applications. Moreover, in product topologies,
compactness is preserved under arbitrary products (as shown in Tychonoff’s Theorem),
although metrizability generally is not. This distinction further emphasizes the subtleties in
understanding the overlap and divergence of topological properties [2, 683-696].
We will examine how metrizability interacts with compactness. In metric spaces,
compactness has a very convenient characterization:
Theorem: In a metric space, compactness is equivalent to sequential compactness (every
sequence has a convergent subsequence), and also to total boundedness plus completeness.
This equivalence is a hallmark of metric spaces and underlines the importance of having
a metric structure. It simplifies many arguments involving convergence, continuity, and
function limits. This equivalence does not necessarily hold in general topological spaces, which
EURASIAN JOURNAL OF MATHEMATICAL
THEORY AND COMPUTER SCIENCES
Innovative Academy Research Support Center
Volume 5 Issue 6, June 2025 ISSN 2181-2861
Page 34
further illustrates the value of metrizability. If a space is metrizable, then we can use these
useful characterizations to analyze compactness using sequential or net-based methods. This
is particularly helpful in applied contexts such as optimization and dynamical systems.
Moreover, the Heine-Borel Theorem in
ℝ
𝑛
(a metrizable space) states that a subset is compact
if and only if it is closed and bounded. This result, however, relies heavily on the underlying
metric structure and does not generalize to non-metrizable spaces. Therefore, it is clear that
when a topological space is both compact and metrizable, it behaves much like subsets of
ℝ
𝑛
,
and many analytical techniques become applicable. Such spaces are also separable and second
countable, making them ideal for both theoretical work and computational modeling [4, 81-83].
To illustrate these ideas, consider the Sorgenfrey line, which is the real line ℝ equipped
with the lower limit topology (generated by the base consisting of half-open intervals
[𝑎, 𝑏)
).
This space is not metrizable, even though it is normal and Hausdorff, because it lacks a
countable base. The Sorgenfrey line is also not second countable, which violates a key
requirement for metrizability. Another compelling example is the product space, th
[0,1]
ℝ
e
product of uncountably many copies of the interval
[0,1]
. By Tychonoff’s Theorem, this space is
compact in the product topology. However, it is not metrizable, because it fails to be first-
countable. This highlights the fact that compactness alone does not guarantee metrizability,
especially in higher or infinite-dimensional constructions. On the contrary, any compact metric
space is second countable, which follows from the fact that metric spaces with a countable
dense subset have a countable base. For example, the Cantor set is compact, metrizable, totally
disconnected, and perfect. It serves as a standard model in real analysis and fractal geometry.
The importance of these properties extends beyond pure mathematics. For instance, in
functional analysis, the metrizability of dual spaces plays a role in the study of weak
convergence and reflexivity. In probability theory, compactness—especially in the form of
tightness of measures—ensures convergence of sequences of distributions, particularly in
Prokhorov’s Theorem. Furthermore, in computer science, particularly in domain theory and
denotational semantics, compactness and metrizability help in reasoning about convergence,
fixed points, and the continuity of computation. For example, the convergence of iterative
algorithms in machine learning models often assumes underlying compactness and metric
conditions. In engineering and control theory, compact metric spaces facilitate the formulation
of well-posed control problems, where existence and uniqueness of solutions depend on
compactness of the state space. Thus, these topological properties serve as foundational tools
in a variety of disciplines.
Conclusion.
In conclusion, the study of metrizability and compactness in topological
spaces offers deep insights into the structure and behavior of spaces in both pure and applied
mathematics. Metrizability equips a space with a metric structure, enabling the use of analytical
tools and computational methods. Compactness provides a form of topological finiteness that
ensures the manageability of spaces, the continuity of mappings, and the convergence of
sequences. Although not all compact spaces are metrizable and not all metrizable spaces are
compact, the combination of these properties yields spaces with highly desirable features.
These include second countability, separability, and the applicability of powerful theorems
such as Heine-Borel and Extreme Value Theorems. Therefore, understanding the precise
EURASIAN JOURNAL OF MATHEMATICAL
THEORY AND COMPUTER SCIENCES
Innovative Academy Research Support Center
Volume 5 Issue 6, June 2025 ISSN 2181-2861
Page 35
conditions under which a space is metrizable and how compactness manifests in such spaces is
vital for advanced studies in topology, analysis, probability, and beyond.
References:
1.
LLESHI POLLOZHANI, F., RASIMI, K., SADIKI, F., & BEXHETI, B. (2022). METRIZABILITY
OF TOPOLOGICAL SPACES. Journal of Natural Sciences and Mathematics of UT, 7(13-14), 114-
120.
2.
Shravan, K., Tripathy, B. C., & Pandu, M. (2021). Metrizability of multiset topological
spaces. SERIES III-MATEMATICS, INFORMATICS, PHYSICS, 13(2), 683-696.
3.
Когаловский, С. Р. (2022). О ПРОПЕДЕВТИКЕ КУРСА ТОПОЛОГИИ. In Современные
проблемы и перспективы обучения математике, физике, информатике в школе и вузе
(pp. 27-30).
4.
Савельев, В. М. (2019). ОСОБЕННОСТИ ОБУЧЕНИЯ ТОПОЛОГИИ ДЛЯ ПОВЫШЕНИЯ
КОМПЕТЕНТНОСТИ БУДУЩИХ УЧИТЕЛЕЙ МАТЕМАТИКИ. In Современный учитель
дисциплин естественнонаучного цикла (pp. 81-83).
5.
Юнусов, Г. Г., & Болтаев, Х. Х. (2024). Описание и категорные свойства функтора
полуаддитивных функционалов. Монография.-Tашкент:«NIF MSH», 2024.–87 стр.
