A projective cone (or just cone) in
projective geometry
In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting (''p ...
is the union of all lines that intersect a projective subspace ''R'' (the apex of the cone) and an arbitrary subset ''A'' (the basis) of some other subspace ''S'', disjoint from ''R''.
In the special case that ''R'' is a single point, ''S'' is a plane, and ''A'' is a
conic section
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, tho ...
on ''S'', the projective cone is a
conical surface; hence the name.
Definition
Let ''X'' be a projective space over some field ''K'', and ''R'', ''S'' be disjoint subspaces of ''X''. Let ''A'' be an arbitrary subset of ''S''. Then we define ''RA'', the cone with top ''R'' and basis ''A'', as follows :
* When ''A'' is empty, ''RA'' = ''A''.
* When ''A'' is not empty, ''RA'' consists of all those
points on a line connecting a point on ''R'' and a point on ''A''.
Properties
* As ''R'' and ''S'' are disjoint, one may deduce from
linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mathemat ...
and the definition of a projective space that every point on ''RA'' not in ''R'' or ''A'' is on exactly one line connecting a point in ''R'' and a point in ''A''.
* (''RA'')
''S'' = ''A''
* When ''K'' is the
finite field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field (mathematics), field that contains a finite number of Element (mathematics), elements. As with any field, a finite field is a Set (mathematics), s ...
of order ''q'', then
=
+
, where ''r'' = dim(''R'').
See also
*
Cone (geometry)
In geometry, a cone is a three-dimensional figure that tapers smoothly from a flat base (typically a circle) to a point not contained in the base, called the '' apex'' or '' vertex''.
A cone is formed by a set of line segments, half-lines ...
*
Cone (algebraic geometry)
*
Cone (topology)
*
Cone (linear algebra)
In linear algebra, a cone—sometimes called a linear cone to distinguish it from other sorts of cones—is a subset of a real vector space that is closed under positive scalar multiplication; that is, C is a cone if x\in C implies sx\in C for e ...
*
Conic section
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, tho ...
*
Ruled surface
In geometry, a Differential geometry of surfaces, surface in 3-dimensional Euclidean space is ruled (also called a scroll) if through every Point (geometry), point of , there is a straight line that lies on . Examples include the plane (mathemat ...
*
Hyperboloid
In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by def ...
Projective geometry
{{geometry-stub