Oriented projective geometry explained
Oriented projective geometry is an oriented version of real projective geometry.
Whereas the real projective plane describes the set of all unoriented lines through the origin in R3, the oriented projective plane describes lines with a given orientation. There are applications in computer graphics and computer vision where it is necessary to distinguish between rays light being emitted or absorbed by a point.
Elements in an oriented projective space are defined using signed homogeneous coordinates. Let
be the set of elements of
excluding the origin.
- Oriented projective line,
:
, with the
equivalence relation
for all
.
- Oriented projective plane,
:
, with
for all
.
These spaces can be viewed as extensions of euclidean space.
can be viewed as the union of two copies of
, the sets (
x,1) and (
x,-1), plus two additional points at infinity, (1,0) and (-1,0). Likewise
can be viewed as two copies of
, (
x,
y,1) and (
x,
y,-1), plus one copy of
(
x,
y,0).
An alternative way to view the spaces is as points on the circle or sphere, given by the points (x,y,w) with
x2+y2+w2=1.
Oriented real projective space
Let n be a nonnegative integer. The (analytical model of, or canonical) oriented (real) projective space or (canonical) two-sided projective space
is defined as
Tn=\{\{λZ:λ\inR>0\}:Z\inRn+1\setminus\{0\}\}=\{R>0Z:Z\inRn+1\setminus\{0\}\}.
Here, we use
to stand for
two-sided.
Distance in oriented real projective space
Distances between two points
and
in
can be defined as elements
in
.
Oriented complex projective geometry
See also: Complex projective space. Let n be a nonnegative integer. The oriented complex projective space
}^n_ is defined as
}^n_=\=\. Here, we write
to stand for the
1-sphere.
See also
References
- Book: Stolfi
, Jorge
. Oriented Projective Geometry . . 1991 . 978-0-12-672025-9 .
From original Stanford Ph.D. dissertation, Primitives for Computational Geometry, available as http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-36.pdf.
- Book: Ghali
, Sherif
. Introduction to Geometric Computing . . 2008 . 978-1-84800-114-5 .
Nice introduction to oriented projective geometry in chapters 14 and 15. More at author's website. Sherif Ghali.
- Book: Yamaguchi . Fujio . Computer-aided Geometric Design: A Totally Four-dimensional Approach . 2002 . Springer . 978-4-431-68007-9.
- Book: Below . Alexander . Krummeck . Vanessa . Richter-Gebert . Jurgen . Aronov . Boris . Boris Aronov . Basu . Saugata . Pach . Janos . Janos Pach . Sharir . Micha . Micha Sharir . Discrete and Computational Geometry: The Goodman–Pollack Festschrift . Complex matroids: phirotopes and their realizations in rank 2 . 2003 . Springer . 978-3-642-62442-1 . 203–233 . 10.1007/978-3-642-55566-4 . .
- A. G. Oliveira, P. J. de Rezende, F. P. SelmiDei An Extension of CGAL to the Oriented Projective Plane T2 and its Dynamic Visualization System, 21st Annual ACM Symp. on Computational Geometry, Pisa, Italy, 2005.
- Book: Werner . Tomas . Proceedings Ninth IEEE International Conference on Computer Vision . Combinatorial constraints on multiple projections of set points . 2003 . 1011–1016 . 10.1109/ICCV.2003.1238459 . 0-7695-1950-4 . 6816538 . https://ieeexplore.ieee.org/document/1238459 . 26 November 2022.