Generalization of the Comfort-Ross theorem. I (Q912220): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudocompactness and uniform continuity in topological groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Product of Two Countably Compact Topological Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: REAL FUNCTIONS AND CANONICAL SETS IN TIKHONOV PRODUCTS AND TOPOLOGICAL GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3935830 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3671393 / rank | |||
Normal rank |
Latest revision as of 15:25, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalization of the Comfort-Ross theorem. I |
scientific article |
Statements
Generalization of the Comfort-Ross theorem. I (English)
0 references
1989
0 references
A subspace X of a topological space Y is said to be bounded in Y if every continuous, real-valued function on Y is bounded on X. Using the elegant observation that a necessary and sufficient condition for boundedness of X in Y is that only finitely many elements of any locally finite family of sets open in Y can intersect X, it is shown that the cartesian product of an arbitrary family of bounded subsets of topological groups is bounded in the product of the groups. [This, of course, generalizes the well-known theorem of Comfort and Ross.] It is also shown that a continuous pseudometric on a topological group is uniformly continuous on any bounded subspace, as is any real-valued continuous function defined on G. Furthermore, the universal, two-sided, left and right uniformities from the group are equal on X. If G is algebraically generated by X and X is bounded, then any real-valued function on X can be factored through a continuous homomorphism onto a group of countable weight. A union of countably many bounded subspaces is said to be sigma-bounded. A (Tychonoff) space X is then sigma-bounded iff all of the following are also sigma-bounded: the free topological group on X, the free topological Abelian group on X, and the free linear locally convex space on X.
0 references
continuous, real-valued function
0 references
locally finite family of sets
0 references
bounded subsets of topological groups
0 references
continuous pseudometric
0 references
uniformly continuous
0 references
left and right uniformities
0 references
continuous homomorphism
0 references
countable weight
0 references
sigma-bounded
0 references
free topological group
0 references