Espace symétriqueEn mathématiques, et plus spécifiquement en géométrie différentielle, un espace symétrique est une variété, espace courbe sur lequel on peut définir une généralisation convenable de la notion de symétrie centrale. La définition précise de la notion d'espace symétrique dépend du type de structure dont on munit la variété. Le plus couramment, on entend par espace symétrique une variété munie d'une métrique riemannienne pour laquelle l'application de symétrie le long des géodésiques constitue une isométrie.
Fundamental groupoidIn algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of , the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids. Let X be a topological space. Consider the equivalence relation on continuous paths in X in which two continuous paths are equivalent if they are homotopic with fixed endpoints.
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.
Topologie discrèteEn mathématiques, plus précisément en topologie, la topologie discrète sur un ensemble est une structure d'espace topologique où, de façon intuitive, tous les points sont « isolés » les uns des autres. Soit X un ensemble. L'ensemble des parties de X définit une topologie sur X appelée topologie discrète. X muni de cette topologie est alors appelé espace discret. On dit qu'une partie A d'un espace topologique X est un ensemble discret lorsque la topologie induite sur A est la topologie discrète.
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.
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.
LF-spaceIn mathematics, an LF-space, also written (LF)-space, is a topological vector space (TVS) X that is a locally convex inductive limit of a countable inductive system of Fréchet spaces. This means that X is a direct limit of a direct system in the category of locally convex topological vector spaces and each is a Fréchet space. The name LF stands for Limit of Fréchet spaces. If each of the bonding maps is an embedding of TVSs then the LF-space is called a strict LF-space.
Glossaire de topologieCeci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première traite des concepts généraux, et la seconde liste différents types d'espaces topologiques. Dans ce glossaire, tous les espaces sont supposés topologiques. Accessible : voir l'axiome de séparation T1. Adhérence L'adhérence ou fermeture d'une partie d'un espace topologique est le plus petit fermé contenant celle-ci. Un point est dit adhérent à une partie s'il appartient à son adhérence.
Dimension topologiqueEn mathématiques, une dimension topologique est une notion destinée à étendre à des espaces topologiques la notion algébrique de dimension d'un espace vectoriel. C'est un invariant topologique, entier ou infini. Les trois principales dimensions topologiques sont les deux dimensions inductives ind et Ind et la dimension de recouvrement dim. Les dimensions Ind et dim coïncident pour tout espace métrisable ; si l'espace est de plus séparable, ses trois dimensions topologiques sont égales.
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.
