FibréEn mathématiques, un espace fibré est, intuitivement, un espace topologique qui est localement le produit de deux espaces — appelés la base et la fibre — mais en général pas globalement. Par exemple, le ruban de Möbius est un fibré de base un cercle et de fibre un segment de droite : il ressemble localement au produit d'un cercle par un segment, mais pas globalement comme le cylindre Plus précisément, l'espace total du fibré est muni d'une projection continue sur la base, telle que la de chaque point soit homéomorphe à la fibre.
Bouteille de KleinEn mathématiques, la 'bouteille de Klein' (prononcé ) est une surface fermée, sans bord et non orientable, c'est-à-dire une surface pour laquelle il n'est pas possible de définir un « intérieur » et un « extérieur ». La bouteille de Klein a été décrite pour la première fois en 1882 par le mathématicien allemand Felix Klein. Son nom provient possiblement d’une confusion ou d’un jeu de mots entre les termes Klein Fläche (« surface de Klein ») et Klein Flasche (« bouteille de Klein »).
Groupe topologiqueEn mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire telle que la loi de composition interne du groupe et le passage à l'inverse sont deux applications continues. L'étude des groupes topologiques mêle donc des raisonnements d'algèbre et de topologie. La structure de groupe topologique est une notion essentielle en topologie algébrique. Les deux axiomes de la définition peuvent être remplacés par un seul : Un morphisme de groupes topologiques est un morphisme de groupes continu.
Groupe unitaireEn mathématiques, le groupe unitaire de degré n sur un corps K relativement à un anti automorphisme involutif (cf. Algèbre involutive) σ de K (par exemple K le corps des nombres complexes et σ la conjugaison) est le groupe des matrices carrées A d'ordre n à coefficients dans K, qui sont unitaires pour σ, c'est-à-dire telles Aσ(tA) = In. Plus généralement, on peut définir le groupe unitaire d'une forme hermitienne ou antihermitienne non dégénérée φ sur un espace vectoriel sur un corps comme étant le groupe des éléments f de GL(E) tels que φ(f(x), f(y)) = φ(x, y) quels que soient les vecteurs x et y de E.
Torevignette|Modélisation d'un tore Un tore est un solide géométrique représentant un tube courbé refermé sur lui-même. Le terme « tore » comporte différentes acceptions plus spécifiques selon le contexte : en ingénierie ou en géométrie élémentaire, un tore est un solide de révolution de l'espace obtenu à partir d'un cercle, ou bien sa surface. Une chambre à air, une bouée, certains joints d'étanchéité ou encore certains beignets (les donuts nord-américains) ont ainsi une forme plus ou moins torique ; en architecture, un tore correspond à une moulure ronde, semi-cylindrique.
HomotopieEn mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.
Propriété topologiqueEn topologie et dans les domaines connexes des mathématiques, une propriété topologique (ou invariant topologique) est une propriété sur un espace topologique qui reste invariant sous l'application d'homéomorphismes. C'est-à-dire que chaque fois qu'un espace topologique X possède cette propriété, chaque espace homéomorphe à X possède également cette propriété. De manière informelle, une propriété topologique est une propriété qui peut entièrement être exprimée à l'aide d'ensemble ouverts.
Groupe discretIn mathematics, a topological group G is called a discrete group if there is no limit point in it (i.e., for each element in G, there is a neighborhood which only contains that element). Equivalently, the group G is discrete if and only if its identity is isolated. A subgroup H of a topological group G is a discrete subgroup if H is discrete when endowed with the subspace topology from G. In other words there is a neighbourhood of the identity in G containing no other element of H.
Immersion (mathématiques)En géométrie différentielle, une immersion est une application différentiable d'une variété différentielle dans une autre, dont la différentielle en tout point est injective. Soient V et W deux variétés et f une application différentiable de V dans W. On dit que f est une immersion si pour tout x appartenant à V, le rang de l'application linéaire tangente Tf(x) est égal à la dimension de V. On la différencie : de la submersion (le rang de Tf(x) est égal à la dimension de W) ; du plongement (en plus d'être une immersion, f est un homéomorphisme de V sur f(V)).
Catégorie groupoïdeEn mathématiques, et plus particulièrement en théorie des catégories et en topologie algébrique, la notion de groupoïde généralise à la fois les notions de groupe, de relation d'équivalence sur un ensemble, et de l'action d'un groupe sur un ensemble. Elle a été initialement développée par Heinrich Brandt en 1927. Les groupoïdes sont souvent utilisés pour représenter certaines informations sur des objets topologiques ou géométriques comme les variétés. Un groupoïde est une petite catégorie dans laquelle tout morphisme est un isomorphisme.
