1 votos

¿Hay alguna forma de conseguir que estos vectores sean linealmente independientes?

Espero que podamos encontrar una manera de conseguir que la siguiente matriz tenga rango completo:

$$ \begin{bmatrix} (x^a)_1 & (x^{2a})_1 & (x^{3a})_1 & \dots & (x^{na})_1\\ (x^a)_2 & (x^{2a})_2 & (x^{3a})_2 & \dots & (x^{na})_2\\ (x^a)_3 & (x^{2a})_3 & (x^{3a})_3 & \dots & (x^{na})_3\\ \dots & \dots & \dots & \dots & \dots \\ (x^a)_m & (x^{2a})_m & (x^{3a})_m & \dots & (x^{na})_m\\ \end{bmatrix} $$

Aquí $x$ tiene orden multiplicativo $na, n \in \mathbb{N}, a \in \mathbb{N}$ . Los subíndices $1,2,3,\dots, m$ denotan el $m$ ª componente de un $m$ sistema de numeración de componentes. Por ejemplo, si estamos trabajando con cuaterniones, entonces $m=4$ y $x_1$ es el componente real, $x_2$ el $i$ componente, $x_3$ el $j$ y $x_4$ el $k$ componente.

¿Podemos encontrar un $x$ con orden multiplicativo $na$ que dará a la matriz rango completo?

1voto

dc.sashwat Puntos 41

Algunas observaciones iniciales:

  1. Utilizar la aritmética modular sólo puede perjudicarnos, porque hace que más números sean iguales a otros números, de modo que es más probable que una fila sea una combinación lineal de otras filas.
  2. Si por " $m$ sistema numérico de componentes" se refiere a algo donde los componentes son números reales, la multiplicación es asociativa y la división es posible, entonces el sólo sistemas numéricos así son los reales, los complejos y los cuaterniones .
  3. Una vez que tengamos un ejemplo para el $n=m$ caso, si no fuera por la condición de orden, podríamos mantener el mismo $x$ y añadir más columnas para $n>m$ porque el rango de filas no puede bajar, y ya está lleno con sólo $m$ filas.
  4. En los números complejos y en los cuaterniones puede tomar el $a^\text{th}$ raíz de los números sin ningún problema, así que si no fuera por el "orden $na$ "la condición $x^a$ podría sustituirse por $x$ en esos casos sin perder un ápice de generalidad.

Los números reales ( $m=1$ )

Si no fuera por la condición de orden, entonces cualquier $x$ funciona para cualquier $n,a$ y $x=0$ funciona para no $n,a\ge1$ .

Para tener en cuenta la condición de orden, obsérvese que los únicos números reales con orden finito son $\pm1$ por lo que los únicos casos permitidos son $x=-1,a=2,n=1$ , $x=-1,a=1,n=2$ y $x=1,a=1,n=1$ . $\left[(-1)^2\right]=[1]$ , $\begin{bmatrix}-1&1\end{bmatrix}$ y $[1]$ todos tienen rango completo.


Los números complejos ( $m=2$ )

En primer lugar, ignoremos la condición de orden y averigüemos qué soluciones podemos obtener con $a=1,n=2$ . Como la matriz es cuadrada, podemos utilizar simplemente el determinante para comprobar el rango completo . Si $x=A+Bi$ entonces $x^2=A^2-B^2+2ABi$ para que la matriz sea $\begin{bmatrix}A&A^2-B^2\\B&2AB\end{bmatrix}$ . El determinante es $B(A^2+B^2)$ que es distinto de cero exactamente cuando $B\ne0$ . Tenga en cuenta que no hay $B=0$ caso de tener rango completo incluso por una columna posterior ( $n>2$ ), porque si $B=0$ entonces la segunda fila contiene todos ceros.

Ahora, cuando imponemos la condición de orden, necesitamos que el orden sea $na$ y necesitamos $x^a$ no ser real. Los únicos números reales de orden finito son $\pm1$ y $n\ge2$ así que el único problema del que preocuparse es $x^a=-1$ , $n=2$ . Pero a la inversa, el orden $2a\,$ fuerzas $x^a=-1$ desde $x^a$ es una raíz cuadrada de $1$ y el orden no es $a$ . Por lo tanto, sólo tienes que elegir $n>2$ y cualquier $a$ y que $x$ sea una primitiva $\left(na\right)^{\text{th}}$ raíz de la unidad, y funcionará (y nada más lo hará).


Los cuaterniones ( $m=4$ )

De nuevo, ignoremos la condición de orden y supongamos que $a=1,n=4$ esta vez. Dejar $x=R+Ai+Bj+Ck$ nuestra matriz se convierte en $$\begin{bmatrix}R&R^2-A^2-B^2-C^2&R\left(R^2-3A^2-3B^2-3C^2\right)&\star\\A&2AR&A(3R^2-A^2-B^2-C^2)&4AR(R^2-A^2-B^2-C^2)\\B&2BR&B(3R^2-A^2-B^2-C^2)&4BR(R^2-A^2-B^2-C^2)\\C&2CR&C(3R^2-A^2-B^2-C^2)&4CR(R^2-A^2-B^2-C^2)\end{bmatrix}$$ Dónde $\star=R^4+A^4+B^4+C^4-6R^2(A^2+B^2+C^2)+2\left(A^2B^2+A^2C^2+B^2C^2\right)$ . El problema con esto es que las filas 2,3 y 4 son todas múltiplos entre sí (o peor: cero), por lo que este $4\times4$ puede tener un rango máximo de 2. Como en el caso complejo, el rango es igual a 2 siempre que $x$ no es real.

Tampoco hay esperanza de obtener una matriz de mayor rango tomando $n>4$ (puede demostrarlo con la forma polar de un cuaternión por ejemplo). Todo esto está relacionado con el hecho de que los subrings conmutativos de los cuaterniones son copias de $\mathbb C$ .

Ni siquiera tenemos que pensar en la condición de orden porque no hay forma de conseguir el rango completo y punto.

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