La definición de "grupo de Lie" suele restringirse a una variedad lisa. Si, en cambio, definimos un "grupo de Lie" como una variedad topológica en la que la multiplicación y la inversión son continuas, ¿es la variedad necesariamente lisa? ¿Es única la estructura lisa si queremos un grupo de Lie liso?
Creo que la respuesta es sí, ya que la estructura de un grupo Lie conexo viene determinada por el álgebra de Lie, pero mis intentos de búsqueda han fracasado.