Base ortogonale rispetto al prodotto standard in R^4

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
Questa sezione è un contenitore temporaneo per i topic speciali a pagamento (One-Shot)

Se hai acquistato uno o più Topic speciali, puoi pubblicarli qui cliccando su "Apri un Topic".

Il registro completo dei Topic risolti e in corso è disponibile sul proprio profilo.

Base ortogonale rispetto al prodotto standard in R^4 #62552

avt
kukaaa
Cerchio
Buongiorno, mi spiegate come calcolare una base ortogonale rispetto al prodotto scalare standard per un sottospazio vettoriale assegnato. Ad esempio, in questo esercizio...

a) Dato il sottospazio vettoriale in R^4

U = (x, y, z, t) | 8x+y-z+t = 0, x-y+8z = 0

se ne trovi una base ortogonale rispetto al prodotto standard in R^4

b) Si trovi una base ortogonale per U^(perp)


[Edit - Galois]Ho provveduto a sostituire a e b con 8 e 1 rispettivamente, come da accordi presi nel primo topic [/Edit]
 
 

Base ortogonale rispetto al prodotto standard in R^4 #62562

avt
Ifrit
Amministratore
Ciao kukaaaa emt

Prima di iniziare, ti invito a leggere la lezione sul prodotto scalare standard.

In R^(4) il prodotto scalare standard è definito come segue:

prendiamo in considerazione due vettori dello spazio vettoriale R^4

x = (x_1,y_1, z_1, t_1)

y = (x_2,y_2, z_2, t_2)

Definiamo il prodotto scalare standard come

x·y = (x_1, y_1, z_1, t_1)[x_2 ; y_2 ; z_2 ; t_2] = x_1 x_2+y_1 y_2+z_1 z_2+t_1 t_2.

Ok, dopo questo piccolissimo preambolo, possiamo iniziare a determinare una base ortogonale rispetto al prodotto scalare usuale di R^4, ma prima abbiamo bisogno di una base del sottospazio vettoriale U.

Le condizioni che definiscono il sottospazio sono le due equazioni:

8x+y-z+t = 0
x-y+8z = 0

e devono essere soddisfatte contemporaneamente. Dobbiamo quindi risolvere il sistema lineare:

8x+y-z+t = 0 ; x-y+8z = 0

Per risolverlo possiamo procedere con il metodo di sostituzione.

Dalla seconda equazione determiniamo x

x = y-8z

Sostituiamo a x nella prima equazione l'espressione che abbiamo determinato.

8(y-8z)+y-z+t = 0

da cui

8y-64 z+y-z+t = 0 ⇔ 9y-65z+t = 0

Isoliamo la t al primo membro: t = -9y+65z.

Osservazione teorica: il sistema ha due equazioni in 4 incognite e con un semplice calcolo possiamo asserire che il rango della matrice dei coefficienti è 2, per il teorema di Rouché Capelli, il sistema ammetterà ∞^2 soluzioni.

La famiglia di vettori di R^4 che vivono in U saranno del tipo:

[x ; y ; z ; t] = [y-8z ; y ; z ;-9y+65 z] con y, z∈R

Decomponiamo il vettore rispetto ad y e z:

[y-8z ; y ; z ;-9y+65 z] = [1 ; 1 ; 0 ;-9] y+[-8 ; 0 ; 1 ; 65]z

I vettori in rosso e in blu costituiscono un sistema di generatori per il sottospazio. Inoltre poiché i due vettori sono linearmente indipendenti i due vettori formeranno una base per il sottospazio U:

mathcalB = [1 ; 1 ; 0 ;-9],[-8 ; 0 ; 1 ; 65]

Troviamo una base ortogonale

Utilizzeremo il metodo di Gram- Schmidt.

Poniamo

v_1 = [1 ; 1 ; 0 ;-9]

v_2 = [-8 ; 0 ; 1 ; 65]

Grazie a Gram-Schmidt costruiremo una base ortogonale, inneschiamolo!

w_1 = v_1 = [1 ; 1 ; 0 ;-9]

w_2 = v_2-(v_2·w_1)/(w_1·w_1) w_1

Calcoliamo il prodotto scalare tra v_2·w_1

v_2·w_1 = [-8 0 1 65] [1 ; 1 ; 0 ;-9] = -8-545 = -593

e il prodotto scalare tra i vettori w_1, w_1

w_1·w_1 = [1 1 0 -9] [1 ; 1 ; 0 ;-9] = 83

Ok! Abbiamo quello che ci serve per calcolare il secondo vettore ortogonale al primo:

w_2 = v_2-(v_2·w_1)/(w_1·w_1) w_1

= [-8 ; 0 ; 1 ; 65]-(-(593)/(83)) [1 ; 1 ; 0 ;-9] =

= [-(71)/(83) ; (593)/(83) ; 1 ; (58)/(83)]

Una base ortogonale del sottospazio U è:

B = w_1, w_2 = [1 ; 1 ; 0 ;-9], [-(71)/(83) ; (593)/(83) ; 1 ; (58)/(83)]

Troviamo una base ortogonale di U^(perp).

Dalla teoria sul complemento ortogonale di un sottospazio vettoriale sappiamo che:

U oplus U^(perp) = R^4

Per la formula di Grassman sappiamo che:

dim(U) (= 2)+dim(U^(perp)) = dim(R^4) (= 4)

Nota: la dimensione di U è 2 perché la base che abbiamo determinato è formata da due vettori linearmente indipendenti.

Grazie alla formula di Grassman scopriamo che la dimensione del complemento ortogonale è

dim(U^(perp)) = 4-2 = 2

Comprendiamo che ogni base del sottospazio U^(perp) è formata esattamente da due vettori linearmente indipendenti. Ricordiamo la definizione di complemento ortogonale:

U^(perp) = w = [x ; y ; z ; t]∈R^4| w·w_1 = 0, w·w_2 = 0

Cosa vuol dire? In soldoni, il complemento ortogonale di U è formato da tutti i vettori che sono ortogonali agli elementi della base di U.

Le condizioni w·w_1 = 0 e w·w_2 = 0 diventano:

w·w_1 = 0 ⇔ (x,y, z, t)·[1 ; 1 ; 0 ;-9] = 0

Svolgendo il prodotto scalare otterremo la prima equazione che definisce U:

x+y-9t = 0

Determiniamo la seconda equazione:

w·w_2 = 0 ⇔ (x,y, z, t)·[-(71)/(83) ; (593)/(83) ; 1 ; (58)/(83)] = 0

Dopo aver calcolato il prodotto scalare ed eseguendo qualche passaggio algebrico arriveremo all'equazione:

-71 x+593 y+83 z+58 t = 0

U^(perp) = w = [x ; y ; z ; t]∈R^4| x+y-9t = 0,-71 x+593 y+83 z+58 t = 0

Dobbiamo risolvere il sistema:

x+y-9t = 0 ;-71x+593 y+83 z+58 t = 0

che conduce alla soluzione:

y = 9t-x

z = 8 x-65 t

Un vettore generico del sottospazio U^(perp):

[x ; y ; z ; t] = [x ; 9t-x ; 8x-65 t ; t]

Decomponiamo il generico vettore rispetto ad x e t:

[x ; y ; z ; t] = [x ; 9t-x ; 8x-65 t ; t] = [1 ;-1 ; 8 ; 0]x+[0 ; 9 ;-65 ; 1]t

I due vettori che compaiono nella decomposizione formano una base del sottospazio complementare:

mathbcalB_(perp) = [1 ;-1 ; 8 ; 0], [0 ; 9 ;-65 ; 1]

Osserva che i due vettori non sono ancora ortogonali, manca ancora un piccolo passaggio, dobbiamo invocare nuovamente Gram- Schmitd per costruire due vettori ortogonali partendo dai due che abbiamo trovato.
Poniamo:
s_1 = [1 ;-1 ; 8 ; 0]
s_2 = [0 ; 9 ;-65 ; 1]

Grazie al metodo di Gram-Schmitd:

u_1 = s_1 = [1 ;-1 ; 8 ; 0]

u_2 = s_2-(s_2·u_1)/(u_1·u_1) u_1

Facendo i conti:

s_2·u_1 = -529

u_1·u_1 = 66

pertanto:

u_2 = s_2-(s_2·u_1)/(u_1·u_1) u_1 = [(529)/(66), (65)/(66),-(29)/(33), 1]

Una base ortogonale del complemento ortogonale è

mathbcalB_(perp) = [1 ;-1 ; 8 ; 0],[(529)/(66) ; (65)/(66) ;-(29)/(33) ; 1].
Ringraziano: Omega, Pi Greco, Galois, Phi-ϕ-57, kukaaa, ste2394, giaca7
  • Pagina:
  • 1
Os