It can be defined because Lie groups are smooth manifolds, so have tangent spaces at each point.
Nó có thể được định nghĩa bởi vì các nhóm Lie là các đa tạp (manifold), và các không gian tiếp tuyến (tangent space)tại từng điểm cũng định nghĩa được.