Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Give an example of operator $T:\mathbb{R}^2\to\mathbb{R}^2$ with $T^2=T$, but $T^{*}\neq T$.

What could I consider ?

thanks :)

share|cite|improve this question
up vote 1 down vote accepted

Edit: the following is a result of comments by Harald:


$$S\binom{x}{y}:=\binom{x+y}{-y}\,\,,\,\,\text{or in matrix form:}\;\;[S]=\begin{pmatrix}1&1\\0&\!\!\!-1\end{pmatrix}$$

Since $\,S^2=I\,$ we get that

$$T:=\frac{1}{2}\left(S+I\right)\;\;\;\text{fulfills}\;\;\;T\binom{x}{y}=\binom{x+\frac{1}{2}y}{0}\,\,,\,\,\text{or as matrix:}\;\;[T]=\begin{pmatrix}1&\frac{1}{2}\\{}\\0&0\end{pmatrix}$$



share|cite|improve this answer
That would be an oblique symmetry, not a projection. – Harald Hanche-Olsen Feb 5 '13 at 10:03
Perhaps (I really don't know what "oblique symmetry" is), but it fulfills the OP's conditions. – DonAntonio Feb 5 '13 at 10:04
But $T^2\neq T$. $T^2=I$. – Iuli Feb 5 '13 at 10:07
A symmetry is an operator satisfying $T^2=I$. It is a reflection through a subspace. It is oblique if the two subspaces corresponding to the two eigenvalues $\pm1$ are not orthogonal. A symmetry has the form $T=2P-1$ where $P$ is a projection; so a correct answer to the problem at hand is $\frac12(T+I)$, where $T$ is your answer. – Harald Hanche-Olsen Feb 5 '13 at 10:10
Oh, I see now what you (and, in fact, the OP meant). Thanks, I shall edit my answer. – DonAntonio Feb 5 '13 at 10:19

An oblique projection would do. The equation $T^2=T$ is a defining property of projections, and $T^*=T$ (for a projection) is connected with orthogonality.

share|cite|improve this answer
can you explicity, please ? – Iuli Feb 5 '13 at 9:58
I added to my post before seeing your comment. Hope it provides the needed detail. – Harald Hanche-Olsen Feb 5 '13 at 10:04
+1 I learned something new today. Thanks. – DonAntonio Feb 5 '13 at 10:25

You can take $$T = \begin{bmatrix}1 & 1 \\ 0 & 0\end{bmatrix}$$

share|cite|improve this answer
Thanks for answer :) – Iuli Feb 5 '13 at 10:19
One more question please, how can I calculate $T^{*}$? Is any formula I should use Riesz's Theorem ? Thanks :) – Iuli Feb 5 '13 at 10:22
@Iuli For operators on $\mathbb{R}^n$ the adjoint is just the transpose. – mrf Feb 5 '13 at 10:31
I assume you mean orthonormal basis, but that's right @DonAntonio – mrf Feb 5 '13 at 11:32
Oh, dear: of course, @mrf – DonAntonio Feb 5 '13 at 11:59
  • Restrict yourself to linear operators (matrices) and make the general ansatz

$$T(a,b,c,x\ne c^*-c)=\begin{pmatrix}a&c\\{}\\c+x&b\end{pmatrix}.$$

  • Then square it (if you're lazy plug in {{a,c},{c+x,b}}^2//FullSimplify in Wolfram Alpha) and solve one linear and one quadratic equation which stem from the condition $T^2-T=0.$

You find the family of solutions

$$T(c,x\ne c^*-c)=\begin{pmatrix}\tfrac{1}{2}\pm \tfrac{1}{2}\sqrt{1-4\ c\ (c+x)}&c\\{}\\c+x&\tfrac{1}{2}\mp \tfrac{1}{2}\sqrt{1-4\ c\ (c+x)})\end{pmatrix}.$$

For $c=0$ and $c=-x$ you'd get the most simple examples

$$\begin{pmatrix}1&0\\{}\\x&0\end{pmatrix},\ \ \ \begin{pmatrix}1&-x\\{}\\0&0\end{pmatrix},$$

with $x\ne 0$.

share|cite|improve this answer
This is the solution that I had in mind. Harald’s solution gives a geometric characterization of all such operators, while yours explicitly computes all such operators. – Haskell Curry Feb 5 '13 at 10:55
Up to unitary equivalence, $\begin{pmatrix}1&x\\0&0\end{pmatrix}$ with $x\neq 0$ also describes all examples. – Jonas Meyer Feb 6 '13 at 17:22
@JonasMeyer: Sounds good. – NikolajK Feb 6 '13 at 17:36

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.