PlanetMath: ray

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (511)
Corrections (9)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

ray

(Definition)

Rays on the real line. A ray on the real line $\mathbb{R}$ is just an open set of the form $(p,\infty)$ , or $(-\infty,p)$ . A ray is also called a half line, or an open ray, to distinguish the notion of a closed ray, which includes its endpoint.

Properties Suppose $p,q\in\mathbb{R}$ and $p\le q$ .

$(p,\infty)\cap(q,\infty)=(q,\infty)$ .
$(p,\infty)\cup(q,\infty)=(p,\infty)$ .
$(p,\infty)\cap(-\infty,q)=(p,q)$ if $p\ne q$ , and $\varnothing$ if .
$(-\infty,p)\cap(q,\infty)=\varnothing$ .
$(p,\infty)\cup(-\infty,q)=\mathbb{R}$ if $p\ne q$ , and $\mathbb{R}-\lbrace p\rbrace$ if .
$(-\infty,p)\cup(q,\infty)=\mathbb{R}-[p,q]$ if $p\ne q$ , and $\mathbb{R}-\lbrace p\rbrace$ if .

Rays in a general Euclidean space. Let $\ell$ be a line in $\mathbb{R}^n$ and let

be a point lying on the $\ell$ . We may parameterize $\ell=\ell(t)$ (parameter $t\in \mathbb{R}$ ) so that $\ell(0)=p$ . An (open) ray $\rho$ lying on $\ell$ with endpoint

is the set of points

$\displaystyle \rho=\lbrace r\mid r=\ell(t), t>0 \rbrace.$

If the inequality

is relaxed to $t\ge 0$ in the above expression, then we have a closed ray. Note that if the inequality above were changed to

instead, we end up again with a ray lying on $\ell$ and endpoint

. It is a ray because we can reparameterize $\ell$ by using the parameter

instead, so that

$\displaystyle \lbrace r\mid r=\ell(t), t<0\rbrace = \lbrace r \mid r=\ell(s),s>0\rbrace.$

The difference between the two rays is that they point in the opposite directions. Therefore, in general, a ray can be characterized by

a line,
a point lying on the line, and
a direction on the line.

Rays in an ordered geometry: Given two distinct points

in an ordered geometry

(

is the underlying incidence geometry and

is the strict betweenness relation defined on the points of

). The set

$\displaystyle \overline{pq}\cup\lbrace q\rbrace\cup\lbrace r\mid q\in\overline{pr} \rbrace,$

where $\overline{st}$ denotes the open line segment with endpoints

and

, is called the (open) ray generated by

and

emanating from

. It is denoted by $\overrightarrow{pq}$ .

in $\overrightarrow{pq}$ is called the source or the end point of the ray. A closed ray generated by

and

with endpoint

is the set $\overrightarrow{pq}\cup\lbrace p\rbrace$ .

Properties.

for any point $r\in\overrightarrow{pq}$ , $\overrightarrow{pr}=\overrightarrow{pq}$ .
$\overrightarrow{pq}\cup\overrightarrow{qp}=\overleftrightarrow{pq}$ and $\overrightarrow{pq}\cap\overrightarrow{qp}=\overline{pq}$ . We say that a ray lies on a line if all of the points in the ray are incident with the line. Also, a line segment lies on a ray if it is a subset of the ray.
The opposite ray of $\rho=\overrightarrow{pq}$ is defined to be
$\displaystyle \overrightarrow{qp}-\overline{pq}-\lbrace q\rbrace.$
It is denoted by $-\rho$ .
The opposite ray $-\rho$ of a ray $\rho$ is ray. Suppose $\rho=\overrightarrow{pq}$ . Then $\rho$ has the property that
1. $\rho\cap(-\rho)=\varnothing$ and
2. $\rho\cup(-\rho)=\overleftrightarrow{pq}-\lbrace p\rbrace$ .
Conversely, given a ray $\rho=\overrightarrow{pq}$ , any ray $\rho^{\prime}$ satisfying the above two properties (replacing $-\rho$ by $\rho^{\prime}$ ) is the opposite ray of $\rho$ .
Given any point on a line $\ell$ , there are exactly two rays lying on $\ell$ with endpoint . Furthermore, is between and in $\ell$ iff and lie on opposite rays on $\ell$ .
Given any two rays $\rho$ and $\varrho$ , exactly one of the following holds:
1. $\rho\cap\varrho=\varnothing$ ,
2. $\rho\cap\varrho=$ a line segment, or
3. $\rho\cap\varrho=$ a ray.
It is not hard to see that in the last case, one ray is included in the other, and their intersection is the “smaller” of the two rays. In the first two cases, the two rays are said to be (pointing) in the opposite direction. In the last case, the two are said to be in the same direction. Opposite rays are clearly pointing in the opposite direction.
An equivalence relation can be defined on the set of all rays lying on a line $\ell$ by whether they are pointing in the same direction or not. Thus, the set of all rays lying on $\ell$ can be partitioned into two subsets and $R^{\prime}$ , so that if $\rho,\varrho\in R$ (or $R^{\prime}$ ), then they are pointing in the same direction; and if $\rho\in R$ and $\varrho\in R^{\prime}$ are pointing in the opposite direction.
Pick one of the two subsets from above, say . Define $\le$ on by $\rho\le\varrho$ if $\rho\subseteq\varrho$ . Then $\le$ is a linear order on . This $\le$ induces a linear order $\le_{\ell}$ on the line $\ell$ in the following way: $p\le_{\ell}q$ if the corresponding rays $\rho,\varrho\in R$ , with endpoints and respectively, we have $\rho\le\varrho$ . This is one way to define a linear ordering on a line $\ell$ . An alternative, but equivalent way of defining a linear ordering on a line in an ordered geometry can be found in the entry under ordered geometry.
Note that in defining $\le$ , we could have used $R^{\prime}$ instead of . This is an example of the duality of linear ordering.

Bibliography

1: D. Hilbert, Foundations of Geometry, Open Court Publishing Co. (1971)
2: K. Borsuk and W. Szmielew, Foundations of Geometry, North-Holland Publishing Co. Amsterdam (1960)
3: M. J. Greenberg, Euclidean and Non-Euclidean Geometries, Development and History, W. H. Freeman and Company, San Francisco (1974)

"ray" is owned by CWoo.

(view preamble)