Une conjecture d'Erdös : preuve de Moreira, Richter et Robertson

Cette séance de cours présente une courte preuve d'une conjecture d'Erdös, récemment prouvée par Moreira, Richter et Robertson. Le théorème indique que chaque sous-ensemble de densité positive contient la somme de deux sous-ensembles infinis. La séance de cours explore les questions connexes, le vocabulaire, les systèmes dynamiques topologiques, et la preuve détaillée de la proposition. La preuve implique la construction d'un système dynamique topologique, de sous-ensembles ouverts, de mesures invariantes et de séquences d'entiers. La séance de cours se termine par la construction d'un facteur Kronecker et des ensembles de mauvais entiers.