Mathematical concepts of quantum mechanics