Disuguaglianza di Cauchy-Schwarz

[JackPirri]

Ciao, mi sono imbattuto nella disuguaglianza di Cauchy-Schwarz e volevo chiedervi se le osservazioni che farò di seguito sono corrette per rendermi conto se l'ho appresa correttamente.

$AA x,y € K^n$ $|x*y| <= ||x|| ||y||$

Se entrambi i vettori o almeno uno dei due è il vettore nullo di $K^n$ allora le due quantità sono uguali (a zero).
Se i due vettori sono entrambi non nulli, allora possiamo considerare la seguente relazione:

$x*y = ||x|| ||y|| cos(\theta)$

E quindi la disuguaglianza diventa
$|||x|| ||y|| cos(\theta)| <= ||x|| ||y||$


La quantità a destra è sempre positiva.Occore concentrarsi sul coseno dell'angolo convesso formato tra i due vettori.Se quest'ultimo è uguale a 1 (è ovvio) o a -1 (considero il valore assoluto dello scalare che ottengo) le due quantità sono uguali. Altrimenti la quantità a sinistra è sempre minore di quella a destra.

Giusto? Grazie tante.

[anto_zoolander]

Ciao jack

La disuguaglianza vale per ogni spazio vettoriale euclideo $V$(spazio vettoriale munito di prodotto scalare): almeno per quanto riguarda la dimensione finita, infinita ancora non saprei

una domanda: le conclusioni che stai cercando di estrapolare, le stai traendo ragionando solo sulla forma $|v*w|leq||v||*||w||$?

te lo chiedo perchè c'è una dimostrazione che mette in luce come la cosa cambi dipenda solo dalla lineare dipendenza.

sopratutto ricorda che l'angolo convesso è proprio definito come:

$cos(theta)=(v*w)/(||v||*||w||)$

[JackPirri]

Ciao, sì sto ragionando solo sula disuguaglianza in se, senza tener conto della dimostrazione.

[anto_zoolander]

Va bene allora continuo a seguire il tuo ragionamento.

giustamente dici che se essendo $cos(theta)leq1$ si deve avere $||v||*||w||*|cos(theta)|leq||v||*||w||$
è chiaro che questa è un'uguaglianza se e solo se $0=0,pi$ ovvero $cos(theta)=1,-1$ come da te affermato.

Ma se l'angolo formato dai vettori è $0,pi$ cosa puoi dire dei vettori?

[dissonance]

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.

No ragazzi è sbagliato dal punto di vista logico, e @anto: mi pare che ne avessimo già parlato.

Se definisci il prodotto scalare come \(x\cdot y = |x||y|\cos \theta\), allora ti serve una definizione di \(\theta\). Chi è \(\theta\)? (Domanda per anto_zoolander).

NON VALE rispondere \(\cos \theta = x\cdot y/(|x| |y|)\)! Perché così ci sarebbe una definizione circolare.

[anto_zoolander]

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.

si hai ragione, in effetti mi sarei dovuto stoppare quando si volevano legare le due cose