A projective transformation is a transformation used in projective geometry: it is the composition of a pair of perspective projections. It describes what happens to the perceived positions of observed objects when the point of view of the observer changes. Projective transformations do not preserve sizes or angles but do preserve incidence and cross-ratio: two properties which are important in projective geometry. A projective transformation can also be called a projectivity. In mathematics, a transformation in elementary terms is any of a variety of different functions from geometry, such as rotations, reflections and translations. ... Projective geometry is a non-metrical form of geometry that emerged in the early 19th century. ... Perspective projection is a type of drawing that graphically approximates on a planar (two-dimensional) surface (e. ... In geometry, the relations of incidence are those such as lies on between points and lines (as in point P lies on line L), and intersects (as in line L1 intersects line L2, in three-dimensional space). ... In mathematics, the cross-ratio cr( w, x, y, z ) of an ordered quadruple of complex numbers (which may be real numbers) is Cross-ratios are preserved by linear fractional transformations, i. ...

A projective transformation can be in the (real) one-dimensional projective line RP¹, the two-dimensional projective plane RP², and the three-dimensional projective 3-space RP³. In mathematics, a projective line is a one-dimensional projective space. ... Projective plane - Wikipedia, the free encyclopedia /**/ @import /skins-1. ...

Transformations on the projective line

Let X be a point on the x-axis. A projective transformation can be defined geometrically for this line by picking a pair of points P, Q, and a line m, all within the same x-y plane which contains the x-axis upon which the transformation will be performed.

Draw line l through points P and X. Line l crosses line m at point R. Then draw line n through points Q and R: line n will cross the x-axis at point T. Point T is the transform of point X [Paiva].

Points P and Q represent two different observers, or points of view. Point R is the position of some object they are observing. Line m is the objective world which they are observing, and the x-axis is the subjective perception of m.

Analysis

The above is a synthetic description of a one-dimensional projective transformation. It is now desired to convert it to an analytical (Cartesian) description. Synthetic geometry is a descriptive term that identifies a methodology of geometry which makes use of theorems and synthetic observations to create theorems or solve problems, as opposed to analytic geometry which uses algebra, numbers, computations to draw theorems or solve problems. ... Analytic geometry, also called coordinate geometry and earlier referred to as Cartesian geometry, is the study of geometry using the principles of algebra. ...

Let point X have coordinates (x₀,0). Let point P have coordinates (P_x,P_y). Let point Q have coordinates (Q_x,Q_y). Let line m have slope m (m is being overloaded in meaning).

The slope of line l is

,

so an arbitrary point (x,y) on line l is given by the equation

,

On the other hand, any point (x,y) on line m is described by

The intersection of lines l and m is point R, and it is obtained by combining equations (1) and (2):

Joining the x terms yields

and solving for x we obtain

x₁ is the abscissa of R. The ordinate of R is

Now, knowing both Q and R, the slope of line n is

We want to find the intersection of line n and the x-axis, so let

The value of λ must be adjusted so that both sides of vector equation (3) are equal. Equation (3) is actually two equations, one for abscissas and one for ordinates. The one for ordinates is

Q_y + λ(y₁ − Q_y) = 0

Solve for lambda,

The equation for abscissas is

x = Q_x + λ(x₁ − Q_x)

which together with equation (4) yields

which is the abscissa of T.

Substitute the values of x₁ and y₁ into equation (5),

Dissolve the fractions in both numerator and denominator:

Simplify and relabel x as t(x):

t(x) is the projective transformation.

Transformation t(x) can be simplified further. First, add its two terms to form a fraction:

Then, define the coefficients α, β, γ and δ to be the following

α = mQ_xP_y − Q_yP_y + bQ_y,

β = bQ_xP_y − bQ_yP_x,

γ = m(P_y − Q_y),

δ = mP_xQ_y + P_y(b − Q_y).

Substitute these coefficients into equation (6), in order to produce

This is the Möbius transformation or bilinear transformation (so called because it has a linear numerator and a linear denominator. Actually, it is bilinear because the composition of projections is a binary linear operator, similar to matrix multiplication). In mathematics, a Möbius transformation is a bijective conformal mapping of the extended complex plane (i. ... In mathematics, a bilinear operator is a generalized multiplication which satisfies the distributive law. ...

Inverse transformation

It is clear from the synthetic definition that the inverse transformation is obtained by exchanging points P and Q. This can also be shown analytically. If P ↔ Q, then α → α′, β → β′, γ → γ′, and δ → δ′, where

α' = mP_xQ_y − P_yQ_y + bP_y = δ,

β' = bP_xQ_y − bP_yQ_x = − β,

γ' = m(Q_y − P_y) = − γ,

δ' = mQ_xP_y + bQ_y − Q_yP_y = α.

Therefore if the forwards transformation is

then the transformation t′ obtained by exchanging P and Q (P ↔ Q) is:

Then

.

Dissolve the fractions in both numerator and denominator of the right side of this last equation:

.

Therefore t′(x) = t⁻¹(x): the inverse projective transformation is obtained by exchanging observers P and Q, or by letting α ↔ δ, β → −β, and γ → −γ. This is, by the way, analogous to the procedure for obtaining the inverse of a two-dimensional matrix:

where Δ = α δ − β γ is the determinant.

Identity transformation

Also analogous with matrices is the identity transformation, which is obtained by letting α = 1, β = 0, γ = 0, and δ = 1, so that

t_I(x) = x.

Composition of transformations

It remains to show that there is closure in the composition of transformations. One transformation operating on another transformation produces a third transformation. Let the first transformation be t₁ and the second one be t₂:

The composition of these two transformations is

Define the coefficients α₃, β₃, γ₃ and δ₃ to be equal to

α₃ = α₂α₁ + β₂γ₁,

β₃ = α₂β₁ + β₂δ₁,

γ₃ = γ₂α₁ + δ₂γ₁,

δ₃ = γ₂β₁ + δ₂δ₁.

Substitute these coefficients into t₂(t₁(x)) to obtain

Projections operate in a way analogous to matrices. In fact, the composition of transformations can be obtained by multiplying matrices:

Since matrices multiply associatively, it follows that composition of projections is also associative.

Projections have: an operation (composition), associativity, an identity, an inverse and closure, so they form a group. This picture illustrates how the hours in a clock form a group. ...

The cross-ratio defined by means of a projection

Let there be a transformation t_s such that t_s(A) = , t_s(B) = 0, t_s(C) = 1. Then the value of t_s(D) is called the cross-ratio of points A, B, C and D, and is denoted as [A, B, C, D]_s:

[A,B,C,D]_s = t_s(D).

Let

then the three conditions for t_s(x) are met when

Equation (7) implies that γA + δ = 0, therefore δ = − γA. Equation (8) implies that αB + β = 0, so that β = − αB. Equation (9) becomes

which implies

Therefore

In equation (10), it is seen that t_s(D) does not depend on the coefficients of the projection t_s. It only depends on the positions of the points on the "subjective" projective line. This means that the cross-ratio depends only on the relative distances among four collinear points, and not on the projective transformation which was used to obtain (or define) the cross-ratio. The cross ratio is therefore A line, or straight line, can be described as an (infinitely) thin, (infinitely) long, perfectly straight curve (the term curve in mathematics includes straight curves). In Euclidean geometry, exactly one line can be found that passes through any two points. ...

Conservation of cross-ratio

Transformations on the projective line preserve cross ratio. This will now be proven. Let there be four (collinear) points A, B, C, D. Their cross-ratio is given by equation (11). Let S(x) be a projective transformation:

where . Then

Therefore [S(A) S(B) S(C) S(D)] = [A B C D], Q.E.D. Q.E.D. is an abbreviation of the Latin phrase (literally, which was to be demonstrated). In simple terms, the use of this Latin phrase is to indicate that something has been definitively proven. ...

Transformations on the projective plane

Two-dimensional projective transformations are a type of automorphism of the projective plane onto itself. In mathematics, an automorphism is an isomorphism from a mathematical object to itself. ...

Planar transformations can be defined synthetically as follows: point X on a "subjective" plane must be transformed to a point T also on the subjective plane. The transformations uses these tools: a pair of "observation points" P and Q, and an "objective" plane. The subjective and objective planes and the two points all lie in three-dimensional space, and the two planes can intersect at some line.

Draw line l₁ through points P and X. Line l₁ intersects the objective plane at point R. Draw line l₂ through points Q and R. Line l₂ intersects the projective plane at point T. Then T is the projective transform of X.

Analysis

Let the xy-plane be the "subjective" plane and let plane m be the "objective" plane. Let plane m be described by

z = f(x,y) = mx + ny + b

where the constants m and n are partial slopes and b is the z-intercept.

Let there be a pair of "observation" points P and Q,

P:(P_x,P_y,P_z),

Q:(Q_x,Q_y,Q_z).

Let point X lie on the "subjective" plane:

X:(x,y,0).

Point X must be transformed to a point T,

T:(T_x,T_y,0)

also on the "subjective" plane.

The analytical results are a pair of equations, one for abscissa T_x and one for ordinate T_y: Abscissa means the x coordinate on an (x, y) graph; the input of a mathematical function against which the output is plotted. ... Ordinate means the y coordinate on an (x, y) graph; the plotted output of a mathematical function. ...

There are (at most) nine degrees of freedom for defining a 2D transformation: P_x, P_y, P_z, Q_x, Q_y, Q_z, m, n, b. Notice that equations (12) and (13) have the same denominators, and that T_y can be obtained from T_x by exchanging m with n, and x with y (including subscripts of P and Q).

Trilinear transformations

Let

α = − mQ_xP_z − nQ_zP_y + Q_z(P_z − b),

β = n(Q_zP_x − Q_xP_z),

γ = b(Q_zP_x − Q_xP_z),

δ = m(Q_z − P_z),

ε = n(Q_z − P_z),

ζ = − (mP_x + nP_y)Q_z + (Q_z − b)P_z,

so that

Also let

η = m(Q_zP_y − Q_yP_z),

θ = − mQ_zP_x − nQ_yP_z + Q_z(P_z − b),

κ = b(Q_zP_y − Q_yP_z),

so that

Equations (14) and (15) together describe the trilinear transformation.

Composition of trilinear transformations

If a transformation is given by equations (14) and (15), then such transformation is characterized by nine coefficients which can be arranged into a coefficient matrix

If there are a pair T₁ and T₂ of planar transformations whose coefficient matrices are and , then the composition of these transformations is another planar transformation T₃,

such that

T₃(x,y) = T₂(T₁(x,y)).

The coefficient matrix of T₃ can be obtained by multiplying the coefficient matrices of T₂ and T₁:

Proof

Given T₁ defined by

and given T₂ defined by

then T₃ can be calculated by substituting T₁ into T₂,

Multiply numerator and denominator by the same trinomial,

Group the coefficients of x, y, and 1:

These six coefficients of T₃ are the same as those obtained through the product

The remaining three coefficients can be verified thus

Multiply numerator and denominator by the same trinomial,

Group the coefficients of x, y, and 1:

The three remaining coefficients just obtained are the same as those obtained through equation (16). Q.E.D. Q.E.D. is an abbreviation of the Latin phrase (literally, which was to be demonstrated). In simple terms, the use of this Latin phrase is to indicate that something has been definitively proven. ...

Planar transformations of lines

The trilinear transformation given be equations (14) and (15) transforms a straight line

y = mx + b

into another straight line

T_y = nT_x + c

where n and c are constants and equal to

and

Proof

Given y = m x + b, then plugging this into equations (14) and (15) yields

and

If T_y = n T_x + c and n and c are constants, then

so that

Calculation shows that

and

therefore

We should now obtain c to be

c = T_y − nT_x

Add the two fractions in the numerator:

Distribute binomials in parentheses in the numerator, then cancel out equal and opposite terms:

Factor the numerator into a pair of terms, only one of them having the numerus cossicus (x). There is another numerus cossicus in the denominator. The objective now is to get both of these to cancel out.

Factor the numerator,

The terms with the numeri cossici cancel out, therefore

is a constant. Q.E.D. Q.E.D. is an abbreviation of the Latin phrase (literally, which was to be demonstrated). In simple terms, the use of this Latin phrase is to indicate that something has been definitively proven. ...

Comparing c with n, notice that their denominators are the same. Also, n is obtained from c by exchanging the following coefficients:

There is also the following exchange symmetry between the numerator and denominator of n: Sphere symmetry group o. ...

The numerator and denominator of c also have exchange symmetry:

The exchange symmetry between n and c can be chunked into binomials: Chunking may have several meanings: In cognitive psychology and in memory training systems, chunking refers to a short-term memory mechanism and techniques to exploit it. ...

All of these exchange symmetries amount to exchanging pairs of rows in the coefficient matrix.

Planar transformations of conic sections

A trilinear transformation such as T given by equations (14) and (15) will convert a conic section Types of conic sections Table of conics, Cyclopaedia, 1728 In mathematics, a conic section (or just conic) is a curve formed by intersecting a cone (more precisely, a right circular conical surface) with a plane. ...

into another conic section

Proof

Let there be given a conic section described by equation (17) and a planar transformation T described by equations (15) and (16) which converts points (x,y) into points (T_x,T_y).

It is possible to find an inverse transformation T′ which converts back points (T_x,T_y) to points (x,y). This inverse transformation has a coefficient matrix

Equation (17) can be expressed in terms of the inverse transformation:

The denominators can be "dissolved" by multiplying both sides of the equation by the square of a trinomial:

A(α'T_x + β'T_y + γ')² + B(η'T_x + θ'T_y + κ')² + C(α'T_x + β'T_y + γ')(δ'T_x + ε'T_y + ζ') + D(η'T_x + θ'T_y + κ')(δ'T_x + ε'T_y + ζ') + E(α'T_x + β'T_y + γ')(η'T_x + θ'T_y + κ') + F(δ'T_x + ε'T_y + ζ')² = 0.

Expand the products of trinomials and collect common powers of T_x and T_y:

Equation (19) has the same form as equation (18).

What remains to do is to express the primed coefficients in terms of the unprimed coefficients. To do this, apply Cramer's rule to the coefficient matrix M_T to obtain the primed matrix of the inverse transformation: Cramers rule is a theorem in linear algebra, which gives the solution of a system of linear equations in terms of determinants. ...

where Δ is the determinant of the unprimed coefficient matrix.

Equation (20) allows primed coefficients to be expressed in terms of unprimed coefficients. But performing these substitutions on the primed coefficients of equation (19) it can be noticed that the determinant Δ cancels itself out, so that it can be ignored altogether. Therefore

A' = A(θζ − κε)² + B(κδ − ηζ)² + C(θζ − κε)(ηε − θδ) + D(κδ − ηζ)(ηε − θδ) + E(θζ − κε)(κδ − ηζ) + F(ηε − θδ)²

B' = A(εγ − ζβ)² + B(ζα − δγ)² + C(εγ − ζβ)(δβ − εα) + D(ζα − δγ)(δβ − εα) + E(εγ − ζβ)(ζα − δγ) + F(δβ − εα)²

C' = 2A(θζ − κε)(βκ − γθ) + 2B(κδ − ηζ)(γη − ακ) + C[(θζ − κε)(αθ − βη) + (βκ − γθ)(ηε − θδ)] + D[(κδ − ηζ)(αθ − βη) + (γη − ακ)(ηε − θδ)] + E[(θζ − κε)(γη − ακ) + (βκ − γθ)(κδ − ηζ)] + 2F(ηε − θδ)(αθ − βη)

D' = 2A(εγ − ζβ)(βκ − γθ) + 2B(ζα − δγ)(γη − ακ) + C[(εγ − ζβ)(αθ − βη) + (βκ − γθ)(δβ − εα)] + D[(ζα − δγ)(αθ − βη) + (γη − ακ)(δβ − εα)] + E[(εγ − ζβ)(γη − ακ) + (βκ − γθ)(ζα − δγ)] + 2F(δβ − εα)(αθ − βη)

E' = 2A(θζ − κε)(εγ − ζβ) + 2B(κδ − ηζ)(ζα − δγ) + C[(θζ − κε)(δβ − εα) + (εγ − ζβ)(ηε − θδ)] + D[(κδ − ηζ)(δβ − εα) + (ζα − δγ)(ηε − θδ)] + E[(θζ − κε)(ζα − δγ) + (εγ − ζβ)(κδ − ηζ)] + 2F(ηε − θδ)(δβ − εα)

F' = A(βκ − γθ)² + B(γη − ακ)² + C(βκ − γθ)(αθ − βη) + D(γη − ακ)(αθ − βη) + E(βκ − γθ)(γη − ακ) + F(αθ − βη)²

The coefficients of the transformed conic have been expressed in terms of the coefficients of the original conic and the coefficients of the planar transformation T. Q.E.D. Q.E.D. is an abbreviation of the Latin phrase (literally, which was to be demonstrated). In simple terms, the use of this Latin phrase is to indicate that something has been definitively proven. ...

Planar projectivities and cross-ratio

Let four points A, B, C, D be collinear. Let there be a planar projectivity T which transforms these points into points A′, B′, C′, and D′. It was already shown that lines are transformed into lines, so that the transformed points A′ through D′ will also be collinear. Then it will turn out that the cross-ratio of the original four points is the same as the cross-ratio of their transforms:

Proof

If the two-dimensional coordinates of four points are known, and if the four points are collinear, then their cross-ratio can be found from their abscissas alone. It is possible to project the points onto a horizontal line by means of a pencil of vertical lines issuing from a point on the line at infinity: Abscissa means the x coordinate on an (x, y) graph; the input of a mathematical function against which the output is plotted. ... In geometry and topology, the line at infinity is a line which is added to the real (affine) plane in order to give closure to, and remove the exceptional cases from, the incidence properties of the resulting projective plane. ...

The same is true for the ordinates of the points. The reason is that any mere rescaling of the coordinates of the points does not change the cross-ratio. Ordinate means the y coordinate on an (x, y) graph; the plotted output of a mathematical function. ...

Let

A:(x₁,mx₁ + b),

B:(x₂,mx₂ + b),

C:(x₃,mx₃ + b),

D:(x₄,mx₄ + b).

Clearly these four points are collinear. Let

be the first half of a trilinear transformation. Then

The original cross-ratio is

It is not necessary to calculate the transformed cross-ratio. Just let

be a bilinear transformation. Then S(x) is a one-dimensional projective transformation. But T_x(A)=S(A), T_x(B)=S(B), T_x(C)=S(C), and T_x(D)=S(D). Therefore

but it has already been shown that bilinear transformations preserve cross-ratio. Q.E.D. Q.E.D. is an abbreviation of the Latin phrase (literally, which was to be demonstrated). In simple terms, the use of this Latin phrase is to indicate that something has been definitively proven. ...

Example

The following is a rather simple example of a planar projectivity:

The coefficient matrix of this projectivity T is

and it is easy to verify that M_T is its own inverse. Look up inverse in Wiktionary, the free dictionary. ...

The locus of points described parametrically as describe a circle, due to the trigonometric identity In mathematics, a locus (Latin for place, plural loci) is a collection of points which share a common property. ... Circle illustration This article is about the shape and mathematical concept of circle. ... In mathematics, trigonometric identities are equations involving trigonometric functions that are true for all values of the occurring variables. ...

cos²θ + sin²θ = 1

which has the same form as the canonical equation of a circle. Applying the projectivity T yields the locus of points described parametrically by which describe a hyperbola, due to the trigonometric identity A graph of a hyperbola. ...

sec²θ − tan²θ = 1

which has the same form as the canonical equation of a hyperbola. Notice that points and (1,0) are fixed points.

Indeed, this projectivity transforms any circle, of any radius, into a hyperbola centered at the origin with both of its foci lying on the x-axis, and vice versa. This projectivity also transforms the y-axis into the line at infinity, and vice versa: In geometry, the focus (pl. ... In geometry and topology, the line at infinity is a line which is added to the real (affine) plane in order to give closure to, and remove the exceptional cases from, the incidence properties of the resulting projective plane. ...

The ratio of infinity over infinity is indeterminate which means that it can be set to any value y desired. The infinity symbol ∞ in several typefaces. ...

This example emphasizes that in the real projective plane, RP², a hyperbola is a closed curve which passes twice through the line at infinity. But what does the transformation do to a parabola? For other uses, see Parabola (disambiguation). ...

Let the locus of points (x,x²) describe a parabola. Its transformation is

which is a hyperbola whose asymptotes are the x-axis and the y-axis and whose wings lie in the first quadrant and the third quadrant. Likewise, the hyperbola An asymptote is a straight line or curve which a curve approaches as one moves along the curve. ... Look up Quadrant on Wiktionary, the free dictionary Quadrant can mean: HMS Quadrant (G11), a WW-II British/Australian warship. ...

is transformed by T into the parabola

.

On the other hand, the parabola described by the locus of points is transformed by T into itself: this demonstrates that a parabola intersects the line at infinity at a single point.

Transformations in projective 3-space

Three-dimensional transformations can be defined synthetically as follows: point X on a "subjective" 3-space must be transformed to a point T also on the subjective space. The transformations uses these elements: a pair of "observation points" P and Q, and an "objective" 3-space. The subjective and objective spaces and the two points all lie in four-dimensional space, and the two 3-spaces can intersect at some plane.

Draw line l₁ through points X and P. This line intersects the objective space at point R. Draw line l₂ through points R and Q. Line l₂ intersects the projective plane at point T. Then T is the transform of X.

Analysis

Let

X:(x,y,z,0),

T:(T_x,T_y,T_z,0),

P:(P_x,P_y,P_z,P_t),

Q:(Q_x,Q_y,Q_z,Q_t).

Let there be an "objective" 3-space described by

t = f(x,y,z) = mx + ny + kz + b

Draw line l₁ through points P and X. This line intersects the objective plane at R. This intersection can be described parametrically as follows:

(1 − λ₁)X + λ₁P = (R_x,R_y,R_z,mR_x + nR_y + kR_z + b).

This implies the following four equations:

R_x = x + λ₁(P_x − x)

R_y = y + λ₁(P_y − y)

R_z = z + λ₁(P_z − z)

R_t = λ₁P_t = mR_x + nR_y + kR_z + b

Substitute the first three equations into the last one:

(mx + ny + kz) + λ₁(mP_x + nP_y + kP_z − mx − ny − kz − P_t) + b = 0

Solve for λ₁,

Draw line l₂ through points R and Q. This line intersects the subjective 3-space at T. This intersection can be represented parametrically as follows:

(1 − λ₂)R + λ₂Q = (T_x,T_y,T_z,0)

This implies the following four equations:

T_x = R_x + λ₂(Q_x − R_x),

T_y = R_y + λ₂(Q_y − R_y),

T_z = R_z + λ₂(Q_z − R_z),

R_t + λ₂(Q_t − R_t) = 0.

The last equation can be solved for λ₂,

which can then be substituted into the other three equations:

Substitute the values for R_x, R_y, R_z, and R_t obtained from the first intersection into the above equations for T_x, T_y, and T_z,

Multiply both numerators and denominators of the above three equations by the denominator of lambda₁: λ_1D,

Plug in the values of the numerator and denominator of lambda₁:

λ_1N = b + mx + ny + kz

λ_1D = P_t + m(x − P_x) + n(y − P_y) + k(z − P_z)

to obtain

,

T_yN = (b + mx + ny + kz)[P_tQ_y − Q_t(P_y − y)] − yQ_t[P_t + m(x − P_x) + n(y − P_y) + k(z − P_z)],

.

The numerator T_xN can be expanded. It will be found that second-degree terms of x, y, and z will cancel each other out. Then collecting terms with common x, y, and z yields

T_xN = x(mP_tQ_x + nP_yQ_t + kP_zQ_t + Q_t(b − P_t)) + yn(P_tQ_x − P_xQ_t) + zk(P_tQ_x − P_xQ_t) + b(P_tQ_x − P_xQ_t)

Likewise, the denominator becomes

T_xD = (mx + ny + kz)(P_t − Q_t) + (mP_x + nP_y + kP_z)Q_t + P_t(b − Q_t).

The numerator T_yN, when expanded and then simplified, becomes

T_yN = xm(P_tQ_y − P_yQ_t) + y(mP_xQ_t + nP_tQ_y + kP_zQ_t + Q_t(b − P_t)) + zk(P_tQ_y − P_yQ_t) + b(P_tQ_y − P_yQ_t).

Likewise, the numerator T_zN becomes

T_zN = xm(P_tQ_z − P_zQ_t) + yn(P_tQ_z − P_zQ_t) + z(mP_xQ_t + nP_yQ_t + kP_tQ_z + Q_t(b − P_t)) + b(P_tQ_z − P_zQ_t).

Quadrilinear transformations

Let

α = mP_tQ_x + nP_yQ_t + kP_zQ_t + Q_t(b − P_t),

β = n(P_tQ_x − P_xQ_t),

γ = k(P_tQ_x − P_xQ_t),

δ = b(P_tQ_x − P_xQ_t),

ε = m(P_t − Q_t),

ζ = n(P_t − Q_t),

η = k(P_t − Q_t),

θ = (mP_x + nP_y + kP_z)Q_t + P_t(b − Q_t),

ι = m(P_tQ_y − P_yQ_t),

κ = mP_xQ_t + nP_tQ_y + kP_zQ_t + Q_t(b − P_t),

λ = k(P_tQ_y − P_yQ_t),

μ = b(P_tQ_y − P_yQ_t),

ν = m(P_tQ_z − P_zQ_t),

ξ = n(P_tQ_z − P_zQ_t),

o = mP_xQ_t + nP_yQ_t + kP_tQ_z + Q_t(b − P_t),

ρ = b(P_tQ_z − P_zQ_t).

Then the transformation in 3-space can be expressed as follows,

The sixteen coefficients of this transformation can be arranged in a coefficient matrix

Whenever this matrix is invertible, its coefficients will describe a quadrilinear transformation.

Transformation T in 3-space can also be represented in terms of homogeneous coordinates as In mathematics, homogeneous coordinates, introduced by August Ferdinand Möbius, allow affine transformations to be easily represented by a matrix. ...

This means that the coefficient matrix of T can operate directly on 4-component vectors of homogeneous coordinates. Transformation of a point can be effected simply by multiplying the coefficient matrix with the position vector of the point in homogeneous coordinates. Therefore, if T transforms a point on the plane at infinity, the result will be In projective geometry, the plane at infinity is a projective plane which is added to the affine 3-space in order to give it closure of incidence properties. ...

If ε, ζ, and η are not all equal to zero, then T will transform the plane at infinity into a locus of points which lie mostly in affine space. If ε, ζ, and η are all zero, then T will be a special kind of projective transformation called an affine transformation, which transforms affine points into affine points and ideal points (i.e. points at infinity) into ideal points.

The group of affine transformations has a subgroup of affine rotations whose matrices have the form In linear algebra and geometry, a coordinate rotation is a type of transformation from one system of coordinates to another system of coordinates such that distance between any two points remains invariant under the transformation. ...

such that the submatrix

is orthogonal. In matrix theory, a real orthogonal matrix is a square matrix Q whose transpose is its inverse: // Overview An orthogonal matrix is the real specialization of a unitary matrix, and thus always a normal matrix. ...

Properties of quadrilinear transformations

Given a pair of quadrilinear transformations T₁ and T₂, whose coefficient matrices are and , then the composition of these pair of transformations is another quadrilinear transformation T₃ whose coefficient matrix is equal to the product of the first and second coefficient matrices,

The identity quadrilinear transformation T_I is the transformation whose coefficient matrix is the identity matrix. In linear algebra, the identity matrix of size n is the n-by-n square matrix with ones on the main diagonal and zeros elsewhere. ...

Given a spatial projectivity T₁ whose coefficient matrix is , the inverse of this projectivity is another projectivity T₋₁ whose coefficient matrix is the inverse of T₁′s coefficient matrix,

.

Composition of quadrilinear transformations is associative, therefore the set of all quadrilinear transformations, together with the operation of composition, form a group. This picture illustrates how the hours in a clock form a group. ...

This group of quadrilinear transformations contains subgroups of trilinear transformations. For example, the subgroup of all quadrilinear transformations whose coefficient matrices have the form

is isomorphic to the group of all trilinear transformations whose coefficient matrices are

This subgroup of quadrilinear transformations all have the form

This means that this subgroup of transformations will act on the plane z = 0 just like a group of trilinear transformations.

Spatial transformations of planes

Projective transformations in 3-space transform planes into planes. This can be demonstrated more easily using homogeneous coordinates.

Let

z = mx + ny + b

be the equation of a plane. This is equivalent to

Equation (21) can be expressed as a matrix product:

A permutation matrix can be interposed between the two vectors, in order to make the plane vector have homogeneous coordinates: Permutation is the arrangement of symbols or objects into distinguishable orderings. ...

A quadrilinear transformation should convert this to

where

Equation (22) is equivalent to where

etc.

Applying equation (24) to equation (25) yields

Combining equations (26) and (23) produces

Solve for [T_m:T_n:T_b:1]^T,

Equation (27) describes how 3-space transformations convert a plane (m, n, b) into another plane (T_m, T_n, T_b) where

See also

• Fundamental theorem of projective geometry

In mathematics, the fundamental theorem of projective geometry states that if Pn is a projective space and F and F′ are frames of Pn, then there exists a unique projective transformation sending F to F′. In case n = 1 this comes down to saying that given two ordered...

Reference

• Introduction to Projective Transformations by J. C. Alvarez Paiva