Dimostrazione base (domanda modificata)

[PeppeFuoco]

Provare che se $V$ è uno spazio vettoriale di $dim 1$ su $K$ (campo), allora qualunque vettore $v$ di $V$ non nullo costituisce una base per $V$.

Io ho fatto cosi, ma non so se sia giusto:

Hp: $dimV=1$
Th: ogni $v$ di $V$ è base

Per dimostrare che ogni vettore $v$ è base, devo verificare che sia 1) linearmente indipendente e 2) generatore. Quindi...

1) per ogni $v$ [tex]\neq 0[/tex] di $V$ e preso [tex]\lambda[/tex] scalare

[tex]\lambda v = 0[/tex] se e soltanto se [tex]\lambda=0[/tex] quindi $v$ lin. ind.

2) PER ASSURDO
[tex]v_2[/tex] non appartiene a [tex]L(v)[/tex] allora [tex]v_2[/tex] lin. ind. quindi [tex]V=L(v, v_2)[/tex] il che è impossibile dato che la dimensione di $V$ è 1.

E' corretta la dimostrazione?

[phaerrax]

Sì, è corretta.