Oriented projective geometry

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 ℝ*n be the set of elements of ℝn excluding the origin.

1. Oriented projective line, 𝕋1: (x,w)∈ℝ*2, with the equivalence relation (x,w)∼(ax,aw) for all a>0.
2. Oriented projective plane, 𝕋2: (x,y,w)∈ℝ*3, with (x,y,w)∼(ax,ay,aw) for all a>0.

These spaces can be viewed as extensions of euclidean space. 𝕋1 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 𝕋2 can be viewed as two copies of ℝ2, (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.

## Contents

* 1 Oriented real projective space
* 1.1 Alternative models
* 1.1.1 The straight model
* 1.1.2 The spherical model
* 1.2 Distance in oriented real projective space
* 2 Oriented complex projective geometry
* 3 See also
* 4 Notes
* 5 References

## Oriented real projective space

Let n be a nonnegative integer. The (analytical model of, or canonical[1]) oriented (real) projective space or (canonical[2]) two-sided projective[3] space 𝕋n is defined as

𝕋n={{λZ:λ∈ℝ>0}:Z∈ℝn+1∖{0}}={ℝ>0Z:Z∈ℝn+1∖{0}}.[4]

Here, we use 𝕋 to stand for two-sided.

### Alternative models

[4]

#### The straight model

#### The spherical model

### Distance in oriented real projective space

Distances between two points p=(px,py,pw) and q=(qx,qy,qw) in 𝕋2 can be defined as elements

((pxqw−qxpw)2+(pyqw−qypw)2,sign(pwqw)(pwqw)2)

in 𝕋1.[5]

## Oriented complex projective geometry

Let n be a nonnegative integer. The oriented complex projective space ℂℙS1n is defined as

ℂℙS1n={{λZ:λ∈ℝ>0}:Z∈ℂn+1∖{0}}={ℝ>0Z:Z∈ℂn+1∖{0}}.[6] Here, we write S1 to stand for the 1-sphere.

## See also

* Variational analysis

## Notes

1. ↑ Stolfi 1991, p. 2.
2. ↑ Stolfi 1991, p. 13.
3. ↑ Werner 2003.
4. ↑ 4.0 4.1 Yamaguchi 2002, pp. 33–34, Definition 4.1.
5. ↑ Stolfi 1991, §17.4.
6. ↑ Below 2003.

## References

* Stolfi, Jorge (1991). Oriented Projective Geometry. Academic Press. ISBN 978-0-12-672025-9.
From original Stanford Ph.D. dissertation, Primitives for Computational Geometry, available as [1].
* Ghali, Sherif (2008). Introduction to Geometric Computing. Springer. ISBN 978-1-84800-114-5.
Nice introduction to oriented projective geometry in chapters 14 and 15. More at author's website. Sherif Ghali.
* Yamaguchi, Fujio (2002). Computer-aided Geometric Design: A Totally Four-dimensional Approach. Springer. ISBN 978-4-431-68007-9.
* Below, Alexander; Krummeck, Vanessa; Richter-Gebert, Jurgen (2003). "Complex matroids: phirotopes and their realizations in rank 2". in Aronov, Boris; Basu, Saugata; Pach, Janos et al.. Discrete and Computational Geometry: The Goodman–Pollack Festschrift. Springer. pp. 203–233. doi:10.1007/978-3-642-55566-4. ISBN 978-3-642-62442-1. https://link.springer.com/book/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.
* Werner, Tomas (2003). "Combinatorial constraints on multiple projections of set points". Proceedings Ninth IEEE International Conference on Computer Vision. pp. 1011–1016. doi:10.1109/ICCV.2003.1238459. ISBN 0-7695-1950-4. https://ieeexplore.ieee.org/document/1238459. Retrieved 26 November 2022.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Oriented projective geometry. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Oriented_projective_geometry&oldid=211773"