6 votos

¿$\operatorname{tr} (A)=0$ Implica$\operatorname{tr} (A^3)=0$?

Permita que$A_{(2n+1)\times(2n+1)}$ sea una matriz simétrica de Rank$2n$. Entonces, ¿$\operatorname{tr}A=0$ implica$\operatorname{tr}A^3=0$? Si no, ¿bajo qué condición?

5voto

user296113 Puntos 186

La respuesta es no. Para un contraejemplo, deja

$$A=\operatorname{diag}(1,3,-2,-2,0)$ $ Tenemos$\operatorname{Tr}(A)=0$ y$\operatorname{Tr}(A^3)=12\ne0$.

4voto

Insinuación

$1)$ Si$A$ es simétrico, entonces podemos escribir:

$$A=P^TDP$ $ donde$D$ es una matriz diagonal y$P$ es ortogonal. Asi que,

ps

$$A^3=P^TD^3P$ Usa eso $2)$

Asi que,

ps

y,

ps

Ahora compare$Trace(XY)=Trace(YX)$ y$$Trace(A)=Trace(D)=0$.

2voto

Theo Bendit Puntos 2468

El hecho de que $\operatorname{Rank}(A) = 2n$ implica $\operatorname{Null}(A) = 1$, lo $0$ es un autovalor con multiplicidad $1$. Aparte de eso, los autovalores son libres de ir encima de otros valores distintos de cero, siempre que cumplan suma a $0$. Ciertamente, si $n = 1$, y luego los otros dos autovalores debe ser negativos de cada uno de los otros y que no sea cero, lo que nos da distintos valores y por lo tanto un diagonalisable de la matriz. Si $\lambda > 0$ es el autovalor positivo, se deduce por lo tanto que $$\operatorname{tr}(A^3) = 0^3 + \lambda^3 + (-\lambda)^3 = 0.$$ Cuando nos despojamos de la suposición de que $n = 1$, las cosas se complican. Incluso en (probablemente) el mejor caso donde $A$ es diagonalisable, las cosas comienzan a caer. Por ejemplo, $$A = \operatorname{diag}(0, 1, 2, 3, -6)$$ tiene un $0$ seguimiento y rango $4$, pero $$A^3 = \operatorname{diag}(0, 1, 8, 27, -216),$$ que tiene un rastro de $-180$.

Básicamente, usted necesita para navegar esta edición del llamado "Primer Sueño", donde la suma de poderes no es la potencia de la suma. La dirección fuera de diagonalisable, simétrica, normal, o incluso hacia defectuoso matrices no le ayudará en el final, como los autovalores todavía cubo, y eso es lo que están tratando de forzar a ser $0$.

Creo que la limitación de $n$$1$, o forzando a los valores propios a los valores específicos (como alguien sugirió, quizás $\lambda = \pm 1$ o, posiblemente, otras raíces de la unidad?) es su mejor apuesta para las condiciones suficientes, pero no creo que va a ser muy útil para cualquier cosa no trivial.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X