4.03g - Invariant points and lines

4.03g - Invariant points and lines

Find the points that a two-dimensional transformation leaves fixed and the lines that it maps onto themselves. These are different questions: a line can remain in place while its points move along it. Use coordinate equations to distinguish the two, including lines that do not pass through the origin.

Two meanings of unchanged

Can a line stay unchanged even though almost every point on it moves? Reflect the plane in the xx-axis. The vertical line x=2x=2 is still the line x=2x=2, but (2,1)(2,1) moves to (2,−1)(2,-1). The line is unchanged as a set of points, not point by point.

You already know

A matrix (abcd)\begin{pmatrix}a&b\\c&d\end{pmatrix} maps (x,y)(x,y) to (ax+by,cx+dy)(ax+by,cx+dy). A linear transformation fixes the origin. A line may be written y=mx+ky=mx+k, except that vertical lines need the form x=hx=h.

An object and image can coincide in two senses. The mirror y=0y=0 stays in place and every one of its points stays fixed. The vertical line x=2x=2 stays in place but most of its points swap positions.

[DIAGRAM: asset_name: An invariant line need not have fixed points; asset_slug: h245_4_03_invariant_lines; caption: Reflection in the x-axis fixes every point of y = 0, while the invariant line x = 2 contains moving points; description: Equal-scale coordinate diagram with the x-axis highlighted sage and labelled line of invariant points. The vertical line x=2 is blue and labelled invariant line. The point P=(2,1) is blue and its image P'=(2,-1) is clay, with an arrow down the vertical line. A point Q=(-2,0) on the mirror is marked and labelled fixed]
Reflection in the x-axis fixes every point of y = 0, while the invariant line x = 2 contains moving points

Invariant point and invariant line

An invariant point maps to itself. A line of invariant points has every point fixed. An invariant line maps onto itself as a whole; individual points may move to other positions on it. For example, under reflection in the xx-axis, y=0y=0 is a line of invariant points and every vertical line is an invariant line. A line mapped to a different parallel line is not invariant.

The terminology and tests for invariance are not supplied in the formula booklet. In this lesson we work only in two dimensions. The essential distinction is between testing one point and testing the image of an entire set.

Key idea

Fixed point: the same coordinates. Invariant line: the same line. A line of invariant points satisfies both conditions.

Keep those demands separate in this check.

Finding all invariant points

To find invariant points, set the image coordinates equal to the starting coordinates and solve both equations together.

Invariant-point equations

For M=(abcd)\mathbf{M}=\begin{pmatrix}a&b\\c&d\end{pmatrix}, invariant points satisfy

ax+by=x,cx+dy=yax+by=x,\qquad cx+dy=y

Both equations must hold. Not in the formula booklet: learn it.

The equations may describe only the origin, an entire line, or the whole plane for the identity transformation. The origin is always a solution, so “no invariant points” cannot be correct for a linear transformation of the plane.

Worked example 1: a line of invariant points

Question. Find all invariant points under A=(2112)\mathbf{A}=\begin{pmatrix}2&1\\1&2\end{pmatrix}.

Plan. Equate both image coordinates to the original coordinates, then solve their common condition.

2x+y=xx′=xx+2y=yy′=yx+y=0both equations reduce to thisy=−xdescribe the whole set\begin{aligned} 2x+y&=x && x'=x\\ x+2y&=y && y'=y\\ x+y&=0 && \text{both equations reduce to this}\\ y&=-x && \text{describe the whole set} \end{aligned}

Why this step? The two equations are the same condition, so choosing one point would miss infinitely many others.

Answer. Every point on y=−xy=-x, and no other point, is invariant.

Check. A(t−t)=(2t−tt−2t)=(t−t)\mathbf{A}\begin{pmatrix}t\\-t\end{pmatrix}=\begin{pmatrix}2t-t\\t-2t\end{pmatrix}=\begin{pmatrix}t\\-t\end{pmatrix} for every real tt.

The second example changes only the bottom-right entry, from 22 to 33. The second fixed-point condition is now independent of the first.

Worked example 2: only the origin

Question. Find all invariant points under B=(2113)\mathbf{B}=\begin{pmatrix}2&1\\1&3\end{pmatrix}.

Plan. Form the same two fixed-point equations and solve them simultaneously.

2x+y=xx′=xx+3y=yy′=yx+y=0,x+2y=0rearrangey=0,x=0subtract, then substitute\begin{aligned} 2x+y&=x && x'=x\\ x+3y&=y && y'=y\\ x+y&=0,\qquad x+2y=0 && \text{rearrange}\\ y&=0,\qquad x=0 && \text{subtract, then substitute} \end{aligned}

Why this step? Satisfying just the first equation gives a candidate line; the second equation removes every non-zero point on it.

Answer. The origin (0,0)(0,0) is the only invariant point.

Check. (1,−1)(1,-1), which was fixed in the first example, now maps to (1,−2)(1,-2), so it no longer works.

The fixed-point set can shrink when just one entry changes. Always use both coordinate equations, even if the first gives an attractive answer.

Watch out

Wrong: solving 2x+y=x2x+y=x and concluding that all points on y=−xy=-x are fixed without checking the second coordinate. Right: impose both x′=xx'=x and y′=yy'=y.

Vary the same entry again and find the complete fixed-point set.

Invariant lines through the origin

For an invariant line, an image point needs to satisfy the same line equation; it need not have its original coordinates.

Take a general point (x,mx)(x,mx) on y=mxy=mx. Under M=(abcd)\mathbf{M}=\begin{pmatrix}a&b\\c&d\end{pmatrix},

x′=(a+bm)x,y′=(c+dm)xx'=(a+bm)x,\qquad y'=(c+dm)x

To lie on the same line, the image must have y′=mx′y'=mx' for every xx. Therefore c+dm=m(a+bm)c+dm=m(a+bm). This compares the image line with the object line rather than fixing each individual point.

Testing a line through the origin

A non-vertical line y=mxy=mx is invariant under (abcd)\begin{pmatrix}a&b\\c&d\end{pmatrix} if

bm2+(a−d)m−c=0,a+bm≠0bm^2+(a-d)m-c=0,\qquad a+bm\ne0

The non-zero condition ensures that the whole line maps onto a line, rather than collapsing to the origin. Test the vertical line x=0x=0 separately: it is invariant if b=0b=0 and d≠0d\ne0. Not in the formula booklet: learn it.

You can always rebuild the slope equation from y′=mx′y'=mx'; it is usually clearer than memorising it. If a line collapses to a single point, its image is a point, not the same whole line.

Worked example 3: different stretches along the axes

Question. Find all invariant lines through OO for D=(2003)\mathbf{D}=\begin{pmatrix}2&0\\0&3\end{pmatrix}.

Plan. Transform (x,mx)(x,mx), compare with y′=mx′y'=mx', then check the vertical line.

x′=2x,y′=3mxtransform a general point3mx=m(2x) for every xsame line conditionm=0compare coefficients(0,y)↦(0,3y)check the vertical line\begin{aligned} x'&=2x,\qquad y'=3mx && \text{transform a general point}\\ 3mx&=m(2x)\text{ for every }x && \text{same line condition}\\ m&=0 && \text{compare coefficients}\\ (0,y)&\mapsto(0,3y) && \text{check the vertical line} \end{aligned}

Why this step? The form y=mxy=mx never includes the yy-axis, so omitting a separate vertical check would lose a solution.

Answer. The two coordinate axes, y=0y=0 and x=0x=0.

Check. Points on each axis move along it; neither factor 22 nor 33 is zero, so its whole image is that axis.

The second example changes only the top-right entry, from 00 to 11. One invariant direction tilts away from the vertical.

Worked example 4: a tilted invariant line

Question. Find all invariant lines through OO for E=(2103)\mathbf{E}=\begin{pmatrix}2&1\\0&3\end{pmatrix}.

Plan. Transform a general point on y=mxy=mx and compare coefficients, then test the vertical direction.

x′=(2+m)x,y′=3mxsubstitute y=mx3m=m(2+m)y′=mx′ for every xm(m−1)=0rearrangem=0 or 1solve(0,y)↦(y,3y)vertical line is not invariant\begin{aligned} x'&=(2+m)x,\qquad y'=3mx && \text{substitute }y=mx\\ 3m&=m(2+m) && y'=mx'\text{ for every }x\\ m(m-1)&=0 && \text{rearrange}\\ m&=0\text{ or }1 && \text{solve}\\ (0,y)&\mapsto(y,3y) && \text{vertical line is not invariant} \end{aligned}

Why this step? The condition compares whole lines. For m=1m=1, points are multiplied by 33 along the line, so they move but stay on it.

Answer. y=0y=0 and y=xy=x, with no other lines through OO.

Check. (t,0)↦(2t,0)(t,0)\mapsto(2t,0), and (t,t)↦(3t,3t)(t,t)\mapsto(3t,3t); both give their full lines as tt varies.

One transformed point is useful for rejecting a candidate, but cannot by itself establish that a whole line is invariant.

Watch out

Wrong: choosing the origin as the only test point on a proposed invariant line. Every linear transformation fixes OO, so this says nothing about its direction. Use a general point or a non-zero direction vector, then check that the line does not collapse.

The next matrix changes the relative scaling while keeping a tilted direction.

Invariant lines away from the origin

A search for all invariant lines must allow a non-zero intercept as well as every direction.

The reflection from the opening has all vertical lines invariant, including lines far from OO. Restricting attention to y=mxy=mx would miss almost all of them. For a general non-vertical line, substitute y=mx+ky=mx+k, then require y′=mx′+ky'=mx'+k for every point. The coefficients of xx and the constant terms must both agree.

Testing all straight lines

For a non-vertical line y=mx+ky=mx+k, transform a general point and impose

y′=mx′+kfor every xy'=mx'+k\quad\text{for every }x

For a vertical line x=hx=h, require x′=hx'=h for every yy. In either case ensure that the image covers the whole line. These tests are not in the formula booklet: learn them.

A line can therefore keep its direction but fail the intercept condition. A horizontal line sent from y=2y=2 to y=6y=6 is parallel to its image, but is not invariant.

Worked example 5: a family of parallel invariant lines

Question. Find all invariant lines under S=(2001)\mathbf{S}=\begin{pmatrix}2&0\\0&1\end{pmatrix}.

Plan. Test y=mx+ky=mx+k, then test vertical lines separately.

x′=2x,y′=mx+ktransform (x,mx+k)mx+k=2mx+k for every xy′=mx′+km=0,k unrestrictedcompare coefficientsx=h↦x′=2hvertical-line image2h=h⇒h=0same vertical line\begin{aligned} x'&=2x,\qquad y'=mx+k && \text{transform }(x,mx+k)\\ mx+k&=2mx+k\text{ for every }x && y'=mx'+k\\ m&=0,\qquad k\text{ unrestricted} && \text{compare coefficients}\\ x=h&\mapsto x'=2h && \text{vertical-line image}\\ 2h=h&\quad\Rightarrow\quad h=0 && \text{same vertical line} \end{aligned}

Why this step? The intercept cancels here, so every horizontal line survives, not just the xx-axis.

Answer. Every horizontal line y=ky=k, where kk is real, and the yy-axis x=0x=0.

Check. (t,k)↦(2t,k)(t,k)\mapsto(2t,k) covers the same horizontal line. Every (0,t)(0,t) is fixed, so x=0x=0 is also a line of invariant points.

The second example changes only the bottom-right entry from 11 to 33. This introduces a restriction on the intercept.

Worked example 6: the intercept must be zero

Question. Find all invariant lines under D=(2003)\mathbf{D}=\begin{pmatrix}2&0\\0&3\end{pmatrix}.

Plan. Use the same general line and compare both coefficients and constants.

x′=2x,y′=3mx+3ktransform a general point3mx+3k=2mx+k for every xy′=mx′+k3m=2m,3k=kcompare coefficients and constantsm=0,k=0only y=0x=h↦x′=2htest vertical lines2h=h⇒h=0only x=0\begin{aligned} x'&=2x,\qquad y'=3mx+3k && \text{transform a general point}\\ 3mx+3k&=2mx+k\text{ for every }x && y'=mx'+k\\ 3m&=2m,\qquad 3k=k && \text{compare coefficients and constants}\\ m&=0,\qquad k=0 && \text{only }y=0\\ x=h&\mapsto x'=2h && \text{test vertical lines}\\ 2h=h&\quad\Rightarrow\quad h=0 && \text{only }x=0 \end{aligned}

Why this step? Matching the slope alone would admit all horizontal lines; matching the constant term removes every horizontal line except the axis.

Answer. Only y=0y=0 and x=0x=0.

Check. y=1y=1 maps to y=3y=3, so it is not invariant despite keeping its direction. Both coordinate axes map onto themselves.

This completes the distinction from the opening puzzle. Under reflection in the xx-axis, x=2x=2 is invariant because its image is the same set; it is not a line of invariant points because (2,1)(2,1) moves.

Watch out

Wrong: finding invariant slopes and stopping when the question asks for all invariant lines. A slope specifies a direction, not an intercept. Test kk, and include vertical lines x=hx=h.

Finish with both types of line explicitly included.

Quick Recap

  • An invariant point has the same coordinates after the transformation: solve both fixed-point equations.
  • An invariant line maps onto itself; its points may move. A line of invariant points has every point fixed.
  • For y=mxy=mx, impose y′=mx′y'=mx'; test x=0x=0 separately and exclude collapse to a point.
  • For all invariant lines, use y=mx+ky=mx+k and x=hx=h, comparing constants as well as slopes.

A line can stay unchanged while its points move: reflection in the xx-axis keeps x=2x=2 in place but swaps (2,1)(2,1) with (2,−1)(2,-1).