Next Article in Journal
Observer-Based Exponential Stability Control of T-S Fuzzy Networked Systems with Varying Communication Delays
Previous Article in Journal
Correction: Bai et al. A Study on q-Starlike Functions Connected with q-Extension of Hyperbolic Secant and Janowski Functions. Mathematics 2025, 13, 2173
Previous Article in Special Issue
Defining New Structures on a Universal Set: Diving Structures and Floating Structures
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

An Upper Bound for the Weight of the Fine Uniformity

1
Departamento de Ciencias Naturales y Exactas, Universidad de la Costa, Barranquilla 080002, Colombia
2
Programa de Matemáticas, Universidad del Atlántico, Barranquilla 080002, Colombia
3
Facultad de Ciencias Básicas y Biomédicas, Vicerrectoría de Investigación, Universidad Simón Bolívar, Barranquilla 080002, Colombia
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(15), 2511; https://doi.org/10.3390/math13152511
Submission received: 2 July 2025 / Revised: 24 July 2025 / Accepted: 28 July 2025 / Published: 5 August 2025
(This article belongs to the Collection Topology and Foundations)

Abstract

If ( X , U ) is a Hausdorff uniform space, we define the uniform weight  w ( X , U ) as the smallest cardinal κ such that U has a basis of cardinality κ . An important topological cardinal of a Tychonoff space X is the number of cozero sets of X, which we denote as z ( X ) . It is known that w ( X , U ) z ( X × X ) for every compatible uniformity U of X. We do not know if z ( X × X ) can be replaced by z ( X ) . We concentrate ourselves in w ( X , U n ) , where U n is the fine uniformity of X, i.e., the one having the family of normal covers as a basis. We establish upper bounds for w ( X , U n ) using the character and pseudocharacter in extensions of X × X or using the cardinal z ( X ) . We also find some generalizations of the equivalence: w ( X , U n ) = 0 if and only if X is metrizable and the set of non-isolated points of X is compact.
MSC:
54E15; 54E20; 54D20; 54D35; 54D80; 54C50

1. Introduction

The study of uniform structures offers a powerful framework for extending topological concepts beyond mere continuity. Among these, the fine uniformity  U n 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  w ( X , U ) , defined as the smallest cardinality of a basis for the uniformity U [2]. When considering the fine uniformity U n , estimating w ( X , U n ) becomes a nuanced problem with deep ties to the structure of cozero sets and cardinal functions.
It is known that for any compatible uniformity U on X, we have the inequality w ( X , U ) z ( X × X ) , where z ( X ) denotes the cardinality of the family of cozero sets in X [2]. Whether z ( X × X ) can be replaced by z ( X ) 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 w ( X , U n ) and develop upper bounds involving cardinal invariants such as the pseudocharacter ψ f ( Δ ( X ) , X × β X ) and strong character χ f ( Δ ( X ) , X × β X ) [2]. These bounds are obtained by analyzing the structure of the diagonal Δ ( X ) in compactifications of X × X and by leveraging classical tools from the theory of uniform spaces and cardinal functions [1,5].
We also generalize the classical result stating that w ( X , U n ) = 0 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 ( X , U n ) can be effectively bounded in terms of strong cardinal invariants of Δ ( X ) in compactifications of X × X , as well as in terms of the cardinal z ( X ) , 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 A X , the star of A concerning α , denoted as St ( A , α ) , is defined as the union of all elements of α that intersect A. When A is a singleton { p } , we simply write St ( p , α ) instead of St ( { p } , α ) .
A uniformity basis  U on a set X is a family of covers of X satisfying the following condition:
(U)
If α , β U , there exists a cover γ U such that
γ * = { St ( C , γ ) : C γ }
refines both α and β (i.e., γ * α and γ * β ).
This condition is equivalent to the following:
(U′)
If α , β U , then there exists a cover ξ U such that
ξ Δ = { St ( x , ξ ) : x X }
refines both α and β (i.e., ξ Δ α and ξ Δ β ).
A uniformity basis U is said to be a uniformity on X if for any cover α U and any cover γ of X such that α γ , it follows that γ U .
Every uniformity basis U on X induces a uniformity U s defined by
U s = { γ : α γ for some α U } .
Two uniformity bases U and V on X are said to be equivalent (denoted U V ) if they determine the same uniformity; that is, U s = V s .
A uniform space is a pair ( X , U ) consisting of a set X and a uniformity U on it.
Every uniformity basis U on X defines a topology τ U as follows: a set V X belongs to τ U if for every x V there exists α x U such that St ( x , α x ) V . The basis U is called open if every α U is contained in τ U .
It is evident that if U 1 U 2 , then τ U 1 = τ U 2 . However, the converse does not hold in general. For instance, the collections U 0 and U ω of finite and countable open covers of the real line R , respectively, both determine the standard topology of R , yet they are not equivalent.
A uniformity basis U on X is said to be compatible with a topology τ on X if τ = τ U .
The topology τ U induced by any uniformity basis U is always completely regular (see [5], 8.1.20). However, τ U may fail to be T 1 . A necessary and sufficient condition for τ U to be T 1 is
{ p } = α U St ( p , α ) for every p X .
Moreover, every uniformity basis U on X is equivalent to an open uniformity basis V (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) G α , the union { G : G G } 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 τ U = τ U .
An open cover α is called normal if there exists a sequence of open covers α n such that α 1 Δ < α and α n + 1 Δ < α n 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 U n , 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 φ : ( X , U ) ( Y , V ) between uniform spaces is uniformly continuous if for every β V , there exists α U such that α < φ 1 ( β ) : = { φ 1 ( B ) : B β } .
  • The weight  w ( X , U ) of a uniform space ( X , U ) is the smallest cardinality of a base for the uniformity.
Definition 1.
Let A H X . We say that H is a strong neighborhood of A if there exists a zero set K X and a cozero set D X such that A K D H .
A family { V i : i J } 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 V i W . 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  χ f ( A , X ) is defined as the minimal cardinal κ such that A has a strong local basis of cardinality κ .
  • The strong pseudocharacter  ψ f ( A , X ) 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 A X , we have χ f ( A , X ) χ ( A , X ) , where χ ( A , X ) denotes the usual character of A in X. However, in normal spaces, every neighborhood of A contains a strong neighborhood, and hence χ f ( A , X ) = χ ( A , X ) .
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  N , i.e., the upper half-plane R × [ 0 , ) 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 ( x , 0 ) . This space is regular but not normal.
Let A = { ( 0 , 0 ) } N . Then,
χ ( A , N ) = 0 ,
since A has a countable local base. However, it can be shown that
χ f ( A , N ) > 0 ,
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  d ( X ) , tightness  t ( X ) , cellularity  c ( X ) , and spread  s ( X ) . See [5] for standard definitions.
We know from (see [2], 2.1) that ψ f ( Δ ( X ) , X × β X ) coincides with
min { ω ( X , U ) :   U compatible uniformity on X } .
If A X , A * denotes the union of closure in β X of zero sets in X contained in A. Clearly, A * = C l β X A is a zero set in X and A * B * whenever A B . We always have ( A B ) * = A * B * for arbitrary sets A , B X and ( A B ) * = A * B * 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
E ( α ) = { L × L * : L α }
Clearly, E ( α ) is a neighborhood of the diagonal
Δ ( X ) = { ( x , x ) : x X }
in X × β X 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 β ( X × β X ) of X × X , and Theorem 2, where we prove that this weight does no exceed the cardinality z ( X ) of the family of all cozero sets when X is pseudocompact. We still ignore whether there exists a topologically complete space X where ω ( X , U n ) > z ( X ) .
We start this section with a Lemma. For a proof, see [4], 2.1.
Lemma 1.
Let V X × β X . Then V is a strong neighborhood of Δ ( X ) in X × β X if and only if there exists a normal cover α of X such that E ( α ) V .
From this lemma, we deduce the following:
Theorem 1.
ω ( X , U n ) = χ f ( Δ ( X ) , X × β X ) .
Proof. 
Let κ = ω ( X , U n ) . Let β = { α i : i < κ } be a basis of U n consisting of cozero covers. For each i < κ , let V i = E ( α i ) . We know fron (1) that each V i is a strong neighborhood of Δ ( X ) and that { V i : i < κ } is a strong local basis of Δ ( X ) in X × β X . Therefore, χ f ( Δ ( X ) , X × β X ) ω ( X , U n ) . On the other hand, if { W i : i < λ } is a strong local basis of Δ ( X ) in X × β X and for each i < λ , α i is a normal cozero cover on X such that E ( α i ) W i , then { α i : i < λ } is a basis of U n . Indeed, if α is any normal cover of X and γ is a normal cozero cover such that γ Δ < α , then E ( γ ) is a strong neighborhood of Δ ( X ) in X × β X . Therefore, W i E ( γ ) for some i < λ and E ( α i ) E ( γ ) . This implies α i Δ < γ Δ . Finally, α i < α i Δ < γ Δ < α and ω ( x , U n ) χ f ( Δ ( X ) , X × β X ) . □
Corollary 1.
If X is paracompact, then ω ( X , U n ) = χ ( Δ ( X ) , X × β X ) .
Proof. 
If H is a closed set in a normal space Z, then every neighborhood of H is a strong neighborhood of H. Hence, χ ( H , Z ) = χ f ( H , Z ) . We therefore use the fact that X × β X is a normal space (see [1], 4.55). □
Corollary 2.
If X is compact, then ω ( X , U n ) = ψ ( Δ ( X ) , X × X ) . (In this case, U n is the only compatible uniformity on X.)
Lemma 2.
Let A be a closed subset of X and let { V i : i J } be a strong local basis of A in X. Then { V i * : i J } = C l β X A and hence, the pseudocharacter of C l β X A in β X coincides with χ f ( A , X ) .
Proof. 
For each i J , there exists a zero set H i X and a cozero set D i X such that
A H i D i V i .
Therefore,
C l β X A C l β X H i = H i * D i * V i *
and we must have C l β X A { V i * : i J } . If ξ β X C l β X A , there exists a cozero set T X and a zero set K X such that ξ C l β X K = K * and K T X A . Therefore, A X T X K . Select i J such that V i X K . Therefore, V i * K * = . Since ξ K * , we deduce that ξ V i * . Consequently, i J V i * C l β X A and C l β X A = i J V i * . Conversely, let W i ( i J ) be an open neighborhood of C l β X A in β X such that C l β X A = { W i : i J } . We shall prove that { W i X : i J } is a strong local basis of A in X. Let T be any strong neighborhood of A in X. Therefore, A and X T are completely separated in X or, equivalently, there exists H X , a zero set, and D X , a cozero set, such that A H D T . Hence, C l β X A C l β X H = H * D * T * . Since { W i : i J } is a local basis of C l β X A in β X (because β X is compact), there exists an index i J such that W i D * . Therefore, W i X D * X = D T , and the proof is complete. □
Combining previous results, we obtain the following:
Corollary 3.
ω ( X , U n ) = ψ ( C l β ( X × β X ) Δ ( X ) , β ( X × β X ) ) .
For every space X, we shall denote by z ( X ) 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 z ( X × X ) . Of course, z ( X ) z ( X × X ) , but the authors still ignore whether ω ( X , U n ) z ( X ) .
If X is compact, there exists only one compatible uniformity U of X and its weight is not greater than the topological weight ω X (see [2], 3.7 and 3.8). In fact, if X compact and infinite, then ω ( X , U ) = ω X z ( X ) .
A filter F in a uniform space ( X , U ) is a U -Cauchy filter if F α for every α U . A uniform space ( X , U ) is complete if every U -Cauchy filter on X converges.
The space ( Y , V ) is a completion of the uniform space ( X , U ) if ( Y , V ) is complete and ( Y , V ) has a dense subspace unimorphic to ( X , U ) . Two uniform spaces ( X , U ) and ( Y , V ) are unimorphic if there exists a bijection ψ : X Y such that ψ : ( X , U ) ( Y , V ) and ψ 1 : ( Y , V ) ( X , U ) are both uniformly continuous.
It is important to remember that every uniform space ( X , U ) has a canonical completion ( X ^ , U ^ ) such that every other completion of ( X , U ) is unimorphic to ( X ^ , U ^ ) (see [2], 7.28 and [7], 3.7). In fact, we can assign to each cover α U an open cover α ^ of ( X ^ , U ^ ) (A may not be open), and this assignment respects refinements. i.e., α < β implies α ^ < β ^ . A basis for U ^ is precisely the family of covers { α ^ : α U } . Hence, if β is a basis for U , then the following is applied:
Recall a uniform space is totally bounded if it has a basis consisting of finite covers.
Theorem 2.
Let U be a totally bounded compatible uniformity on a space X. Then,
ω X ω ( X , U ) = ( X ^ , U ^ ) = ω X ^ = ω β X z ( X ) .
Hence, if X is pseudocompact, then ω ( X , U n ) z ( X ) .
Proof. 
Let ( X ^ , U ^ ) be the canonical completion of ( X , U ) . Since U ^ is complete and totally bounded, the space ( X ^ , τ U ^ ) is a compactification of X. Let φ : ( X , U ) ( Z , U ^ | Z ) be a unimorphism of ( X , U ) onto a dense subspace Z of ( X ^ , U ^ ) . Let φ ˜ : β X X ^ be the Stone extension of φ . Since ω X ^ ω β X (see [5], 3.7.19), we conclude that
ω ( X , U ) = ω ( X ^ , U ^ ) = ω X ^ ω β X z ( X ) .
Another example of a compatible uniformity on a space X whose weight is ≤ z ( X ) is Hewitt’s uniformity, i.e., the uniformity U ω on X which has as a basis the family of all countable cozero covers of X. Since there exists at most z ( X ) ω countable cozero covers of X and since z ( X ) ω = z ( X ) (see [8]), we conclude that ω ( X , U ω ) z ( X ) .
A set A X is C-discrete (with respect to X) if for every a A there exists a cozero set U a such that a U a and such that the family { U a : a A } is discrete (with respect to X), that is, such that every x X has a neighborhood which intersects, at most, one set U a .
Let A X be closed. A family G of cozero neighborhoods of A is an L-basis at A if every cozero neighborhood of A contains an element of G .
The pseudocompactness degree of a space X is defined by
p X = sup { | A | : A is C - discrete respect to X } .
The alternative pseudocompactness degree  p X of a space X is defined as p X if there do not exist C-discrete subsets of cardinality p X and as ( p X ) + if there does exist a C-discrete subset of cardinality p X .
Remark 3.
If X is metrizable, then | X | ( p X ) 0 .
We shall denote by coz X the family of all cozero subsets of X. A subset L X is said to be Z-embedded in X if every relative zero set H L is the intersection of L with a zero set H 1 of X.
We need the following standard results. Their proofs are presented in [1], 4.42, and in [9], using the fact that z ( X ) coincides with | C ( X ) | .
Lemma 3.
Let { U i : i J } be a locally finite family of cozero subsets of X. For each i J , let H i be a zero set in X contained in U i . Then H = { H i : i J } is also a zero set in X and U = { U i : i J } is a cozero set in X.
Theorem 3.
(a) 
z ( L ) z ( X ) for every Z-embedded subset L X ;
(b) 
If L X is Z-embedded and discrete, then 2 | L | z ( X ) . In particular, if X is infinite, then 2 0 z ( X ) ;
(c) 
If L X is discrete and infinite, then | L | 0 z ( X ) ;
(d) 
For every infinite space X, ( ω X ) 0 z ( X ) ( ω X ) L ( X ) , where L ( X ) denotes the Lindelöf degree of X;
(e) 
If X is infinite and its realcompactification ν X is Lindelöf, then z ( X ) = ( ω ( ν X ) ) 0 .
(f) 
If X is infinite and γ is an infinite cardinal number such that γ p X , then 2 γ z ( X ) ( z ( X ) ) γ z ( X × X ) .
Proof. 
We prove only (d), (e) and (f).
(d)
Observe ω X ω β X z ( X ) . Using the equation z ( X ) = z ( X ) 0 (see [8]), we obtain ( ω X ) 0 z ( X ) . To prove the inequality z ( X ) ( ω X ) L ( X ) , take any basis B of X consisting of cozero sets and having cardinality ω X .
Since for every cozero set U X , L ( U ) L ( X ) , we deduce that every cozero set of X is the union of at most L ( X ) members of B . Hence z ( X ) ( ω X ) L ( X ) .
(e)
Since the correspondence H Cl ν X H establishes a bijection between the collection of zero sets of X and the collection of zero sets of ν X (see [10], 8.8. (b)), we deduce that z ( X ) = z ( ν X ) . Now apply (d).
(f)
Let { U i : i < γ } be a cozero discrete family in X of cardinality γ ( U i for every i < γ ). Considerer an arbitrary function φ : γ coz ( X ) . For each i < γ , φ ( i ) × U i is a cozero subset of X × X which is obviously contained in the cozero set X × U i . Let
S ( φ ) = { φ ( i ) × U i : i < γ } .
Since the family { φ ( i ) × U i : i < γ } is discrete with respect to X × X , the previous lemma implies that S ( φ ) is a cozero set in X × X .
In addition, if φ , ψ : γ coz ( X ) and φ ψ , then S ( φ ) S ( ψ ) . Since there exists ( z ( X ) ) γ such maps, we conclude that ( z ( X ) ) γ z ( X × X ) . To prove that 2 γ z ( X ) , take an arbitrary subset B γ . Define U ( B ) = { U i : i B } . It is clear that B B implies U ( B ) U ( B ) . Since, according to the previous lemma, each U ( B ) is a cozero set in X, we deduce that 2 γ z ( X ) .
The metrizability degree  me ( X ) of a space X is defined as the minimum cardinal number α such that X has a basis B which is the union of α locally finite cozero subfamilies in X.
Lemma 4.
If ω X 0 , then ω X = p X · me ( X ) .
Proof. 
Let α = me ( X ) and let B be a basis of X, of cardinality ω X , which is the union of α locally finite cozero families B i ( i < α ). Clearly, α ω X . In any space, we have p X ω X . Therefore, p X · me ( X ) ω X . On the other hand,
ω X = | B | me ( X ) · sup { | B i | : i < α } me ( X ) · p X .
Hence, ω X = p X · me ( X ) . □
Lemma 5.
(a) 
The family of all locally finite cozero irreducible covers of X is a basis for U n .
(b) 
Every normal cover V of a space X has a subcover V 0 such that | V 0 | < p X .
Proof. 
(a)
Use the following facts:
  • Every normal cover of X has a locally finite cozero refinement;
  • Every locally finite cozero cover of X has an irreducible subcover ([5], 5.3.1). We complete the proof observing that every locally finite cozero cover is normal.
(b)
Let W be a precise locally finite cozero refinement of V (see [7], 4.41.1 and 4.43). According to ([5], 5.3.1), W has an irreducible subcover W 0 , but the cardinality of such a cover has to be less than p X because there exists a C-discrete set A X such that | A | = | W | (see [11], 2.5). For each T 0 W 0 , select V T V such that T V T . Clearly, V 0 = { V T : T W 0 } is the desired subcover.
Corollary 4.
If X is paracompact, then p X = L ( X ) .
Proof. 
Clearly, p X L ( X ) . Using the lemma 5, we deduce that L ( X ) p X . □
Lemma 6.
In every space X, | X | ( p X ) me ( X ) .
Proof. 
It is enough to consider the case where X in non-discrete. Let B be a basis of X which is the union of α locally finite cozero families B i ( i < α ). For each i < α , let γ i = | B i | . Clearly, γ i < p X for each i < α . It is obvious that for each i < α , there exist at most 0 γ i finite subcollections of B i . Therefore, there exist at most i < α γ i sequences ( G i ) i < α , where G i is a finite subcollection of B i for each i < α . For each x X , let G i x be the subcollection of B i consisting of all elements containing x (possibly G i x = ). Since each B i is locally finite, we deduce that each G i x is finite. The correspondence x ( G i x ) i < α is clearly injective. Hence, | X | i < α γ i ( p X ) me ( X ) . □
We conclude this section with a theorem and corollary.
Theorem 4.
(a) 
In any space X,
ω ( X , U n ) γ < p X ( z ( X ) ) γ .
(b) 
If X is paracompact, then
ω ( X , U n ) γ < p X ( ω ( X ) ) γ .
Hence, if X is metrizable, then
ω ( X , U n ) γ < p X ( p X ) γ .
(c) 
If X is the perfect pre-image of a metrizable space Y (i.e., if X is p-paracompact), then
ω ( X , U n ) γ < p X ( n ( X ) ) γ γ < p X ( ω k ( X ) · p X ) γ ,
where n X is the net-weight of X and ω k X = sup { ω K : K X , K compact } .
(d) 
If X is paracompact, then ω ( X , U n ) ( ω ( X ) ) L ( X ) .
(e) 
If X is Lindelöf, then ω ( X , U n ) ( ω ( X ) ) 0 ( z ( X ) ) 0 z ( X ) .
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 U n .
(b)
Let B be a basis of X of cardinality ω X . We know every open cover of X has a refinement consisting of elements of B . Using the previous lemma, we deduce that the family of covers of X, of cardinality < p X , and consisting of elements of B , is a basis for the fine uniformity of X. For the last part, if X is metrizable, then p X = ω ( X ) .
(c)
The inequality is obvious if p X = 0 , i.e., if X is pseudocompact (because this extra condition implies that X is compact, and hence ω ( X ) = n ( X ) = ω k ( X ) ). Assume then that p X > 0 . Let φ : X Y be a perfect map onto the metrizable space Y. It is clear that p X = p Y and p X = p Y . In each fiber φ 1 ( y ) , let G y be a basis for the relative topology. Clearly, G = { G y : y Y } is a net for X of cardinality ω k ( X ) · | Y | . According to | Y | ( p Y ) 0 , we conclude that ω ( X ) = n ( X ) ω k X · ( p X ) 0 . Because p X > 0 , we may restrict γ to cardinals 0 . Therefore, ( ω k ( X ) · ( p X ) 0 ) γ = ( ω k ( X ) · p X ) γ and the proof is complete.
(d)
By (b), we know that
ω ( X , U n ) γ < p X ( ω ( X ) ) γ .
Since γ < p X implies that γ p X L ( X ) , each term ( ω ( X ) ) γ ( γ < p X ) is ( ω X ) L ( X ) . Since there are p X ( p X ) + 2 p X 2 L ( X ) such terms, we conclude that
ω ( X , U n ) 2 L ( X ) · ( ω X ) L ( X ) = ( ω ( X ) ) L ( X ) .
(e)
Replace L ( X ) with 0 and recall that ω ( X ) z ( X ) .
Corollary 5.
If X is pseudocompact, then ω ( X , U n ) ω β X z ( X ) .
Proof. 
It is enough to observe that U n U 0 , where U 0 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 X K . 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
ω ( X , U n ) = 0 .
We first recall some definitions:
A subset K X is C 1 -embedded in X if for every zero set L in X disjoint from K, there exists a zero set H X such that K H X L .
Let A X be a closed set. A family G of cozero neighborhoods of A is an L-local basis at A if every cozero neighborhood of A contains an element of G .
Let α = { A i : i J } be a cover of a set X. A rearrangement of α is a cover β = { B k : k K } such that there exists a partition { J k : k K } of J and B k = { A i : i J k } for every k K .
Since each partition of J determines a unique map λ : J J (order J and for each j J define λ ( j ) as the first element of J k , where j J k ), α has exactly 2 γ rearrangements.
Lemma 7.
Let B , B be open bases of a uniform space ( X , U ) . If | B | = γ 0 , then B contains a basis B for U such that | B | γ .
Proof. 
For each α B , pick a normal sequence α = α 1 , α 2 , α 3 , , such that α n B for each odd n and α n B for each even n. Varying α over B and taking
B = { α 2 k : α B , k N } ,
it is clear that B B , | B | 0 γ = γ .
In addition, B is a basis for the same uniformity U (see [11]). □
We prove now the main result of this paper.
Theorem 5.
Suppose K X is closed and C 1 -embedded in X. Let a , b be infinite cardinal numbers. Suppose the following:
1. 
Both cardinals ω ( K , U n ) and ω ( X K , U n ) are a ;
2. 
Each relative zero set A K has an L-local basis (respect to X) of cardinality b . Then
ω ( X , U n ) a i < p ( K ) b i .
Proof. 
Let A and A be the bases for the uniformities of K and X K , respectively, such that | A | a and | A | a . According to Lemmas 5 and 7, we may suppose that each cover in A (or A ) is cozero, locally finite, and irreducible with respect to K (or X K ). For each ε A , pick a precise refinement ε which is a strongly zero cover of K. According to the hypothesis, | ε | | ϵ | < p ( K ) . For each rearrangement ε of ε and each H ε , let { V i H : i < β H } be an L-local basis of H respect to X. According to condition (2), we may suppose that each cardinal has 2 | ε | elements. Given a cozero, locally finite, irreducible cover ε 0 of X, order the elements { U i : i < γ } of ε 0 which intersect K and select a refinement ε A of { U i K : i < γ } . For each i < γ , let H i be the union of elements of ε which are contained in U i but not in U j for j < i . It is clear then that ε = { H i : i < γ } is a rearrangement of ε and, therefore, | ε | 2 | ε | i < p ( K ) 2 i . For each selective map φ : ε b , where ε φ ( H i ) < β H for each H ε , H i and V φ ( H i ) H i U i , consider the cozero cover of K:
λ ( ε , φ ) = { V φ ( H ) H : H ε } .
The set
W ( ε , φ ) = { V φ ( H i ) H i : H i ε , H i } ;
is cozero in X and the family λ ( ε , φ ) is locally finite in X because V φ ( H i ) H i U i , and the cover ε 0 is locally finite in X. Since K is C 1 -embedded in X, there exist zero sets K 1 ( ε , φ ) , K 2 ( ε , φ ) in X and a cozero set D ( ε , φ ) in X such that
K K 1 ( ε , φ ) D ( ε , φ ) K 2 ( ε , φ ) W ( ε , φ ) .
Now select a cover δ A and define
λ ( ε , φ , δ ) = λ ( ε , φ ) { D K 2 ( ε , φ ) : D W ( ε , φ ) , D δ } .
Each set D K 2 ( ε , φ ) is cozero set in X (because it is a relative cozero set in the cozero set X K 1 ( ε , φ ) ) and the family
{ D K 2 ( ε , φ ) : D W ( ε , φ ) , D δ }
is locally finite with respect to X because the closure in X of the union of the element of this family is contained in X D ( ε , φ ) , and, therefore, each element of K has a neighborhood (namely, D ( ε , φ ) ) which intersects no element of this family. Since each ε has at most γ < p ( K ) 2 γ rearrangements and because there exist at most β γ selective maps φ : ε β , where γ = | ε | , we deduce that there exist at most a γ < p ( K ) b γ covers of the form λ ( ε , φ , δ ) which, evidently, constitute a basis for the fine uniformity of X. □
Corollary 6.
Let K X be closed and C 1 -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,
ω ( X , U n ) a 1 a 2 b γ ,
where a 1 , a 2 are the weights of the fine uniformities of K, X K , respectively, and b as in Theorem 5.
Corollary 7.
Let K X be pseudocompact closed subset of X. Then,
ω ( X , U n ) a 1 a 2 b ,
where a 1 , a 2 are as in Corollary 6 and b is as in Theorem 5.
Proof. 
We just have to observe that each pseudocompact subset of X is C 1 -embedded in X. (See [3], 2.2.) □
Corollary 8.
Let K X be compact and let X be C ˇ ech-complete. Then,
ω ( X , U n ) ω K · a 2 ,
where a 2 is as in Corollary 6. (In this case, b = 0 .)
Corollary 9.
Let K be a compact subset of a completely metrizable space X such that each component of X K 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,
ω ( X , U n ) = 0 s ,
where s = 1 if X K is discrete, and
s = L : L is a non - degenerate component of X K
otherwise.
This result illustrates how the structure of the complement X K governs the weight of the fine uniformity U n on X. When the complement is discrete, all components are isolated singletons, so the contribution to the weight remains countable. However, if X K contains non-degenerate components (i.e., components with more than one point), each such component contributes an independent source of uniform complexity. The formula ω ( X , U n ) = 0 s 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 X = n N C n , where each C n is a copy of the unit circle S 1 endowed with the usual topology, and suppose the C n s are disjointed, compact, and open in X. Let K = { x n } n N with x n C n a fixed point in each circle. Then, K is compact, X is completely metrizable, and X K = n N ( C n { x n } ) consists of non-degenerate compact open components. Hence,
ω ( X , U n ) = 0 0 .
Corollary 10.
Let X be a metrizable space whose derived set X a is compact (see [6], Theorem 2.33). The derived set  X a 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, X a consists of all non-isolated points of X. Then,
ω ( X , U n ) = 0 .
Proof. 
In this situation, X happens to be completely metrizable. □
This result shows that the fine uniformity U n on a metrizable space X remains countably generated whenever the accumulation set X a is compact. Intuitively, the uniform complexity of X is controlled by the “limit behavior” of sequences, which is entirely captured by the compact set X a . Since outside X a the space consists of isolated points, the fine structure can be described using only countably many continuous functions, and hence the weight is 0 .
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 X = Q { 0 } as a subspace of R with the usual topology. Then, X is metrizable, and its derived set is X a = { 0 } , which is compact. According to Corollary 10, we obtain
ω ( X , U n ) = 0 .
More generally, if X is any countable dense subset of a compact metric space (e.g., the set of rational points in [ 0 , 1 ] n together with a finite set of limit points), the same conclusion applies.
Corollary 11.
Let K X be a closed and C 1 -embedded subset of X. If K is pseudo-Lindelöf (i.e., every normal cover of K has a countable subcover) and X K is discrete, then
ω ( X , U n ) z ( X ) .
Proof. 
In this case p X 1 , b z ( X ) and ( z ( X ) ) 0 = z ( X ) . □
This result establishes an upper bound for the weight of the fine uniformity in terms of the cozero set number z ( X ) , under a decomposition of X into a closed, functionally well-behaved core and a discrete remainder. The assumption that K is C 1 -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 X K is discrete, it contributes only a countable and easily controllable amount of additional uniform structure.
This corollary highlights how function-theoretic properties (like C 1 -embeddedness) and covering properties (such as pseudo-Lindelöfness) can constrain the complexity of the uniform structure on the entire space.
Example 3.
Let K = R with the usual topology, and let X = R D , where D = { x n : n N } is a countable discrete set disjoint from R , and define the topology on X such that R retains its usual topology, D is discrete and open, and every continuous function on R extends continuously over X.
Then, K = R is closed and C 1 -embedded in X, pseudo-Lindelöf (since R is Lindelöf), and X K = D is discrete. Hence, according to Corollary 11,
ω ( X , U n ) z ( X ) .
In this case, since z ( X ) = z ( R ) = c (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 R denote the Sorgenfrey line , i.e., the real line equipped with the lower limit topology. The fine uniformity U f on R is strictly finer than the usual uniformity since R is not metrizable, yet it is Tychonoff.
In this setting, we analyze the cardinal invariants involved in our main theorem:
  • The density of R is 0 ;
  • The strong character at any point is 0 ;
  • The weight of the fine uniformity w ( X , U f ) equals 2 0 ;
  • Our upper bound yields w ( X , U f ) 2 0 , which is sharp.
Example 5.
Let X = Q with the usual topology. The fine uniformity U n on X is strictly finer than the uniformity induced by the usual metric. However, since X is completely metrizable and countable, we find that w ( X , U n ) = 0 (Figure 1).
This diagram provides a visual comparison of three uniformities on a topological space: the minimal uniformity U min , the metric uniformity U metric , and the fine uniformity U n . Each arrow indicates an inclusion, with uniformities becoming progressively finer from left to right. The figure highlights that U n contains more structure than both U metric and U min , which plays a crucial role in analyzing their respective weights.
Example 6.
Consider the ordinal space X = [ 0 , ω 1 ) 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 w ( X , U n ) = ω 1 (Figure 2).
This figure illustrates an initial segment of [ 0 , ω 1 ) , 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 [ 0 , ω 1 ) 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 X = β N N , the remainder of the Stone–Čech compactification. The fine uniformity here reflects the compact non-metrizable nature of the space. Our bound shows that w ( X , U n ) is tightly controlled by the character of points in β N N (Figure 3).

6. Conclusions

In this paper, we have investigated the problem of estimating the uniform weight w ( X , U n ) 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 w ( X , U n ) in terms of the cardinal z ( X ) and strong cardinal invariants associated with the diagonal Δ ( X ) in extensions of X × X .
We have shown that under several natural conditions such as pseudocompactness, paracompactness, or C 1 -embedding, the fine uniform weight can be effectively bounded by functions involving z ( X ) and the pseudocharacter of Δ ( X ) . 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 w ( X , U n ) z ( X ) holds in full generality, which invites further exploration in future work.

Author Contributions

Conceptualization, M.G.; Formal analysis, J.C., M.G. and A.P.; Investigation, J.C., M.G. and A.P.; Writing—original draft, J.C. and M.G.; Methodology, A.P.; Writing—review & editing, A.P. All authors have read and agreed to the published version of the manuscript.

Funding

The last author was supported by Vicerrectoría de Investigación e Innovación de la Universidad Simón Bolivar (sede de Barranquilla).

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Acknowledgments

The authors would like to thank the reviewers for their many useful suggestions, which have been incorporated into and have improved the original text.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. García-Máynez, A.; Tamariz Mascarúa, A. Topología General; Editorial Porrúa S.A.: Ciudad de México, México, 1988. [Google Scholar]
  2. García-Máynez, A. Pseudocharacters and uniform weights. Bol. Soc. Mat. Mex. 1977, 3, 165–173. [Google Scholar]
  3. García-Máynez, A. Generalizations of the concepts of closed function and C-embedded set. An. Inst. Mat. UNAM 1984, 24, 13–35. [Google Scholar]
  4. García-Máynez, A. Normal covers and separation. An. Inst. Mat. Univ. Nac. Autón. Méx. 1989, 29, 1–16. [Google Scholar]
  5. Engelking, R. General Topology; Heldermann: Berlin, Germany, 1989. [Google Scholar]
  6. Fletcher, P.; Lindgren, W. Quasi Uniform Spaces; Marcel Dekker. Inc.: New York, NY, USA, 1982. [Google Scholar]
  7. García-Máynez, A.; Pimienta Acosta, A. Completion of pre-quasi-uniform spaces. Topol. Appl. 2017, 221, 491–500. [Google Scholar] [CrossRef]
  8. Douwen, E.V.; Zhou, H. The number of cozero-sets is an ω-power. Top. Its Appl. 1989, 33, 115–126. [Google Scholar] [CrossRef]
  9. Alas, O.; Comfort, W.; García Ferreira, S.; Henriksen, M.; Wilson, R.; Woods, R. When is |C(X×Y)|=|C(X)||C(Y)|? Houston J. Math. 2000, 26, 83–115. [Google Scholar]
  10. Gillman, L.; Jerison, M. Rings of Continuous Functions; Springer: New York, NY, USA, 1976. [Google Scholar]
  11. García-Máynez, A.; Pimienta Acosta, A. Unibasic spaces and transitive quasi-proximities. Appl. Gen. Topol. 2017, 18, 23–30. [Google Scholar] [CrossRef]
Figure 1. As shown in Figure 1, the inclusion U min U metric U n illustrates the hierarchy among uniformities.
Figure 1. As shown in Figure 1, the inclusion U min U metric U n illustrates the hierarchy among uniformities.
Mathematics 13 02511 g001
Figure 2. As illustrated in Figure 2, the space [ 0 , ω 1 ) consists of an initial segment of isolated points and an uncountable derived set.
Figure 2. As illustrated in Figure 2, the space [ 0 , ω 1 ) consists of an initial segment of isolated points and an uncountable derived set.
Mathematics 13 02511 g002
Figure 3. As illustrated in Figure 3, the compactification β N consists of the discrete part N and the non-principal remainder β N N .
Figure 3. As illustrated in Figure 3, the compactification β N consists of the discrete part N and the non-principal remainder β N N .
Mathematics 13 02511 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Cuadro, J.; Gary, M.; Pimienta, A. An Upper Bound for the Weight of the Fine Uniformity. Mathematics 2025, 13, 2511. https://doi.org/10.3390/math13152511

AMA Style

Cuadro J, Gary M, Pimienta A. An Upper Bound for the Weight of the Fine Uniformity. Mathematics. 2025; 13(15):2511. https://doi.org/10.3390/math13152511

Chicago/Turabian Style

Cuadro, Johnny, Margarita Gary, and Adolfo Pimienta. 2025. "An Upper Bound for the Weight of the Fine Uniformity" Mathematics 13, no. 15: 2511. https://doi.org/10.3390/math13152511

APA Style

Cuadro, J., Gary, M., & Pimienta, A. (2025). An Upper Bound for the Weight of the Fine Uniformity. Mathematics, 13(15), 2511. https://doi.org/10.3390/math13152511

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Article metric data becomes available approximately 24 hours after publication online.
Back to TopTop