11 votos

Encuentra una matriz $4\times 4$ $A$ donde $A\neq I$ y $A^2 \neq I$, pero $A^3 = I$.

Dé un ejemplo de una matriz $4 \times 4$ donde $A \neq I$, $A^2 \neq I$, y $A^3 = I.

Encontré una matriz $2 \times 2$ donde $A \neq I$ y $A^2 = I$, pero este problema es más complejo y me tiene completamente atascado.

0 votos

¡Claro! Definitivamente lo haré.

1 votos

¿Tiene que ser una matriz real? ¿Has oído hablar de las matrices de rotación?

0 votos

Creo que puede ser cualquier tipo de matriz.

30voto

Anthony Shaw Puntos 858

Aquí hay un ejemplo de $2\times2$ $$ \begin{bmatrix} -\frac12&\frac{\sqrt{3}}{2}\\ -\frac{\sqrt{3}}{2}&-\frac12 \end{bmatrix}\tag{1} $$ Esto funciona porque es una representación en matriz de $e^{2\pi i/3}=-\frac12+i\frac{\sqrt{3}}{2}$; es decir, una rotación por $\frac{2\pi}{3}$. Por lo tanto, al elevarlo al cuadrado obtenemos otro ejemplo de $2\times2$ $$ \begin{bmatrix} -\frac12&-\frac{\sqrt{3}}{2}\\ \frac{\sqrt{3}}{2}&-\frac12 \end{bmatrix}\tag{2} $$ $(1)$ y $(2)$ pueden ser fácilmente extendidos a ejemplos de $4\times4$ de muchas maneras. Aquí hay uno usando $(1)$: $$ \begin{bmatrix} -\frac12&\frac{\sqrt{3}}{2}&0&0\\ -\frac{\sqrt{3}}{2}&-\frac12&0&0\\ 0&0&\hspace{7pt}1\hspace{7pt}\vphantom{-\frac12}&0\\ 0&0&0&\hspace{5pt}1\hspace{5pt}\vphantom{-\frac12} \end{bmatrix}\tag{3} $$

Otro ejemplo de matriz $2\times2$:

Como Hagen von Eitzen señala, podemos considerar los vectores unitarios $u,v,w$, que están separados por $\frac{2\pi}{3}$

$\hspace{5cm}$enter image description here

y observamos que $u+v+w=0$ para obtener que $w=-u-v$. Sea $\begin{bmatrix}a\\b\end{bmatrix}$ un vector de coordenadas utilizando los vectores de la base $\{u,v\}$. Entonces, la rotación por $\frac{2\pi}{3}$ tiene la siguiente acción: $$ \begin{bmatrix}u&v\end{bmatrix}\begin{bmatrix}a\\b\end{bmatrix}\mapsto\begin{bmatrix}v&w\end{bmatrix}\begin{bmatrix}a\\b\end{bmatrix}=\begin{bmatrix}u&v\end{bmatrix}\begin{bmatrix}0&-1\\1&-1\end{bmatrix}\begin{bmatrix}a\\b\end{bmatrix}\tag{4} $$ Por lo tanto, la matriz para rotar por $\frac{2\pi}{3}$ bajo la base $\{u,v\}$ es $$ \begin{bmatrix}0&-1\\1&-1\end{bmatrix}\tag{5} $$ que, como señala Gerry Myerson aquí, es la matriz compañera de $x^2+x+1$. Una matriz compañera es aniquilada por su polinomio, por lo que $(5)$ es aniquilada por $x^3-1=(x-1)(x^2+x+1)$.

El cuadrado de $(5)$ también satisface las condiciones especificadas: $$ \begin{bmatrix}-1&1\\-1&0\end{bmatrix}\tag{6} $$ La respuesta dada por Marc van Leeuwen usa $(6)$.

0 votos

Lamentablemente, esto funciona solo si se nos permite dividir por 2 y tomar la raíz cuadrada de 3. Por lo tanto, esto no es una solución para matrices con entradas en $\mathbb Z$ o en $\mathbb F_2$.

1 votos

"Afortunadamente" estas restricciones no fueron impuestas. Como he señalado en otro lugar, Gerry Myerson y Marc van Leeuwen tienen respuestas interesantes usando solo $0$ y $\pm1$. Como fgp señala, las matrices reales de $2\times2$ pueden ser extendidas a exponentes distintos de $3$.

0 votos

Bueno, dado que la declaración del problema no especificó que la característica es $\ne 2$, asumir que la característica es $\ne 2$ parece ser inválido. A menos que se adopte el enfoque de "las matrices son siempre reales por defecto". Lo cual puede ser válido, pero poco educativo.

21voto

user8269 Puntos 46

Aquí tienes un $3\times3$: $$\pmatrix{0&1&0\cr0&0&1\cr1&0&0\cr}$$ Deberías poder obtener un $4\times4$ a partir de esto.

1 votos

Se ve más bonito que el mío :-) (+1)

0 votos

Quizás sí, pero hiciste el punto importante de que se puede hacer con un $2\times2$.

0 votos

Marc van Leeuwen tiene un ejemplo estético $2\times2$ que utiliza $0$ y $\pm1$!

15voto

GmonC Puntos 114

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

0 votos

¡Muy bueno; otro ejemplo $2\times2$!

0 votos

Esto es (en dos dimensiones) la rotación del plano por 120° con respecto a una base con 120° entre los vectores base (de la misma longitud).

0 votos

@HagenvonEitzen: También es el endomorfismo inducido por la matriz de permutación cíclica dada por Gerry Meyerson sobre el cociente por el subespacio obviamente invariante generado por $(1,1,1)^\top$, con respecto a las imágenes en el cociente de los dos primeros vectores base estándar. O, lo que es lo mismo, la matriz compañera (inversa) para $1 + X + X^2$.

10voto

Robert Mastragostino Puntos 10105

Dado que las potencias de las matrices diagonales simplemente elevan los elementos a esas potencias de forma individual, podemos simplemente escoger una matriz diagonal tal que todos los elementos diagonales sean raíces cúbicas de $1$. Si se permiten matrices complejas, la solución es fácil.

0 votos

Puedes hacer lo mismo con matrices reales.

7voto

Jedi Master Spooky Puntos 2374

Sean $b_1, b_2, b_3, b_4$ una base. Defina $A$ de tal manera que $$Ab_1=b_2, Ab_2=b_3, Ab_3=b_1$$ y $Ab_4=b_4$ y extienda $A$ linealmente. Entonces para escalares $\alpha_k$, $k=1,2,3,4$ $$A(\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4)=\alpha_1b_2+\alpha_2b_3+\alpha_3b_1+\alpha_4b_4 \ne\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4$$ y $$A^2(\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4)=\alpha_1b_3+\alpha_2b_1+\alpha_3b_2+\alpha_4b_4 \ne\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4$$ mientras que $$A^3(\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4)=\alpha_1b_1+\alpha_2b_2+\alpha_3b_3+\alpha_4b_4.$$

0 votos

Esto generaliza la respuesta dada por Gerry Myerson. (+1)

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