Equipollence (geometry)

Last updated
Symbol for equipollence Libra symbol (bold).svg
Symbol for equipollence

In Euclidean geometry, equipollence is a binary relation between directed line segments. A line segment AB from point A to point B has the opposite direction to line segment BA. Two parallel line segments are equipollent when they have the same length and direction.

Contents

Parallelogram property

If the segments AB and CD are equipollent, then AC and BD are also equipollent Newton-1.jpg
If the segments AB and CD are equipollent, then AC and BD are also equipollent

A definitive feature of Euclidean space is the parallelogram property of vectors: If two segments are equipollent, then they form two sides of a parallelogram:

If a given vector holds between a and b, c and d, then the vector which holds between a and c is the same as that which holds between b and d.

History

The concept of equipollent line segments was advanced by Giusto Bellavitis in 1835. Subsequently, the term vector was adopted for a class of equipollent line segments. Bellavitis's use of the idea of a relation to compare different but similar objects has become a common mathematical technique, particularly in the use of equivalence relations. Bellavitis used a special notation for the equipollence of segments AB and CD:

The following passages, translated by Michael J. Crowe, show the anticipation that Bellavitis had of vector concepts:

Equipollences continue to hold when one substitutes for the lines in them, other lines which are respectively equipollent to them, however they may be situated in space. From this it can be understood how any number and any kind of lines may be summed, and that in whatever order these lines are taken, the same equipollent-sum will be obtained...
In equipollences, just as in equations, a line may be transferred from one side to the other, provided that the sign is changed...

Thus oppositely directed segments are negatives of each other:

The equipollence where n stands for a positive number, indicates that AB is both parallel to and has the same direction as CD, and that their lengths have the relation expressed by AB = n.CD. [1]

The segment from A to B is a bound vector, while the class of segments equipollent to it is a free vector, in the parlance of Euclidean vectors.

Extension

Geometric equipollence is also used on the sphere:

To appreciate Hamilton's method, let us first recall the much simpler case of the Abelian group of translations in Euclidean three-dimensional space. Each translation is representable as a vector in space, only the direction and magnitude being significant, and the location irrelevant. The composition of two translations is given by the head-to-tail parallelogram rule of vector addition; and taking the inverse amounts to reversing direction. In Hamilton's theory of turns, we have a generalization of such a picture from the Abelian translation group to the non-Abelian SU(2). Instead of vectors in space, we deal with directed great circle arcs, of length < π on a unit sphere S2 in a Euclidean three-dimensional space. Two such arcs are deemed equivalent if by sliding one along its great circle it can be made to coincide with the other. [2]

On a great circle of a sphere, two directed circular arcs are equipollent when they agree in direction and arc length. An equivalence class of such arcs is associated with a quaternion versor

where a is arc length and r determines the plane of the great circle by perpendicularity.

Abstraction

Properties of the equivalence classes of equipollent segments can be abstracted to define affine space:

If A is a set of points and V is a vector space, then (A, V) is an affine space provided that for any two points a,b in A there is a vector in V, and for any a in A and v in V there is b in A such that and for any three points in A there is the vector equation

Evidently this development depends on previous introduction to abstract vector spaces, in contrast to the introduction of vectors via equivalence classes of directed segments. [3]

Related Research Articles

<span class="mw-page-title-main">Euclidean space</span> Fundamental space of geometry

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

<span class="mw-page-title-main">Euclidean vector</span> Geometric object that has length and direction

In mathematics, physics, and engineering, a Euclidean vector or simply a vector is a geometric object that has magnitude and direction. Vectors can be added to other vectors according to vector algebra. A Euclidean vector is frequently represented by a directed line segment, or graphically as an arrow connecting an initial pointA with a terminal pointB, and denoted by .

<span class="mw-page-title-main">Affine transformation</span> Geometric transformation that preserves lines but not angles nor the origin

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

<span class="mw-page-title-main">Triangle inequality</span> Property of geometry, also used to generalize the notion of "distance" in metric spaces

In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side. This statement permits the inclusion of degenerate triangles, but some authors, especially those writing about elementary geometry, will exclude this possibility, thus leaving out the possibility of equality. If x, y, and z are the lengths of the sides of the triangle, with no side being greater than z, then the triangle inequality states that

<span class="mw-page-title-main">Parallelogram</span> Quadrilateral with two pairs of parallel sides

In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

<span class="mw-page-title-main">Ceva's theorem</span> Geometric relation between line segments from a triangles vertices and their intersection

In Euclidean geometry, Ceva's theorem is a theorem about triangles. Given a triangle ABC, let the lines AO, BO, CO be drawn from the vertices to a common point O, to meet opposite sides at D, E, F respectively. Then, using signed lengths of segments,

Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.

<span class="mw-page-title-main">Hyperbolic geometry</span> Non-Euclidean geometry

In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

<span class="mw-page-title-main">Affine geometry</span> Euclidean geometry without distance and angles

In mathematics, affine geometry is what remains of Euclidean geometry when ignoring the metric notions of distance and angle.

<span class="mw-page-title-main">Affine space</span> Euclidean space without distance and angles

In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments.

<span class="mw-page-title-main">Parallelogram law</span> The sum of the squares of the 4 sides of a parallelogram equals that of the 2 diagonals

In mathematics, the simplest form of the parallelogram law belongs to elementary geometry. It states that the sum of the squares of the lengths of the four sides of a parallelogram equals the sum of the squares of the lengths of the two diagonals. We use these notations for the sides: AB, BC, CD, DA. But since in Euclidean geometry a parallelogram necessarily has opposite sides equal, that is, AB = CD and BC = DA, the law can be stated as

A taxicab geometry or a Manhattan geometry is a geometry whose usual distance function or metric of Euclidean geometry is replaced by a new metric in which the distance between two points is the sum of the absolute differences of their Cartesian coordinates. The taxicab metric is also known as rectilinear distance, L1 distance, L1 distance or norm, snake distance, city block distance, Manhattan distance or Manhattan length. The latter names refer to the rectilinear street layout on the island of Manhattan, where the shortest path a taxi travels between two points is the sum of the absolute values of distances that it travels on avenues and on streets.

<span class="mw-page-title-main">Real projective plane</span> Compact non-orientable two-dimensional manifold

In mathematics, the real projective plane is an example of a compact non-orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has basic applications to geometry, since the common construction of the real projective plane is as the space of lines in passing through the origin.

<span class="mw-page-title-main">Midpoint</span> Point on a line segment which is equidistant from both endpoints

In geometry, the midpoint is the middle point of a line segment. It is equidistant from both endpoints, and it is the centroid both of the segment and of the endpoints. It bisects the segment.

<span class="mw-page-title-main">Position (geometry)</span> Vector representing the position of a point with respect to a fixed origin

In geometry, a position or position vector, also known as location vector or radius vector, is a Euclidean vector that represents the position of a point P in space in relation to an arbitrary reference origin O. Usually denoted x, r, or s, it corresponds to the straight line segment from O to P. In other words, it is the displacement or translation that maps the origin to P:

The circles of Apollonius are any of several sets of circles associated with Apollonius of Perga, a renowned Greek geometer. Most of these circles are found in planar Euclidean geometry, but analogs have been defined on other surfaces; for example, counterparts on the surface of a sphere can be defined through stereographic projection.

<span class="mw-page-title-main">Levi-Civita parallelogramoid</span>

In the mathematical field of differential geometry, the Levi-Civita parallelogramoid is a quadrilateral in a curved space whose construction generalizes that of a parallelogram in the Euclidean plane. It is named for its discoverer, Tullio Levi-Civita. Like a parallelogram, two opposite sides AA′ and BB′ of a parallelogramoid are parallel and the same length as each other, but the fourth side AB′ will not in general be parallel to or the same length as the side AB, although it will be straight.

<span class="mw-page-title-main">Law of cosines</span> Property of all triangles on a Euclidean plane

In trigonometry, the law of cosines relates the lengths of the sides of a triangle to the cosine of one of its angles. For a triangle with sides and opposite respective angles and , the law of cosines states:

<span class="mw-page-title-main">Line segment</span> Part of a line that is bounded by two distinct end points; line with two endpoints

In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. It is a special case of an arc, with zero curvature. The length of a line segment is given by the Euclidean distance between its endpoints. A closed line segment includes both endpoints, while an open line segment excludes both endpoints; a half-open line segment includes exactly one of the endpoints. In geometry, a line segment is often denoted using a line above the symbols for the two endpoints.

<span class="mw-page-title-main">Giusto Bellavitis</span> Italian mathematician, senator, and municipal councilor

Giusto Bellavitis was an Italian mathematician, senator, and municipal councilor. According to Charles Laisant,

References

  1. Michael J. Crowe (1967) A History of Vector Analysis, "Giusto Bellavitis and His Calculus of Equipollences", pp 52–4, University of Notre Dame Press
  2. N. Mukunda, Rajiah Simon and George Sudarshan (1989) "The theory of screws: a new geometric representation for the group SU(1,1), Journal of Mathematical Physics 30(5): 1000–1006 MR 0992568
  3. Mikhail Postnikov (1982) Lectures in Geometry Semester I Analytic Geometry pages 45 and 46, via Internet Archive