Support of a module: Difference between revisions
en>Pichpich removed Category:Algebra; added Category:Module theory using HotCat |
fixed tex formatting |
||
Line 1: | Line 1: | ||
[[Image:pappusharmonic.svg|thumb|right|300px|''D'' is the harmonic conjugate of ''C'' w.r.t. ''A'' and ''B''.<br>''A, D, B, C'' form a harmonic range.<br>''KLMN'' is a complete quadrangle generating it.]]In [[projective geometry]], the '''harmonic conjugate point''' of a triple of points on the [[real projective line]] is defined by the following construction: | |||
:Given three collinear points ''A, B, C,'' let ''L'' be a point not lying on their join and let any line through ''C'' meet ''LA, LB'' at ''M, N'' respectively. If ''AN'' and ''BM'' meet at ''K'', and ''LK'' meets ''AB'' at ''D'', then ''D'' is called the '''harmonic conjugate''' of ''C'' with respect to ''A, B''.<ref>R. L. Goodstein & E. J. F. Primrose (1953) ''Axiomatic Projective Geometry'', University College Leicester (publisher). This text follows [[synthetic geometry]]. Harmonic construction on page 11</ref> | |||
What is remarkable is that the point ''D'' does not depend on what point ''L'' is taken initially, nor upon what line through ''C'' is used to find ''M'' and ''N''. This fact follows from [[Desargues theorem]]; it can also be defined in terms of the [[cross-ratio]] as (''A'', ''B''; ''C'', ''D'') = −1. | |||
==Cross-ratio criterion== | |||
The four points are sometimes called a [[projective range|harmonic range]] (on the real projective line) as it is found that ''D'' always divides the segment ''AB'' ''internally'' in the same proportion as ''C'' divides ''AB'' ''externally''. That is: | |||
:<math>{AC}:{BC} = {AD}:{DB} \, </math> | |||
If these segments are now endowed with the ordinary metric interpretation of [[real numbers]] they will be ''signed'' and form a double proportion known as the [[cross ratio]] (sometimes ''double ratio'') | |||
:<math>(A,B;C,D) = \frac {AC}{AD}/\frac {BC}{-DB} , </math> | |||
for which a harmonic range is characterized by a value of -1, We therefore write: | |||
:<math>(A,B;C,D) = \frac {AC}{AD}.\frac {BD}{BC} = -1. \, </math> | |||
The value of a cross ratio in general [[Cross-ratio#Six_cross-ratios|is not unique]], as it depends on the order of selection of segments (and there are six such selections possible). But for a harmonic range in particular there are just three values of cross ratio:{−1, 1/2, 2} since -1 is self-inverse - so exchanging the last two points merely reciprocates each of these values but produces no new value, and is known classically as the '''harmonic cross-ratio.''' | |||
In terms of a double ratio, | |||
given points ''a'' and ''b'' on an affine line, the '''division ratio'''<ref>[[Dirk Struik]] (1953) ''Lectures on Analytic and Projective Geometry'', page 7</ref> of a point ''x'' is | |||
:<math>t(x) = \frac {x - a} {x - b} .</math> | |||
Note that when ''a'' < ''x'' < ''b'', then ''t''(''x'') is negative, and that it is positive outside of the interval. | |||
The cross-ratio (''c'',''d'';''a'',''b'') = ''t''(''c'')/''t''(''d'') is a ratio of division ratios, or a double ratio. Setting the double ratio to minus one means that | |||
when <math>t(c) + t(d) = 0</math>, then ''c'' and ''d'' are projective harmonic conjugates with respect to ''a'' and ''b''. So the division ratio criterion is that they be [[additive inverse]]s. | |||
In some school studies the configuration of a harmonic range is called [[harmonic division]]. | |||
==Of midpoint== | |||
[[Image:Real projective line.svg|right|thumb|150px|Midpoint and infinity are harmonic conjugates.]] | |||
When ''x'' is the [[midpoint]] of the segment from ''a'' to ''b'', then | |||
:<math>t(x) = \frac {x-a} {x-b} = -1.</math> | |||
By the cross-ratio criterion, the projective harmonic conjugate of ''x'' will be ''y'' when t(''y'') = 1. But there is no finite solution for ''y'' on the line through ''a'' and ''b''. Nevertheless, | |||
:<math>\lim_{y \to \infty} t(y) = 1,</math> | |||
thus motivating inclusion of a [[point at infinity]] in the projective line. This point at infinity serves as the projective harmonic conjugate of the midpoint ''x''. | |||
==From complete quadrangle== | |||
Another approach to the harmonic conjugate is through the concept of a [[complete quadrangle]] such as ''KLMN'' in the above diagram. Based on four points, the complete quadrangle has pairs of opposite sides and diagonals. In the expression of projective harmonic conjugates by [[H. S. M. Coxeter]], the diagonals are considered a pair of opposite sides: | |||
:''D'' is the harmonic conjugate of ''C'' with respect to ''A'' and ''B'', which means that there is a quadrangle ''IJKL'' such that one pair of opposite sides intersect at ''A'', and a second pair at ''B'', while the third pair meet ''AB'' at ''C'' and ''D''.<ref>H. S. M. Coxeter (1942) ''Non-Euclidean Geometry'', page 29, [[University of Toronto Press]]</ref> | |||
It was [[Karl von Staudt]] that first used the harmonic conjugate as the basis for projective geometry independent of metric considerations: | |||
:...Staudt succeeded in freeing projective geometry from elementary geometry. In his ''Geometrie der Lage'' Staudt introduced a harmonic quadruple of elements independently of the concept of the cross ratio following a purely projective route, using a complete quadrangle or quadrilateral.<ref>B.L. Laptev & B.A. Rozenfel'd (1996) ''Mathematics of the 19th Century: Geometry'', page 41, [[Birkhäuser Verlag]] ISBN 3-7643-5048-2</ref> | |||
[[File:Fano parallelogramm.svg|thumb|right|alt=parallelogram with diagonals|<math>P_1 = A,\ P_2 = S,</math><br><math>P_3 = B,\ P_4 = Q, D = M;</math><br>(ignore green M).]] | |||
To see the complete quadrangle applied to obtaining the midpoint, consider the following passage from J. W. Young: | |||
:If two arbitrary lines ''AQ'' and ''AS'' are drawn through ''A'' and lines ''BS'' and ''BQ'' are drawn through ''B'' parallel to ''AQ'' and ''AS'' respectively, the lines ''AQ'' and ''SB'' meet, by definition, in a point ''R'' at infinity, while ''AS'' and ''QB'' meet by definition in a point ''P'' at infinity. The complete quadrilateral ''PQRS'' then has two diagonal points at ''A'' and ''B'', while the remaining pair of opposite sides pass through ''M'' and the point at infinity on ''AB''. The point ''M'' is then by construction the harmonic conjugate of the point at infinity on ''AB'' with respect to ''A'' and ''B''. On the other hand, that ''M'' is the midpoint of the segment ''AB'' follows from the familiar proposition that the diagonals of a parallelogram (''PQRS'') bisect each other.<ref>[[John Wesley Young]] (1930) ''Projective Geometry'', page 85, [[Mathematical Association of America]], Chicago: [[Open Court Publishing]]</ref> | |||
==Projective conics== | |||
A conic in the projective plane is a curve ''C'' that has the following property: | |||
If ''P'' is a point not on ''C'', and if a variable line through ''P'' meets ''C'' at points ''A'' and ''B'', then the variable harmonic conjugate of ''P'' with respect to ''A'' and ''B'' traces out a line. The point ''P'' is called the '''pole''' of that line of harmonic conjugates, and this line is called the '''polar line''' of ''P'' with respect to the conic. See the article [[Pole and polar]] for more details. | |||
===Inversive geometry=== | |||
{{main|Inversive geometry}} | |||
In the case where the conic is a circle, on the extended diameters of the circle, projective harmonic conjugates with respect to the circle are [[inversive geometry#Inversion in a circle|inverses in a circle]]. This fact follows from one of Smogorzhevsky's theorems: | |||
:If circles ''k'' and ''q'' are mutually orthogonal, then a straight line passing through the center of ''k'' and intersecting ''q'', does so at points symmetrical with respect to ''k''. | |||
That is, if the line is an extended diameter of ''k'', then the intersections with ''q'' are projective harmonic conjugates. | |||
==References== | |||
{{reflist}} | |||
* Juan Carlos Alverez (2000) [http://www.math.poly.edu/~alvarez/teaching/projective-geometry Projective Geometry], see Chapter 2: The Real Projective Plane, section 3: Harmonic quadruples and von Staudt's theorem. | |||
* [[Bertrand Russell]] (1903) [[Principles of Mathematics]], page 384. | |||
*{{cite book |title=Pure Geometry | |||
|first=John Wellesley|last=Russell|publisher=Clarendon Press|year=1905 | |||
|url=http://books.google.com/books?id=r3ILAAAAYAAJ}} | |||
[[Category:Projective geometry]] |
Latest revision as of 05:17, 5 December 2013
In projective geometry, the harmonic conjugate point of a triple of points on the real projective line is defined by the following construction:
- Given three collinear points A, B, C, let L be a point not lying on their join and let any line through C meet LA, LB at M, N respectively. If AN and BM meet at K, and LK meets AB at D, then D is called the harmonic conjugate of C with respect to A, B.[1]
What is remarkable is that the point D does not depend on what point L is taken initially, nor upon what line through C is used to find M and N. This fact follows from Desargues theorem; it can also be defined in terms of the cross-ratio as (A, B; C, D) = −1.
Cross-ratio criterion
The four points are sometimes called a harmonic range (on the real projective line) as it is found that D always divides the segment AB internally in the same proportion as C divides AB externally. That is:
If these segments are now endowed with the ordinary metric interpretation of real numbers they will be signed and form a double proportion known as the cross ratio (sometimes double ratio)
for which a harmonic range is characterized by a value of -1, We therefore write:
The value of a cross ratio in general is not unique, as it depends on the order of selection of segments (and there are six such selections possible). But for a harmonic range in particular there are just three values of cross ratio:{−1, 1/2, 2} since -1 is self-inverse - so exchanging the last two points merely reciprocates each of these values but produces no new value, and is known classically as the harmonic cross-ratio.
In terms of a double ratio, given points a and b on an affine line, the division ratio[2] of a point x is
Note that when a < x < b, then t(x) is negative, and that it is positive outside of the interval. The cross-ratio (c,d;a,b) = t(c)/t(d) is a ratio of division ratios, or a double ratio. Setting the double ratio to minus one means that when , then c and d are projective harmonic conjugates with respect to a and b. So the division ratio criterion is that they be additive inverses.
In some school studies the configuration of a harmonic range is called harmonic division.
Of midpoint
When x is the midpoint of the segment from a to b, then
By the cross-ratio criterion, the projective harmonic conjugate of x will be y when t(y) = 1. But there is no finite solution for y on the line through a and b. Nevertheless,
thus motivating inclusion of a point at infinity in the projective line. This point at infinity serves as the projective harmonic conjugate of the midpoint x.
From complete quadrangle
Another approach to the harmonic conjugate is through the concept of a complete quadrangle such as KLMN in the above diagram. Based on four points, the complete quadrangle has pairs of opposite sides and diagonals. In the expression of projective harmonic conjugates by H. S. M. Coxeter, the diagonals are considered a pair of opposite sides:
- D is the harmonic conjugate of C with respect to A and B, which means that there is a quadrangle IJKL such that one pair of opposite sides intersect at A, and a second pair at B, while the third pair meet AB at C and D.[3]
It was Karl von Staudt that first used the harmonic conjugate as the basis for projective geometry independent of metric considerations:
- ...Staudt succeeded in freeing projective geometry from elementary geometry. In his Geometrie der Lage Staudt introduced a harmonic quadruple of elements independently of the concept of the cross ratio following a purely projective route, using a complete quadrangle or quadrilateral.[4]
To see the complete quadrangle applied to obtaining the midpoint, consider the following passage from J. W. Young:
- If two arbitrary lines AQ and AS are drawn through A and lines BS and BQ are drawn through B parallel to AQ and AS respectively, the lines AQ and SB meet, by definition, in a point R at infinity, while AS and QB meet by definition in a point P at infinity. The complete quadrilateral PQRS then has two diagonal points at A and B, while the remaining pair of opposite sides pass through M and the point at infinity on AB. The point M is then by construction the harmonic conjugate of the point at infinity on AB with respect to A and B. On the other hand, that M is the midpoint of the segment AB follows from the familiar proposition that the diagonals of a parallelogram (PQRS) bisect each other.[5]
Projective conics
A conic in the projective plane is a curve C that has the following property: If P is a point not on C, and if a variable line through P meets C at points A and B, then the variable harmonic conjugate of P with respect to A and B traces out a line. The point P is called the pole of that line of harmonic conjugates, and this line is called the polar line of P with respect to the conic. See the article Pole and polar for more details.
Inversive geometry
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. In the case where the conic is a circle, on the extended diameters of the circle, projective harmonic conjugates with respect to the circle are inverses in a circle. This fact follows from one of Smogorzhevsky's theorems:
- If circles k and q are mutually orthogonal, then a straight line passing through the center of k and intersecting q, does so at points symmetrical with respect to k.
That is, if the line is an extended diameter of k, then the intersections with q are projective harmonic conjugates.
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- Juan Carlos Alverez (2000) Projective Geometry, see Chapter 2: The Real Projective Plane, section 3: Harmonic quadruples and von Staudt's theorem.
- Bertrand Russell (1903) Principles of Mathematics, page 384.
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
- ↑ R. L. Goodstein & E. J. F. Primrose (1953) Axiomatic Projective Geometry, University College Leicester (publisher). This text follows synthetic geometry. Harmonic construction on page 11
- ↑ Dirk Struik (1953) Lectures on Analytic and Projective Geometry, page 7
- ↑ H. S. M. Coxeter (1942) Non-Euclidean Geometry, page 29, University of Toronto Press
- ↑ B.L. Laptev & B.A. Rozenfel'd (1996) Mathematics of the 19th Century: Geometry, page 41, Birkhäuser Verlag ISBN 3-7643-5048-2
- ↑ John Wesley Young (1930) Projective Geometry, page 85, Mathematical Association of America, Chicago: Open Court Publishing