Sous-groupe compact maximalEn mathématiques, un sous-groupe compact maximal K d'un groupe topologique G est un sous-groupe K qui est un espace compact, dans la topologie du sous-espace, et maximal parmi ces sous-groupes. Les sous-groupes compacts maximaux jouent un rôle important dans la classification des groupes de Lie et en particulier des groupes de Lie semi-simples. Les sous-groupes compacts maximaux de groupes Lie ne sont pas en général unique, mais sont unique à conjugaison près - ils sont essentiellement uniques.
Groupe moyennableEn mathématiques, un groupe moyennable (parfois appelé groupe amenable par calque de l'anglais) est un groupe topologique localement compact qu'on peut munir d'une opération de « moyenne » sur les fonctions bornées, invariante par les translations par les éléments du groupe. La définition initiale, donnée à partir d'une mesure (simplement additive) des sous-ensembles du groupe, fut proposée par John von Neumann en 1929 à la suite de son analyse du paradoxe de Banach-Tarski.
Groupe hyperboliqueEn théorie géométrique des groupes — une branche des mathématiques — un groupe hyperbolique, ou groupe à courbure négative, est un groupe de type fini muni d'une métrique des mots vérifiant certaines propriétés caractéristiques de la géométrie hyperbolique. Cette notion a été introduite et développée par Mikhaïl Gromov au début des années 1980. Il avait remarqué que beaucoup de résultats de Max Dehn concernant le groupe fondamental d'une surface de Riemann hyperbolique ne reposaient pas sur le fait qu'elle soit de 2 ni même que ce soit une variété, mais restaient vrais dans un contexte beaucoup plus général.
Groupe fondamentalEn mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique. Le groupe fondamental d'un espace topologique pointé (X, d) est, par définition, l'ensemble des classes d'homotopie de lacets (chemins fermés) de X de base d. C'est un groupe dont la loi de composition interne est induite par la concaténation (juxtaposition) des arcs. L'examen des groupes fondamentaux permet de prouver que deux espaces particuliers ne peuvent être homéomorphes (c'est-à-dire topologiquement équivalents).
Yes–no questionIn linguistics, a yes–no question, also known as a binary question, a polar question, or a general question, is a question whose expected answer is one of two choices, one that provides an affirmative answer to the question versus one that provides a negative answer to the question. Typically, in English, the choices are either "yes" or "no". Yes–no questions present an exclusive disjunction, namely a pair of alternatives of which only one is a felicitous answer.
Espace précompactEn topologie, une branche des mathématiques, un espace métrique E est précompact si, pour tout ε > 0, on peut recouvrir E par un nombre fini de boules de rayon ε. La propriété principale est qu'un espace métrique est compact si et seulement s'il est précompact et complet. La notion de précompacité et ses propriétés se généralisent aux espaces uniformes. Soit E un espace métrique. Si l'une des trois propriétés suivantes est vérifiée, alors toutes trois le sont et E est dit précompact.
