Namespaces
Variants
Actions

Difference between revisions of "Straight line"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
One of the basic geometric concepts. A straight line is usually implicitly defined by the axioms of geometry; e.g., a Euclidean straight line by the axioms of incidence, order, congruence, and continuity. A straight line is called projective, affine, hyperbolic, etc., depending on the plane in which it is imbedded. A straight line can be studied by its transformations induced by the collineations of the plane. E.g., the group of algebraic automorphisms of a real projective straight line is isomorphic to the group of displacements of the Lobachevskii plane. Topologically, all straight lines in one plane are equivalent. Thus, the elliptic and real projective straight lines are topologically equivalent to a circle in the Euclidean plane, while the complex projective straight line is topologically equivalent to a two-dimensional sphere in the Euclidean space. A straight line is called continuous, discrete or finite if it is incident with a set of points of the cardinality of the continuum, with a countable set or with a finite set, respectively.
+
<!--
 +
s0904001.png
 +
$#A+1 = 9 n = 0
 +
$#C+1 = 9 : ~/encyclopedia/old_files/data/S090/S.0900400 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.
 +
-->
  
In the plane over an arbitrary algebraic field, a straight line is an algebraic curve of order one. In the rectilinear coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904001.png" /> of the Euclidean plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904002.png" />, a straight line is given by an equation
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<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/s/s090/s090400/s0904003.png" /></td> </tr></table>
+
One of the basic geometric concepts. A straight line is usually implicitly defined by the axioms of geometry; e.g., a Euclidean straight line by the axioms of incidence, order, congruence, and continuity. A straight line is called projective, affine, hyperbolic, etc., depending on the plane in which it is imbedded. A straight line can be studied by its transformations induced by the collineations of the plane. E.g., the group of algebraic automorphisms of a real projective straight line is isomorphic to the group of displacements of the Lobachevskii plane. Topologically, all straight lines in one plane are equivalent. Thus, the elliptic and real projective straight lines are topologically equivalent to a circle in the Euclidean plane, while the complex projective straight line is topologically equivalent to a two-dimensional sphere in the Euclidean space. A straight line is called continuous, discrete or finite if it is incident with a set of points of the cardinality of the continuum, with a countable set or with a finite set, respectively.
  
The coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904004.png" /> determine the coordinates of the normal vector of this straight line.
+
In the plane over an arbitrary algebraic field, a straight line is an algebraic curve of order one. In the rectilinear coordinate system  $  ( x , y ) $
 +
of the Euclidean plane  $  \mathbf R  ^ {2} $,
 +
a straight line is given by an equation
  
The straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904005.png" /> in the affine space over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904006.png" /> (according to Weil) is the set of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904007.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904008.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090400/s0904009.png" />.
+
$$
 +
A x + B y + C  = 0 .
 +
$$
  
 +
The coefficients  $  A , B $
 +
determine the coordinates of the normal vector of this straight line.
  
 +
The straight line  $  ( A , B ) $
 +
in the affine space over a field  $  k $(
 +
according to Weil) is the set of points  $  M $
 +
for which  $  {A M } vec = t {A B } vec $,
 +
where  $  t \in k $.
  
 
====Comments====
 
====Comments====

Latest revision as of 08:23, 6 June 2020


One of the basic geometric concepts. A straight line is usually implicitly defined by the axioms of geometry; e.g., a Euclidean straight line by the axioms of incidence, order, congruence, and continuity. A straight line is called projective, affine, hyperbolic, etc., depending on the plane in which it is imbedded. A straight line can be studied by its transformations induced by the collineations of the plane. E.g., the group of algebraic automorphisms of a real projective straight line is isomorphic to the group of displacements of the Lobachevskii plane. Topologically, all straight lines in one plane are equivalent. Thus, the elliptic and real projective straight lines are topologically equivalent to a circle in the Euclidean plane, while the complex projective straight line is topologically equivalent to a two-dimensional sphere in the Euclidean space. A straight line is called continuous, discrete or finite if it is incident with a set of points of the cardinality of the continuum, with a countable set or with a finite set, respectively.

In the plane over an arbitrary algebraic field, a straight line is an algebraic curve of order one. In the rectilinear coordinate system $ ( x , y ) $ of the Euclidean plane $ \mathbf R ^ {2} $, a straight line is given by an equation

$$ A x + B y + C = 0 . $$

The coefficients $ A , B $ determine the coordinates of the normal vector of this straight line.

The straight line $ ( A , B ) $ in the affine space over a field $ k $( according to Weil) is the set of points $ M $ for which $ {A M } vec = t {A B } vec $, where $ t \in k $.

Comments

Cf. also Hilbert system of axioms.

References

[a1] H.R. Jacobs, "Geometry" , Freeman (1974)
How to Cite This Entry:
Straight line. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Straight_line&oldid=11779
This article was adapted from an original article by V.V. Afanas'evL.A. Sidorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article