This result establishes [lie Algebra](/page/Lie%20Algebra) Is a Real [Vector Space](/page/Vector%20Space). It identifies a precise structural fact about Lie groups that is used to move between group operations, smooth manifold structure, and infinitesimal data.