- #1
mnb96
- 715
- 5
Hello,
I'm reading a book on Lie group theory, and before giving the definition of a Lie group G, the author defines the concept of chart as a pair (U(g), f) where:
i) U(g) is a neighborhood of g∈G
ii) f : U(g)→f(U(g))⊂ℝn is an invertible map such that f(U(g)) is an open subset of ℝn.
My question is: how can we even define a neighborhood of an element of the group G if we haven't assigned yet a topology to it? Should we perhaps assume that the topology on G is the one induced by the inverse map f-1?
Thanks.
I'm reading a book on Lie group theory, and before giving the definition of a Lie group G, the author defines the concept of chart as a pair (U(g), f) where:
i) U(g) is a neighborhood of g∈G
ii) f : U(g)→f(U(g))⊂ℝn is an invertible map such that f(U(g)) is an open subset of ℝn.
My question is: how can we even define a neighborhood of an element of the group G if we haven't assigned yet a topology to it? Should we perhaps assume that the topology on G is the one induced by the inverse map f-1?
Thanks.