Next Article in Journal
A Class of BCI-Algebra and Quasi-Hyper BCI-Algebra
Next Article in Special Issue
A Distinguished Subgroup of Compact Abelian Groups
Previous Article in Journal
Statistical Convergence via q-Calculus and a Korovkin’s Type Approximation Theorem
Previous Article in Special Issue
Series with Commuting Terms in Topologized Semigroups
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Bounded Sets in Topological Spaces

Departament de Matemàtiques, Campus de Riu Sec, Universitat Jaume I, 12071 Castelló, Spain
*
Author to whom correspondence should be addressed.
All authors have contributed equally to this work.
Dedicated to Professor María Jesús Chasco.
Axioms 2022, 11(2), 71; https://doi.org/10.3390/axioms11020071
Submission received: 14 December 2021 / Revised: 1 February 2022 / Accepted: 4 February 2022 / Published: 10 February 2022

Abstract

:
Let G be a monoid that acts on a topological space X by homeomorphisms such that there is a point x 0 X with G U = X for each neighbourhood U of x 0 . A subset A of X is said to be G-bounded if for each neighbourhood U of x 0 there is a finite subset F of G with A F U . We prove that for a metrizable and separable G-space X, the bounded subsets of X are completely determined by the bounded subsets of any dense subspace. We also obtain sufficient conditions for a G-space X to be locally G-bounded, which apply to topological groups. Thereby, we extend some previous results accomplished for locally convex spaces and topological groups.
MSC:
22A05; 22D35; 22B05; 54H11; 54A25

1. Introduction and Basic Facts

The notion of a bounded subset is ubiquitous in many parts of mathematics, particularly in functional analysis and topological groups. Here, we approach this concept from a broader viewpoint. Namely, we consider the action of a monoid G on a topological space X and associate it with a canonical family of G-bounded subsets. This provides a very general notion of boundedness that includes both the bounded subsets considered in functional analysis and in topological groups. In this paper, we initiate the study of this new notion of G-bounded subset. Among other results, it is proved that for a metrizable and separable G-space X, the bounded subsets of X are completely determined by the bounded subsets of any dense subspace, extending results obtained by Grothendieck for metrizable separable locally convex spaces [1], generalized subsequently by Burke and Todorčević and, separately, Saxon and Sánchez-Ruiz for metrizable locally convex spaces [2,3] and by Chis, Ferrer, Hernández and Tsaban for metrizable groups [4,5]. We also obtain sufficient conditions for a G-space X to be locally G-bounded, which applies to topological groups. This also provides the frame for extending to this setting some results by Burke and Todorčević and, separately, Saxon and Sáchez-Ruiz (loc. cit.) for metrizable locally convex spaces. A different approach to the notion of the bounded set was given by Hejcman [6] and Hu [7], who studied this concept in the realm of uniform and even topological spaces. Vilenkin [8] applied this general approach in the realm of topological groups.

2. G -Spaces

Let X be a topological space and let G be a monoid, i.e, a semigroup with a neutral element, which will be denoted by e. A left action of G on X is a map π : G × X X satisfying that e x = x and g 1 ( g 2 x ) = ( g 1 g 2 ) x for all g 1 , g 2 G and x X , where as usual, we write g x instead of π ( g , x ) = π g ( x ) = π x ( g ) . A topological space X is said to be a (left) G-space if all translations π g : X X are homeomorphisms. We sometimes denote the G-space X by the pair ( G , X ) . Let G × X X and G × Y Y be two actions. A map f : X Y between G-spaces is a G-map if f ( g x ) = g f ( x ) for every ( g , x ) G × X . Given x X , its orbit is the set G x = { g x : g G } . Given A X , we define G A = { G x : x A } .
A right G-space ( X , G ) can be defined analogously. If G o p is the opposite semigroup of G with the same topology then ( X , G ) can be treated as a left G-space ( G o p , X ) (and vice versa).
We say that a point x X topologically generates a G-space X if for each neighborhood U of x we have G U = X . The set of generating points is denoted by X t g . We say that X is point-generated when X t g . We refer to [9] for unexplained topological definitions.

2.1. G-Boundedness

Let ( G , X ) be a point-generated G-space and let us fix a point x 0 X t g . We say that a set A X is ( G , x 0 ) -bounded (or G-bounded for short when there is no possible confusion) if for every neighborhood U of x 0 , there is a finite set F G such that A F U . The set B ( G , X , x 0 ) (or B ( G , X ) for short) of all G-bounded sets in X is called the canonical ( G , x 0 ) -boundedness on X. The G-space ( G , X ) is said to be homogeneous if for every pair of points x , y in X, there is a homeomorphism f x y : X X such that f x y ( x ) = y and f x y ( A ) is G-bounded for every G-bounded subset A X . The proof of the following proposition is straightforward.
Proposition 1.
Let ( G , X ) be a G-space with a generating point x 0 X t g . The following assertions hold true:
  • A X is ( G , x 0 ) -bounded if and only if A is ( G , x 1 ) -bounded for any other point x 1 X t g .
  • Subsets of G-bounded sets are G-bounded.
  • If A and B are G-bounded so is A B .
  • Finite sets are G-bounded.
  • If A is G-bounded so is g A for all g G .
  • Relatively compact subsets are G-bounded.
  • Every topological vector space E is an R * -space with the action ( r , v ) r v , r R * and v E , where R * = R { 0 } . The usual family of bounded subsets of E coincides with the canonical R * -boundedness, with 0 E as the point that topologically generates E.
  • If H is a topological group, K is a closed subgroup and G is a dense submonoid of H then the coset space H / K defined by the quotient map p : H H / K is canonically a G-space by the action g h K : = p ( g h ) . We say that a set A H / K is G-bounded if for every neighborhood U of K (seen as an element of H / K ) there is a finite set F G such that A F U . This defines the canonical G-boundedness on H / K , where K is the point that topologically generates H / K . Here, the family of G-bounded subsets coincide with the family of all precompact subsets for the left uniformity on H / K .
Definition 1.
A point-generated G-space X is said to be locally G-bounded if for every point x X there is a G-bounded open subset U containing it.
The proof of the following proposition is straightforward.
Proposition 2.
Let X be a point-generated G-space. If there is a point x X t g and a neighborhood U of x that is G-bounded, then X is locally G-bounded.
Remark 1.
From the above proposition, it follows that if a point-generated G-space X is not locally G-bounded then no neighborhood of a point x X t g can be G-bounded.

2.2. Infinite Cardinals

In what follows, we shall use the notation ZFC for Zermelo-Fraenkel set theory including the axiom of choice, CH for the continuum hypothesis ( C = 1 ) and GCH for the generalized continuum hypothesis ( 2 l = l + 1 for each cardinal l ). If CH is false, then there are cardinals strictly between 0 and C .
Following [10], consider the set of functions N N from N into N endowed with the quasi-order * defined by
f * g if { n N : f ( n ) > g ( n ) } is finite .
A subset C of N N is said to be cofinal if for each f N N there is some g C with f * g . A subset of N N is said to be u n b o u n d e d if it is unbounded in ( N N , * ). One defines
b = m i n { | B | : B is an unbounded subset of N N }
and
d = m i n { | D | : D is a cofinal subset of N N } ,
yielding 1 b d c .
If instead of f * g we consider f g , that is f ( n ) g ( n ) for all n N , the value of b would be 0 . As for d , it would not change its value. Indeed, let D be a d -sized cofinal subset of N N . Thus, given any f N N , there exists g D with f ( n ) g ( n ) for almost all n N . Now the set D = { m g : m N and g D } still has size 0 · d = d .

3. Dense Subspaces

In [1], Grothendieck proved that, when E is a metrizable and separable locally convex space, the bounded subsets of E are completely determined by the bounded subsets of any dense subspace. This result has been extended by Burke and Todorčević [2] and, separately, Saxon and Sánchez-Ruiz [3] for some nonseparable spaces. Subsequenly, Chis, Ferrer, Hernández and Tsaban [5] extended these results for metrizable groups. As we show next, the same assertion holds for point-generated G-spaces if G is a countable monoid. First, we need the following lemma, which is analogous to ([4], Lemma 2.2.10) (resp. [5], Th. 3.6). We include its proof here for the reader’s sake.
Lemma 1.
Let G = { g i : i N } be a countable monoid and let X be a non locally G-bounded G-space with a generating point x 0 X t g that has a countable neighborhood basis. Then there are two order preserving maps
Φ V : B ( G , X ) N N Ψ : N N B ( G , X )
such that Φ V ( B ( G , X ) ) is cofinal in N N and Ψ ( N N ) is cofinal in B ( G , X ) .
Proof. 
The map Φ V is defined in a similar way as in ([4], Section 2.2.4) (resp. [5], Def. 3.5). Indeed, let U = { U m } m < ω be a countable neighborhood basis at x 0 . By Proposition 1, no neighborhood of x 0 is G-bounded. Therefore, there is U m 0 U such that U 1 i n g i U m 0 , n < ω . Analogously there is U m 1 U such that V 1 : = U 1 U m 0 i n g i U m 1 , n < ω . Repeating this procedure, we obtain a decreasing neighborhood base V = { V m } m < ω at x 0 by V m + 1 : = V m U n + 1 U m n i n g i U m n + 1 , n < ω .  □
Define
Φ V : B ( G , X ) N N
by the rule
Φ V ( K ) ( m ) : = m i n n : K i n g i V m .
Obviously,
Φ V ( K ) : = { Φ V ( K ) ( m ) } m ω .
This map is order preserving and relates the confinality of B ( G , X ) and N N . Indeed, take α N N . Set V 0 : = U 1 and take x m V m 1 i = 1 α ( m ) g i V m . The sequence K : = { x m } m < ω converges to x 0 . Thus K { x 0 } is G-bounded and Φ V ( K ) ( m ) = m i n n : K i n g i V m . It follows that α Φ V ( K ) .
As for the map Ψ , set
Ψ : N N B ( G , X )
by
Ψ ( α ) ( n ) : = m < ω i = 1 α ( n ) g i V m .
Obviously this map is order preserving. Moreover, Ψ ( N N ) is cofinal in B ( G , X ) . To see this, take an arbitrary G-bounded subset K, then for every n < ω there is a finite subset F n N such that K i F m g i V m . Set α N N such that α ( m ) : = max { i : i F m } for every m < ω . Then K Ψ ( α ) .
Theorem 1.
Let G = { g n : n N } be a countable monoid and let X be a first countable G-space with a generating point x 0 X t g . If Y is a dense subset of X, then for each G-bounded K X whose density is less than b , there is a G-bounded P Y such that P ¯ K .
Proof. 
Suppose first that X is locally G-bounded and let U be a G-bounded neighborhood of x 0 . Let F be a finite subset of G such that K F U . Since G acts on X by homeomorphisms and Y is dense in X, it follows that F ( U Y ) ¯ X F U . Therefore, it suffices to take P = F ( U Y ) . □
Assume without loss of generality that X is not locally G-bounded and set D K such that | D | < b and D ¯ K = K . Since K is G-bounded, we take the map Φ V defined in Lemma 1 above, where V = { V m } m < ω is a decreasing basis at x 0 . We have
K n = 1 Φ V ( K ) ( m ) g n V m
for all m < ω . On the other hand, since Y is dense in X, for all d D K , there is a sequence S d Y which converges to d. Therefore, since S d { d } is compact, we have
S d ¯ = S d { d } n = 1 Φ V ( S d ¯ ) ( m ) g n V m
for all m < ω . So, we have a family Φ V ( S d ¯ ) d D N N of cardinality less than b , then it is bounded in ( N N , * ) . Therefore, there is α N N such that Φ V ( S d ¯ ) * α d D . That is, if d D , then there is m d < ω with Φ V ( S d ¯ ) ( m ) α ( m ) m m d . We also assume that Φ V ( K ) ( m ) α ( m ) m < ω . Pick now a fixed element d D . If m < m d , we have
K n = 1 Φ V ( K ) ( m ) g n V m n = 1 α ( m ) g n V m .
Therefore,
K m = 1 m d 1 n = 1 α ( m ) g n V m = A d
that is an open set. Since this open set contains the element d D and the sequence S d converges to d, there is S d = S d { a finite subset } such that S d A d . Consider now
P : = d D S d Y
and let us verify that P is G-bounded. Take an open set V of X such that x 0 V , then there is V m V such that V m V . For each d D we have one of the following two options:
(1)
m < m d , which implies S d A d n = 1 α ( m ) g n V m .
(2)
m m d , then S d S d n = 1 Φ V ( S d ¯ ) ( m ) g n V m n = 1 α ( m ) g n V m .
In both cases, S d n = 1 α ( m ) g n V m n = 1 α ( m ) g n V .
Therefore, P = d D S d n = 1 α ( m ) g n V , and since V is arbitrary this means that P is G-bounded.
It is readily seen that P ¯ K .
A consequence of this theorem is the following.
Corollary 1.
Let G be a countable monoid and let X be a point-generated, metrizable, G-space. If X contains a dense subset of cardinality less than b , and D is an arbitrary dense subset of X, then for each G-bounded K X , there is a G-bounded P D such that P ¯ K .
Proof. 
Since X is metrizable, it is first countable and the generating point x 0 has a countable neighborhood basis and K contains a dense subset of cardinality less than b . □
The following result improves Corollary 2.3.3 in [4] (resp. Corollary 3.19 in [5]).
Corollary 2.
Let H be a topological group, K a closed subgroup of H such that H / K is metrizable and let L be a dense subgroup of H. If P H / K is precompact, then there is a precompact subset Q L / K such that P Q ¯ .
Proof. 
Let p : H H / K denote the canonical quotient map. Observe that P is separable because it is metrizable and precompact. Let D be a countable dense subset of P. For every d D , there is a sequence S d L such that p ( S d ) converges to d. Consider the countable subset E = D d D p ( S d ) = d D p ( S d ¯ ) = { y i } i = 1 and the set H E = < E > ¯ with the topology inherited from H / K . We have that P H E , and H E is separable and metrizable. Let G be a countable subgroup of p 1 ( H E ) such that p ( G ) = { y i } i = 1 , which is dense in H E . Then H / K is a point generated G-space according to Proposition 1(viii), where the family of G-bounded subsets coincides with the family of precompact subsets of the left uniformity of H / K . On the other hand, L H E is countable and dense in H E and P is G-bounded. Accordingly, we apply Theorem 1 to deduce that there is Q L H E , which is G-bounded (therefore, precompact) and P Q ¯ H E Q ¯ . It is readily seen that Q is precompact in L. □
The metrizability condition in the previous theorem is essential even for the special case of topological groups ([4], Example 2.3.5) (resp. [5], [Remark 3.21]).

4. G-Barrelled Groups

In this section, we have a countable monoid G = { g i : i N } and a metrizable G-space X. We assume WLOG that g 1 = e G is the neutral element of G.
Definition 2.
Given a G-space X, we say that A X is G-absorbent (or simply A is absorbent for short) when G A = X . A G-space X is said to be barrelled when for every closed absorbent subset Q there is an index i N such that g i Q has a nonempty interior.
Theorem 2.
Suppose that G = { g i : i N } is a countable monoid and X is a homogeneous, barrelled G-space with a generating point x 0 X t g that has a countable neighborhood basis at x 0 . If X can be covered by less than b bounded subsets, then X is locally bounded.
Proof. 
Let V = { V m } m < ω be a decreasing neighborhood base at x 0 defined as in Lemma 1 and let π : G × X X denote the action of G on X. For every g m G we define the map
p m : X N by p m ( x ) = m i n { n : x j n g j V m } .
As a consequence, every element x X defines a sequence { p m ( x ) } m < ω and, therefore, we have defined the map p : X N N as p ( x ) = { p m ( x ) } m < ω so that p ( x ) [ m ] = p m ( x ) . Suppose there is a collection of G-bounded sets B such that | B | < b and X = P B P . Every P B is associated with a map Φ V ( P ) N N defined previously; that is
Φ V ( P ) ( m ) = m i n { n : P j n g j V m } .
Take x X . Then, there is P B such that x P . Therefore p ( x ) Φ V ( P ) . Since | B | < b it follows that Φ V ( B ) = { Φ V ( P ) : P B } is bounded in ( N N , * ) . Thus, there is α N N such that Φ V ( P ) * α and, since p ( x ) Φ V ( P ) , we have p ( x ) * α for all x X . So, for every x X , there is m x < ω such that p m ( x ) α ( m ) for all m m x .
Define
Q α = { x X : p m ( x ) α ( m ) m < ω } = m < ω j α ( m ) g j V m .
Clearly, the set Q α is bounded. Let us verify that Q α is also absorbent. Take x X . Then, since p m ( x ) α ( m ) m m x , we have
x m m x j α ( m ) g j V m .
Thus,
x Q α m < m x j p m ( x ) g j V m .
Set
F x = { i N : i p m ( x ) , m < m x } .
We claim that
x i F x g i Q α .
Indeed, since each map π g , is a bijection and g 1 is the neutral element of G, we have
i F x g i Q α = i F x g i m < ω j α ( m ) g j V m = i F x m < ω g i j α ( m ) g j V m
= i F x m < ω j α ( m ) g i g j V m m m x j α ( m ) g j V m m < m x i F x g i V m x .
This proves that Q α is absorbent. Therefore Q α ¯ is absorbent too and, since X is G-barrelled, there is g G such that g Q α ¯ has nonempty interior. Thus, g Q α ¯ is a G-bounded subset containing an open, G-bounded, subset U. Take any point u U . Since X is homogeneous, there is a homeomorphism f u x 0 : X X such that f u x 0 ( u ) = x 0 and f u x 0 ( U ) is an open, bounded subset containing x 0 . By Proposition 2, it follows that X is locally G-bounded. □
As a consequence, we next obtain results that contain the previous results obtained by locally convex spaces [2] and topological groups [5].
Let G be a topological group, we say that a subset A G is absorbent when for every dense subgroup H of G it holds that H A = G . The group G is said to be barrelled when every closed absorbent subset Q has a nonempty interior. Remark that every separable Baire group is barrelled.
Corollary 3.
Let G be either a metrizable, barrelled, locally convex space or a separable, metrizable, barrelled group. If G is covered by less than b bounded (resp. precompact) subsets. Then G is normable (resp.locally precompact).
Proof. 
In both cases, G is homogeneous and the homeomorphisms preserving bounded subsets are translations. If G is a metrizable, barrelled, locally convex space, applying Theorem 2, we obtain that G has a neighborhood basis of zero consisting of bounded subsets, which implies that G is normable. If G is a topological group, take any countable dense subgroup H of G and consider the canonical action of H on G that makes G an H-space. By Proposition 1, a subset A of G is H-bounded if and only if it is precompact. Again, it suffices now to apply Theorem 2. □

5. Discussion

We have considered the action of a monoid G on a topological space X and associated it with a canonical family of G-bounded subsets. This provides a very general notion of boundedness that include both the bounded subsets considered in functional analysis and in topological groups. In this paper, we have initiated the study of this new notion of a G-bounded subset. Among other results, it is proved that for a metrizable and separable G-space X, the bounded subsets of X are completely determined by the bounded subsets of any dense subspace, extending results obtained by Grothendieck for metrizable separable locally convex spaces [1], generalized subsequently by Burke and Todorčević and, separately, Saxon and Sánchez-Ruiz for metrizable locally convex spaces [2,3] and by Chis, Ferrer, Hernández and Tsaban for metrizable groups [4,5]. We have also obtained sufficient conditions for a G-space X to be locally G-bounded, which applies to topological groups. This also provides the frame for extending to this setting some results by Burke and Todorčević and, separately, Saxon and Sáchez-Ruiz (loc. cit.) for metrizable locally convex spaces.

Author Contributions

Conceptualization and methodology, S.H.; investigation, C.B., M.V.F. All authors have read and agreed to the published version of the manuscript.

Funding

Research partially supported by the Spanish Ministerio de Economía y Competitividad, grant: MTM/PID2019-106529GB-I00 (AEI/FEDER, EU) and by the Universitat Jaume I, grant UJI-B2019-06.

Data Availability Statement

http://hdl.handle.net/10803/10502 accessed on 4 February 2022.

Acknowledgments

We thank the referees for their careful reading of this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Grothendieck, A. Critères de compacité dans les espaces fonctionnels généraux. Am. J. Math. 1952, 74, 168–186. [Google Scholar] [CrossRef]
  2. Burke, M.R.; Todorćevixcx, S. Bounded sets in topological vector spaces. Math. Ann. 1996, 305, 103–125. [Google Scholar] [CrossRef]
  3. Saxon, S.A.; Sánchez-Ruiz, L. Optimal cardinals for metrizable barrelled spaces. J. Lond. Math. 1995, 51, 137–147. [Google Scholar] [CrossRef]
  4. Chis, C. Bounded Sets in Topological Groups. Ph.D. Thesis, Universitat Jaume I, Castelló, Spain, 2010. [Google Scholar]
  5. Chis, C.; Ferrer, M.; Hernández, S.; Tsaban, B. The character of topological groups, via bounded systems, Pontryagin-van Kampen duality and pcf theory. J. Algebra 2014, 420, 86–119. [Google Scholar] [CrossRef]
  6. Hejcman, J. Boundedness in uniform spaces and topological groups (Russian summary). Czechoslovak Math. J. 1959, 9, 544–563. [Google Scholar] [CrossRef]
  7. Hu, S. Boundedness in a topological space. J. Math. Pures Appl. 1949, 28, 287–320. [Google Scholar]
  8. Vilenkin, N.Y. The theory of characters of topological Abelian groups with boundedness given (Russian). Izvestiya Akad. Nauk SSSR. Ser. Mat. 1951, 15, 439–462. [Google Scholar]
  9. Engelking, R. General Topology; PWN-Polish Scientific Publishers: Warsaw, Poland, 1977. [Google Scholar]
  10. van Douwen, E. The integers and topology. In Handbook of Set Theoric Topology; Kunen, K., Vaughan, J., Eds.; North-Holland: Amsterdam, The Netherlands, 1984; pp. 111–167. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Bors, C.; Ferrer, M.V.; Hernández, S. Bounded Sets in Topological Spaces. Axioms 2022, 11, 71. https://doi.org/10.3390/axioms11020071

AMA Style

Bors C, Ferrer MV, Hernández S. Bounded Sets in Topological Spaces. Axioms. 2022; 11(2):71. https://doi.org/10.3390/axioms11020071

Chicago/Turabian Style

Bors, Cristina, María V. Ferrer, and Salvador Hernández. 2022. "Bounded Sets in Topological Spaces" Axioms 11, no. 2: 71. https://doi.org/10.3390/axioms11020071

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

Article Metrics

Back to TopTop