Prodotto scalare, norma e angoli
In questa pagina 10
Lezione 32 (videolezione n. 32), inizio del capitolo sul prodotto scalare. Esercizi svolti: Esercizio 86 · angoli, aree e volumi con il prodotto scalare, Esercizio 84 · prodotto scalare tra matrici con la traccia. Seguito: Complemento ortogonale e proiezioni ortogonaliL'ortogonale U⊥ di un sottospazio è un sottospazio di dimensione n − dim U, e R^n = U ⊕ U⊥; ogni vettore si scompone in proiezione su U più componente ortogonale; la proiezione è il punto di U più vicino e si calcola con un sistema o con la matrice di proiezione A(AᵀA)⁻¹Aᵀ.Complemento ortogonale e proiezioni ortogonali →, Basi ortonormali e Gram-SchmidtUna base ortonormale è fatta di vettori di norma 1 a due a due ortogonali: le coordinate si calcolano con prodotti scalari e le proiezioni con una formula diretta. Il procedimento di Gram-Schmidt trasforma una base qualsiasi in una base ortogonale (e poi ortonormale) dello stesso sottospazio.Basi ortonormali e Gram-Schmidt →.
Perché serve una struttura in più
Gli elementi di uno spazio vettoriale possono essere oggetti molto diversi: frecce nel piano, matrici, polinomi, funzioni. In tutti questi casi si possono sommare e moltiplicare per un numero, ed è tutto quello che la definizione di spazio vettorialeUno spazio vettoriale su un campo K è un insieme con una somma di vettori e un prodotto per scalari che rispettano 7 proprietà. Esempi fondamentali: K^n (somma componente per componente), le funzioni da R in R, i polinomi.Spazi vettoriali → richiede. Ma domande come "quanto è lungo questo polinomio?" o "che angolo formano queste due matrici?" non hanno una risposta naturale: lunghezze e angoli (e di conseguenza aree e volumi) sono una struttura metrica che non fa parte della definizione e va aggiunta. Lo strumento che la aggiunge è il prodotto scalare: da esso si ricavano norme, angoli, aree e volumi.
Il prof parte dai casi familiari ( e , dove lunghezze e angoli hanno un significato fisico) e poi definisce le stesse cose in per analogia.
Lunghezza di un vettore in e
Il vettore si rappresenta con la freccia dall'origine al punto . Con il teorema di Pitagora (i cateti sono lunghi e ) la sua lunghezza è
In , con , si applica Pitagora due volte: prima nel piano orizzontale (la proiezione di sul piano è lunga ), poi nel triangolo rettangolo verticale che ha come cateti questa proiezione e il segmento lungo :
Notazione. In fisica si scrive e si chiama modulo. Qui si usano le doppie barre e il nome norma, per non confondere con il valore assoluto di un numero.
Il prodotto scalare in e
La definizione "fisica" è
dove è l'angolo tra i due vettori. L'espressione "l'angolo tra due vettori" è ambigua (i due vettori formano un angolo e un angolo ), ma non importa: , quindi il risultato è lo stesso. Il prodotto scalare è un numero, non un vettore.
Formula con le componenti. Si dimostra (il prof rimanda al libro) che, se e ,
e in allo stesso modo . È una formula molto comoda: si calcola con somme e prodotti, senza conoscere l'angolo.
Le due formule insieme danno il coseno dell'angolo a partire dalle componenti:
Norma dal prodotto scalare. Con l'angolo è e , quindi
Conclusione importante: la struttura fondamentale è il prodotto scalare. Da esso si ottengono le lunghezze () e quindi gli angoli (formula del coseno, che contiene solo prodotti scalari).
Prodotto scalare e norma in
In non si può andare "col metro" a misurare: lunghezze e angoli si definiscono, copiando le formule di e .
Definizione. Per e in :
Se i vettori sono scritti in colonna, (riga per colonna).
Esempio. , : ; .
Proprietà (si verificano direttamente dalla formula), per ogni e :
| proprietà | formula |
|---|---|
| simmetria | |
| linearità (in ciascun argomento) | , |
| positività | , e |
| norma di un multiplo |
La positività è il motivo per cui la definizione di norma è ragionevole: è sempre un numero reale (radice di una somma di quadrati) e vale solo per il vettore nullo (una somma di quadrati è zero solo se ogni quadrato è zero). Queste tre proprietà (simmetria, bilinearità, positività) sono quelle che, in generale, caratterizzano un prodotto scalare: si ritrovano nelle Forme bilineari simmetricheUna forma bilineare simmetrica generalizza il prodotto scalare: si rappresenta con una matrice simmetrica, che cambiando base diventa PᵀAP (matrici congruenti); può essere degenere o no, definita positiva, negativa o indefinita; le definite positive sono i prodotti scalari e per esse vale Gram-Schmidt.Forme bilineari simmetriche → definite positive.
La disuguaglianza di Cauchy-Schwarz e l'angolo in
Si vorrebbe definire l'angolo tra due vettori di con la stessa formula . Ha senso geometrico: due vettori, anche in , generano un sottospazio di dimensione (al più) , cioè un piano, e l'angolo è quello in quel piano. Ma c'è un problema logico: il coseno sta sempre tra e , quindi bisogna essere sicuri che quel rapporto stia tra e . Non è automatico: serve un teorema.
Teorema (disuguaglianza di Cauchy-Schwarz). Per ogni : Inoltre vale l'uguaglianza se e solo se e sono proporzionali.
Dimostrazione (non svolta a lezione, è nel libro; è breve). Se entrambi i membri sono . Se , per ogni il vettore ha norma al quadrato :
È un polinomio di secondo grado in (con coefficiente di positivo) che non diventa mai negativo: quindi non può avere due radici reali distinte, e il suo discriminante è :
e prendendo la radice si ottiene la tesi. L'uguaglianza vale quando , cioè quando esiste con , cioè : i vettori sono proporzionali ∎.
Conseguenza. Dividendo per (se entrambi non nulli): . Ora la definizione è lecita:
Definizione. L'angolo tra due vettori non nulli è l'unico tale che
I casi estremi confermano che la definizione è sensata:
| valore del rapporto | quando succede | angolo |
|---|---|---|
| con (stessa direzione, stesso verso) | ||
| con (stessa direzione, verso opposto) | () | |
| () |
Esempio. , : , quindi . Dettagli nell'Esercizio 86 · angoli, aree e volumi con il prodotto scalare.
Disuguaglianza triangolare (conseguenza di Cauchy-Schwarz): . Infatti . In un triangolo un lato non supera la somma degli altri due.
Ortogonalità e versori
Definizione. Due vettori sono ortogonali (o perpendicolari), e si scrive , se .
Per vettori non nulli vuol dire angolo retto, perché . Il vettore nullo è ortogonale a tutti.
Perché è importante. Una base è come un sistema di riferimento: lavorare con assi perpendicolari è molto più comodo che con assi inclinati. Per questo si cercheranno basi ortonormaliUna base ortonormale è fatta di vettori di norma 1 a due a due ortogonali: le coordinate si calcolano con prodotti scalari e le proiezioni con una formula diretta. Il procedimento di Gram-Schmidt trasforma una base qualsiasi in una base ortogonale (e poi ortonormale) dello stesso sottospazio.Basi ortonormali e Gram-Schmidt →.
Teorema di Pitagora in : se allora (nello sviluppo di il termine è nullo).
Definizione. Un vettore è normalizzato (un versore) se ha norma .
Normalizzare un vettore è facile: si divide per la sua norma,
Esempio: , , versore .
Proiezione ortogonale su una retta
Più delicato che normalizzare è rendere perpendicolari due vettori che non lo sono. L'idea del prof: si tiene fisso il primo vettore e si scompone il secondo, , in una parte parallela a e una parte perpendicolare a :
Calcolo di . Una incognita richiede una equazione.
- sta sulla retta generata da , quindi per un certo numero (l'incognita).
- La parte perpendicolare è .
- L'equazione è la condizione di perpendicolarità :
Proiezione ortogonale di sulla retta ():
Esempio. , : , , . Controllo: ✓.
Questa formula è il mattone di tutto il seguito: la proiezione su un sottospazio qualunque (Complemento ortogonale e proiezioni ortogonaliL'ortogonale U⊥ di un sottospazio è un sottospazio di dimensione n − dim U, e R^n = U ⊕ U⊥; ogni vettore si scompone in proiezione su U più componente ortogonale; la proiezione è il punto di U più vicino e si calcola con un sistema o con la matrice di proiezione A(AᵀA)⁻¹Aᵀ.Complemento ortogonale e proiezioni ortogonali →) e il procedimento di Gram-SchmidtUna base ortonormale è fatta di vettori di norma 1 a due a due ortogonali: le coordinate si calcolano con prodotti scalari e le proiezioni con una formula diretta. Il procedimento di Gram-Schmidt trasforma una base qualsiasi in una base ortogonale (e poi ortonormale) dello stesso sottospazio.Basi ortonormali e Gram-Schmidt →.
Aree e volumi in
Area di un parallelogramma
Due vettori individuano un parallelogramma: anche se sta in è una figura piana (è contenuto nel piano ), quindi la sua area è base per altezza:
Per non dover calcolare il seno (si conosce comodamente solo il coseno), si eleva al quadrato e si usa :
Ricordando che , si riconosce un determinante Il determinante di (a b; c d) è ad − bc.Permutazioni e definizione di determinante →:
La matrice di tutti i prodotti scalari tra i vettori si chiama matrice di Gram; è simmetrica perché . Il determinante, definito con le permutazioni in modo puramente combinatorio, ha quindi un significato geometrico: è legato alle aree.
Triangoli e poligoni. Un triangolo è metà parallelogramma: per il triangolo si usano i lati e . Un poligono si divide in triangoli con le diagonali.
Volume di un parallelepipedo
Tre vettori linearmente indipendenti individuano un parallelepipedo. Il volume (area di base per altezza) si calcola allo stesso modo, con conti più lunghi (sono nel libro); il risultato ha la stessa forma:
Caso di vettori in . Se è la matrice che ha i vettori come colonne, la matrice di Gram è , e per il teorema di Binetdet(AB) = det A · det B, e inoltre det(Mᵀ) = det M.Proprietà del determinante, Binet e Laplace → . Quindi in il volume del parallelepipedo è semplicemente , e in l'area del parallelogramma è .
Esempio. In , , : Gram , determinante , area ; e infatti ✓.
Queste formule sono la base su cui l'analisi costruisce, con gli integrali, aree e volumi di figure qualsiasi (suddivise in tanti piccoli parallelepipedi).
Riepilogo
| oggetto | formula |
|---|---|
| prodotto scalare in | |
| norma | |
| angolo | (lecito per Cauchy-Schwarz) |
| ortogonalità | |
| versore | |
| proiezione di su | |
| area del parallelogramma | |
| volume del parallelepipedo | ; in : |
Errori comuni
- Credere che il prodotto scalare sia un vettore: è un numero.
- Confondere con : dà il quadrato della norma.
- Scrivere la proiezione come : al denominatore va . Solo se è un versore il denominatore vale e la formula diventa .
- Calcolare l'area in con un determinante : non esiste; serve la matrice di Gram .
- Dimenticare la radice quadrata nelle formule di area e volume.