Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours introduit le critère de levage dans le contexte de la couverture des espaces et des cartes continues. Il explique le concept d'un espace ayant une certaine propriété localement, comme être localement chemin connecté. Le critère de levage stipule quune carte dun espace topologique connecté au chemin et connecté localement au chemin peut être soulevée à un espace couvrant si certaines conditions sur les groupes fondamentaux sont remplies. La preuve consiste à construire une élévation explicite de la carte et à montrer sa continuité. La séance de cours souligne l'importance de l'espace étant connecté localement chemin pour le processus de levage. En suivant une approche détaillée étape par étape, l'instructeur montre comment déterminer si une carte peut être levée en fonction des propriétés fondamentales du groupe.