Autor Tema: Simetría en la relación de equivalencia

0 Usuarios y 1 Visitante están viendo este tema.

14 Octubre, 2022, 05:59 pm
Leído 1058 veces

athairdos

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 259
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Hola; si es posible, queria preguntar si la relacion de simetria que se observa para la relacion de congruencia entre 2 matrices: \( A\sim{B}\leftrightarrow{B\sim{A}} \), para \( A\rightarrow{PAP^{t}} \), digamos; se debe cumplir para la relacion de semejanza (digamos \( A\rightarrow{PAP^{-1}} \)) entre 2 matrices (?). Gracias

14 Octubre, 2022, 06:19 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Hola; si es posible, queria preguntar si la relacion de simetria que se observa para la relacion de congruencia entre 2 matrices: \( A\sim{B}\leftrightarrow{B\sim{A}} \), para \( A\rightarrow{PAP^{t}} \), digamos; se debe cumplir para la relacion de semejanza (digamos \( A\rightarrow{PAP^{-1}} \)) entre 2 matrices (?). Gracias

Claro. Se debe de cumplir no, ¡se cumple de hecho!.

Por definición \( A \)  es semejante a \( B \) si y sólo si existe \( P \) inversible tal que \( B=PAP^{-1} \).

Nota que:

\( B=PAP^{-1}\quad \Rightarrow\quad P^{-1}BP=P^{-1}PAP^{-1}P\quad \Rightarrow\quad P^{-1}BP=A \).

Entonces si \( A \)  es semejante a \( B \), existen \( P^{-1} \) inversible tal que \( A=P^{-1}BP \) y por tanto \( B \) es semejante a \( A \).

Saludos.

14 Octubre, 2022, 06:55 pm
Respuesta #2

athairdos

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 259
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Gracias; tenía "esperanzas" de que no fuera asi; me explico; trataba de analizar el que la relación de congruencia no aplica cuando la matriz \( P \) en \( PAP^{t} \) es singular; hubiera pensado que la relación de congruencia no admitía tal posibilidad en razón de que exigiera la existencia de simetría, a su vez, debido a que el objeto de la relación de congruencia sean formas cuadráticas o bilineales; ahora, si la semejanza también se sujeta a esa condición (invertibilidad) quedaría expuesto el hecho de que no sólo una relación de equivalencia debe ser simétrica; sino también que la simetría de las mismas, es equivalente (en el marco de la representación de grupos?) a invertibilidad; esto es correcto? Gracias

14 Octubre, 2022, 07:12 pm
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Gracias; tenía "esperanzas" de que no fuera asi; me explico; trataba de analizar el que la relación de congruencia no aplica cuando la matriz \( P \) en \( PAP^{t} \) es singular; hubiera pensado que la relación de congruencia no admitía tal posibilidad en razón de que exigiera la existencia de simetría, a su vez, debido a que el objeto de la relación de congruencia sean formas cuadráticas o bilineales; ahora, si la semejanza también se sujeta a esa condición (invertibilidad) quedaría expuesto el hecho de que no sólo una relación de equivalencia debe ser simétrica; sino también que la simetría de las mismas, es equivalente (en el marco de la representación de grupos?) a invertibilidad; esto es correcto? Gracias

¡Vaya galimatías! No entiendo lo que quieres decir.

Por concretar algo. En la relación de congruencia SI se exige que \( P \) sea inversible; es decir dos matrices [tes]A,B[/tex] son congruentes si y sólo si existe una matriz \( P \)  inversible tal que \( B=P^tAP \).

Saludos.

14 Octubre, 2022, 07:41 pm
Respuesta #4

athairdos

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 259
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Ok; gracias! Aprovecho la ocasión para hacer una pregunta algo trivial (además de haber sido tratado en otras respuestas anteriores): la congruencia preserva la signatura de una forma cuadrática? Saludos

14 Octubre, 2022, 09:19 pm
Respuesta #5

geómetracat

  • Moderador Global
  • Mensajes: 4,065
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Veamos, el hecho de que se pida que la \( P \) sea invertible en la relación de congruencia no es gratuito, al igual que no lo es considerar la transformación \( A \mapsto PAP^t \).

Esta relación se define así porque así es cómo cambia la matriz asociada a una forma cuadrática cuando haces un cambio de base en el espacio vectorial, y el hecho de que \( P \) sea invertible se corresponde con el hecho de que un cambio de base siempre es invertible. Es decir, dos matrices congruentes representan la misma forma cuadrática, solo que en distintas bases. Y como representan el mismo objeto, todas las propiedades intrínsecas de la forma cuadrática van a ser invariantes por congruencia.

Si en la definición de congruencia  \( P \) es singular, y \( A \) es la matriz de una forma cuadrática en una base dada, la matriz \( P^tAP \) ya no tiene ninguna relación a priori con la forma cuadrática original, y por eso no es de interés.

Por tanto la respuesta a tu pregunta és sí: las congruencias preservan la signatura y el rango de las formas cuadráticas. ¿Por qué? Porque el rango de una forma cuadrática es la dimensión del mayor subespacio donde es no degenerada, y la signatura viene determinada por el rango y por la dimensión del mayor subespacio donde es definida positiva. Como estas definiciones son intrínsecas, no dependientes de la elección de base, y dos matrices congruentes representan la misma forma cuadrática, necesariamente la signatura y el rango va a ser invariante por congruencias.

Esta es una idea que aparece una y otra y otra vez en matemáticas: una cosa es un objeto y otras las varias "representaciones" que puede tener el objeto. Cualquier propiedad intrínseca de un objeto va a ser invariante frente a cambios de "representación", y recíprocamente, si tienes algo que es invariante bajo cambios de "representación" es que es algo intrínseco del objeto.

Puedes pensar en un caso que quizás sea más familiar. Un endomorfismo no depende de las bases elegidas, pero una vez eliges unas bases tienes una matriz que lo representa. Si cambias de base, cambia la matriz que lo representa. De hecho, dos matrices representan al mismo endomorfismo en distintas bases si y sólo si son semejantes. Pero tienes que matrices similares tienen los mismos autovalores, el mismo polinomio característico, etc. ¿Por qué? Porque en realidad no son propiedades de la matriz, sino del endomorfismo al que representan.
La ecuación más bonita de las matemáticas: \( d^2=0 \)

17 Octubre, 2022, 05:46 pm
Respuesta #6

athairdos

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 259
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Gracias! tenia intención de referirme más o menos superficialmente a la siguiente cuestión: el hecho de que los autovalores y el polinomio característico no sean propiedades de la matriz sino del endomorfismo al que representan, se puede reexpresar en términos del endomorfismo específico en cuestión como un módulo; en particular, como un módulo sobre un anillo de matrices (digamos \( M_{R} \))? (en este respecto, pienso que tal vez tiene relevancia el llamado "Teorema sobre la factorización de módulos sobre PIDs" (?); el enfoque en términos de módulos sería (una posibilidad del llamado enfoque) "libre de coordenadas"?

Por otro lado, todavía tengo algunas dudas bastante elementales como las siguientes: 1-teniendo que las semejanzas no modifican los autovalores, ni el polinomio característico, tampoco modifican el polinomio mínimo?
2-con las congruencias se da el mismo caso, o las congruencias sí pueden modificarlos?
3-dado que una matriz ortogonal \( A \) se define por \( A^{-1}=A^{t} \) me veo tentado de tratar de explicarme en qué consiste la relación entre las tres clases de cambios de bases (automorfismos)(?), pero todavía no alcanzo a entender este punto (si la factorización de módulos se apoyara mayoritariamente sobre la relacion de ortogonalidad, es decir, como suma directa de submódulos ortogonales (a partir de elementos coprimos, por ejemplo), tal vez la semejanza y la congruencia se podrían reexpresar a partir de ello; tal vez considerando la posibilidad de modificar los generadores de un ideal(?).

Gracias, un saludo.

17 Octubre, 2022, 06:14 pm
Respuesta #7

geómetracat

  • Moderador Global
  • Mensajes: 4,065
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Gracias! tenia intención de referirme más o menos superficialmente a la siguiente cuestión: el hecho de que los autovalores y el polinomio característico no sean propiedades de la matriz sino del endomorfismo al que representan, se puede reexpresar en términos del endomorfismo específico en cuestión como un módulo; en particular, como un módulo sobre un anillo de matrices (digamos \( M_{R} \))? (en este respecto, pienso que tal vez tiene relevancia el llamado "Teorema sobre la factorización de módulos sobre PIDs" (?); el enfoque en términos de módulos sería (una posibilidad del llamado enfoque) "libre de coordenadas"?
Sí, los tiros van por ahí. Pero deberías usar los términos con más precisión, porque muchas veces se hace difícil entender lo que dices. Un endomorfismo no es (ni se reexpresa como) un módulo. Si tienes un endomorfismo \( f:V \to V \), lo que se hace es considerar el \( k \)-espacio vectorial \( V \) como un \( k[x] \)-módulo, donde la acción de un polinomio \( p(x) \in k[x] \) sobre un vector \( v \in V \) viene dada por \( p(x)\cdot v := p(f)(v) \). Como \( k[x] \) es un \( PID \) y \( V \) es un \( k[x] \)-módulo finitamente generado (si \( V \) es de dimensión finita), puedes aplicar el teorema de estructura y obtener una descomposición de \( V \) como suma directa de \( k[x] \)-módulos cíclicos. A partir de esta descomposición puedes recuperar toda la información sobre el endomorfismo: su polinomio característico, su polinomio mínimo, su forma de Jordan, etc.

Citar
Por otro lado, todavía tengo algunas dudas bastante elementales como las siguientes: 1-teniendo que las semejanzas no modifican los autovalores, ni el polinomio característico, tampoco modifican el polinomio mínimo?
No, no lo modifican. Es fácil de ver directamente: si \( p(x) \) es un polinomio tal que \( p(A)=0 \), y \( B=P^{-1}AP \), se tiene que \( p(B) = p(P^{-1}AP) = P^{-1}p(A)P = 0 \) (en el segundo paso se usa que \( (P^{-1}AP)^n = P^{-1}APP^{-1}AP \dots P^{-1}AP = P^{-1}A^nP \)), luego los polinomios anuladores de \( A \) y \( B \) son los mismos, luego el polinomio mínimo, que es el generador del ideal de los polinomios anuladores, también es el mismo.

Citar
2-con las congruencias se da el mismo caso, o las congruencias sí pueden modificarlos?
Las congruencias sí pueden modificarlos, porque ni los autovalores, ni el polinomio mínimo ni el característico son propiedades de las formas cuadráticas. Piensa que sobre \( \Bbb R \) cualquier matriz simétrica es congruente a una diagonal con \( 1, -1 \) y \( 0 \) en su diagonal. De ahí es claro que la congruencia no puede preservar autovalores.

Citar
3-dado que una matriz ortogonal \( A \) se define por \( A^{-1}=A^{t} \) me veo tentado de tratar de explicarme en qué consiste la relación entre las tres clases de cambios de bases (automorfismos)(?), pero todavía no alcanzo a entender este punto (si la factorización de módulos se apoyara mayoritariamente sobre la relacion de ortogonalidad, es decir, como suma directa de submódulos ortogonales (a partir de elementos coprimos, por ejemplo), tal vez la semejanza y la congruencia se podrían reexpresar a partir de ello; tal vez considerando la posibilidad de modificar los generadores de un ideal(?).
Añadido:
Ante todo, no pierdas de vista las capas de estructura. La teoría de los endomorfismos, polinomios característicos/mínimos, autovalores, forma de Jordan, etc., vale en cualquier endomorfismo de un espacio vectorial. Para hablar de ortogonalidad necesitas un producto escalar, que es estructura extra en el espacio vectorial. Por tanto, en la descomposición de un módulo como suma de subespacios cíclicos, la ortogonalidad no entra.

Ahora, supongamos que tenemos un espacio vectorial con producto escalar, y que \( f \) es un endomorfismo autoadjunto, es decir, que cumple que \( \langle u, f(v) \rangle = \langle f(u), v \rangle \). Si tomas una base en la que la matriz de Gram del producto escalar (la que tiene por entradas \( i,j \) el producto escalar \( \langle e_i, e_j \rangle \)) es la identidad, entonces en esa base los endomorfismos autoadjuntos se corresponden con las matrices simétricas, es decir, las que cumplen \( A^t=A \).
Si tienes una matriz simétrica, puedes pensarla a la vez como una aplicación lineal (un endomorfismo) y como una forma cuadrática. En principio, si no hay producto escalar, esto no quiere decir nada especial, no hay ninguna conexión entre estas dos visiones. Esto se ve en la definición de similaridad/congruencia de matrices, ya que dos matrices similares no tienen por qué ser congruentes.
Si tenemos en cuenta el producto escalar, la cosa cambia. Ahora los cambios de base "naturales" son los que preservan el producto escalar, es decir, los que envían bases ortonormales a otras bases ortonormales. Esto se traduce en que las matrices de cambio de base a considerar ya no son todas las matrices invertibles, sino únicamente las matrices ortogonales, las que cumplen \( P^t=P^{-1} \). Si te restringes a matrices de cambio de base de este tipo, ahora las similaridades y las congruencias coinciden.
Por supuesto, esto no es ninguna casualidad. Lo que está pasando aquí a nivel abstracto es que el producto escalar te da una dualidad entre endomorfismos autoadjuntos y formas cuadráticas. Si \( f \) es un endomorfismo autoadjunto, entonces \( v \mapsto \langle v, f(v) \rangle \) es una forma cuadrática. Y viceversa, si tienes una forma cuadrática \( \phi \), entonces existe un endomorfismo autoadjunto (único) \( f \) tal que \( \phi(v) = \langle v, f(v) \rangle \). Esto es lo que explica que sea lo mismo diagonalizar (ortogonalmente) la forma cuadrática que el endomorfismo asociado.

Modificado.
La ecuación más bonita de las matemáticas: \( d^2=0 \)

24 Octubre, 2022, 01:03 am
Respuesta #8

athairdos

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 259
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Gracias!, he leido la respuesta días atras, y me ha servido bastante para aclarar algunas cosas; no he respondido antes porque a raíz de otra respuesta sobre formas de Jordan, traté de releer el libro al respecto y esto me ha llevado a otras dudas; ahora, releyendo la respuesta, preguntaría lo siguiente; donde dice

Citar
Para hablar de ortogonalidad necesitas un producto escalar, que es estructura extra en el espacio vectorial. Por tanto, en la descomposición de un módulo como suma de subespacios cíclicos, la ortogonalidad no entra.

Se podría reexpresar esa idea como sigue: el la descomposición de un módulo como suma directa (...) la ortogonalidad no entra porque en tal descomposición no interviene ninguna forma bilineal? o esto sería bien incorrecto, bien una simplificación excesiva?

Gracias.

Por favor cuida la ortografía. Recuerda usar mayúscula al comenzar los párrafos.

24 Octubre, 2022, 08:44 am
Respuesta #9

geómetracat

  • Moderador Global
  • Mensajes: 4,065
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Citar
Para hablar de ortogonalidad necesitas un producto escalar, que es estructura extra en el espacio vectorial. Por tanto, en la descomposición de un módulo como suma de subespacios cíclicos, la ortogonalidad no entra.

Se podría reexpresar esa idea como sigue: el la descomposición de un módulo como suma directa (...) la ortogonalidad no entra porque en tal descomposición no interviene ninguna forma bilineal? o esto sería bien incorrecto, bien una simplificación excesiva?
Sí, no me parece descabellado decir eso.
La ecuación más bonita de las matemáticas: \( d^2=0 \)