In mathematics, an algebraic variety V in projective space is a complete intersection if it can be defined by the vanishing of the number of homogeneous polynomials indicated by its codimension. That is, if the dimension of an algebraic variety V is m and it lies in projective space Pn, there are homogeneous polynomials
- Fi(X0, ..., Xn)
in the homogeneous coordinates Xj, with
- 1 ≤ i ≤ n − m,
such that on V we have
- Fi(X0, ..., Xn) = 0
and for no other points of projective space do all the Fi all take the value 0. Geometrically each Fi separately define a hypersurface Hi; the intersection of the Hi should be V, no more and no less.
In fact the dimension of the intersection will always be at least m, assuming as usual in algebraic geometry that the scalars form an algebraically closed field, such as the complex numbers. There will be hypersurfaces containing V, and any set of them will have intersection containing V. The question is then, can n − m be chosen to have no further intersection? This condition is in fact hard to satisfy, as soon as n ≥ 3 and n − m ≥ 2. When the codimension n − m = 1 then automatically V is a hypersurface and there is nothing to prove.
Read more about Complete Intersection: Example of A Space Curve That Is Not A Complete Intersection, Multidegree, General Position, A Connection To Number Theory
Famous quotes containing the words complete and/or intersection:
“To throw obstacles in the way of a complete education is like putting out the eyes; to deny the rights of property is like cutting off the hands. To refuse political equality is like robbing the ostracized of all self-respect, of credit in the market place, of recompense in the world of work, of a voice in choosing those who make and administer the law, a choice in the jury before whom they are tried, and in the judge who decides their punishment.”
—Elizabeth Cady Stanton (18151902)
“You can always tell a Midwestern couple in Europe because they will be standing in the middle of a busy intersection looking at a wind-blown map and arguing over which way is west. European cities, with their wandering streets and undisciplined alleys, drive Midwesterners practically insane.”
—Bill Bryson (b. 1951)