Homologie singulièreEn topologie algébrique, l'homologie singulière est une construction qui permet d'associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse. Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité.
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.
Relative homologyIn algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace. Given a subspace , one may form the short exact sequence where denotes the singular chains on the space X. The boundary map on descends to and therefore induces a boundary map on the quotient.
Reduced homologyIn mathematics, reduced homology is a minor modification made to homology theory in algebraic topology, motivated by the intuition that all of the homology groups of a single point should be equal to zero. This modification allows more concise statements to be made (as in Alexander duality) and eliminates many exceptional cases (as in the homology groups of spheres). If P is a single-point space, then with the usual definitions the integral homology group H0(P) is isomorphic to (an infinite cyclic group), while for i ≥ 1 we have Hi(P) = {0}.
Simplicial homologyIn algebraic topology, simplicial homology is the sequence of homology groups of a simplicial complex. It formalizes the idea of the number of holes of a given dimension in the complex. This generalizes the number of connected components (the case of dimension 0). Simplicial homology arose as a way to study topological spaces whose building blocks are n-simplices, the n-dimensional analogs of triangles. This includes a point (0-simplex), a line segment (1-simplex), a triangle (2-simplex) and a tetrahedron (3-simplex).
Homologie de FloerL'homologie de Floer est une adaptation de l'homologie de Morse en dimension infinie. L'homologie de Floer symplectique (HFS) est une théorie homologique pour une variété symplectique munie d'un symplectomorphisme non-dégénéré. Si le symplectomorphisme est hamiltonien, l'homologie provient de l'étude de la fonctionnelle d'action symplectique sur le revêtement universel de l'espace des lacets de la variété symplectique. L'homologie de Floer symplectique est invariante par isotopie hamiltonienne du symplectomorphisme.
Sphère d'homologieEn topologie algébrique, une sphère d'homologie (ou encore, sphère d'homologie entière) est une variété X de dimension n ≥ 1 qui a les mêmes groupes d'homologie que la n-sphère standard S, à savoir : H0(X,Z) = Z = Hn(X,Z) et Hi(X,Z) = {0} pour tout autre entier i. Une telle variété X est donc connexe, fermée (i.e. compacte et sans bord), orientable, et avec (à part b0 = 1) un seul nombre de Betti non nul : bn. Les sphères d'homologie rationnelle sont définies de façon analogue, avec l'homologie à coefficients rationnels.
Complexe simplicialthumb|Exemple d'un complexe simplicial.En mathématiques, un complexe simplicial est un objet géométrique déterminé par une donnée combinatoire et permettant de décrire certains espaces topologiques en généralisant la notion de triangulation d'une surface. Un tel objet se présente comme un graphe avec des sommets reliés par des arêtes, sur lesquelles peuvent se rattacher des faces triangulaires, elles-mêmes bordant éventuellement des faces de dimension supérieure, etc.
Ensemble simplicialEn mathématiques, un ensemble simplicial X est un objet de nature combinatoire intervenant en topologie. Il est la donnée : d'une famille (X) d'ensembles, indexée par les entiers naturels, les éléments de X étant pensés comme des simplexes de dimension n et pour toute application croissanted'une application le tout tel que Autrement dit : X est un foncteur contravariant, de la catégorie simpliciale Δ dans la catégorie Set des ensembles, ou encore un foncteur covariant de la catégorie opposée Δ dans Set.
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).
Abstract simplicial complexIn combinatorics, an abstract simplicial complex (ASC), often called an abstract complex or just a complex, is a family of sets that is closed under taking subsets, i.e., every subset of a set in the family is also in the family. It is a purely combinatorial description of the geometric notion of a simplicial complex. For example, in a 2-dimensional simplicial complex, the sets in the family are the triangles (sets of size 3), their edges (sets of size 2), and their vertices (sets of size 1).
Étale fundamental groupThe étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces. In algebraic topology, the fundamental group of a pointed topological space is defined as the group of homotopy classes of loops based at . This definition works well for spaces such as real and complex manifolds, but gives undesirable results for an algebraic variety with the Zariski topology.
Homologie des groupesEn algèbre homologique, l'homologie d'un groupe est un invariant attaché à ce groupe. Pour un groupe G, on note Z[G] l'algèbre du groupe G sur l'anneau des entiers relatifs Z. Soient alors M un Z[G]-module (ce qui revient à se donner un groupe abélien M et un morphisme de G dans le groupe des automorphismes de M), et une résolution projective de M. Les groupes d'homologie de G à coefficients dans M sont définis par : De façon duale les groupes de cohomologie de G à coefficients dans M sont définis par : où est une résolution injective de M.
Homologie de HochschildL’homologie de Hochschild et la cohomologie de Hochschild sont des théories homologiques et cohomologiques définies à l'origine pour les algèbres associatives, mais qui ont été généralisées à des catégories plus générales. Elles ont été introduites par Gerhard Hochschild en 1945. La cohomologie cyclique développée par Alain Connes et Jean-Louis Loday en est une généralisation. La cohomologie de Hochschild classifie les de la structure multiplicative de l'algèbre considérée, et d'une manière générale l'homologie comme la cohomologie de Hochschild possèdent une riche structure algébrique.
Fundamental classIn mathematics, the fundamental class is a homology class [M] associated to a connected orientable compact manifold of dimension n, which corresponds to the generator of the homology group . The fundamental class can be thought of as the orientation of the top-dimensional simplices of a suitable triangulation of the manifold. When M is a connected orientable closed manifold of dimension n, the top homology group is infinite cyclic: , and an orientation is a choice of generator, a choice of isomorphism .
HomomorphismIn algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).
Morphisme de groupesUn morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure de groupe. Plus précisément, c'est un morphisme de magmas d'un groupe dans un groupe , c'est-à-dire une application telle que et l'on en déduit alors que f(e) = e (où e et e désignent les neutres respectifs de G et G) et ∀x ∈ G f(x) = [f(x)]. donc ; en composant par l'inverse de , on obtient (autrement dit, un morphisme de groupes conserve l'idempotence, et l'élément neutre d'un groupe est son unique élément idempotent).
Domaine fondamentalGiven a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits. There are many ways to choose a fundamental domain. Typically, a fundamental domain is required to be a connected subset with some restrictions on its boundary, for example, smooth or polyhedral.
Algebra homomorphismIn mathematics, an algebra homomorphism is a homomorphism between two algebras. More precisely, if A and B are algebras over a field (or a ring) K, it is a function such that, for all k in K and x, y in A, one has The first two conditions say that F is a K-linear map, and the last condition says that F preserves the algebra multiplication. So, if the algebras are associative, F is a rng homomorphism, and, if the algebras are rings and F preserves the identity, it is a ring homomorphism.
Fundamental pair of periodsIn mathematics, a fundamental pair of periods is an ordered pair of complex numbers that defines a lattice in the complex plane. This type of lattice is the underlying object with which elliptic functions and modular forms are defined. A fundamental pair of periods is a pair of complex numbers such that their ratio is not real. If considered as vectors in , the two are not collinear. The lattice generated by and is This lattice is also sometimes denoted as to make clear that it depends on and It is also sometimes denoted by or or simply by The two generators and are called the lattice basis.
