Theory of Lie groups, I