[Math] Are there non-affine matrices

geometrymatricestransformation

Matrices are useful for proving statements like

  • The ratio between the areas of a parallelogram and the quadrilateral formed by joining their midpoints is $2$.

  • The ratio between the volumes of a parallelepiped and the cuboctahedron formed by joining its midpoints is $\frac{6}{5}$.

, because one can apply some matrix $T^{-1}$ to the vertices of the shapes to turn them into cubes/squares (i.e. via an affine transformation). Then, solve the problem in this now simpler case. As the ratios of areas are unchanged under $T$ acting on a shape, the conclusion holds in the general case.
enter image description here

Now, is there a mathematical object, similar to matrices, that deals with non-affine transformations? For example, could similar method be used to solve the first problem for any arbitrary quadrilateral?

The theory of non-affine transformations is probably going to be much more complex than in the affine case, as the ratios of areas are not preserved, with some areas ballooning out and some squashed (although I conjecture a non-affine transformation acts locally as an affine transformation). However, I ask in hope that there exist theorems that could help simplify the situation. I have heard of the shoelace theorem, but am not sure how generally it could be applied to solve general problems.

Best Answer

The example matrix included in your illustration is linear, not affine. The former is only a special case of the latter.

Projective transformations are matrices

This answer focuses on your question

Now, is there a mathematical object, similar to matrices, that deals with non-affine transformations?

One possible class of non-affine (or at least not neccessarily affine) transformations are the projective ones. They, too, are expressed as matrices, but acting on homogenous coordinates. Algebraically that looks like a linear transformation one dimension higher, but the geometric interpretation is different: the third coordinate acts like a divisor for the other two. Affine transformations are covered as a special case. Projective geometry is a broad subject, so this answer can only provide initial pointers.

Projective transformations don't preserve ratios of areas, or ratios of lengths along a single line, the way affine transformations do. For this reason, the above approach is useful in describing general deformations, but dealing with the statements you quoted in this approach is rather tricky.