Connexité (mathématiques)La connexité est une notion de topologie qui formalise le concept d'« objet d'un seul tenant ». Un objet est dit connexe s'il est fait d'un seul « morceau ». Dans le cas contraire, chacun des morceaux est une composante connexe de l'objet étudié. Soit un espace topologique E. Les quatre propositions suivantes sont équivalentes : E n'est pas la réunion de deux ouverts non vides disjoints ; E n'est pas la réunion de deux fermés non vides disjoints ; les seuls ouverts-fermés de E sont ∅ et E ; toute application continue de E dans un ensemble à deux éléments muni de la topologie discrète est constante.
Torsion (algèbre)En algèbre, dans un groupe, un élément est dit de torsion s'il est d'ordre fini, c'est-à-dire si l'une de ses puissances non nulle est l'élément neutre. La torsion d'un groupe est l'ensemble de ses éléments de torsion. Un groupe est dit sans torsion si sa torsion ne contient que le neutre, c'est-à-dire si tout élément différent du neutre est d'ordre infini. Si le groupe est abélien, sa torsion est un sous-groupe. Par exemple, le sous-groupe de torsion du groupe abélien est .
Stable vector bundleIn mathematics, a stable vector bundle is a (holomorphic or algebraic) vector bundle that is stable in the sense of geometric invariant theory. Any holomorphic vector bundle may be built from stable ones using Harder–Narasimhan filtration. Stable bundles were defined by David Mumford in and later built upon by David Gieseker, Fedor Bogomolov, Thomas Bridgeland and many others. One of the motivations for analyzing stable vector bundles is their nice behavior in families.
Groupes d'homotopie des sphèresEn mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères).
Groupe de CoxeterUn groupe de Coxeter est un groupe engendré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent dans de nombreux domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d'isométries de polyèdres réguliers, sont des groupes de Coxeter. Les groupes de Weyl sont d'autres exemples de groupes de Coxeter. Ces groupes sont nommés d'après le mathématicien H.S.M. Coxeter. Un groupe de Coxeter est un groupe W ayant une présentation du type: où est à valeurs dans , est symétrique () et vérifie , si .
Variété abélienneEn mathématiques, et en particulier, en géométrie algébrique et géométrie complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de est l'équivalent de la compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique. Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite.
Biconnected componentIn graph theory, a biconnected component (sometimes known as a 2-connected component) is a maximal biconnected subgraph. Any connected graph decomposes into a tree of biconnected components called the block-cut tree of the graph. The blocks are attached to each other at shared vertices called cut vertices or separating vertices or articulation points. Specifically, a cut vertex is any vertex whose removal increases the number of connected components.
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
Identity componentIn mathematics, specifically group theory, the identity component of a group G refers to several closely related notions of the largest connected subgroup of G containing the identity element. In point set topology, the identity component of a topological group G is the connected component G0 of G that contains the identity element of the group. The identity path component of a topological group G is the path component of G that contains the identity element of the group.
Espace localement connexeEn mathématiques, plus précisément en topologie, un espace localement connexe est un espace topologique pouvant être décrit à l’aide de ses ouverts connexes. En topologie, on dit qu’un espace est connexe lorsqu’il est fait « d’une seule pièce ». La question naturelle qui suit est de savoir si tout espace topologique peut être décrit comme la réunion disjointe (dans la catégorie des espaces topologiques) de ses composantes connexes ; en d’autres termes, peut-on considérer que lorsqu’on connait toutes les « pièces » d’un espace topologique, on sait tout de cet espace ? Une condition nécessaire et suffisante pour cela est que toutes les composantes connexes soient ouvertes.
