索菲斯·李 马里乌斯索菲斯李Marius Sophus Lie年月日年月日挪威数学家李群和李代数的创始人