Homologie (mathématiques)En mathématiques, l'homologie est une manière générale d'associer une séquence d'objets algébriques tels que des groupes abéliens ou des modules à d'autres objets mathématiques tels que des espaces topologiques. Les groupes d'homologie ont été définis à l'origine dans la topologie algébrique. Des constructions similaires sont disponibles dans beaucoup d'autres contextes, tels que l'algèbre abstraite, les groupes, les algèbres de Lie, la théorie de Galois et la géométrie algébrique.
Lemme de SchwarzLe lemme de Schwarz est un lemme d'analyse complexe, donnant des contraintes sur les fonctions holomorphes du disque unité dans lui-même. Il ne faut pas le confondre avec un autre résultat d'analyse complexe, le . Soit une fonction holomorphe dans le disque ouvert D de centre 0 et de rayon 1, et telle que : Alors on a : pour tout appartenant à D et .Si, de plus, il existe un élément non nul de D vérifiant , ou bien si , alors il existe un nombre complexe de module 1 tel que pour tout appartenant à .
Projection stéréographiqueEn géométrie et en cartographie, la projection stéréographique est une projection cartographique azimutale permettant de représenter une sphère privée d'un point sur un plan. On convient souvent que le point dont on prive la sphère sera un des pôles de celle-ci ; le plan de projection peut être celui qui sépare les deux hémisphères, nord et sud, de la sphère, qu'on appelle plan équatorial. On peut également faire une projection stéréographique sur n'importe quel plan parallèle au plan équatorial pourvu qu'il ne contienne pas le point dont on a privé la sphère.
Propriété localeOn dit d'une certaine propriété mathématique qu'elle est localement vérifiée en un point d'un espace topologique s'il existe un système fondamental de voisinages de ce point sur lequel la propriété est vraie. On dit d'une certaine propriété mathématique qu'elle est localement vérifiée si elle est localement vérifiée en tout point de l'espace topologique considéré. Cette notion se retrouve dans tous les domaines des mathématiques qui utilisent la topologie, en particulier en analyse.
Théorème de convergence monotoneEn mathématiques, le théorème de convergence monotone (ou théorème de Beppo Levi) est un résultat de la théorie de l'intégration de Lebesgue. Il permet de démontrer le lemme de Fatou et le théorème de convergence dominée. Ce théorème indique que pour une suite croissante de fonctions mesurables positives on a toujours la convergence de la suite de leurs intégrales vers l'intégrale de la limite simple. Le théorème autorise donc, pour une telle suite de fonctions, à intervertir les symboles et .
Finite topological spaceIn mathematics, a finite topological space is a topological space for which the underlying point set is finite. That is, it is a topological space which has only finitely many elements. Finite topological spaces are often used to provide examples of interesting phenomena or counterexamples to plausible sounding conjectures. William Thurston has called the study of finite topologies in this sense "an oddball topic that can lend good insight to a variety of questions". Let be a finite set.
Caractéristique d'EulerEn mathématiques, et plus précisément en géométrie et en topologie algébrique, la caractéristique d'Euler — ou d'Euler-Poincaré — est un invariant numérique, un nombre qui décrit un aspect d'une forme d'un espace topologique ou de la structure de cet espace. Elle est communément notée χ. La caractéristique d'Euler fut définie à l'origine pour les polyèdres et fut utilisée pour démontrer divers théorèmes les concernant, incluant la classification des solides de Platon.
Théorème des valeurs intermédiairesvignette|Illustration du théorème des valeurs intermédiaires : si f est une fonction continue sur l'intervalle [a ; b], alors elle prend toutes les valeurs comprises entre f(a) et f(b) au moins une fois. Ici la valeur s est prise trois fois. En mathématiques, le théorème des valeurs intermédiaires (abrégé en TVI), parfois appelé théorème de Bolzano, est un résultat important en analyse et concerne des fonctions continues sur un intervalle.
Separated setsIn topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.
ToroidIn mathematics, a toroid is a surface of revolution with a hole in the middle. The axis of revolution passes through the hole and so does not intersect the surface. For example, when a rectangle is rotated around an axis parallel to one of its edges, then a hollow rectangle-section ring is produced. If the revolved figure is a circle, then the object is called a torus. The term toroid is also used to describe a toroidal polyhedron. In this context a toroid need not be circular and may have any number of holes.
