Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The topology on a topological group is generated by a family of pseudometrics. The only proof I know passes through uniform spaces (by which I mean the entourage definition): A topological group has a uniformity and by a theorem of Weil, every uniformity comes from a family of pseudometrics. Is there a direct construction of the pseudometrics that bypasses Weil's theorem?

share|improve this question
3  
Hewitt and Ross, "Abstract Harmonic Analysis, I", Chapter II.8, Theorem 8.2, give a direct construction of a (left-invariant) pseudometric, starting from a sequence $U_{k}$ of symmetric neighborhoods such that $U_{k+1}^2 \subset U_{k}$. In essence, their argument is the same as Weil's, however. –  Theo Buehler Dec 27 '10 at 0:45
    
Using this you can get the sought family of pseudo-metrics by constructing for each neighborhood $V$ of the identity a decreasing sequence $U_{k}$ of symmetric neighborhoods such that $U_{k+1}^{2} \subset U_{k} \subset V$. –  Theo Buehler Dec 27 '10 at 0:56
add comment

1 Answer 1

up vote 6 down vote accepted

The basic strategy should consist of two steps: (1) topological groups are completely regular, and (2) completely regular spaces are subspaces of products of pseudometric spaces. Of course, this is not hugely different from the proof which passes through uniform structures, but certainly you can bypass that language.

Both parts are in some sense classical. If you have Munkres close to hand, then the proof of (1) can be extracted by following the recipe given in exercise 5 on page 237. (Yes, he states it for the $T_0$/Hausdorff case, but the proof goes through without that assumption.)

A space $X$ is completely regular iff its Kolmogorov quotient $X_h$ is completely regular (i.e., Tychonoff -- see here), and a Tychonoff space embeds in a product of copies of the unit interval (Munkres, p. 237, theorem 2.2). In this way, the topology of $X_h$ is generated by a family of metrics, and by pulling back these metrics along the quotient map $X \to X_h$, one gets a generating family of pseudometrics for $X$.

Edit: As for arsmath's question in the comment below, one may refer to Hewitt and Ross's Abstract Harmonic Analysis (as mentioned by Theo Buehler in his comment above), p. 67 ff. (link). See in particular theorem 8.2 (page 68), where the direct construction of the pseudometrics gives a uniformity which coincides with the left uniformity of the topological group.

share|improve this answer
    
Thanks. I wonder if this construction gives you the same uniformly continuous functions on the topological group as the standard construction. –  arsmath Dec 27 '10 at 22:45
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.