Delimiter-separated valuesFormats that use delimiter-separated values (also DSV) store two-dimensional arrays of data by separating the values in each row with specific delimiter characters. Most database and spreadsheet programs are able to read or save data in a delimited format. Due to their wide support, DSV files can be used in data exchange among many applications. A delimited text file is a used to store data, in which each line represents a single book, company, or other thing, and each line has fields separated by the delimiter.
Tabulation-separated valuesTab-separated values (TSV) est un format texte ouvert représentant des données tabulaires sous forme de « valeurs séparées par des tabulations ». Ce format de fichier peut être notamment utilisé pour exporter ou importer des données d'une base de données ou d'un tableur.
Chaque ligne correspond à une rangée du tableau et les cellules d'une même rangée sont séparées par une tabulation.
Point antipodalSur la surface d'une sphère, deux points antipodaux sont deux points diamétralement opposés. Un point antipodal est souvent appelé un antipode. Le terme « antipode » provient du pluriel « antipodes » qui désignait traditionnellement en Europe les régions situées de l'autre côté de la Terre, comme l'Océanie (désignées comme « les Antipodes » ou situées « aux Antipodes »). « Antipodes » vient d'une expression grecque signifiant littéralement « pieds opposés » (les personnes y habitant étant censées marcher « à l'envers », puisque de l'autre côté du globe).
Distance du grand cercleLa distance du grand cercle, également appelée distance orthodromique, est la plus courte distance entre deux points sur une sphère. La surface de la Terre étant approximativement sphérique, la distance du grand cercle est généralement employée pour mesurer la distance entre deux points à sa surface, à partir de leur longitude et leur latitude. R est le rayon de la sphère (le rayon de la Terre vaut environ ). δ est la latitude (en radians). λ est la longitude (en radians). Sur une sphère de rayon R, la dist
Möbius planeIn mathematics, the classical Möbius plane (named after August Ferdinand Möbius) is the Euclidean plane supplemented by a single point at infinity. It is also called the inversive plane because it is closed under inversion with respect to any generalized circle, and thus a natural setting for planar inversive geometry. An inversion of the Möbius plane with respect to any circle is an involution which fixes the points on the circle and exchanges the points in the interior and exterior, the center of the circle exchanged with the point at infinity.
Equivalence classIn mathematics, when the elements of some set have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set into equivalence classes. These equivalence classes are constructed so that elements and belong to the same equivalence class if, and only if, they are equivalent. Formally, given a set and an equivalence relation on the of an element in denoted by is the set of elements which are equivalent to It may be proven, from the defining properties of equivalence relations, that the equivalence classes form a partition of This partition—the set of equivalence classes—is sometimes called the quotient set or the quotient space of by and is denoted by .
Projectively extended real lineIn real analysis, the projectively extended real line (also called the one-point compactification of the real line), is the extension of the set of the real numbers, , by a point denoted ∞. It is thus the set with the standard arithmetic operations extended where possible, and is sometimes denoted by or The added point is called the point at infinity, because it is considered as a neighbour of both ends of the real line. More precisely, the point at infinity is the limit of every sequence of real numbers whose absolute values are increasing and unbounded.
Espace σ-compactEn mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).
Compacité (mathématiques)En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.
Real projective lineIn geometry, a real projective line is a projective line over the real numbers. It is an extension of the usual concept of a line that has been historically introduced to solve a problem set by visual perspective: two parallel lines do not intersect but seem to intersect "at infinity". For solving this problem, points at infinity have been introduced, in such a way that in a real projective plane, two distinct projective lines meet in exactly one point.
Grand cercleEn géométrie, un grand cercle est un cercle tracé à la surface d'une sphère qui a le même diamètre qu'elle. De manière équivalente, on peut définir un grand cercle comme un cercle tracé sur la sphère ayant le même centre que la sphère ; ou encore, comme l'intersection entre une sphère et un plan passant par le centre de cette sphère ; ou comme un cercle tracé sur la sphère de longueur maximale. Par exemple, que l'on modélise le globe terrestre par une sphère ou que l'on considère l'ellipsoïde, dans ces deux cas l'équateur est un grand cercle.
Congruence relationIn abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done with equivalent elements will yield equivalent elements. Every congruence relation has a corresponding quotient structure, whose elements are the equivalence classes (or congruence classes) for the relation. The prototypical example of a congruence relation is congruence modulo on the set of integers.
