CP 3.4 - Invariant points and lines

CP 3.4 - Invariant points and lines

A transformation can move points while leaving a whole line in the same place. You will distinguish invariant points from invariant lines, find each algebraically, and check vertical lines and non-zero intercepts so that your answer includes every possibility.

Points that stay where they are

Reflect the line y=2y=2 in the yy-axis. The point (3,2)(3,2) moves to (−3,2)(-3,2), yet the image line is still y=2y=2. How can a line stay fixed while its points move? The difference between a fixed point and a line mapped to itself is the key to the whole lesson.

You already know

A matrix M\mathbf{M} maps (xy)\begin{pmatrix}x\\y\end{pmatrix} to (XY)=M(xy)\begin{pmatrix}X\\Y\end{pmatrix}=\mathbf{M}\begin{pmatrix}x\\y\end{pmatrix}. A non-vertical straight line has equation y=mx+cy=mx+c; a vertical line has equation x=kx=k. Solving two simultaneous linear equations finds the coordinates satisfying both.

A point is invariant only if its own coordinates do not change. For the reflection above, (−x,y)=(x,y)(-x,y)=(x,y) requires x=0x=0; every point on the yy-axis is fixed, but (3,2)(3,2) is not.

Invariant point and invariant line

An invariant point, also called a fixed point, maps to itself. An invariant line maps to itself as a line: its points may move to different positions on that same line. A line of invariant points is stronger: every point on it stays individually fixed. For example, under reflection in the yy-axis, the yy-axis is a line of invariant points, while y=2y=2 is an invariant line whose points generally move.

All linear transformations fix the origin, because multiplying a zero column vector gives a zero column vector. Other fixed points are found by imposing equality of both coordinates.

Finding invariant points

For a linear transformation represented by M\mathbf{M}, solve

M(xy)=(xy)\mathbf{M}\begin{pmatrix}x\\y\end{pmatrix}=\begin{pmatrix}x\\y\end{pmatrix}

Equivalently, (M−I2)(xy)=(00)(\mathbf{M}-\mathbf{I}_2)\begin{pmatrix}x\\y\end{pmatrix}=\begin{pmatrix}0\\0\end{pmatrix}. Not in the formula booklet: learn it.

The equations may have just the origin as a solution, a whole line of solutions, or every point. For the identity matrix every point is invariant; do not assume that a pair of equations always gives one isolated point.

Worked example 1: only the origin is fixed

Question. Find all invariant points of the transformation represented by A=(2003)\mathbf{A}=\begin{pmatrix}2&0\\0&3\end{pmatrix}.

Plan. Set each image coordinate equal to the corresponding original coordinate, then solve both equations.

A(xy)=(2x3y)=(xy)fixed-point condition2x=x⟹x=0first coordinates3y=y⟹y=0second coordinates\begin{aligned} \mathbf{A}\begin{pmatrix}x\\y\end{pmatrix}&=\begin{pmatrix}2x\\3y\end{pmatrix}=\begin{pmatrix}x\\y\end{pmatrix}&&\text{fixed-point condition}\\ 2x&=x\quad\Longrightarrow\quad x=0&&\text{first coordinates}\\ 3y&=y\quad\Longrightarrow\quad y=0&&\text{second coordinates} \end{aligned}

Why this step? Both coordinates must return to their starting values. Keeping only the direction of the position vector would not make the point fixed.

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

Check. A(00)=(00)\mathbf{A}\begin{pmatrix}0\\0\end{pmatrix}=\begin{pmatrix}0\\0\end{pmatrix}; the two equations rule out every non-zero coordinate.

The second example changes the matrix so the two equations express the same restriction. That leaves a full line of invariant points.

Worked example 2: a line of fixed points

Question. Find all invariant points of B=(2101)\mathbf{B}=\begin{pmatrix}2&1\\0&1\end{pmatrix}.

Plan. Equate original and image coordinates, keeping any free coordinate rather than assigning it a value.

B(xy)=(2x+yy)=(xy)fixed-point condition2x+y=x⟹y=−xfirst coordinatesy=yno extra restriction\begin{aligned} \mathbf{B}\begin{pmatrix}x\\y\end{pmatrix}&=\begin{pmatrix}2x+y\\y\end{pmatrix}=\begin{pmatrix}x\\y\end{pmatrix}&&\text{fixed-point condition}\\ 2x+y&=x\quad\Longrightarrow\quad y=-x&&\text{first coordinates}\\ y&=y&&\text{no extra restriction} \end{aligned}

Why this step? The equation y=yy=y is true for every yy; it does not mean y=0y=0. Keep the whole family left by y=−xy=-x.

Answer. All points (t,−t)(t,-t), where t∈Rt\in\mathbb{R}, are invariant: the line y=−xy=-x consists of invariant points.

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

A half-turn makes the distinction especially striking. Its matrix is −I2-\mathbf{I}_2, so only the origin is an invariant point. Yet every line through the origin is invariant: (t,mt)↦(−t,−mt)(t,mt)\mapsto(-t,-mt) stays on y=mxy=mx, and the vertical line x=0x=0 also maps to itself. Infinitely many invariant lines can coexist with just one invariant point.

Watch out

Wrong: “The point moves along the line, so it is an invariant point.” Right: the line may be invariant, but a point is invariant only when both its coordinates are unchanged.

Use the stronger fixed-point condition in this check.

Finding invariant lines with an intercept

For an invariant line, the image point must satisfy the same line equation; it need not have the same coordinates as its starting point.

Start from a general point (x,mx+c)(x,mx+c) on y=mx+cy=mx+c, and call its image (X,Y)(X,Y). Invariance requires Y=mX+cY=mX+c for every xx. The input xx and output XX are deliberately different letters: confusing them would impose the stronger fixed-point condition.

Non-vertical invariant-line condition

For the candidate line y=mx+cy=mx+c, calculate

(XY)=M(xmx+c)\begin{pmatrix}X\\Y\end{pmatrix}=\mathbf{M}\begin{pmatrix}x\\mx+c\end{pmatrix}

and require

Y=mX+cY=mX+c

for every real xx. Equate both the coefficient of xx and the constant term. For the transformations below, satisfying this condition maps the whole line onto itself. Not in the formula booklet: learn it.

The phrase “for every xx” turns an equation into an identity. If it simplifies to Ax+B=0Ax+B=0, then you need A=0A=0 and B=0B=0. Solving it for one value of xx would find an individual intersection, rather than an invariant line. The image must also cover the whole line: XX must vary as xx varies. If XX is constant, then Y=mX+cY=mX+c is constant too, so the line collapses to one point and is not an invariant line.

Worked example 3: a family of parallel invariant lines

Question. Determine all non-vertical invariant lines of the transformation represented by B=(2101)\mathbf{B}=\begin{pmatrix}2&1\\0&1\end{pmatrix}.

Plan. Transform a general point on y=mx+cy=mx+c, impose Y=mX+cY=mX+c, then solve the coefficient and constant conditions.

X=2x+(mx+c)=(2+m)x+cfirst rowY=mx+csecond rowmx+c=m((2+m)x+c)+cY=mX+c0=m(m+1)x+mccollect terms\begin{aligned} X&=2x+(mx+c)=(2+m)x+c&&\text{first row}\\ Y&=mx+c&&\text{second row}\\ mx+c&=m((2+m)x+c)+c&&Y=mX+c\\ 0&=m(m+1)x+mc&&\text{collect terms} \end{aligned}

Since this must hold for every xx,

m(m+1)=0,mc=0m(m+1)=0,\qquad mc=0

If m=0m=0, the second equation is true for every cc, so every line y=cy=c is invariant. If m=−1m=-1, the second equation gives c=0c=0, so y=−xy=-x is invariant.

Why this step? Each possible gradient has its own intercept condition. A free intercept gives a whole family, not just the member through the origin.

Answer. y=cy=c for every real cc, together with y=−xy=-x.

Check. (x,c)↦(2x+c,c)(x,c)\mapsto(2x+c,c) stays on y=cy=c, while (x,−x)↦(x,−x)(x,-x)\mapsto(x,-x) stays fixed point by point.

The second example changes only the upper-right entry from 11 to 22. The horizontal family survives, but the oblique invariant line changes gradient.

Worked example 4: checking each intercept condition

Question. Determine all non-vertical invariant lines of C=(2201)\mathbf{C}=\begin{pmatrix}2&2\\0&1\end{pmatrix}.

Plan. Use a general intercept again, then solve the new gradient equation before considering the constant term.

X=2x+2(mx+c)=(2+2m)x+2cfirst rowY=mx+csecond rowmx+c=m((2+2m)x+2c)+csame line equation0=m(1+2m)x+2mccollect terms\begin{aligned} X&=2x+2(mx+c)=(2+2m)x+2c&&\text{first row}\\ Y&=mx+c&&\text{second row}\\ mx+c&=m((2+2m)x+2c)+c&&\text{same line equation}\\ 0&=m(1+2m)x+2mc&&\text{collect terms} \end{aligned}

Thus m(1+2m)=0m(1+2m)=0 and 2mc=02mc=0. For m=0m=0, any real cc works. For m=−12m=-\frac12, c=0c=0.

Why this step? Substituting each root separately prevents the false conclusion that c=0c=0 for both roots.

Answer. Every horizontal line y=cy=c, c∈Rc\in\mathbb{R}, and the line y=−12xy=-\frac12x.

Check. On the oblique line, (x,−12x)↦(x,−12x)(x,-\frac12x)\mapsto(x,-\frac12x); on y=cy=c, the image is (2x+2c,c)(2x+2c,c), which remains on that horizontal line.

Solve each gradient branch before deciding whether its intercept is free.

Watch out

Wrong: mc=0mc=0 implies c=0c=0 for every gradient. If m=0m=0, the equation is already true for every cc. In the first example, the correct branches are m=0m=0 with arbitrary cc, or m=−1m=-1 with c=0c=0.

These are two kinds of invariance in one picture. The horizontal line keeps its height but its points slide; the oblique line keeps each point in place.

[DIAGRAM: asset_name: An invariant line and a line of invariant points; asset_slug: 9fm0-cp18-invariant-lines; caption: An invariant line can keep its equation while its points move; description: Two coordinate panels show the transformation with matrix (2, 1; 0, 1). On the left, y equals 1 is unchanged as a line while (0, 1) moves to (1, 1) and (1, 1) moves to (3, 1). On the right, points on y equals minus x stay in exactly the same positions.]
An invariant line can keep its equation while its points move

Exam tip

Begin with y=mx+cy=mx+c, not just y=mxy=mx, unless the question specifically asks for lines through the origin. After solving for mm, substitute each gradient into the constant condition. A free cc must appear in your final answer.

Now change the diagonal entry as well; the method is unchanged.

Vertical lines and a complete answer

The equation y=mx+cy=mx+c misses every vertical line, so a complete invariant-line calculation needs a separate check of x=kx=k.

For M=(abde)\mathbf{M}=\begin{pmatrix}a&b\\d&e\end{pmatrix}, a point (k,y)(k,y) has first image coordinate X=ak+byX=ak+by. To remain on x=kx=k for every yy, this requires b=0b=0 and (a−1)k=0(a-1)k=0. Also check that the free image coordinate Y=dk+eyY=dk+ey varies with yy: this requires e≠0e\ne0. Otherwise every point on the vertical line maps to one point. These conditions are not in the formula booklet: derive them from the coordinate rules. As with any invariant-line calculation, check that the matrix has not collapsed the candidate line to a point; the examples here all map each accepted line onto itself.

Worked example 5: finishing a diagonal transformation

Question. Find all invariant lines of A=(2003)\mathbf{A}=\begin{pmatrix}2&0\\0&3\end{pmatrix}, and state which consist entirely of invariant points.

Plan. First test y=mx+cy=mx+c, then test x=kx=k; compare with the fixed-point result from Worked example 1.

X=2x,Y=3(mx+c)non-vertical candidate3mx+3c=2mx+cY=mX+cmx+2c=0 for every xcollect termsm=0,c=0coefficient and constant\begin{aligned} X&=2x,\quad Y=3(mx+c)&&\text{non-vertical candidate}\\ 3mx+3c&=2mx+c&&Y=mX+c\\ mx+2c&=0\text{ for every }x&&\text{collect terms}\\ m&=0,\quad c=0&&\text{coefficient and constant} \end{aligned}

This gives y=0y=0. For a vertical line,

(k,y)↦(2k,3y),2k=k⟹k=0(k,y)\mapsto(2k,3y),\qquad2k=k\quad\Longrightarrow\quad k=0

Why this step? Vertical lines have no finite gradient. The separate substitution finds x=0x=0, which the first calculation could never express.

Answer. The invariant lines are y=0y=0 and x=0x=0. Neither consists entirely of invariant points: only (0,0)(0,0) is fixed.

Check. (t,0)↦(2t,0)(t,0)\mapsto(2t,0) and (0,t)↦(0,3t)(0,t)\mapsto(0,3t), so each axis maps onto itself, while non-zero points move.

The next example changes only the second diagonal entry to 11. This makes every horizontal line invariant and makes one of them a line of fixed points.

Worked example 6: an entire family and one vertical line

Question. Find all invariant lines of D=(2001)\mathbf{D}=\begin{pmatrix}2&0\\0&1\end{pmatrix}, identifying any lines of invariant points.

Plan. Apply the same two line forms, allowing an unrestricted intercept when the equations permit it.

X=2x,Y=mx+cy=mx+cmx+c=2mx+cY=mX+cmx=0 for every xcollect termsm=0,c arbitraryall horizontal lines\begin{aligned} X&=2x,\quad Y=mx+c&&y=mx+c\\ mx+c&=2mx+c&&Y=mX+c\\ mx&=0\text{ for every }x&&\text{collect terms}\\ m&=0,\quad c\text{ arbitrary}&&\text{all horizontal lines} \end{aligned}

For x=kx=k, the condition is again 2k=k2k=k, so k=0k=0. Finally,

(2x,y)=(x,y)⟺x=0(2x,y)=(x,y)\quad\Longleftrightarrow\quad x=0

Why this step? The invariant-line equation leaves cc free, whereas the invariant-point equation forces x=0x=0. They answer different questions.

Answer. All lines y=cy=c, c∈Rc\in\mathbb{R}, and the vertical line x=0x=0 are invariant. Only x=0x=0 consists entirely of invariant points.

Check. On y=cy=c, (x,c)↦(2x,c)(x,c)\mapsto(2x,c), and every image position on the line is reached. On x=0x=0, (0,y)↦(0,y)(0,y)\mapsto(0,y).

For the matrices in Worked examples 3 and 4, the upper-right entries are non-zero. A vertical input line therefore has X=2k+yX=2k+y or X=2k+2yX=2k+2y, which varies with yy: neither has a vertical invariant line. Their lists of non-vertical lines are also their complete lists.

There need not be any invariant line. For a quarter-turn, X=−yX=-y, Y=xY=x. The condition for y=mx+cy=mx+c gives x=−m2x−mc+cx=-m^2x-mc+c, requiring m2=−1m^2=-1, with no real gradient. A vertical line maps to a horizontal one. The origin is still an invariant point, but there is no invariant line.

Watch out

Wrong: report y=0y=0 as the only invariant line of (2003)\begin{pmatrix}2&0\\0&3\end{pmatrix}. Right: also check x=kx=k, giving x=0x=0. A gradient calculation cannot detect a vertical line.

The opening reflection keeps y=2y=2 because changing xx to −x-x does not change the height. Only its point (0,2)(0,2) stays individually fixed. That is exactly how a line can remain in place while most of its points move.

Quick Recap

  • An invariant point keeps both coordinates: solve Mv=v\mathbf{M}\mathbf{v}=\mathbf{v}.
  • For an invariant line y=mx+cy=mx+c, transform (x,mx+c)(x,mx+c) and require Y=mX+cY=mX+c for every xx.
  • Equate both coefficient and constant terms, checking the intercept separately for each gradient.
  • Check vertical lines x=kx=k separately, and distinguish whole families of invariant lines from lines of invariant points.

Reflection in the yy-axis leaves y=2y=2 invariant while moving (3,2)(3,2) to (−3,2)(-3,2): the set stays the same even though the point moves.