Estoy estudiando topológicos, grupos, y he sido capaz de hacer mucho en mi propia mediante la demostración de las proposiciones en este enlace en el mío propio, pero cuando he leído la wikipedia en la que topológicos, grupos son completamente regulares, yo no era capaz de encontrar una prueba o hacerlo yo mismo, que me tiene preocupado.
La pregunta es ; ¿alguien puede confirmarme que topológicos, grupos son, de hecho, completamente regular, y si es así, ¿dónde puedo encontrar una prueba, o no lo saben?
Una prueba de que estaría interesado en es que de acuerdo a esta página de la Wikipedia sobre el uniforme de los espacios, un grupo topológico puede ser equipado con la estructura de un espacio uniforme en una forma ortodoxa, y el uniforme de los espacios completamente regulares. No sé cómo probar esto.
Yo también estaría interesado en un enfoque más directo si es posible, para los efectos de dar una charla sobre espacios topológicos ; si una prueba directa es más corto que el que va a través de los uniformes de los espacios, que me daría más tiempo en mi charla para hablar de otras cosas.
