Espace localement compactEn topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.
Groupe parfaitEn théorie des groupes (mathématiques), un groupe est dit parfait s'il est égal à son dérivé. Dans ce qui suit, le dérivé d'un groupe G sera noté D(G). Si un groupe G est parfait, l'image de G par un homomorphisme est un groupe parfait. En particulier, tout groupe quotient d'un groupe parfait est parfait.En effet, si f est un homomorphisme d'un groupe G (quelconque) dans un autre groupe, on a toujours D(f(G)) = f(D(G)). Si un groupe parfait G est sous-groupe d'un groupe H, il est contenu dans le dérivé de H.
Groupe localement compactUn groupe localement compact est, en mathématiques, un groupe topologique dont l'espace topologique sous-jacent est localement compact. Ces propriétés permettent de définir une mesure, dite mesure de Haar, et donc de calculer des intégrales et des moyennes ou encore une transformée de Fourier. Ces propriétés à la croisée de l'algèbre générale, de la topologie et de la théorie de la mesure sont particulièrement intéressantes, notamment pour leurs applications en physique.
