Question Corner and Discussion Area

How do you define and operate with vectors in projective geometry?(Note: the interested reader will find a brief introduction to projective geometry in response to another question on this web site).

Vectors in projective geometry--and in any kind of geometry on a curved
space, for that matter--arise as *tangent vectors*. The best example
to think of is the surface of a sphere. At any point on the sphere there is
a tangent plane, and this tangent plane is a "vector space": a set of
vectors that can be added and scaled as desired. Vector techniques can thus
be used on the sphere. For example, given two intersecting curves on the
sphere, one can measure the angle between them by looking at their tangent
vectors and finding the angle between these vectors (with the dot product).

The same thing is true for the "projective plane" in projective
geometry, and also
for any of a wide class of mathematical objects called *manifolds*.
Roughly speaking, a manifold is any set of points which can be covered by
"patches", each of which can be flattened into something that looks like
part of ordinary Euclidean space of some dimension. A sphere is an example
of a manifold; the top and bottom hemispheres can be flattened into disks,
even though the entire sphere itself cannot be. The projective plane is
also an example of a manifold, as are most other smooth shapes you can
think of.

On each manifold, there is a tangent space associated to every point. When the manifold is embedded in ordinary Euclidean space (as a sphere is), the tangent space is easy to visualize (in the case of a sphere, it's just a plane sitting inside ordinary space). But even in more abstract cases when things aren't as easy to visualize, the tangent space still exists, and vector techniques can be used to say a lot about the geometry of the manifold (such as defining the angle between two curves, even defining the length of a curve as the limiting value of successive approximations by short tangent vectors). All of this comes about through the techniques of calculus, which can relate tangent vectors of curves (which are essentially a kind of derivative) back to the curve itself.

I realize the above description is very sketchy (it's also a little
inaccurate, for a knowledgeable reader will see that I have left out some
important conditions and technical details). This is a huge subject, known
as *differential geometry*, and it is hard to give a comprehensive
introduction to it in such a short space. The interested reader may want to
consult the book *Calculus on Manifolds* by Michael Spivak, which
gives a reasonably elementary introduction to the subject (but it still
requires some multivariable and advanced calculus as a prerequisite).

This part of the site maintained by (No Current Maintainers)

Last updated: April 19, 1999

Original Web Site Creator / Mathematical Content Developer: Philip Spencer

Current Network Coordinator and Contact Person: Joel Chan - mathnet@math.toronto.edu

Navigation Panel:

Go backward to Understanding Projective Geometry

Go up to Question Corner Index

Go forward to Do Parallel Lines Meet At Infinity?

Switch to graphical version (better pictures & formulas)

Access printed version in PostScript format (requires PostScript printer)

Go to University of Toronto Mathematics Network Home Page