Retour à la page du séminaire

Séminaire général de logique salle 0D9
Lundi 6 mars de 14h30 à 16h

Thierry Coquand (Götegorg)
La définition de la mesure de Borel

résumé

La première définition de la mesure de Borel était purement inductive, mais il n'était pas clair a priori qu'elle était cohérente. Ce problème a été résolu indirectement par Lebesgue, mais on peut se demander s'il n'y a pas une solution directe et purement inductive. Ce problème est en fait mentionné dans le livre de Lusin. On présente une solution purement inductive de ce problème, en suivant une définition alternative de la mesure due a Martin-Löf.