Vettori linearmente indipendenti

Noisemaker
La mia domanda è sicuramente stupida, ma esiste un altro modo, differente da quello che ho usato, (che spero sia giusto tra l'altro!!) per dimostrare quanto segue??


Dimostrare che due vettori $(a; b);(c; d)$ in $\mathbb{K}^2$ sono linearmente indipendenti se e
solo se $ad - bc \ne0.$
Mia soluzione:

Affinchè i vettori risultino linearmente indipendenti deve essere
\begin{align*}
\lambda (a,b) +\mu(c, d) ={\bf 0}_{\mathbb{K}^2}=(0,0)
\end{align*}
per $\lambda=\mu=0;$ la combinazione lineare dei due vettori di $\mathbb{K}^2$ equivale al sistema:
\begin{align*}
\Sigma= \begin{cases}\lambda a+ \mu c=0\\
\lambda b+ \mu d=0
\end{cases}
\end{align*}
poichè questo sistema ammette soluzione banale, cioè $\lambda=\mu=0,$ se il determinante della matrice associata al sitema risulta diverso da zero, avremo $\det\Sigma\ne0 \Leftrightarrow ad - bc \ne0;$ in tal caso i due vettori risultano linearmente indipendenti se e solo se $ad - bc \ne0.$

Risposte
DavideGenova1
Sicuramente la tua dimostrazione è giusta. Bella la citazione da Hilbert... :smt023
Ciao!

Noisemaker
"DavideGenova":
Sicuramente la tua dimostrazione è giusta. Bella la citazione da Hilbert... :smt023
Ciao!

...grazie! :smt023
...quindi si dimostra cosi diciamo, non ci sono altre vie "eleganti"

Noisemaker
"Sergio":
[quote="Noisemaker"]...quindi si dimostra cosi diciamo, non ci sono altre vie "eleganti"

A me la tua dimostrazione non sembra affatto "poco elegante" :wink:[/quote]
:smt023 ...

ludwigZero
scusate la domanda se la pongo qui, ma è un mio dubbio:
per
$K^2$ si intende il prodotto cartesiano tra le coppie di $(a,b)$ di $K$ e $(c,d)$ di $K$
giusto?

Sk_Anonymous
"ludwigZero":
scusate la domanda se la pongo qui, ma è un mio dubbio:
per
$K^2$ si intende il prodotto cartesiano tra le coppie di $(a,b)$ di $K$ e $(c,d)$ di $K$
giusto?

Si ha \[\displaystyle \mathbb{K}^2=\mathbb{K} \times \mathbb{K}= \{ (a,b) \; | \; a, b \in \mathbb{K} \} \] ma potrebbesi anche avere, per esempio \[\displaystyle \mathbb{R} \times \mathbb{N} = \{ (r,n) \; | \; r \in \mathbb{R}, \; n \in \mathbb{N} \} \]
Non so se questa esemplificazione chiarisce il tuo dubbio.

ludwigZero
ok, quindi stiamo parlando di 'coppia' appartenente ad uno spazio vettoriale ( $K$ ) ad esempio.

Sk_Anonymous
\(\displaystyle \mathbb{K} \) non è uno spazio vettoriale, quanto, normalmente, un campo.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.