Esta prueba es una implicación doble de la forma [math] p \ Leftrightarrow q [/ math] que es [math] \ equiv \ neg p \ Leftrightarrow \ neg q [/ math]. Por lo tanto, demostremos la segunda proposición equivalente.
Deje que [math] V [/ math] sea un espacio vectorial y [math] v_1, v_2 …… v_n \ in V [/ math] y una transformación lineal invertible [math] T: V \ rightarrow V [/ math]. Deje que este espacio vectorial esté sobre un campo arbitrario [matemática] F [/ matemática]
Probemos el [math] \ neg q \ rightarrow \ neg p [/ math]:
Deje que [math] \ exista c_1, …… c_n \ en F [/ math] de modo que no todos sean cero y [math] \ displaystyle \ sum_ {i = 0} ^ n c_iT (v_i) = 0 [/ math] .
Como [math] T [/ math] es una transformación lineal, [math] T (\ sum_ {i = 0} ^ n c_iv_i) = 0 [/ math].
Como T es un mapa invertible, es inyectivo.
[matemáticas] T (\ sum_ {i = 0} ^ n c_iv_i) = T (0) [/ matemáticas]. (T (0) = 0 para cualquier transformación lineal)
Debido a la naturaleza inyectiva de [matemáticas] T [/ matemáticas],
[matemáticas] \ sum_ {i = 0} ^ n c_iv_i = 0 [/ matemáticas]. Como no todos los [math] c_i [/ math] son ceros, [math] \ {v_1,… ..v_n \} [/ math] es un conjunto linealmente dependiente. Esto prueba [matemáticas] \ neg q \ rightarrow \ neg p [/ matemáticas]
Te animo a que pruebes las [matemáticas] \ neg p \ rightarrow \ neg q [/ matemáticas]
- ¿Cuál es la mejor [matemática] X [/ matemática] que minimiza [matemática] \ left \ Vert S ^ {- 1} y \ right \ Vert _ {2} [/ math] para cualquier vector real [matemática] y [ / math] donde [math] S = AA ^ {T} + XX ^ {T} -AB ^ {T} \ left (BB ^ {T} \ right) ^ {- 1} BA ^ {T} [/ math ]?
- ¿Cuál es la importancia de la desigualdad triangular?
- ¿Qué es una explicación intuitiva de la matriz DFT W?
- ¿Cuáles son algunas aplicaciones geniales de vectores propios?
- Álgebra lineal: ¿Cómo se escribe un programa en C para reducir una matriz a una forma escalonada o una forma escalonada reducida?