Ensemble algébrique

Ensemble algébrique

En géométrie algébrique, un ensemble algébrique est l'ensemble des solutions d'un systèmes d'équations polynômiales à plusieurs variables. Ce sont les points d'une variété algébrique affine ou projective. Ils servent de support intuitif à la géométrie algébrique.

Sommaire

Ensembles algébriques affines

Dans cette section k désignera un corps algébriquement clos (par exemple ℂ), n un entier supérieur ou égal à un. On considère l'espace affine de dimension n sur k, c’est-à-dire l'ensemble kn (dépourvu de structure algébrique).

Définition. Soit S une partie de l'anneau des polynômes k[X_1,\ldots,X_n], on appelle ensemble algébrique associé à S et on note Z(S) le sous-ensemble de kn suivant :

Z(S)=\{(x_1,\ldots,x_n)\in k^n \mid \forall f\in S,\ f(x_1,\ldots,x_n)=0\}

c’est-à-dire le lieu d'annulation commun à tous les éléments de S.

Exemples :

  1. Dans le plan affine k2, le lieu d'annulation d'un polynôme à deux variables non nul est un ensemble algébrique affine appelé courbe plane et le degré du polynôme est appelé degré de la courbe. Les droites sont les ensembles algébriques de degré 1, les coniques ceux de degré 2, les cubiques ceux de degré 3 et ainsi de suite.
  2. Dans l'espace affine k3 le lieu d'annulation d'un polynôme à trois variables non nul est un ensemble algébrique affine qui est une surface algébrique . Tout comme pour les courbes on définit le degré d'une surface, les plans étant de degré 1, les quadriques de degré 2 etc.
  3. Dans un espace affine, tout ensemble fini de points est un ensemble algébrique affine.

Remarques

  • Si I est l'idéal de k[X_1,\ldots,X_n] engendré par S, alors Z(I) = Z(S). En particulier, comme k[X_1,\ldots,X_n] est noethérien, I est engendré par une partie finie S'. Il suit que Z(S) = Z(S'). Autrement dit, un ensemble algébrique est toujours le lieu d'annulation commun aux éléments d'un idéal et aussi le lieu d'annulation commun à un nombre fini de polynômes.
  • Etant donné un ensemble algébrique E=Z(I)\subset k^n, on peut retourner dans les idéaux de k[X_1,\ldots,X_n] en posant I(E) égal à l'ensemble des polynômes s'annulant sur E. L'idéal I(E) est alors radiciel. Par exemple pour k=ℂ, l'ensemble algébrique des zéros de X² est réduit au point 0. En revanche l'idéal engendré par le polynôme X² n'est pas radiciel car il ne contient pas X. L'idéal I(X²=0) est donc égal à son radical, à savoir l'idéal engendré par X.
  • Comme k est algébriquement clos, le théorème des zéros de Hilbert affirme que la fonction I est une bijection entre les ensembles algébriques de kn et les idéaux radiciels de k[X_1,\ldots,X_n]. Plus précisément, I(Z(J)) est le radical de J. Les points d'un ensemble algébrique E correspondent aux idéaux maximaux de k[X_1,\ldots,X_n]/I(E).
  • Un ensemble algébrique E est dit irréductible si I(E) est un idéal premier.

Propriétés:

  1. Z({0}) = kn,
  2. Z({1}) est vide;
  3.  Z(I) \cup Z(J)=Z(I\cap J);
  4. L'intersection d'une famille d'ensembles algébriques Z(Iλ) est égale à Z(I), où I est l'idéal engendré par \cup_{\lambda} I_{\lambda}, c'est-à-dire la somme des Iλ.

Ensembles algébriques projectifs

La géométrie algébrique projective est un cadre plus confortable que la géométrie affine. La projectivité est une propriété analogue à la compacité topologique. Le théorème de Bezout n'est vrai que pour des variétés projectives.

Cadre. Dans cette partie \mathbb P^n(k) désigne l'espace projectif de dimension n sur k, c'est-à-dire l'ensemble k^{n+1} \setminus  \{0\}/ R, où R est la relation d'équivalence (relation de colinéarité) identifiant deux points x et y si et seulement si x et y sont sur la même droite vectorielle. L'espace projectif de dimension n s'identifie donc à l'ensemble des droites vectorielles d'un k-espace vectoriel de dimension n+1. La classe dans \mathbb P^n(k) d'un point (x_0,\ldots,x_n) est notée (x_0:\ldots:x_n). Les xi sont les coordonnées homogènes du point (x_0:\ldots:x_n).

Définition. Soit S un ensemble de polynômes homogènes de l'anneau k[X_0,\dots,X_n]. On appelle ensemble algébrique (projectif) associé à S, et on note par Z + (S), le sous-ensemble suivant de \mathbb P^n(k):

Z_+(S)=\{(x_0:\ldots:x_n)\in \mathbb P^n(k) \mid \forall f \in S,\ f(x_0,\dots,x_n)=0\}.

Remarquons que l'annulation du polynôme f en un point (x_0,\ldots,x_n)\ne  0 ne dépend que de la classe (x_0:\ldots:x_n) de celui-ci modulo la relation R car f est homogène. L'ensemble Z + (S) est donc bien défini. L'indice + sert à distinguer les zéros homogènes des zéros affines.

Si I est un idéal homogène de k[X_0,\dots,X_n], on note Z + (I) l'ensemble Z + associé à l'ensemble des polynômes homogènes de I.

Exemple Soit F(X0,X1,X2) un polynôme homogène à deux variables, non nul, de degré d. L'ensemble algébrique projectif Z + (F) du plan projectif P2(k) est appelé une courbe projective plane, de degré d. Le polynôme X_0^n+X_1^n-X_2^n (où n un est entier naturel) défini une courbe projective plane dont les points sont les solutions homogènes d'une équation de Fermat.

Remarque.

  • Si I est l'idéal (homogène) de k[X_0,\dots,X_n] engendré par S, alors Z + (I) = Z + (S). Comme I est engendré par un nombre fini de polynôme homogènes, un ensemble algébrique projectif peut toujours être défini par un nombre fini de polynômes homogènes.
  • Tout comme dans le cas des ensembles algébriques affines, il existe un théorème des zéros de Hilbert projectif qui établit une correspondance bijective entre les ensembles algébriques projectives dans \mathbb P^n(k) et les idéaux homogènes radiciels distincts de l'idéal (X_0,\dots,X_n) engendré par X_0,\ldots,X_n. Un point de l'espace projectif correspond à un idéal premier homogène, maximal parmi ceux strictement contenus dans (X_0,\dots,X_n). À un point de coordonnées homogènes (x_0 : \dots : x_n) , on lui associe l'idéal engendré par les xiXjxjXi, pour i et j variant entre 0 et n.

Propriétés:

  1. Z_+(\{0\})=\mathbb P^n(k),
  2. Z + ({1}) est vide;
  3.  Z_+(I) \cup Z_+(J)=Z_+(I\cap J);
  4. L'intersection d'une famille d'ensembles algébriques projectifs Z + (Iλ) est égale à Z + (I), où I est la somme des idéaux Iλ (il est encore homogène).

Topologie de Zariski

L'espace affine kn (resp. projectif \mathbb P^n(k)) est muni d'une topologie dite de Zariski. Les parties fermées pour cette topologie sont les ensembles algébriques dans kn (resp. ensembles algébriques projectifs dans \mathbb P^n(k)).

Exemple : la topologie de Zariski de la droite affine k est la topologie cofinie.

La topologie de Zariski sur un ensemble algébrique (resp. ensemble algébrique projectif) est par définition la topologie induite par celle de l'espace affine (resp. projectif) qui le contient. La topologie de Zariski dans le cas affine est analogue à la topologie de Zariski dans le spectre premier d'un anneau.

Les parties ouvertes remarquables de l'espace affine (resp. projectif) sont les ouverts principaux D(f) (resp. D + (f)), c'est-à-dire le complémentaire de Z({f}) (resp. Z + ({f})). La restriction d'un ouvert principal à un ensemble algébrique est appelé ouvert principal de l'ensemble algébrique. Les ouverts principaux forment une base de topologie.

Un sous-ensemble ouvert d'un ensemble algébrique affine (resp. projectif) est appelé quasi-affine (resp. quasi-projectif).

L'espace affine kn est quasi-projectif car il s'identifie à l'ouvert \mathbb P^n(k) \setminus Z_+(X_0) de \mathbb P^n(k) par l'application (x_1, \ldots, x_n)\to (1: x_1: \ldots: x_n). On vérifie que cette application induit un homéomorphisme de l'espace affine sur son image. Il suit que tout ensemble algébrique quasi-affine est quasi-projectif.

La topologie de Zariski est apparemment assez pauvre (peu d'ouverts, deux points ne sont en général pas séparés par des voisinages ouverts disjoints), mais elle est suffisante pour beaucoup de propos.

Relations entre ensembles algébriques affines et ensembles algébriques projectifs : Un ensemble algébrique projectif Z est réunion finie d'ouverts (pour sa topologie de Zariski) qui sont des ensembles algébriques affines. En effet, Z est défini par l'annulation de polynômes homogènes à n+1 variables. Notons Zi l'ensemble des (x_0 : ... : x_n)\in Z tels que xi soit non nul. Alors Z_i=Z \setminus  (Z\cap Z_+(x_i)) est ouvert dans Z; les Zi recouvrent Z; il reste à voir que Zi est un ensemble algébrique affine. Si Z = Z + (S), et si Si est l'ensemble des polynômes F(x0,...,xi − 1,1,xi + 1,...,xn) quand les F parcourent les polynômes homogènes dans S, alors on voit facilement que Zi est l'ensemble algébrique Z(Si) dans kn.

Cas d'un corps de base quelconque

Si le corps de base k n'est pas algébriquement clos, un ensemble algébrique[1] sur k est un ensemble algébrique dans une clôture algébrique de k, défini par des polynômes à coefficients dans k. Par exemple, l'ensemble des couples (a,b)\in \bar{\mathbb Q}^2 tels que a2 + b3 − 1 = 0 est un ensemble algébrique sur \Q. En revanche, la relation a^2+b^3-\sqrt{2}=0 ne définit pas, tel quel, un ensemble algébrique sur \Q.

Voir aussi

Variété algébrique affine

Variété projective

Variété algébrique

Courbe algébrique réelle plane

Spectre premier d'un anneau

Notes

  1. Affine algebraic set, Encyclopaedia of Mathematics edited by Michiel Hazewinkel

Références

(en) R. Hartshorne, Algebraic Geometry, Graduate Texts in Math., 52, Springer Verlag (1977). Chapter I.

D. Perrin, Géométrie algébrique, une introduction, CNRS Éditions (1995).


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ensemble algébrique de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • algébrique — [ alʒebrik ] adj. • XVIIIe; algébraïque 1585; de algèbre ♦ Relatif à l algèbre, qui s effectue par l algèbre. Calcul numérique et calcul algébrique. Mesure, quantité algébrique. Courbe, équation, fonction algébrique. Nombre algébrique. Topologie… …   Encyclopédie Universelle

  • Ensemble Ouvert — Pour les articles homonymes, voir Ouverture. En mathématiques, et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un ensemble qui ne contient pas sa frontière.… …   Wikipédia en Français

  • Ensemble ouvert — Pour les articles homonymes, voir Ouverture. En mathématiques, et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un ensemble qui ne contient pas sa frontière.… …   Wikipédia en Français

  • Ensemble De Mandelbrot — L ensemble de Mandelbrot est une fractale qui est définie comme l ensemble des points c du plan complexe pour lesquels la suite récurrente définie par : L ensemble de Mandelbrot (en noir) …   Wikipédia en Français

  • Ensemble de mandelbrot — L ensemble de Mandelbrot est une fractale qui est définie comme l ensemble des points c du plan complexe pour lesquels la suite récurrente définie par : L ensemble de Mandelbrot (en noir) …   Wikipédia en Français

  • Ensemble réel — Nombre réel Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs… …   Wikipédia en Français

  • Ensemble de Mandelbrot — L ensemble de Mandelbrot (en noir) L ensemble de Mandelbrot est une fractale définie comme l ensemble des points c du plan complexe pour lesquels la suite définie par récurrence par  …   Wikipédia en Français

  • Ensemble quotient — Relation d équivalence La notion de relation d équivalence sur un ensemble permet de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d éléments qui… …   Wikipédia en Français

  • Ensemble de Cantor — En mathématiques, l ensemble de Cantor (ou ensemble triadique de Cantor, ou poussière de Cantor) est un sous ensemble remarquable de la droite réelle construit par le mathématicien allemand Georg Cantor[1]. Il s agit d un sous ensemble fermé de l …   Wikipédia en Français

  • Ensemble de nombres —  Ne pas confondre avec la structure de corps de nombres en arithmétique. Symbole Appellation ensemble des entiers naturels ensemble des entiers relatifs …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”