В основе теории групп Ли лежит теорема Картана об эквивалентности категории односвязных групп Ли категории алгебр Ли. Эта книга посвящена доказательству теоремы Картана и основных связанных с ней результатов. Более глубокие отделы теории групп Ли, опирающиеся на теорему Картана, остаются, таким образом, вне рамок нашего изложения. Точно так же, теория алгебр Ли излагается лишь постольку, поскольку это необходимо для доказательства теоремы Картана. Настоящая книга представляет собой почти точную запись лекций, которые автор читал студентам (и аспирантам) механико-математического факультета Московского университета.