Clicker Maestro Sesión actual

Permutaciones, unicidad del determinante y Teorema del Producto para determinantes

Asistencia: 0     Preguntas por hacer: 8  

Pregunta actual:  154   Teorema 423. Sea R un anillo conmuntativo y sea n un entero positivo. Existe exactamente una función #determinante@ det sobre el conjunto de las matrices n por n sobre R, y está definida por det(A) = ∑ σ∈Sn [sgn(σ)]A1,σ(1) . . . An,σ(n)
Demostración: Se sigue del Lema 422 y de que la función determinante debe valer uno en la matriz identidad.

Faltan de contestar correctamente: 0 .

 147 : 417 :: Definición 415. Sea n un entero positivo. Una #permutación@ de n (o simplemente una permutación) es una biyección del conjunto {1, . . . , n} en sí mismo. El conjunto de todas las permutaciones de n se denota Sn, y se llama el grupo #simétrico@ de grado n. Una #transposición@ es una permutación σ tal que existen i, j ∈ {1, . . . , n} con σ(k) igual a i si k = j, igual a j si k = i, e igual a k en otro caso. A la anterior transposición se le denota usualmente (i, j).
 148 : 418 :: Notación 417. Sea n un entero mayor que uno, y sea A una matriz de n por n con entradas en un anillo conmutativo R. Designemos por A(i|j) a la matriz de n − 1 por n − 1 que se obtiene eliminando el #i@-ésimo renglón y la #j@-ésima columna de A.
 149 : 419 :: Proposición 418. Sea n un entero positivo, y sea D una función (n − 1)- lineal alternante de las matrices n − 1 por n − 1. Para cualquier j entre 1 y n, la función Dj definida para todas las matrices A de n por n con entradas en R por la fórmula Dj(A) = ∑(−1)i+1Ai,jD[A(i|j)] es una función n-lineal alternada de las matrices de n por n con entradas en R. Si D es una función #determinante@, también lo es Dj .
Demostración: Cada una de las partes de Dj es una función n-lineal de A, por lo que Dj es n-lineal. Si A tiene dos renglones iguales, todas las D[A(i|j)] serán cero menos dos, que se anulan mutuamente. Si D(In−1) es uno, también lo es Dj (In).

 150 : 420 :: Corolario 419. Para cualquier entero positivo n existe una función #determinante@ en el conjunto de matrices n por n con entradas en un anillo conmutativo R. Demostración: Para n igual a uno es claro. Las siguientes se construyen recursivamente usando el resultado anterior.
 151 : 421 :: Lema 420. Sea σ una permutación de n, y sea Iσ la matriz que se obtiene permutando los renglones de la matriz identidad de n por n según σ. Sea D una función determinante en las matrices n por n con entradas en un anillo conmutativo R. Entonces D(Iσ) es igual a 1 o -1; dicho valor se llama el #signo@ de la permutación σ, y se denota sgn(σ). Además, tenemos que el signo de σ es uno si y sólo si σ puede escribirse como un producto de un número par de transposiciones.
Demostración: Se sigue de que se pueden ir intercambiando los renglones de Iσ para llevarla a la matriz identidad. Con cada cambio de renglones, el signo de D(A) cambia.

 152 : 422 :: Lema 421. Sea σ una permutación de n, y sea Iσ la matriz que se obtiene permutando los renglones de la matriz identidad de n por n según σ. Sea D una función n-lineal alternante en las matrices n por n con entradas en un anillo conmutativo R. Entonces D(Iσ) = [sgn(σ)]D(#I@)
Demostración: Es análoga a la demostración del Lema anterior, con la salvedad de que al llegar a la identidad, D(I) puede no ser uno.

 153 : 423 :: Lema 422. Sea R un anillo conmuntativo y sea n un entero positivo. Sea D una función alternante n-lineal sobre las matrices n por n con entradas en R. Entonces para cualquier matriz A de n por n con entradas en R tenemos que D(#A@) = ∑ σ∈Sn [sgn(σ)]A1,σ(1) . . . An,σ(n)D(I)

 154 : 424 :: Teorema 423. Sea R un anillo conmuntativo y sea n un entero positivo. Existe exactamente una función #determinante@ det sobre el conjunto de las matrices n por n sobre R, y está definida por det(A) = ∑ σ∈Sn [sgn(σ)]A1,σ(1) . . . An,σ(n)
Demostración: Se sigue del Lema 422 y de que la función determinante debe valer uno en la matriz identidad.



Sesiones disponibles

Prueba
Eliminación gaussiana
Matrices invertibles
Solución de sistemas de ecuaciones lineales
Espacios vectoriales
Subespacios
Independencia lineal
Bases y dimension
Coordenadas con respecto a una base ordenada
Matriz de cambio de base
Cálculos relativos a subespacios
Transformaciones lineales: definición y ejemplos
Núcleo e imagen de una transformación lineal
Algebra de las transformaciones lineales
Isomorfismos
Matriz asociada a una transformación lineal
Semejanza de matrices
Funcionales lineales, espacio dual y bases duales
Transpuesta de una transformación lineal
Anillos conmutativos, funciones multilineales y funciones determinantes
Permutaciones, unicidad del determinante y Teorema del Producto para determinantes
Matriz adjunta y Regla de Cramer
Presentación de Clicker
Matrices

Tareas

Sistemas de ecuaciones lineales y matrices, Parte 1
Sistemas de ecuaciones lineales y matrices, Parte 2
Sistemas de ecuaciones lineales y matrices, Parte 3
Sistemas de ecuaciones lineales y matrices, Parte 4
Sistemas de ecuaciones lineales y matrices, Parte 5
Matrices elementales y forma escalón reducida por renglones, Parte 1
Matrices elementales y forma escalón reducida por renglones, Parte 2
Matrices elementales y forma escalón reducida por renglones, Parte 3
Matrices elementales y forma escalón reducida por renglones, Parte 4
Matrices elementales y forma escalón reducida por renglones, Parte 5
Matrices invertibles
Solución de sistemas de ecuaciones lineales
Espacios vectoriales
Subespacios
Independencia lineal
Bases y dimensión
Coordenadas con respecto a una base ordenada
Matriz de cambio de base
Cálculos relativos a subespacios
Definición y ejemplos de transformación lineal
Núcleo e imagen de una transformación lineal; Regla de la dimensión
Algebra de las transformaciones lineales
Isomorfismos
Matriz asociada a una transformación lineal
Semejanza de matrices
Funcionales lineales, espacio dual y bases duales
Transpuesta de una transformación lineal
Anillos conmutativos, funciones multilineales y funciones determinantes
Permutaciones, unicidad de los determinantes y Teorema del producto para determinantes
Matriz adjunta y Regla de Cramer
Tarea 1 Algebra Lineal I
Tarea 2 Algebra Lineal I
Tarea 3 Algebra Lineal I