Difference between revisions of "Algebraic variety"
(removed stub (per Andy)) |
DavidB4-bot (Talk | contribs) (→top: clean up & uniformity) |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
| − | |||
[[Image:Sphere-wireframe.png|right|thumb|200px|The unit [[sphere]] is an ''algebraic variety'' over the [[real numbers]] because it is the set of all roots of the polynomial equation ''x<sup>2</sup> + y<sup>2</sup> +z<sup>2</sup> -1 = 0''.]] | [[Image:Sphere-wireframe.png|right|thumb|200px|The unit [[sphere]] is an ''algebraic variety'' over the [[real numbers]] because it is the set of all roots of the polynomial equation ''x<sup>2</sup> + y<sup>2</sup> +z<sup>2</sup> -1 = 0''.]] | ||
| − | + | Formally, an '''algebraic variety''' ''V'' over a [[ring (mathematics)|ring]] ''K'' is defined as the set of all points in <math>K^n</math> satisfying a system of [[polynomial]] equations with [[coefficient]]s in ''K''. | |
| + | |||
| + | This has an easy intuitive definition: a variety is just the set of points where some polynomial(s) in several variables vanishes. Many familiar spaces are examples of algebraic varieties: | ||
| + | * The parabola, i.e., the graph of <math>y=x^2</math>, is a variety: it's the set of points in the plane <math>\mathbb R^2</math> satisfying the polynomial relation <math>y-x^2 = 0</math>. | ||
| + | * A circle is a variety too: it's the solution of <math>x^2+y^2-1=0</math> in the plane. | ||
| + | * The union of two intersecting lines is a variety. For example, the set consisting of <math>xy=0</math> is the x-axis together with the y-axis. | ||
| + | |||
| + | Varieties are one of the primary objects of study of [[algebraic geometry]]. It is useful to group all of these objects together instead of studying each one separately, because many theorems can be proved about all varieties at once. For example, you may know that two [[conic section]]s (for example, two ellipses) generally intersect at four distinct points. You can also draw a graph and be convinced that the graphs of two cubics intersect at 9 distinct points. Bezout's theorem, a result about algebraic varieties in general, gives a way to compute the number of intersections of two varieties in terms of the degree of the polynomials of which they are zero sets. So both of these familiar facts are just cases of Bezout's theorem! | ||
| − | [[ | + | [[Category:Mathematics]] |
Revision as of 01:20, July 13, 2016
Formally, an algebraic variety V over a ring K is defined as the set of all points in 
satisfying a system of polynomial equations with coefficients in K.
This has an easy intuitive definition: a variety is just the set of points where some polynomial(s) in several variables vanishes. Many familiar spaces are examples of algebraic varieties:
- The parabola, i.e., the graph of
, is a variety: it's the set of points in the plane 
satisfying the polynomial relation 
. - A circle is a variety too: it's the solution of
in the plane. - The union of two intersecting lines is a variety. For example, the set consisting of
is the x-axis together with the y-axis.
Varieties are one of the primary objects of study of algebraic geometry. It is useful to group all of these objects together instead of studying each one separately, because many theorems can be proved about all varieties at once. For example, you may know that two conic sections (for example, two ellipses) generally intersect at four distinct points. You can also draw a graph and be convinced that the graphs of two cubics intersect at 9 distinct points. Bezout's theorem, a result about algebraic varieties in general, gives a way to compute the number of intersections of two varieties in terms of the degree of the polynomials of which they are zero sets. So both of these familiar facts are just cases of Bezout's theorem!
