Talk:Squeeze mapping

Diagram produced

The squeeze mapping has been illustrated in the Modenov & Parkhomenko book listed in the references. This diagram was also printed in Varieties of Realism, appendix A, page 290, by M. A. Hagen (1986). The caption there is "perpendicular axes of compression" which isn't helpful. The squeeze mapping can convert ellipse to circle to ellipse, and the oval-circle-oval idea of the above print illustrations would improve Wikipedia.Rgdboer (talk) 01:23, 7 November 2009 (UTC)[reply]

Apologies for the very long delay - would this be fine?

The rectangles are included since it's easier to see the construction of the hyperbolic sector, and it's clearer that the area is preserved. Maschen (talk) 19:24, 1 December 2012 (UTC)[reply]

Thank you Maschen for an excellent illustration worthy of meditation. It has been placed in the Literature section. The principles shown by your work makes the efforts of the cited authors meld into the essential nature of the squeeze mapping.Rgdboer (talk) 00:04, 2 December 2012 (UTC)[reply]

Mentions

Mellin Haskell wrote an article that relates the squeeze mapping to hyperbolic sector areas and hyperbolic angle as used with hyperbolic functions. Before that article was found, several sources where cited where the squeeze mapping was applied. Superfluous now with Haskell's complete treatment, the mentions previously used in the article are listed here:

William Kingdon Clifford was the author of Common Sense and the Exact Sciences, published in 1885. In the third chapter on Quantity he discusses area in three sections. Clifford uses the term "stretch" for magnification and the term "squeeze" for contraction. Taking a given square area as fundamental, Clifford relates other areas by stretch and squeeze. He develops this calculus to the point of illustrating the addition of fractions in these terms in the second section. The third section is concerned with shear mapping as area-preserving.

In 1965 Rafael Artzy listed the squeeze mapping as a generator of planar affine mappings in his book Linear Geometry (p 94).

The myth of Procrustes is linked with this mapping in a 1967 educational (SMSG) publication:

Among the linear transformations, we have considered similarities, which preserve ratios of distances, but have not touched upon the more bizarre varieties, such as the Procrustean stretch (which changes a circle into an ellipse of the same area).

Coxeter & Greitzer, pp. 100, 101.

Attention had been drawn to this plane mapping by Modenov and Parkhomenko in their Russian book of 1961 which was translated in 1967 by Michael B. P. Slater. It included a diagram showing the squeezing of a circle into an ellipse.
- P. S. Modenov and A. S. Parkhomenko (1965) Geometric Transformations, volume one. See pages 104 to 106.
Werner Greub of the University of Toronto includes "pseudo-Euclidean rotation" in the chapter on symmetric bilinear functions of his text on linear algebra. This treatment in 1967 includes in short order both the diagonal form and the form with sinh and cosh.

The Mathematisch Centrum Amsterdam published E.R. Paërl's Representations of the Lorentz group and Projective Geometry in 1969. The squeeze mapping, written as a 2 × 2 diagonal matrix, Paërl calls a "hyperbolic screw".

In his 1999 monograph Classical Invariant Theory, Peter Olver discusses GL(2,R) and calls the group of squeeze mappings by the name the isobaric subgroup. However, in his 1986 book Applications of Lie Groups to Differential Equations (p. 127) he uses the term "hyperbolic rotation" for an equivalent mapping.

In 2004 the American Mathematical Society published Transformation Groups for Beginners by S.V. Duzhin and B.D. Chebotarevsky which mentions hyperbolic rotation on page 225. There the parameter r is given as e^t and the transformation group of squeeze mappings is used to illustrate the invariance of a differential equation under the group operation.

A new section "Logarithm and hyperbolic angle" has been written to make a digest of Haskell's appreciation of the squeeze.Rgdboer (talk) 01:30, 29 December 2014 (UTC)[reply]

I've added a section on Lie transforms, being squeeze mappings of pseudospherical surfaces, which were used since 1879 by Sophus Lie and others in differential geometry. --D.H (talk) 09:17, 3 August 2019 (UTC)[reply]

Borderline

Is squeeze mapping in affine geometry or Euclidean geometry ? Since it is not a Euclidean motion, it is not considered Euclidean. Furthermore, the conserved quantity area is not one of the properties of affine geometry, so it is not at home there. On the other hand, since area is a property of the Euclidean plane, it might be appended there. And since squeeze mapping occurs among other affine mappings, it has its place there too. So, it is neither, but it is also both! This paradox goes a long way explaining the absence of treatment in texts on geometry. Writers that develop natural logarithm do well to profile the group of squeeze mappings since its invariant measure is that function. — Rgdboer (talk) 21:55, 30 July 2025 (UTC)[reply]

It's a motion of the (pseudo-Euclidean) "Lorentzian" or "Minkowskian" plane. We should have more articles about related topics. –jacobolus (t) 22:04, 30 July 2025 (UTC)[reply]

The definition of squeeze mappings belongs to linear algebra and requires a basis. This basis defines as usual a Euclidean metric, which makes the space a Euclidean plane, and is used for defining areas, which are used for stating the main property of squeeze mappings. As a metric is involved and the origin remains fixed by a squeeze mapping, there is nothing specific to affine geometry here. So this article belongs to Category:Euclidean geometry and Category:Linear algebra, but not to Category:Affine geometry. However, sqeeze mappings can be defined similarly in pseudo-Euclidean planes and are strongly related with hyperbolic geometry. Although the article should make this link clearer, Category:Geometry seems therefore more adapted than Category:Euclidean geometry. D.Lazard (talk) 10:38, 31 July 2025 (UTC)[reply]