11 votos

Demostrar que siempre hay una manera de lograr det(A) > 0

a) Suponga que $(a_1, ..., a_9)$ son diferentes números positivos. Hagamos un $3 \times 3$ matriz $A_s$ mediante la colocación de ellos arbitrariamente en $9$ posiciones disponibles. Demostrar que siempre hay una manera para ensamblar, de modo que $\det(A_s) > 0$.

b) Suponga ahora que algunos de $a_i, i =1,\dots,9$ son iguales y el número total de diferentes valores tomados por la $a_i$$N \in \{1,2,...,9\}$. ¿Cuál es el mínimo de $N$ lo que garantiza la existencia de $A_s$ por encima de con $\det(A_s) >0$? Dar una prueba.

Para la parte (a), he intentado mostrar que, con la fila de operaciones, $\det(A_s)$ nunca puede igualdad de $0$, por lo que la matriz es invertible, con determinante ya sea positivo o negativo. Entonces, si el determinante es positivo, la prueba está completa; si no, entonces simplemente el intercambio de cualquiera de las dos filas, lo cual niega el determinante, dando un positivo factor determinante como es requerido. Sin embargo, esta prueba no funciona. Utilizando sólo los números de $1 \dots 9$, $(7,8,9)$ está en el intervalo de $(1,2,3)$$(4,5,6)$.

Ya que la pregunta está pidiendo para demostrar que siempre hay una forma, es decir, existe una manera de lograr la $\det(A_s)>0$, siento que debo trabajar en una contradicción, y supongamos en primer lugar que hay no hay manera de conseguirlo.

Tal vez puedo usar el hecho de que $\rm{trace} \, A_s$ debe ser positivo, pero no lo veo ahora.

Todas las sugerencias serán bienvenidos.

Gracias.

5voto

Archaick Puntos 1523

Para la parte $(a)$ usted está casi listo. Si $\mathrm{det}(A)=0$ y

$$A=\begin{bmatrix} a_1 & a_2 & a_3 \\ a_4 & a_5 & a_6 \\ a_7 & a_8 & a_9 \end{bmatrix},$$ a continuación, $(a_1,a_2,a_3)=c_1(a_4, a_5, a_6)+c_2(a_7,a_8,a_9)$ algunos $c_1,c_2 \in \mathbb{R}$. Tenga en cuenta que $c_1, c_2 \neq 0$ por supuesto desde $a_i \neq a_j$ siempre $i \neq j$. Por construcción, vemos que el cambio de cualquiera de las dos entradas en cualquier columna se asegura de que el rango de la matriz se convertirá $3$ y el factor determinante será, por tanto, ser distinto de cero.

E. g., se da eso $a_1=c_1a_4+c_2a_7$. Pero si cambiamos $a_1$$a_4$, podemos demostrar que no puede existir $c_3$ $c_4$ tal que $a_4=c_3a_1+c_4a_7$, $a_2= c_3a_5+c_4a_8$, y $a_3=c_3a_6+c_4a_9$ menos que cualquiera de las $c_1=0$, $c_2=0$, $a_1=a_2$, $a_4=a_5$, o $a_8=a_9$. Dejo esto para usted para verificar. (Edit: como el OP me señaló en los comentarios de abajo, también he supone aquí que los vectores columna de a $A$ no eran múltiplos escalares. Gracias Lebron!). Ahora sabemos cómo rectificar la situación donde $\mathrm{det}(A)=0$. Ya ha demostrado de qué hacer si el determinante es negativo, por lo que la construcción es completa.

Para la parte $(b)$, podemos trabajar hacia atrás a partir de la situación en la que $N=1$. Claramente, puesto que no hay sino una sola matriz podemos construir y su determinante es cero, este es el caso de degeneración. Considere la posibilidad de $N=2$. Ahora tenemos que comprobar sólo $4$ escenarios: cuando podemos particionar el conjunto de $\{a_i\}_{1\leq i \leq 9}$ en subgrupos de orden $1$ $8$ de manera tal que cada elemento en cada subconjunto es redundante, la instancia cuando dicha partición en subconjuntos crea subconjuntos de orden $2$$7$,$3$$6$, y, finalmente, $4$ $5$. Nos muestran que es posible terminar en una situación en la que una matriz de cero determinante no puede ser construida.

Considere el ejemplo de cuando los $a_i=a_j$ todos los $1 \leq i,j \leq 8$ $a_9$ es la distinta elemento. A continuación, para cada matriz de dos filas son iguales el uno al otro, y el rango es necesariamente dos.

Considere ahora al $N=3$. Me dicen que este es el mínimo. En este caso, sólo hay $7$ único particiones del conjunto tal que para cada subconjunto, todos los elementos son redundantes. Las órdenes de los subconjuntos en cada instancia se $$\{1,1,7\}, \{1,2,6\}, \{1,3,5\}, \{1,4,4\}, \{2,2,5\}, \{2,3,4\}, \text{and} \{3,3,3\}.$$

E. g, en la partición de $\{1,3,5\}$, hay un número que sólo se produce una vez en la matriz, un número que se produce $3$ a veces, y es un número que se produce $5$ veces. Llame a los tres elementos distintos $a$, $b$, y $c$ y dejar la partición indicar el número de cada uno: $\{\#a,\#b,\#c\}$. Vamos a mostrar ahora por la construcción que para cada una de las particiones, una matriz de rango 3 existe.

Para {1,1,7}:

\begin{bmatrix} a & c & c \\ c & b & c \\ c & c & c \end{bmatrix}

Para {1,2,6}:

\begin{bmatrix} a & b & c \\ c & b & c \\ c & c & c \end{bmatrix}

Para {1,3,5}:

\begin{bmatrix} a & b & c \\ c & b & c \\ c & b & c \end{bmatrix}

Para {1,4,4}:

\begin{bmatrix} a & b & b \\ c & b & c \\ c & b & c \end{bmatrix}

Para {2,2,5}:

\begin{bmatrix} a & a & b \\ c & b & c \\ c & c & c \end{bmatrix}

Para {2,3,4}:

\begin{bmatrix} a & a & b \\ c & b & c \\ c & b & c \end{bmatrix}

Para {3,3,3}:

\begin{bmatrix} a & b & a \\ c & c & b \\ b & a & c \end{bmatrix}

Ufff! Me encantaba, era una muy buena pregunta y tengo la sensación de que esta no es la mejor manera de probar esto! Por favor, hágamelo saber si usted piensa que he cometido algún error aquí.

5voto

seanyboy Puntos 3170

Lema. Si los números positivos $a_1,a_2,a_3,a_4$ tiene al menos dos valores diferentes, entonces se pueden poner en un $2\times 2$ matriz de modo que el determinante es distinto de cero.

Prueba: Supongamos que $0 < a_1\leq a_2\leq a_3\leq a_4$, donde no todos los $a_i$'s son el mismo. A continuación,$a_1a_2 < a_3 a_4$, por lo que la matriz de $\begin{bmatrix}a_3 & a_1 \\ a_2 & a_4\end{bmatrix}$ tiene determinante positivo.$\quad\square$

Teorema. Si una secuencia $a_1,\ldots,a_9$ de números positivos que tiene al menos tres valores diferentes, entonces se pueden poner en un $3\times 3$ matriz de modo que el determinante es distinto de cero.

Prueba: Supongamos $a_1,\ldots,a_9$ tiene al menos tres valores diferentes. Si uno de estos valores se produce siete veces, entonces la matriz $$ \begin{bmatrix}a & c & c \\ c & b & c \\ c & c & c\end{bmatrix} $$ ha determinante $c(a-c)(b-c)$, lo cual es distinto de cero. Supongamos, entonces, que ningún valor se produce más de seis veces. Sin pérdida de generalidad, podemos suponer que la $a_1,a_2,a_3$ son todos distintos y que $a_4,a_5,a_6,a_7$ no son todos iguales. Por el lema, se sigue que $$ \left|\begin{matrix}a_4 & a_5 \\ a_6 & a_7\end{de la matriz}\right|\ne 0 $$ después de una suficiente permutación de $a_4,a_5,a_6,a_7$. Ahora considere los siguientes tres matrices, que difieren sólo en la primera fila. $$ A = \begin{bmatrix}a_1 & a_2 & a_3 \\ a_8 & a_4 & a_5 \\ a_9 & a_6 & a_7 \end{bmatrix},\qquad B = \begin{bmatrix}a_2 & a_3 & a_1 \\ a_8 & a_4 & a_5 \\ a_9 & a_6 & a_7 \end{bmatrix},\qquad C = \begin{bmatrix}a_3 & a_1 & a_2 \\ a_8 & a_4 & a_5 \\ a_9 & a_6 & a_7 \end{bmatrix}. $$ Desde $a_1,a_2,a_3$ son distintos a los números positivos, los vectores $(a_1,a_2,a_3)$, $(a_2,a_3,a_1)$, y $(a_3,a_1,a_2)$ son linealmente independientes. Entonces: $$ \lambda (a_1,a_2,a_3)+\mu(a_2,a_3,a_1)+\nu (a_3,a_1,a_3) = (a_1+a_2+a_3,0,0). $$ para algunos $\lambda,\mu,\nu\in\mathbb{R}$. Tomando el producto escalar de esta ecuación con el vector $(1,1,1)$ da $$ (\lambda+\mu+\nu)(a_1+a_2+a_3) = a_1+a_2+a_3, $$ por lo $\lambda+\mu+\nu = 1$. De ello se sigue que $$ \lambda +\mu B + \nu C \;=\; \begin{bmatrix}a_1+a_2+a_3 & 0 & 0 \\ a_8 & a_4 & a_5 \\ a_9 & a_6 & a_7 \end{bmatrix}, $$ por lo $|\lambda A+\mu B+\nu C| = (a_1+a_2+a_3)\left|\begin{matrix}a_4 & a_5 \\ a_6 & a_7\end{matrix}\right| \ne 0$. Pero, por la multilinealidad de la determinante, $$ |\lambda+\mu B + \nu C| \;=\; \lambda |A| + \mu |B| +\nu |C|, $$ de modo que al menos uno de $|A|$, $|B|$, y $|C|$ debe ser distinto de cero.$\quad\square$

Tenga en cuenta que $N=2$ no es suficiente. En particular, si ocho de los números son los mismos, entonces cualquier matriz que realice tendrá por lo menos dos filas iguales, por lo que el factor determinante será igual a cero.

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