Revêtement (mathématiques)En mathématiques, et plus particulièrement en topologie et en topologie algébrique, un revêtement d'un espace topologique B par un espace topologique E est une application continue et surjective p : E → B telle que tout point de B appartienne à un ouvert U tel que l' de U par p soit une union disjointe d'ouverts de E, chacun homéomorphe à U par p. Il s'agit donc d'un fibré à fibres discrètes. Les revêtements jouent un rôle pour calculer le groupe fondamental et les groupes d'homotopie d'un espace.
Local homeomorphismIn mathematics, more specifically topology, a local homeomorphism is a function between topological spaces that, intuitively, preserves local (though not necessarily global) structure. If is a local homeomorphism, is said to be an étale space over Local homeomorphisms are used in the study of sheaves. Typical examples of local homeomorphisms are covering maps.
HoméomorphismeEn topologie, un homéomorphisme est une application bijective continue, d'un espace topologique dans un autre, dont la bijection réciproque est continue. Dans ce cas, les deux espaces topologiques sont dits homéomorphes. La notion d'homéomorphisme est la bonne notion pour dire que deux espaces topologiques sont « le même » vu différemment. C'est la raison pour laquelle les homéomorphismes sont les isomorphismes de la catégorie des espaces topologiques. Soit et des espaces topologiques, une application bijective de sur .
Surface de RiemannEn géométrie différentielle et géométrie analytique complexe, une surface de Riemann est une variété complexe de dimension 1. Cette notion a été introduite par Bernhard Riemann pour prendre en compte les singularités et les complications topologiques qui accompagnent certains prolongements analytiques de fonctions holomorphes. Par oubli de structure, une surface de Riemann se présente comme une variété différentielle réelle de dimension 2, d'où le nom surface. Elles ont été nommées en hommage au mathématicien allemand Bernhard Riemann.
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.
Covering groupIn mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p : G → H is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which H has index 2 in G; examples include the spin groups, pin groups, and metaplectic groups.
Variété complexeLes variétés complexes ou plus généralement les sont les objets d'étude de la géométrie analytique complexe. Une variété complexe de dimension n est un espace topologique obtenu par recollement d'ouverts de Cn selon des biholomorphismes, c'est-à-dire des bijections holomorphes. Plus précisément, une variété complexe de dimension n est un espace topologique dénombrable à l'infini (c'est-à-dire localement compact et σ-compact) possédant un atlas de cartes sur Cn, tel que les applications de changement de cartes soient des biholomorphismes.
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.
Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Branched coveringIn mathematics, a branched covering is a map that is almost a covering map, except on a small set. In topology, a map is a branched covering if it is a covering map everywhere except for a nowhere dense set known as the branch set. Examples include the map from a wedge of circles to a single circle, where the map is a homeomorphism on each circle. In algebraic geometry, the term branched covering is used to describe morphisms from an algebraic variety to another one , the two dimensions being the same, and the typical fibre of being of dimension 0.
Atlas (topology)In mathematics, particularly topology, an atlas is a concept used to describe a manifold. An atlas consists of individual charts that, roughly speaking, describe individual regions of the manifold. If the manifold is the surface of the Earth, then an atlas has its more common meaning. In general, the notion of atlas underlies the formal definition of a manifold and related structures such as vector bundles and other fiber bundles. Topological manifold#Coordinate charts The definition of an atlas depends on the notion of a chart.
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.
Variété kählérienneEn mathématiques, une variété kählérienne ou variété de Kähler est une variété différentielle équipée d'une structure unitaire satisfaisant une condition d'intégrabilité. C'est en particulier une variété riemannienne, une variété symplectique et une variété complexe, ces trois structures étant mutuellement compatibles. Les variétés kählériennes sont un objet d'étude naturel en géométrie différentielle complexe. Elles doivent leur nom au mathématicien Erich Kähler. Plusieurs définitions équivalentes existent.
4-manifoldIn mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic).
Local diffeomorphismIn mathematics, more specifically differential topology, a local diffeomorphism is intuitively a map between Smooth manifolds that preserves the local differentiable structure. The formal definition of a local diffeomorphism is given below. Let and be differentiable manifolds. A function is a local diffeomorphism, if for each point there exists an open set containing such that is open in and is a diffeomorphism.
TriangleEn géométrie euclidienne, un triangle est une figure plane formée par trois points (appelés sommets) et par les trois segments qui les relient (appelés côtés), délimitant un domaine du plan appelé intérieur. Lorsque les sommets sont distincts deux à deux, en chaque sommet les côtés délimitent un angle intérieur, d'où vient la dénomination de « triangle ». Le triangle est aussi le polygone le plus simple qui délimite une portion du plan et sert ainsi d'élément fondamental pour le découpage et l'approximation de surfaces.
Triangle équilatéralEn géométrie euclidienne, un triangle équilatéral est un triangle dont les trois côtés ont la même longueur. Ses trois angles internes ont alors la même mesure de 60 degrés, et il constitue ainsi un polygone régulier à trois sommets. Tous les triangles équilatéraux sont semblables. Chaque triangle équilatéral est invariant par trois symétries axiales et deux rotations dont le centre est à la fois le centre de gravité, l'orthocentre et le centre des cercles inscrit et circonscrit au triangle.
Triangle rectangleEn géométrie euclidienne, un triangle rectangle est un triangle dont l'un des angles est droit. Les deux autres angles sont alors complémentaires, de mesure strictement inférieure. On nomme alors hypoténuse le côté opposé à l'angle droit. Les deux autres côtés, adjacents à l’angle droit, sont appelés cathètes. L’hypoténuse est alors le plus grand côté du triangle, et sa longueur est reliée à celles des deux autres côtés par le théorème de Pythagore. Cette relation est même caractéristique des triangles rectangles.
Medial triangleIn Euclidean geometry, the medial triangle or midpoint triangle of a triangle △ABC is the triangle with vertices at the midpoints of the triangle's sides AB, AC, BC. It is the n = 3 case of the midpoint polygon of a polygon with n sides. The medial triangle is not the same thing as the median triangle, which is the triangle whose sides have the same lengths as the medians of △ABC. Each side of the medial triangle is called a midsegment (or midline). In general, a midsegment of a triangle is a line segment which joins the midpoints of two sides of the triangle.
