|
Then, using any embedding <math>\mathbb{P}^k \to \mathbb{P}^N</math> we can construct a linear system of dimension <math>k</math>.
===Linear system of conics===
{{main|Linear system of conics}}
For example, the [[conic section]]s in the projective plane form a linear system of dimension five, as one sees by counting the constants in the degree two [[equation]]s. The condition to pass through a given point ''P'' imposes a single linear condition, so that [[conic]]s ''C'' through ''P'' form a linear system of dimension 4. Other types of condition that are of interest include tangency to a given line ''L''.
In the most elementary treatments a linear system appears in the form of equations
:<math>\lambda C + \mu C' = 0\ </math>
with λ and μ unknown scalars, not both zero. Here ''C'' and ''C′'' are given conics. Abstractly we can say that this is a [[projective line]] in the space of all conics, on which we take
:<math>[\lambda : \mu]\ </math>
as [[homogeneous coordinates]]. Geometrically we notice that any point ''Q'' common to ''C'' and ''C′'' is also on each of the conics of the linear system. According to [[Bézout's theorem]] ''C'' and ''C′'' will intersect in four points (if counted correctly). Assuming these are in [[general position]], i.e. four distinct intersections, we get another interpretation of the linear system as the conics passing through the four given points (note that the [[codimension]] four here matches the dimension, one, in the five-dimensional space of conics). Note that of these conics, exactly three are [[degenerate conic|degenerate]], each consisting of a pair of lines, corresponding to the <math>\textstyle{\binom{4}{2,2}/2=3}</math> ways of choosing 2 pairs of points from 4 points (counting via the [[multinomial coefficient]], and accounting for the overcount by a factor of 2 that <math>\textstyle{\binom{4}{2}}</math> makes when interested in counting ''pairs of pairs'' rather than just selections of size 2).
=== Applications ===
A striking application of such a family is in {{Harv|Faucette|1996}} which gives a [[Quartic formula#Solving with algebraic geometry|geometric solution to a quartic equation]] by considering the pencil of conics through the four roots of the quartic, and identifying the three degenerate conics with the three roots of the [[resolvent cubic]].
=== Example ===
{{external media | video1 = [http://users.ipfw.edu/CoffmanA/pov/conic1.gif Type I] linear system, {{Harv|Coffman}}.}}
For example, given the four points <math>(\pm 1, \pm 1),</math> the pencil of conics through them can be parameterized as <math>ax^2+(1-a)y^2=1,</math> which are the [[affine combination]]s of the equations <math>x^2=1</math> and <math>y^2=1,</math> corresponding to the parallel vertical lines and horizontal lines; this yields degenerate conics at the standard points of <math>0,1,\infty.</math> A less elegant but more symmetric parametrization is given by <math>(1+a)x^2+(1-a)y^2=2,</math> in which case inverting ''a'' (<math>a \mapsto -a </math>) interchanges ''x'' and ''y'', yielding the following pencil; in all cases the center is at the origin:
* <math>a>1:</math> hyperbolae opening left and right;
* <math>a=1:</math> the parallel vertical lines <math>x=-1, x=1;</math>
:(intersection point at [1:0:0])
* <math>0 < a < 1:</math> ellipses with a vertical major axis;
* <math>a=0:</math> a circle (with radius <math>\sqrt{2}</math>);
* <math>-1 < a < 0:</math> ellipses with a horizontal major axis;
* <math>a=-1:</math> the parallel horizontal lines <math>y=-1, y=1;</math>
:(intersection point at [0:1:0])
* <math>a<-1:</math> hyperbolae opening up and down,
* <math>a=\infty:</math> the diagonal lines <math>y=x, y=-x;</math>
:(dividing by <math>a</math> and taking the limit as <math>a \to \infty</math> yields <math>x^2-y^2=0</math>)
:(intersection point at [0:0:1])
* This then loops around to <math>a>1,</math> since pencils are a ''projective'' line.
In the terminology of {{Harv|Levy|1964}}, this is a Type I linear system of conics, and is animated in the linked video.
=== Classification ===
There are 8 types of linear systems of conics over the complex numbers, depending on intersection multiplicity at the base points, which divide into 13 types over the real numbers, depending on whether the base points are real or imaginary; this is discussed in {{Harv|Levy|1964}} and illustrated in {{Harv|Coffman}}.
The [[Cayley–Bacharach theorem]] is a property of a pencil of cubics, which states that the base locus satisfies an "8 implies 9" property: any cubic containing 8 of the points necessarily contains the 9th.
| 