Projective line over a ringIn mathematics, the projective line over a ring is an extension of the concept of projective line over a field. Given a ring A with 1, the projective line P(A) over A consists of points identified by projective coordinates. Let U be the group of units of A; pairs (a, b) and (c, d) from A × A are related when there is a u in U such that ua = c and ub = d. This relation is an equivalence relation. A typical equivalence class is written U[a, b]. P(A) = { U[a, b] : aA + bA = A }, that is, U[a, b] is in the projective line if the ideal generated by a and b is all of A.
TransforméeEn mathématiques, une transformée consiste à associer une fonction définie sur un domaine à une autre fonction, définie sur un domaine éventuellement différent. Un exemple d'application en physique consiste à étudier un signal défini sur le domaine temporel par sa transformation sur le domaine fréquentiel. Transformée d'Abel Transformée de Fourier Transformée de Fourier locale Transformée de Fourier-Mukai Transformée de Laplace Transformée bidirectionnelle de Laplace Transformée bilatérale de Laplace Trans
Sphère de RiemannEn mathématiques, la sphère de Riemann est une manière de prolonger le plan des nombres complexes avec un point additionnel à l'infini, de manière que certaines expressions mathématiques deviennent convergentes et élégantes, du moins dans certains contextes. Déjà envisagée par le mathématicien Carl Friedrich Gauss, elle est baptisée du nom de son élève Bernhard Riemann. Ce plan s'appelle également la droite projective complexe, dénoté .
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
Point à l'infiniEn mathématiques, et plus particulièrement en géométrie et en topologie, on appelle point à l'infini un objet adjoint à l'espace que l'on veut étudier pour pouvoir plus commodément y définir certaines notions de limites « à l'infini », ou encore pour obtenir des énoncés plus uniformes, tels que « deux droites se coupent toujours en un point, situé à l'infini si elles sont parallèles ». La notion de point à l'infini apparait au dans le cadre du développement des méthodes de la perspective conique, avec l'invention de la « costruzione abbreviata » d'Alberti.
Transformation de MöbiusEn mathématiques, et plus particulièrement en géométrie, les transformations de Möbius sont de manière générale des automorphismes du compactifié d'Alexandrov de noté , définies comme la composée d'un nombre fini d'inversions par rapport à des hyperplans ou des hypersphères.
Théorème de Pappusvignette|Configuration de Pappus : Dans l'hexagone AbCaBc, où les points A, B, C, d'une part et a, b, c d'autre part, sont alignés, les points X, Y, Z le sont aussi. Le théorème de Pappus est un théorème de géométrie concernant l'alignement de trois points : si on considère trois points alignés A, B, C et trois autres points également alignés a, b, c, les points d'intersection des droites (Ab)-(Ba), (Ac)-(Ca), et (Bc)-(Cb) sont également alignés.
Linear fractional transformationIn mathematics, a linear fractional transformation is, roughly speaking, an invertible transformation of the form The precise definition depends on the nature of a, b, c, d, and z. In other words, a linear fractional transformation is a transformation that is represented by a fraction whose numerator and denominator are linear. In the most basic setting, a, b, c, d, and z are complex numbers (in which case the transformation is also called a Möbius transformation), or more generally elements of a field.
Incidence geometryIn mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An incidence structure is what is obtained when all other concepts are removed and all that remains is the data about which points lie on which lines. Even with this severe limitation, theorems can be proved and interesting facts emerge concerning this structure.
Coordonnées homogènesEn mathématiques, et plus particulièrement en géométrie projective, les coordonnées homogènes (ou coordonnées projectives), introduites par August Ferdinand Möbius, rendent les calculs possibles dans l'espace projectif, comme les coordonnées cartésiennes le font dans l'espace euclidien. Les coordonnées homogènes sont largement utilisées en infographie et plus particulièrement pour la représentation de scènes en trois dimensions, car elles sont adaptées à la géométrie projective et elles permettent de caractériser les transformations de l'espace.
Droite projectiveEn géométrie, une droite projective est un espace projectif de dimension 1. En première approche (en oubliant sa structure géométrique), la droite projective sur un corps , notée , peut être définie comme l'ensemble des droites vectorielles du plan vectoriel . Cet ensemble s'identifie à la droite à laquelle on ajoute un point à l'infini. La notion de droite projective se généralise en remplaçant le corps par un anneau. Une droite vectorielle de , et donc un point de la droite projective , est définie par un point de cette droite autre que l'origine.
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.
Alignement (géométrie)vignette|Sur cette figure, les points a1,a2,a3 sont alignés, ainsi que les points b1,b2,b3. En revanche, les points a1,a2,b3 ne sont pas alignés. En géométrie, l’alignement est une propriété satisfaite par certains familles de points, lorsque ces derniers appartiennent collectivement à une même droite. Deux points étant toujours alignés en vertu du premier axiome d’Euclide, la notion d’alignement ne présente d’intérêt qu’à partir d’une collection de trois points.
Point fixeEn mathématiques, pour une application f d'un ensemble E dans lui-même, un élément x de E est un point fixe de f si f(x) = x. Exemples : dans le plan, la symétrie par rapport à un point A admet un unique point fixe : A ; l'application inverse (définie sur l'ensemble des réels non nuls) admet deux points fixes : –1 et 1, solutions de l'équation équivalente à l'équation . Graphiquement, les points fixes d'une fonction f (d'une variable réelle, à valeurs réelles) sont les points d'intersection de la droite d'équation y = x avec la courbe d'équation y = f(x).
BirapportLe birapport, ou rapport anharmonique selon la dénomination de Michel Chasles est un outil puissant de la géométrie, en particulier la géométrie projective. La notion remonte à Pappus d'Alexandrie, mais son étude systématique est réalisée en 1827 par Möbius. thumb|Les divisions sont supposées régulières. Le birapport de C, D par rapport à A, B est : . thumb|Les divisions sont supposées régulières. Le birapport de C, D par rapport à A, B est : .
Théorème de DesarguesEn mathématiques, le théorème de Desargues, du nom du mathématicien et architecte Girard Desargues, est un théorème de géométrie projective, qui possède plusieurs variantes en géométrie affine. Il s'énonce uniquement en matière d'alignement de points et d'intersection de droites (voir ci-contre). Le théorème de Desargues se démontre dans un plan ou un espace construit sur un corps quelconque (non nécessairement commutatif).
Agrandissement et réductionEn géométrie, l’agrandissement et la réduction sont les deux cas de transformations géométriques d'une figure en multipliant ses dimensions par un nombre appelé rapport : ce nombre est supérieur à 1 dans le cas d’un agrandissement, inférieur dans le cas d’une réduction. La figure obtenue est ainsi semblable à l’ancienne, et si les deux apparaissent dans le même plan, elles s’obtiennent chacune par une homothétie sur la figure de l’autre. C’est le cas par exemple d’une configuration de Thalès.
Espace affineEn géométrie, la notion d'espace affine généralise la notion d'espace issue de la géométrie euclidienne en omettant les notions d'angle et de distance. Dans un espace affine, on peut parler d'alignement, de parallélisme, de barycentre. Sous la forme qui utilise des rapports de mesures algébriques, qui est une notion affine, le théorème de Thalès et le théorème de Ceva sont des exemples de théorèmes de géométrie affine plane réelle (c'est-à-dire n'utilisant que la structure d'espace affine du plan réel).
BiquaternionEn mathématiques, un biquaternion (ou quaternion complexe) est un élément de l'algèbre des quaternions sur les nombres complexes. Le concept d'un biquaternion fut mentionné la première fois par William Rowan Hamilton au . William Kingdon Clifford utilisa le même nom à propos d'une algèbre différente. biquaternion de Clifford Il y a aussi une autre notion de biquaternions, distincte : une algèbre de biquaternions sur un corps commutatif K est une algèbre qui est isomorphe au produit tensoriel de deux algèbres de quaternions sur K (sa dimension est 16 sur K, et non pas 8 sur R).
Espace projectifEn mathématiques, un espace projectif est le résultat d'une construction fondamentale qui consiste à rendre homogène un espace vectoriel, autrement dit à raisonner indépendamment des proportionnalités pour ne plus considérer que des directions. Par exemple, l'espace projectif réel de dimension n, P(R),ou RPn, est l'ensemble des droites vectorielles ou des directions de R ; formellement, c'est le quotient de R{0} par la relation d'équivalence de colinéarité. On peut munir ces espaces projectifs de structures additionnelles pour en faire des variétés.
