Namespaces
Variants
Actions

Difference between revisions of "Projective straight line"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
p0753701.png
 +
$#A+1 = 33 n = 0
 +
$#C+1 = 33 : ~/encyclopedia/old_files/data/P075/P.0705370 Projective straight line,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''projective line''
 
''projective line''
  
A [[Projective space|projective space]] of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753701.png" />. A projective line, considered as an independent object, is a closed one-dimensional [[Manifold|manifold]]. A projective line is a special (and peculiar) projective space: there are no interesting incidence relations on it similar to those on projective spaces of higher dimensions. The only invariant of a projective line is the number of its points. A projective line is called continuous, discrete or finite if it is incident to a point set of the cardinality of the continuum, of countable cardinality or of finite cardinality, respectively.
+
A [[Projective space|projective space]] of dimension $  1 $.  
 +
A projective line, considered as an independent object, is a closed one-dimensional [[Manifold|manifold]]. A projective line is a special (and peculiar) projective space: there are no interesting incidence relations on it similar to those on projective spaces of higher dimensions. The only invariant of a projective line is the number of its points. A projective line is called continuous, discrete or finite if it is incident to a point set of the cardinality of the continuum, of countable cardinality or of finite cardinality, respectively.
  
A projective line is called ordered if a relation of separation of two pairs of distinct points is given on it. It is assumed that this relation does not depend on the order of the pairs or on the order of the points in the pairs, and that any quadruple of distinct points splits uniquely into two mutually separating pairs. In addition, the location axiom is adopted, which connects five distinct points (see, for example, [[#References|[1]]]). The ordering of a projective line over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753702.png" /> is related to the ordering of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753703.png" />. Namely, a pair of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753704.png" /> separates a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753705.png" /> if the [[Cross ratio|cross ratio]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753706.png" /> is negative, and does not separate if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753707.png" /> is positive. The finite projective line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753708.png" /> over a [[Galois field|Galois field]] of odd order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p0753709.png" /> can be ordered similarly to the real projective line. It is assumed (see [[#References|[4]]]) that a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537010.png" /> of points separates a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537011.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537012.png" /> is a quadratic residue in the Galois field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537013.png" />.
+
A projective line is called ordered if a relation of separation of two pairs of distinct points is given on it. It is assumed that this relation does not depend on the order of the pairs or on the order of the points in the pairs, and that any quadruple of distinct points splits uniquely into two mutually separating pairs. In addition, the location axiom is adopted, which connects five distinct points (see, for example, [[#References|[1]]]). The ordering of a projective line over the field $  \mathbf R $
 +
is related to the ordering of the field $  \mathbf R $.  
 +
Namely, a pair of points $  \{ A , B \} $
 +
separates a pair $  \{ C , D \} $
 +
if the [[Cross ratio|cross ratio]] $  ( A , B ;  C , D ) $
 +
is negative, and does not separate if $  ( A , B ;  C , D ) $
 +
is positive. The finite projective line $  \mathop{\rm PG} ( 1, q ) $
 +
over a [[Galois field|Galois field]] of odd order $  q $
 +
can be ordered similarly to the real projective line. It is assumed (see [[#References|[4]]]) that a pair $  \{ A , B \} $
 +
of points separates a pair $  \{ C , D \} $
 +
if and only if $  ( A , B ;  C , D ) $
 +
is a quadratic residue in the Galois field $  \mathop{\rm GF} ( q ) $.
  
A projective line acquires a certain geometric structure if it is imbedded in a projective space of higher dimension. For example, a projective line is uniquely determined by two distinct points, while the analytic definition of a projective line as a set of equivalence classes of pairs of elements of a skew-field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537014.png" /> that are not simultaneously equal to zero, is actually equivalent to an imbedding of the projective line into a projective space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537016.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537017.png" /> is the projective line over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537018.png" />, then the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537019.png" /> of automorphisms of the projective line can be represented on the points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537020.png" /> in parametric form as the set of mappings
+
A projective line acquires a certain geometric structure if it is imbedded in a projective space of higher dimension. For example, a projective line is uniquely determined by two distinct points, while the analytic definition of a projective line as a set of equivalence classes of pairs of elements of a skew-field $  k $
 +
that are not simultaneously equal to zero, is actually equivalent to an imbedding of the projective line into a projective space $  P _ {n} ( k ) $,  
 +
$  n \geq  2 $.  
 +
If $  P _ {1} ( k ) $
 +
is the projective line over the field $  k $,  
 +
then the group $  \mathop{\rm Aut}  P _ {1} ( k ) $
 +
of automorphisms of the projective line can be represented on the points of $  P _ {1} ( k ) $
 +
in parametric form as the set of mappings
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537021.png" /></td> </tr></table>
+
$$
 +
k  \rightarrow 
 +
\frac{k  ^  \alpha  a + b }{k  ^  \alpha  c + d }
 +
,\  a , b ,\
 +
c , d \in k ,\  ad - bc \neq 0 ,\  \alpha \in  \mathop{\rm Aut}  k .
 +
$$
  
The group of algebraic automorphisms of the real projective line is isomorphic to the group of displacements of the real hyperbolic plane, and the order of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537022.png" /> equals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537023.png" />.
+
The group of algebraic automorphisms of the real projective line is isomorphic to the group of displacements of the real hyperbolic plane, and the order of the group $  \mathop{\rm Aut}  \mathop{\rm PG} ( 1 , p ^ {h} ) $
 +
equals $  h ( p ^ {3h} - p  ^ {h} ) $.
  
On a projective line one can construct different geometries. For example, the Möbius plane of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537024.png" /> admits an interpretation on the projective line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537025.png" /> (see [[#References|[5]]]). Another traditional geometric construction is the representation of the projective space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537026.png" /> on the projective line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537027.png" /> (see [[#References|[2]]]) under which a point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537028.png" /> is represented by an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537029.png" />-tuple of points of the projective line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537030.png" /> (here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537031.png" /> is an algebraically closed field).
+
On a projective line one can construct different geometries. For example, the Möbius plane of order p $
 +
admits an interpretation on the projective line $  \mathop{\rm PG} ( 1, p ^ {2} ) $(
 +
see [[#References|[5]]]). Another traditional geometric construction is the representation of the projective space $  P _ {n} ( k ) $
 +
on the projective line $  P _ {1} ( k ) $(
 +
see [[#References|[2]]]) under which a point of $  P _ {n} ( k ) $
 +
is represented by an $  n $-
 +
tuple of points of the projective line $  P _ {1} ( k ) $(
 +
here $  k $
 +
is an algebraically closed field).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> N.A. Glagolev, "Projective geometry" , Moscow (1963) (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> D.R. Hughes, F.C. Piper, "Projective planes" , Springer (1973) {{MR|0333959}} {{ZBL|0267.50018}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> P. Kustaanheimo, "On a relation of order in geometries over a Galois field" ''Soc. Sci. Fenn. Comment. Phys.-Math.'' , '''20''' : 8 (1957) {{MR|100245}} {{ZBL|0088.13103}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> O. Veblen, J.W. Young, "Projective geometry" , '''1''' , Blaisdell (1938) {{MR|0179667}} {{MR|0179666}} {{MR|1519256}} {{MR|1506049}} {{MR|1500790}} {{MR|1500747}} {{ZBL|0127.37604}} {{ZBL|0018.32604}} {{ZBL|63.0693.02}} {{ZBL|55.0413.02}} {{ZBL|52.0732.01}} {{ZBL|51.0591.05}} {{ZBL|51.0569.04}} {{ZBL|49.0547.01}} {{ZBL|48.0843.04}} {{ZBL|47.0582.08}} {{ZBL|41.0606.06}} {{ZBL|39.0606.01}} {{ZBL|38.0562.01}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> N.A. Glagolev, "Projective geometry" , Moscow (1963) (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> D.R. Hughes, F.C. Piper, "Projective planes" , Springer (1973) {{MR|0333959}} {{ZBL|0267.50018}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> P. Kustaanheimo, "On a relation of order in geometries over a Galois field" ''Soc. Sci. Fenn. Comment. Phys.-Math.'' , '''20''' : 8 (1957) {{MR|100245}} {{ZBL|0088.13103}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> O. Veblen, J.W. Young, "Projective geometry" , '''1''' , Blaisdell (1938) {{MR|0179667}} {{MR|0179666}} {{MR|1519256}} {{MR|1506049}} {{MR|1500790}} {{MR|1500747}} {{ZBL|0127.37604}} {{ZBL|0018.32604}} {{ZBL|63.0693.02}} {{ZBL|55.0413.02}} {{ZBL|52.0732.01}} {{ZBL|51.0591.05}} {{ZBL|51.0569.04}} {{ZBL|49.0547.01}} {{ZBL|48.0843.04}} {{ZBL|47.0582.08}} {{ZBL|41.0606.06}} {{ZBL|39.0606.01}} {{ZBL|38.0562.01}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
The relation of separation (for a projective line over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537032.png" />) is invariant under projective transformations, as follows from the above-mentioned properties of cross ratios.
+
The relation of separation (for a projective line over $  \mathbf R $)  
 +
is invariant under projective transformations, as follows from the above-mentioned properties of cross ratios.
  
If all classical separation axioms hold, then the coordinate field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075370/p07537033.png" /> has characteristic zero, and is infinite.
+
If all classical separation axioms hold, then the coordinate field $  k $
 +
has characteristic zero, and is infinite.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.W.P. Hirschfeld, "Projective geometries over finite fields" , Clarendon Press (1979) {{MR|0554919}} {{ZBL|0418.51002}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.W.P. Hirschfeld, "Projective geometries over finite fields" , Clarendon Press (1979) {{MR|0554919}} {{ZBL|0418.51002}} </TD></TR></table>

Latest revision as of 08:08, 6 June 2020


projective line

A projective space of dimension $ 1 $. A projective line, considered as an independent object, is a closed one-dimensional manifold. A projective line is a special (and peculiar) projective space: there are no interesting incidence relations on it similar to those on projective spaces of higher dimensions. The only invariant of a projective line is the number of its points. A projective line is called continuous, discrete or finite if it is incident to a point set of the cardinality of the continuum, of countable cardinality or of finite cardinality, respectively.

A projective line is called ordered if a relation of separation of two pairs of distinct points is given on it. It is assumed that this relation does not depend on the order of the pairs or on the order of the points in the pairs, and that any quadruple of distinct points splits uniquely into two mutually separating pairs. In addition, the location axiom is adopted, which connects five distinct points (see, for example, [1]). The ordering of a projective line over the field $ \mathbf R $ is related to the ordering of the field $ \mathbf R $. Namely, a pair of points $ \{ A , B \} $ separates a pair $ \{ C , D \} $ if the cross ratio $ ( A , B ; C , D ) $ is negative, and does not separate if $ ( A , B ; C , D ) $ is positive. The finite projective line $ \mathop{\rm PG} ( 1, q ) $ over a Galois field of odd order $ q $ can be ordered similarly to the real projective line. It is assumed (see [4]) that a pair $ \{ A , B \} $ of points separates a pair $ \{ C , D \} $ if and only if $ ( A , B ; C , D ) $ is a quadratic residue in the Galois field $ \mathop{\rm GF} ( q ) $.

A projective line acquires a certain geometric structure if it is imbedded in a projective space of higher dimension. For example, a projective line is uniquely determined by two distinct points, while the analytic definition of a projective line as a set of equivalence classes of pairs of elements of a skew-field $ k $ that are not simultaneously equal to zero, is actually equivalent to an imbedding of the projective line into a projective space $ P _ {n} ( k ) $, $ n \geq 2 $. If $ P _ {1} ( k ) $ is the projective line over the field $ k $, then the group $ \mathop{\rm Aut} P _ {1} ( k ) $ of automorphisms of the projective line can be represented on the points of $ P _ {1} ( k ) $ in parametric form as the set of mappings

$$ k \rightarrow \frac{k ^ \alpha a + b }{k ^ \alpha c + d } ,\ a , b ,\ c , d \in k ,\ ad - bc \neq 0 ,\ \alpha \in \mathop{\rm Aut} k . $$

The group of algebraic automorphisms of the real projective line is isomorphic to the group of displacements of the real hyperbolic plane, and the order of the group $ \mathop{\rm Aut} \mathop{\rm PG} ( 1 , p ^ {h} ) $ equals $ h ( p ^ {3h} - p ^ {h} ) $.

On a projective line one can construct different geometries. For example, the Möbius plane of order $ p $ admits an interpretation on the projective line $ \mathop{\rm PG} ( 1, p ^ {2} ) $( see [5]). Another traditional geometric construction is the representation of the projective space $ P _ {n} ( k ) $ on the projective line $ P _ {1} ( k ) $( see [2]) under which a point of $ P _ {n} ( k ) $ is represented by an $ n $- tuple of points of the projective line $ P _ {1} ( k ) $( here $ k $ is an algebraically closed field).

References

[1] N.A. Glagolev, "Projective geometry" , Moscow (1963) (In Russian)
[2] I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001
[3] D.R. Hughes, F.C. Piper, "Projective planes" , Springer (1973) MR0333959 Zbl 0267.50018
[4] P. Kustaanheimo, "On a relation of order in geometries over a Galois field" Soc. Sci. Fenn. Comment. Phys.-Math. , 20 : 8 (1957) MR100245 Zbl 0088.13103
[5] O. Veblen, J.W. Young, "Projective geometry" , 1 , Blaisdell (1938) MR0179667 MR0179666 MR1519256 MR1506049 MR1500790 MR1500747 Zbl 0127.37604 Zbl 0018.32604 Zbl 63.0693.02 Zbl 55.0413.02 Zbl 52.0732.01 Zbl 51.0591.05 Zbl 51.0569.04 Zbl 49.0547.01 Zbl 48.0843.04 Zbl 47.0582.08 Zbl 41.0606.06 Zbl 39.0606.01 Zbl 38.0562.01

Comments

The relation of separation (for a projective line over $ \mathbf R $) is invariant under projective transformations, as follows from the above-mentioned properties of cross ratios.

If all classical separation axioms hold, then the coordinate field $ k $ has characteristic zero, and is infinite.

References

[a1] J.W.P. Hirschfeld, "Projective geometries over finite fields" , Clarendon Press (1979) MR0554919 Zbl 0418.51002
How to Cite This Entry:
Projective straight line. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_straight_line&oldid=23938
This article was adapted from an original article by V.V. Afanas'ev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article