Géométrie projectiveEn mathématiques, la géométrie projective est le domaine de la géométrie qui modélise les notions intuitives de perspective et d'horizon. Elle étudie les propriétés inchangées des figures par projection centrale. Le mathématicien et architecte Girard Desargues fonde la géométrie projective dans son Brouillon project d’une Atteinte aux evenemens des rencontres du cone avec un plan publié en 1639, où il l'utilise pour une théorie unifiée des coniques.
Fonction rationnelleEn mathématiques, une fonction rationnelle est une fonction définie par une fraction rationnelle, c'est-à-dire une dont le numérateur et le dénominateur sont des polynômes. En pratique, l'ensemble de définition est généralement (ensemble des réels) ou (ensemble des complexes). Si P et Q sont deux fonctions polynomiales et si Q n'est pas une fonction nulle, la fonction est définie pour tout x tel que Q(x) ≠ 0 par Une fonction qui n'est pas rationnelle est dite irrationnelle.
Courbe algébriqueEn mathématiques, et plus précisément en géométrie algébrique, une courbe algébrique est une variété algébrique (ou un schéma de type fini) sur un corps, dont les composantes irréductibles sont de dimension 1. Cette définition est la généralisation moderne de celle des courbes algébriques classiques, telles que les coniques, définies, dans le cas des courbes planes, comme l'ensemble des points solutions d'une équation polynomiale. Sous sa forme la plus générale, une courbe algébrique sur un corps est une variété algébrique de dimension 1 sur , séparée pour éviter des pathologies.
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.
Morphism of algebraic varietiesIn algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties.
Rational mappingIn mathematics, in particular the subfield of algebraic geometry, a rational map or rational mapping is a kind of partial function between algebraic varieties. This article uses the convention that varieties are irreducible. Formally, a rational map between two varieties is an equivalence class of pairs in which is a morphism of varieties from a non-empty open set to , and two such pairs and are considered equivalent if and coincide on the intersection (this is, in particular, vacuously true if the intersection is empty, but since is assumed irreducible, this is impossible).
Courbe hyperelliptiquedroite|vignette|Une courbe hyperelliptique, d'équation En géométrie algébrique, une courbe hyperelliptique est un cas particulier de courbe algébrique de genre g > 1 donnée par une équation de la forme : où f(x) est un polynôme de degré n = 2g + 1 > 4 ou avec n = 2g + 2 > 4 racines distinctes et h(x) est un polynôme de degré strictement inférieur à g + 2 (si la caractéristique du corps commutatif n'est pas 2, on peut prendre h(x) = 0).
Line coordinatesIn geometry, line coordinates are used to specify the position of a line just as point coordinates (or simply coordinates) are used to specify the position of a point. There are several possible ways to specify the position of a line in the plane. A simple way is by the pair (m, b) where the equation of the line is y = mx + b. Here m is the slope and b is the y-intercept. This system specifies coordinates for all lines that are not vertical. However, it is more common and simpler algebraically to use coordinates (l, m) where the equation of the line is lx + my + 1 = 0.
Faisceau (géométrie)En géométrie, un faisceau est une famille d'objets géométriques partageant une propriété commune, par exemple l'ensemble de droites passant par un même point dans le plan, ou l'ensemble de cercles passant par deux points dans le plan. Si la définition d'un faisceau est assez vague, la caractéristique commune est que le faisceau est complètement déterminé par deux de ses éléments. De façon analogue, un ensemble d'objets géométriques déterminés par trois éléments quelconques est appelé un fibré.
Courbe cubiqueEn mathématiques, une courbe cubique est une courbe algébrique plane définie par une équation du troisième degré en les coordonnées homogènes [X:Y:Z] du plan projectif ; ou bien c'est la version non homogène pour l'espace affine obtenue en faisant Z = 1 dans une telle équation. Ici F est une combinaison linéaire non nulle des monômes de degré trois X3, X2Y, ..., Z3 en X,Y et Z. Ceux-ci sont au nombre de dix ; donc les courbes cubiques forment un espace projectif de dimension 9, au-dessus de n'importe quel corps commutatif K donné.