Ivan Shishkin, Rye (1878)

Problems/General algebraNeeds work

Fixed points of a direct isometry

by Ancient Tree·
29
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
English
EnglishFrançais
Needs work. This problem has been marked as needing work.

Let ff be a direct isometry of the vector space R3\mathbb{R}^3.
Show that it fixes at least one line going through the origin in R3\mathbb{R}^3.

I solved itMark it doneAdd to my listKeep it in your list

Solutions

1
Reveal solutionsAre you sure? Give it a try first.

Solution by Ancient Tree

Discussions0 useful votes

The characteristic polynomial of ff is a polynomial of degree 3 with real coefficients. Therefore, it admits at least one real root.

But the (complex) eigenvalues of a linear isometry have magnitude 1. So the real root can only be +1+1 or 1- 1.
There are two cases :

  • Either there is a complex eigenvalue zz, but then its complex conjugate zˉ\bar{z} is also an eigenvalue (because the characteristic polynomial is with real coefficients). The determinant of ff, which is 1 by definition of a direct isometry, is the product of the eigenvalues, but because the product of a complex number with its conjugate is zzˉ=z2=1z\bar{z}=|z|^2=1, then the only choice for the remaining eigenvalue is 1.
  • Either all eigenvalues are real, so they must . In this case, again because of the determinant of ff being 1, there must be an even number of 1-1 eigenvalues ; as there are 3 of them, at least one of them is 1.

This shows that in any case, 1 is an eigenvalue, which means that there are eigenvectors xx such that f(x)=xf(x)=x, which is the definition of a fixed point. The isometry fixes at least the line Span(x)\operatorname{Span}(x).

By the way, this shows that direct isometries of R3\mathbb{R}^3 are rotations, with axis given as the fixed points (except for the identity which fixes all points).

Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.