1. Introduction
The study of uniform structures offers a powerful framework for extending topological concepts beyond mere continuity. Among these, the
fine uniformity on a Tychonoff space
X plays a central role, as it represents the largest uniformity compatible with the topology of
X—that is, the uniformity generated by all normal covers of
X ([
1], 4.41.1).
A central topological invariant in this context is the
uniform weight , defined as the smallest cardinality of a basis for the uniformity
[
2]. When considering the fine uniformity
, estimating
becomes a nuanced problem with deep ties to the structure of cozero sets and cardinal functions.
It is known that for any compatible uniformity
on
X, we have the inequality
, where
denotes the cardinality of the family of cozero sets in
X [
2]. Whether
can be replaced by
in this bound remains an open question. Some partial results suggest that under certain conditions, such as pseudocompactness or paracompactness, this substitution may be possible [
3,
4].
In this paper, we focus specifically on
and develop upper bounds involving cardinal invariants such as the pseudocharacter
and strong character
[
2]. These bounds are obtained by analyzing the structure of the diagonal
in compactifications of
and by leveraging classical tools from the theory of uniform spaces and cardinal functions [
1,
5].
We also generalize the classical result stating that
if and only if
X is metrizable and its set of non-isolated points is compact [
6]. This leads us to further characterizations involving spaces that are pseudocompact, realcompact, or perfect preimages of metrizable spaces.
The study of upper bounds for the weight of fine uniformities is motivated by the fact that fine uniformities often represent the finest compatible uniformities and exhibit intricate interactions with various cardinal invariants of the underlying space. While classical results typically relate the weight to the cardinality of a base or subbase, our approach emphasizes the role of more refined invariants, such as strong character and density. These bounds are particularly significant in contexts where the fine uniformity departs substantially from the standard one, shedding light on the intricate relationship between local and global uniform structures.
In this paper, we prove that the uniform weight of can be effectively bounded in terms of strong cardinal invariants of in compactifications of , as well as in terms of the cardinal , particularly when X satisfies additional properties such as pseudocompactness or paracompactness. Our main theorem provides a general bound based on the weights of fine uniformities on closed subspaces and the existence of L-local bases of bounded cardinality.
2. Preliminary Facts
We begin by briefly recalling several notions and notations used throughout the paper. Unless otherwise stated, all spaces are assumed to be Tychonoff.
Given two covers and of a set X, we write to indicate that is a refinement of . For a cover of X and a subset , the star of A concerning , denoted as , is defined as the union of all elements of that intersect A. When A is a singleton , we simply write instead of .
A uniformity basis on a set X is a family of covers of X satisfying the following condition:
- (U)
If
, there exists a cover
such that
refines both
and
(i.e.,
and
).
This condition is equivalent to the following:
- (U′)
If
, then there exists a cover
such that
refines both
and
(i.e.,
and
).
A uniformity basis is said to be a uniformity on X if for any cover and any cover of X such that , it follows that .
Every uniformity basis
on
X induces a uniformity
defined by
Two uniformity bases and on X are said to be equivalent (denoted ) if they determine the same uniformity; that is, .
A uniform space is a pair consisting of a set X and a uniformity on it.
Every uniformity basis on X defines a topology as follows: a set belongs to if for every there exists such that . The basis is called open if every is contained in .
It is evident that if , then . However, the converse does not hold in general. For instance, the collections and of finite and countable open covers of the real line , respectively, both determine the standard topology of , yet they are not equivalent.
A uniformity basis on X is said to be compatible with a topology on X if .
The topology
induced by any uniformity basis
is always completely regular (see [
5], 8.1.20). However,
may fail to be
. A necessary and sufficient condition for
to be
is
Moreover, every uniformity basis
on
X is equivalent to an open uniformity basis
(see [
1], 7.7).
A cover
of a topological space
X is said to be
cozero (resp.
strongly cozero) if for every finite subcollection (resp. subcollection)
, the union
is a cozero set. Analogous definitions hold for zero and strongly zero covers. As proved in [
2], Thm. 3.7, every uniformity basis is equivalent to one made of strongly cozero covers, with respect to the common topology
.
An open cover is called normal if there exists a sequence of open covers such that and for all n. Every cover in an open uniformity basis is normal in this sense.
The fine uniformity on a topological space X, denoted as , is the finest uniformity compatible with the topology of X; that is, it induces the original topology and is finer than any other uniformity compatible with it. Equivalently, it can be generated by the family of all continuous real-valued functions on X.
A map between uniform spaces is uniformly continuous if for every , there exists such that .
Definition 1. Let . We say that H is a strong neighborhood of A if there exists a zero set and a cozero set such that .
A family of open sets in X is called a strong local basis of A in X if for every strong neighborhood W of A, there exists some . Removing the word “strong” yields the usual notion of local basis of A in X.
If A is a closed subset of X:
The strong character is defined as the minimal cardinal such that A has a strong local basis of cardinality .
The strong pseudocharacter is defined as the minimal cardinal such that A is the intersection of strong neighborhoods of A.
Remark 1. In general, for a closed subset , we have , where denotes the usual character of A in X. However, in normal spaces, every neighborhood of A contains a strong neighborhood, and hence .
Remark 2. The strong character and strong pseudocharacter may strictly exceed their classical counterparts, particularly in spaces that are not normal.
For instance, consider the Niemytzki plane , i.e., the upper half-plane endowed with the topology generated by Euclidean open sets in the upper half-plane and Euclidean half-disks tangent to the x-axis at points of the form . This space is regular but not normal.
Let
. Then,
since
A has a countable local base. However, it can be shown that
because the lack of normality prevents strong neighborhoods from forming countable local bases around
A. This example highlights that the strong character captures finer structural information about the space.
Other cardinal invariants used in this work include the
density ,
tightness ,
cellularity , and
spread . See [
5] for standard definitions.
We know from (see [
2], 2.1) that
coincides with
If
,
denotes the union of closure in
of zero sets in
X contained in
A. Clearly,
is a zero set in
X and
whenever
. We always have
for arbitrary sets
and
whenever
A and
B are either both zero sets, both cozero sets, or one of them is a zero set and the other is a cozero set (see [
1], 3.45.3).
For each cover
of a space
X, we define
Clearly,
is a neighborhood of the diagonal
in
whenever
has a cozero refinement. This happens, for instance, when
is a normal cover (see [
1], 4.41.1).
3. Weights and Characters
The most relevant results in this section are presented in Corollary 3, where we prove that the weight of the fine uniformity on X coincides with the pseudocharacter of some closed set in the compatification of , and Theorem 2, where we prove that this weight does no exceed the cardinality of the family of all cozero sets when X is pseudocompact. We still ignore whether there exists a topologically complete space X where .
We start this section with a Lemma. For a proof, see [
4], 2.1.
Lemma 1. Let . Then V is a strong neighborhood of in if and only if there exists a normal cover α of X such that .
From this lemma, we deduce the following:
Theorem 1. .
Proof. Let . Let be a basis of consisting of cozero covers. For each , let . We know fron (1) that each is a strong neighborhood of and that is a strong local basis of in . Therefore, . On the other hand, if is a strong local basis of in and for each , is a normal cozero cover on X such that , then is a basis of . Indeed, if is any normal cover of X and is a normal cozero cover such that , then is a strong neighborhood of in . Therefore, for some and . This implies . Finally, and . □
Corollary 1. If X is paracompact, then .
Proof. If
H is a closed set in a normal space
Z, then every neighborhood of
H is a strong neighborhood of
H. Hence,
. We therefore use the fact that
is a normal space (see [
1], 4.55). □
Corollary 2. If X is compact, then . (In this case, is the only compatible uniformity on X.)
Lemma 2. Let A be a closed subset of X and let be a strong local basis of A in X. Then and hence, the pseudocharacter of in coincides with .
Proof. For each
, there exists a zero set
and a cozero set
such that
Therefore,
and we must have
. If
, there exists a cozero set
and a zero set
such that
and
. Therefore,
. Select
such that
. Therefore,
. Since
, we deduce that
. Consequently,
and
. Conversely, let
(
) be an open neighborhood of
in
such that
. We shall prove that
is a strong local basis of
A in
X. Let
T be any strong neighborhood of
A in
X. Therefore,
A and
are completely separated in
X or, equivalently, there exists
, a zero set, and
, a cozero set, such that
. Hence,
. Since
is a local basis of
in
(because
is compact), there exists an index
such that
. Therefore,
, and the proof is complete. □
Combining previous results, we obtain the following:
Corollary 3. .
For every space X, we shall denote by the cardinality of the family of all zero sets in X.
From [
2], 3.7 and 3.8, we know that the common upper bound for the weights of all compatible uniformities on a space
X is
. Of course,
, but the authors still ignore whether
.
If
X is compact, there exists only one compatible uniformity
of
X and its weight is not greater than the topological weight
(see [
2], 3.7 and 3.8). In fact, if
X compact and infinite, then
.
A filter in a uniform space is a -Cauchy filter if for every . A uniform space is complete if every -Cauchy filter on X converges.
The space is a completion of the uniform space if is complete and has a dense subspace unimorphic to . Two uniform spaces and are unimorphic if there exists a bijection such that and are both uniformly continuous.
It is important to remember that every uniform space
has a canonical completion
such that every other completion of
is unimorphic to
(see [
2], 7.28 and [
7], 3.7). In fact, we can assign to each cover
an open cover
of
(
A may not be open), and this assignment respects refinements. i.e.,
implies
. A basis for
is precisely the family of covers
. Hence, if
is a basis for
, then the following is applied:
Recall a uniform space is totally bounded if it has a basis consisting of finite covers.
Theorem 2. Let be a totally bounded compatible uniformity on a space X. Then, Hence, if X is pseudocompact, then .
Proof. Let
be the canonical completion of
. Since
is complete and totally bounded, the space
is a compactification of
X. Let
be a unimorphism of
onto a dense subspace
Z of
. Let
be the Stone extension of
. Since
(see [
5], 3.7.19), we conclude that
□
Another example of a compatible uniformity on a space
X whose weight is ≤
is Hewitt’s uniformity, i.e., the uniformity
on
X which has as a basis the family of all countable cozero covers of
X. Since there exists at most
countable cozero covers of
X and since
(see [
8]), we conclude that
.
A set is C-discrete (with respect to X) if for every there exists a cozero set such that and such that the family is discrete (with respect to X), that is, such that every has a neighborhood which intersects, at most, one set .
Let be closed. A family of cozero neighborhoods of A is an L-basis at A if every cozero neighborhood of A contains an element of .
The
pseudocompactness degree of a space
X is defined by
The alternative pseudocompactness degree of a space X is defined as if there do not exist C-discrete subsets of cardinality and as if there does exist a C-discrete subset of cardinality .
Remark 3. If X is metrizable, then .
We shall denote by the family of all cozero subsets of X. A subset is said to be Z-embedded in X if every relative zero set is the intersection of L with a zero set of X.
We need the following standard results. Their proofs are presented in [
1], 4.42, and in [
9], using the fact that
coincides with
.
Lemma 3. Let be a locally finite family of cozero subsets of X. For each , let be a zero set in X contained in . Then is also a zero set in X and is a cozero set in X.
Theorem 3. - (a)
for every Z-embedded subset ;
- (b)
If is Z-embedded and discrete, then . In particular, if X is infinite, then ;
- (c)
If is discrete and infinite, then ;
- (d)
For every infinite space X, , where denotes the Lindelöf degree of X;
- (e)
If X is infinite and its realcompactification is Lindelöf, then .
- (f)
If X is infinite and γ is an infinite cardinal number such that , then .
Proof. We prove only (d), (e) and (f).
- (d)
Observe
. Using the equation
(see [
8]), we obtain
. To prove the inequality
, take any basis
of
X consisting of cozero sets and having cardinality
.
Since for every cozero set , , we deduce that every cozero set of X is the union of at most members of . Hence .
- (e)
Since the correspondence
establishes a bijection between the collection of zero sets of
X and the collection of zero sets of
(see [
10], 8.8. (b)), we deduce that
. Now apply (d).
- (f)
Let
be a cozero discrete family in
X of cardinality
(
for every
). Considerer an arbitrary function
. For each
,
is a cozero subset of
which is obviously contained in the cozero set
. Let
Since the family is discrete with respect to , the previous lemma implies that is a cozero set in .
In addition, if and , then . Since there exists such maps, we conclude that . To prove that , take an arbitrary subset . Define . It is clear that implies . Since, according to the previous lemma, each is a cozero set in X, we deduce that .
□
The metrizability degree of a space X is defined as the minimum cardinal number such that X has a basis which is the union of locally finite cozero subfamilies in X.
Lemma 4. If , then .
Proof. Let
and let
be a basis of
X, of cardinality
, which is the union of
locally finite cozero families
(
). Clearly,
. In any space, we have
. Therefore,
. On the other hand,
Hence, . □
Lemma 5. - (a)
The family of all locally finite cozero irreducible covers of X is a basis for .
- (b)
Every normal cover of a space X has a subcover such that .
Proof. - (a)
Use the following facts:
- (b)
Let
be a precise locally finite cozero refinement of
(see [
7], 4.41.1 and 4.43). According to ([
5], 5.3.1),
has an irreducible subcover
, but the cardinality of such a cover has to be less than
because there exists a
C-discrete set
such that
(see [
11], 2.5). For each
, select
such that
. Clearly,
is the desired subcover.
□
Corollary 4. If X is paracompact, then .
Proof. Clearly, . Using the lemma 5, we deduce that . □
Lemma 6. In every space X, .
Proof. It is enough to consider the case where X in non-discrete. Let be a basis of X which is the union of locally finite cozero families (). For each , let . Clearly, for each . It is obvious that for each , there exist at most finite subcollections of . Therefore, there exist at most sequences , where is a finite subcollection of for each . For each , let be the subcollection of consisting of all elements containing x (possibly ). Since each is locally finite, we deduce that each is finite. The correspondence is clearly injective. Hence, . □
We conclude this section with a theorem and corollary.
Theorem 4. - (a)
- (b)
If X is paracompact, then Hence, if X is metrizable, then - (c)
If X is the perfect pre-image of a metrizable space Y (i.e., if X is p-paracompact), thenwhere is the net-weight of X and . - (d)
If X is paracompact, then .
- (e)
If X is Lindelöf, then .
Proof. - (a)
It is enough to observe that in any space X, the family of irreducible locally finite cozero covers of X is a basis for .
- (b)
Let be a basis of X of cardinality . We know every open cover of X has a refinement consisting of elements of . Using the previous lemma, we deduce that the family of covers of X, of cardinality , and consisting of elements of , is a basis for the fine uniformity of X. For the last part, if X is metrizable, then .
- (c)
The inequality is obvious if , i.e., if X is pseudocompact (because this extra condition implies that X is compact, and hence ). Assume then that . Let be a perfect map onto the metrizable space Y. It is clear that and . In each fiber , let be a basis for the relative topology. Clearly, is a net for X of cardinality . According to , we conclude that . Because , we may restrict to cardinals . Therefore, and the proof is complete.
- (d)
Since
implies that
, each term
(
) is
. Since there are
such terms, we conclude that
- (e)
Replace with and recall that .
□
Corollary 5. If X is pseudocompact, then .
Proof. It is enough to observe that , where is the family of finite cozero covers of X. □
4. The Weight of the Fine Uniformity
Suppose
K is a closed subset of a topological space
X and suppose we know the weight of the fine uniformities of
K and
. Adding two extra hypothesis, we obtain an upper bound for the weight of the fine uniformity of
X. This is the only result of this section. Its importance relies on its numerous consequences, in particular Corollary 9, which gives necessary and sufficient conditions for the equation
We first recall some definitions:
A subset is -embedded in X if for every zero set L in X disjoint from K, there exists a zero set such that .
Let be a closed set. A family of cozero neighborhoods of A is an L-local basis at A if every cozero neighborhood of A contains an element of .
Let be a cover of a set X. A rearrangement of is a cover such that there exists a partition of J and for every .
Since each partition of J determines a unique map (order J and for each define as the first element of , where ), has exactly rearrangements.
Lemma 7. Let be open bases of a uniform space . If , then contains a basis for such that .
Proof. For each
, pick a normal sequence
, such that
for each odd
n and
for each even
n. Varying
over
and taking
it is clear that
,
.
In addition,
is a basis for the same uniformity
(see [
11]). □
We prove now the main result of this paper.
Theorem 5. Suppose is closed and -embedded in X. Let be infinite cardinal numbers. Suppose the following:
- 1.
Both cardinals and are ;
- 2.
Each relative zero set has an L-local basis (respect to X) of cardinality . Then
Proof. Let
and
be the bases for the uniformities of
K and
, respectively, such that
and
. According to Lemmas 5 and 7, we may suppose that each cover in
(or
) is cozero, locally finite, and irreducible with respect to
K (or
). For each
, pick a precise refinement
which is a strongly zero cover of
K. According to the hypothesis,
. For each rearrangement
of
and each
, let
be an
L-local basis of
H respect to
X. According to condition (2), we may suppose that each cardinal has
elements. Given a cozero, locally finite, irreducible cover
of
X, order the elements
of
which intersect
K and select a refinement
of
. For each
, let
be the union of elements of
which are contained in
but not in
for
. It is clear then that
is a rearrangement of
and, therefore,
. For each selective map
, where
for each
,
and
, consider the cozero cover of
K:
The set
is cozero in
X and the family
is locally finite in
X because
, and the cover
is locally finite in
X. Since
K is
-embedded in
X, there exist zero sets
in
X and a cozero set
in
X such that
Now select a cover
and define
Each set
is cozero set in
X (because it is a relative cozero set in the cozero set
) and the family
is locally finite with respect to
X because the closure in
X of the union of the element of this family is contained in
, and, therefore, each element of
K has a neighborhood (namely,
) which intersects no element of this family. Since each
has at most
rearrangements and because there exist at most
selective maps
, where
, we deduce that there exist at most
covers of the form
which, evidently, constitute a basis for the fine uniformity of
X. □
Corollary 6. Let be closed and -embedded in X and let γ be an infinite cardinal. Suppose also that each normal cover of X has a subfamily of cardinality which covers K. Then,where are the weights of the fine uniformities of K, , respectively, and as in Theorem 5. Corollary 7. Let be pseudocompact closed subset of X. Then,where are as in Corollary 6 and is as in Theorem 5. Proof. We just have to observe that each pseudocompact subset of
X is
-embedded in
X. (See [
3], 2.2.) □
Corollary 8. Let be compact and let X be ech-complete. Then,where is as in Corollary 6. (In this case, .) Corollary 9. Let K be a compact subset of a completely metrizable space X such that each component of is both compact and open. A topological space is said to be completely metrizable
if it is metrizable and there exists a complete metric that induces its topology. In other words, the space is homeomorphic to a complete metric space. This class includes, for example, Polish spaces, which are separable and completely metrizable. Then,where if is discrete, andotherwise. This result illustrates how the structure of the complement governs the weight of the fine uniformity on X. When the complement is discrete, all components are isolated singletons, so the contribution to the weight remains countable. However, if contains non-degenerate components (i.e., components with more than one point), each such component contributes an independent source of uniform complexity. The formula thus reflects the exponential growth in uniform complexity with respect to the number of these non-trivial components.
This corollary may be viewed as a refinement of classical results that estimate the weight of uniformities in metrizable spaces via countable bases. In particular, it complements results where the fine uniformity on a union of compact open sets is determined by the uniform structure on each component.
Example 1. Let , where each is a copy of the unit circle endowed with the usual topology, and suppose the s are disjointed, compact, and open in X. Let with a fixed point in each circle. Then, K is compact, X is completely metrizable, and consists of non-degenerate compact open components. Hence, Corollary 10. Let X be a metrizable space whose derived set is compact (see [6], Theorem 2.33). The derived set
of a topological space X is the set of all accumulation points of X, that is, the set of points that are limits of sequences (or nets) of other points in X. Equivalently, consists of all non-isolated points of X. Then, Proof. In this situation, X happens to be completely metrizable. □
This result shows that the fine uniformity on a metrizable space X remains countably generated whenever the accumulation set is compact. Intuitively, the uniform complexity of X is controlled by the “limit behavior” of sequences, which is entirely captured by the compact set . Since outside the space consists of isolated points, the fine structure can be described using only countably many continuous functions, and hence the weight is .
This can be seen as an instance where global countability properties follow from local compactness conditions on the set of non-isolated points.
Example 2. Let as a subspace of with the usual topology. Then, X is metrizable, and its derived set is , which is compact. According to Corollary 10, we obtain More generally, if X is any countable dense subset of a compact metric space (e.g., the set of rational points in together with a finite set of limit points), the same conclusion applies.
Corollary 11. Let be a closed and -embedded subset of X. If K is pseudo-Lindelöf (i.e., every normal cover of K has a countable subcover) and is discrete, then Proof. In this case , and . □
This result establishes an upper bound for the weight of the fine uniformity in terms of the cozero set number , under a decomposition of X into a closed, functionally well-behaved core and a discrete remainder. The assumption that K is -embedded ensures that continuous functions defined on K can be extended to X without increasing complexity. Meanwhile, the pseudo-Lindelöf property of K guarantees that this core admits a “small” covering behavior in terms of cozero sets. Since the complement is discrete, it contributes only a countable and easily controllable amount of additional uniform structure.
This corollary highlights how function-theoretic properties (like -embeddedness) and covering properties (such as pseudo-Lindelöfness) can constrain the complexity of the uniform structure on the entire space.
Example 3. Let with the usual topology, and let , where is a countable discrete set disjoint from , and define the topology on X such that retains its usual topology, D is discrete and open, and every continuous function on extends continuously over X.
Then, is closed and -embedded in X, pseudo-Lindelöf (since is Lindelöf), and is discrete. Hence, according to Corollary 11,In this case, since (the continuum), we obtain a concrete bound on the fine uniformity of a space that combines a continuous core with a scattered discrete part. 5. Examples and Applications
To illustrate the sharpness and applicability of the bounds obtained in the previous sections, we now present several examples involving classical and non-metrizable spaces. These examples highlight how the weight of the fine uniformity is influenced by topological properties such as compactness, metrizability, discreteness, and the structure of derived sets.
Example 4. Let denote the Sorgenfrey line , i.e., the real line equipped with the lower limit topology. The fine uniformity on is strictly finer than the usual uniformity since is not metrizable, yet it is Tychonoff.
In this setting, we analyze the cardinal invariants involved in our main theorem:
The density of is ;
The strong character at any point is ;
The weight of the fine uniformity equals ;
Our upper bound yields , which is sharp.
Example 5. Let with the usual topology. The fine uniformity on X is strictly finer than the uniformity induced by the usual metric. However, since X is completely metrizable and countable, we find that (Figure 1). This diagram provides a visual comparison of three uniformities on a topological space: the minimal uniformity , the metric uniformity , and the fine uniformity . Each arrow indicates an inclusion, with uniformities becoming progressively finer from left to right. The figure highlights that contains more structure than both and , which plays a crucial role in analyzing their respective weights.
Example 6. Consider the ordinal space with the order topology. The fine uniformity on X is not metrizable, and the non-isolated points form a closed uncountable set. In this case, our bound reflects the size of the non-isolated part and gives (Figure 2). This figure illustrates an initial segment of , where the early points are isolated. The portion on the right represents the derived set (i.e., the non-isolated limit points). It highlights how this structure influences the fine uniformity, particularly in determining its weight.
Although is first-countable and locally compact, it is not metrizable and its derived set is uncountable, which causes the weight of the fine uniformity to be uncountable as well.
Example 7. Let , the remainder of the Stone–Čech compactification. The fine uniformity here reflects the compact non-metrizable nature of the space. Our bound shows that is tightly controlled by the character of points in (Figure 3). 6. Conclusions
In this paper, we have investigated the problem of estimating the uniform weight of a Tychonoff space X equipped with its fine uniformity. Building upon previous results that connect uniform weights with cozero sets and cardinal functions, we have established a variety of upper bounds for in terms of the cardinal and strong cardinal invariants associated with the diagonal in extensions of .
We have shown that under several natural conditions such as pseudocompactness, paracompactness, or -embedding, the fine uniform weight can be effectively bounded by functions involving and the pseudocharacter of . Our main result offers a general upper bound that depends on the fine weights of closed subspaces and on the existence of L-local bases of small cardinality.
These findings contribute to the broader classification of uniform spaces by their intrinsic cardinal invariants and clarify the connections between fine uniformities, topological completeness, and function-theoretic structures. Several open questions remain, particularly regarding whether holds in full generality, which invites further exploration in future work.