1 votos

Demuéstralo: Si $S$ Linealmente independiente También $L$

Sea $S=\{v_1,v_2,...,v_n\}$ sean linealmente independientes y $L=\{w_1,w_2,...,w_n\}$ s.t $w_i=v_1+v_i$ donde $1\leq i \leq n$

Demostrar que $L$ es linealmente independiente

Supongamos que $L$ es linealmente dependiente, WOLG deja suponer que $w_n$ depende linealmente

$$w_n=\sum_{k=1}^{n-1}\alpha_kw_k$$

$$v_1+v_n=\sum_{k=1}^{n-1}\alpha_k(v_1+v_k)$$

$$v_1=\sum_{k=1}^{n-1}\alpha_k(v_1+v_k)-v_n=\sum_{k=1}^{n-1}\alpha_kv_1+\sum_{k=1}^{n-1}\alpha_kv_k-v_n$$

En contradicción con el hecho de que $S$ es linealmente independiente.

¿Es válida esta prueba? ¿Hay alguna forma de demostrarlo directamente? sin contradicción?

1voto

Shashi Puntos 41

La prueba que has dado es buena. Puedes hacerlo directamente. Sólo tienes que utilizar la definición.

Sea $a_1, a_2,..,a_n$ sean números tales que $$\sum_{i=1}^n a_i w_i =0$$ Es decir $$\left(\sum_{i=2}^n a_i +2a_1\right) v_1+ \sum_{i=2}^na_i v_i =0$$ Es decir $a_2=...=a_n=0$ y $\sum_{i=2}^n a_i +2a_1=0$ así también $a_1=0$ . Eso le da el derecho requerido.

1voto

Sahiba Arora Puntos 191

Supongamos que $\sum_{i=1}^n a_i w_i =0.$ Tenemos que demostrar que $a_i=0$ para todos $i.$

Entonces $$\left(a_1+\sum_{i=1}^n a_i\right)v_1+\sum_{i=2}^n a_i v_i=0.$$ Desde entonces, $S$ es linealmente independiente, por lo tanto $$a_1+\sum_{i=1}^n a_i=0\\ a_i=0\text{ for } i=2,3,\cdots,n$$ De ello se deduce que $a_i=0\text{ for } i=1,2,3,\cdots,n.$ Por lo tanto, $L$ es linealmente independiente.

1voto

Dachi Imedadze Puntos 6

Su prueba es esencialmente correcta, excepto en algunos casos como $\{v_1, v_2\} = \{0, v\}$ con $v \ne 0$ . Entonces $L = \{0, v\}$ depende linealmente, pero $v$ no puede expresarse como una combinación lineal de sus predecesores, a saber $0$ . Además, tenga en cuenta $\{v_1, v_2, v_3\} = \{v, 2v, w\}$ donde $v$ y $w$ son linealmente independientes. Entonces $L = \{2v, 3v, v + w\}$ que depende linealmente, pero $v + w$ no puede expresarse como una combinación lineal de $2v$ y $3v$ .

Tendrías que ocuparte del caso $v_1 = 0$ por separado (lo cual es fácil), y luego si $v_1 \ne 0$ se puede concluir que existe $i \in \{2, \ldots, n\}$ tal que $$w_i = \sum_{j=1}^{i-1} \alpha_jw_j$$

Alternativamente, se puede decir que existe $i \in \{1, \ldots, n\}$ tal que $$w_i = \sum_{j \ne i} \alpha_jw_j$$

Es mucho más limpio probarlo directamente:

Sea $\alpha_1, \ldots, \alpha_n$ sean escalares tales que $\displaystyle\sum_{i=1}^n \alpha_i w_i = 0$ . Tenemos:

$$0 = \sum_{i=1}^n \alpha_i w_i = \sum_{i=1}^n \alpha_i (v_1 + v_i) = \left(2\alpha_1 + \sum_{i=2}^n \alpha_i\right) v_1 + \sum_{i=2}^n \alpha_i v_i$$

Dado que se trata de una combinación lineal del conjunto linealmente independiente $\{v_1, \ldots, v_n\}$ concluimos que todos los escalares son iguales a $0$ :

$$2\alpha_1 + \sum_{i=2}^n \alpha_i = 0$$ $$\alpha_2 = 0$$ $$\vdots$$ $$\alpha_n = 0$$

Así que de la primera igualdad obtenemos también $\alpha_1 = 0$ . Así, todos los escalares $\alpha_1, \ldots, \alpha_n$ son necesariamente $0$ por lo que concluimos que $\{w_1, \ldots, w_n\}$ es linealmente independiente.

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