Te sugiero que uses inducción. Es claramente cierto para [matemáticas] n = 1 [/ matemáticas] ya que, en ese caso, [matemáticas] A [/ matemáticas] es un escalar y el determinante es la función de identidad.
Ahora suponga que es cierto para todas las matrices de tamaño [math] n \ times n [/ math] para algunas [math] n \ in \ mathbb N [/ math] en particular. Considere una matriz arbitraria [math] A _ {(n + 1) \ times (n + 1)} [/ math].
Usando la expansión determinante por menores en la primera columna, tenemos:
[matemáticas] | kA | = \ sum_ {i = 1} ^ {n + 1} (-1) ^ {1 + i} ka_ {i1} | (k \ hat A) _ {i1} | [/ math]
Estoy usando [math] \ hat A_ {ij} [/ math] para ser la submatriz de [math] A [/ math] después de la fila [math] i [/ math] y la columna [math] j [/ math] son removidos. De manera similar, estoy usando [math] (k \ hat A) _ {ij} [/ math] para ser esa misma matriz con cada elemento multiplicado por el escalar [math] k [/ math].
- En términos que un no bioinformático entendería, ¿cómo se usa el álgebra lineal en bioinformática?
- Cómo encontrar el mapeo lineal cuyo Kernel es generado por {(1,2,3,4), (0,1,1,1)}
- ¿Qué es el span S en álgebra lineal?
- ¿Por qué el producto escalar solo se define para vectores, y no para matrices que pueden tener un tamaño arbitrario?
- Cómo entender mejor la afirmación: “todo el tema del cálculo puede describirse sucintamente de esta manera: la derivada es esencialmente una herramienta que resuelve una sola función no lineal en un grupo completo de lineales”.
Sabemos que el determinante, [matemática] | (k \ hat A) _ {i1} | = k ^ n | \ hat A_ {i1} | [/ math] debido a nuestra suposición de que esto es válido para todas las matrices de tamaño [ math] n \ times n [/ math] y el hecho de que [math] \ hat A_ {i1} [/ math] es una matriz de ese tamaño. Entonces vemos que:
[matemáticas] | kA | = \ sum_ {i = 1} ^ {n + 1} (-1) ^ {1 + i} ka_ {i1} k ^ n | \ hat A_ {i1} | [/ math]
Recolectar los [math] k [/ math] y factorizarlos da:
[matemáticas] | kA | = k ^ {n + 1} \ sum_ {i = 1} ^ {n + 1} (-1) ^ {1 + i} a_ {i1} | \ hat A_ {i1} | [/ math]
Y notamos que la suma restante es exactamente el determinante de [matemáticas] A [/ matemáticas].
[matemáticas] | kA | = k ^ {n + 1} | A | [/ matemáticas]
Así que sabemos que es válido para [matemáticas] n = 1 [/ matemáticas] y hemos demostrado que si es válido para algunas [matemáticas] n [/ matemáticas], entonces también es válido para [matemáticas] n + 1 [/ matemáticas ] Por inducción, se mantiene para todos [math] n \ in \ mathbb N [/ math].