Forme canoniche 1

[e.rapuano]

Devo ancora prendere familiarità con le forme canoniche, vorrei che mi aiutaste a capire come svolgere questi esercizi...
per quelli della seconda parte (in cui devo trovare gli intrusi) posso ragionare sul fatto che matrici simili hanno gli stessi autovalori?
Vale il viceversa? (cioè che se dimostro che hanno gli stessi autovalori allora sono simili)
E per gli esercizi della prima parte: ho trovato la matrice che rappresenta l'applicazione lineare tra basi canoniche, ma esce una 3x4 e quindi non si può calcolare il determinante...come faccio?

[Massimo Gobbino]

Nell'attesa che qualcuno arrivi ad avventurarsi in questa parte di programma (ma dove sono i 33 iscritti al primo appello?), intervengo facendo notare la fondamentale differenza tra gli esercizi della prima e quelli della seconda parte. La differenza non sta nell'avere sopra la matrice rettangolare e sotto matrici quadrate.

La differenza sta nel fatto che sopra posso scegliere le basi come mi pare in partenza ed in arrivo (se anche lo spazio di partenza ed arrivo fossero lo stesso, potrei, per come è formulato l'esercizio, usare basi diverse in partenza ed arrivo). Sotto invece sono costretto ad usare la stessa base in partenza ed arrivo.

In termini di matrici, sopra è un [tex]B=MAN^{-1}[/tex], sotto è un [tex]B=MAM^{-1}[/tex].

[e.rapuano]

Non so come procedere.... qualcuno mi da una mano?

[13700]

Dunque, f(x,y,z,w)=(x+y+z, y+z+w, w-x) rispetto alle basi canoniche ha matrice
1 1 1 0
0 1 1 1
-1 0 0 1
e intanto si vede che il ker di f ha dimensione 2 e l'immagine pure. Cambiando base, queste cose restano uguali, quindi le matrici numero 1,4,6 non vanno bene già ad occhio.
Le matrici 2,3,7,8 hanno dimensione del ker e dell'immagine giuste sempre ad occhio ... per la matrice 5, basta fare il conto e si vede che ha dimensione del ker =2 e quindi dim dell'immagine =2.
Ora, questo dovrebbe bastare e quindi per le matrici 2,3,5,7,8 soddisfano la richiesta.

Per trovare le basi, io ho pensato che le colonne della matrice sono le coordinate (rispetto alla base scelta di R^3) dell'immagine dei vettori della base scelta di R^4, per la numero 2, prendiamo due vettori di R^4 che abbiano immagine indipendente in R^3, ad esempio i vettori (1,0,0,0) e (0,1,0,0) hanno immagine (1,0,-1) e (1,1,0). Adesso prendiamo una base del nucleo di f, ad esempio (0,1,-1,0) e (1,-1,0,1). Se prendiamo la base di R^4
{(1,0,0,0), (0,1,0,0), (0,1,-1,0), (1,-1,0,1)}
e la base di R^3
{(1,0,-1), (1/2, 1/2, 0), w}
con w indipendente dagli altri 2, allora la matrice dovrebbe essere quella data.

Così però riesco a fare la 2, la 3 e la 7 ... le altre diventano un casino di conti

[Massimo Gobbino]

Beh, un ripassino di teoria non guasta ed aiuta per lo meno se uno vuole procedere bovinamente. Per prima cosa bisogna distinguere tra la parte sopra e la parte sotto dell'esercizio, come già spiegato in altro post.

Occupiamoci della parte sopra, cioè di decidere se due matrici A e B rappresentano la spessa applicazione cambiando base indipendentemente in partenza ed arrivo, cioè se [tex]B=MAN^{-1}[/tex] per opportune M ed N invertibili della dimensione giusta. Cosa dice la teoria in questo caso? La matrice più "semplice" che posso ottenere da A con queste operazioni è una certa C (fatta come?), dove C sta bene per "canonica". Tra l'altro, la dimostrazione del relativo teorema dice esattamente come scegliere le basi in modo che ciò avvenga, dunque in definitiva come posso scegliere M ed N (ebbene sì, talvolta anche le dimostrazioni servono per fare gli esercizi ).

Come tutto questo ci aiuta a decidere se da A posso passare a B? Semplice: se da A posso passare a C, e se da B posso passare a C (la stessa C), allora evidentemente posso passare da A a B, e trovo anche le M ed N opportune semplicemente componendo in maniera opportuna (come?) quelle che mi danno il passaggio da A a C e quelle che mi danno il passaggio da A a B. Tutto questo si verifica facilmente essere un "se e solo se". In altre parole, posso passare da A a B se e solo se A e B hanno la stessa forma canonica (e sennò a che servirebbero le forme canoniche?). Ovviamente si intende forma canonica rispetto alla possibilità del doppio cambio di base.

Il che, ovviamente , conferma l'intuizione di 13700 e lo aiuta nei bovini calcoli .

Nella seconda parte dell'esercizio funziona tutto uguale, solo che ora bisogna considerare la forma canonica più "seria", cioè quella fatta con un solo cambio di base, lo stesso in partenza ed arrivo.

[giuliof]

Salve
non so se si tratta di un errore, ma ho notato che nella seconda parte dell'esercizio le matrici 1,2,3,5 della prima riga hanno autovalori 2 ed 1, mentre le altre due no, quindi sembrerebbero esserci almeno due intruse.

[Massimo Gobbino]

[GIMUSI]

allego le soluzioni con svolgimento del test n.38 “Forme canoniche 1”

nella rev01 l'esercizio 1 è risolto (per la sola matrice "e") anche con un terzo metodo, denominato "matriciale", che fa esplicito uso del teorema della lezione 37...ai fini della risoluzione dell'esercizio direi che:
- il metodo 1 (bovino) non mi pare conveniente (richiede calcoli noiosi e con alta probabilità di errore)
- il metodo 2 (semibovino), nel quale almeno si trova una base per la forma canonica della matrice di partenza A e poi si procede prevalentemente a occhio o con calcoli più semplici, è forse il più efficiente
- il metodo 3 (matriciale) è molto interessante per comprendere e padroneggiare la teoria che ci sta dietro o per effettuare il calcolo per via numerica ma non mi pare praticabile per effettuare manualmente il calcolo delle basi relative a tutte le matrici assegnate nell'esercizio in tempi ragionevoli

vi sottopongo inoltre le seguenti considerazioni e dubbi:

nella prima parte degli esercizi, sulla base delle precedenti considerazioni effettuate qui nel thread, la determinazione delle basi in partenza e arrivo che rappresentano f è stata effettuata con due metodi:

metodo 1 del sistema di equazioni bovino: (giungendo ad espressioni che dovrebbero funzionare ma che sono abbastanza complicate)

metodo 2 basato sulla forma canonica dell’applicazione (che consente di operare prevalentemente “a occhio” o risolvendo sistemi molto più semplici)

dubbio 01: esistono modi alternativi più convenienti e rapidi per applicare il metodo 2 (ad es. tramite matrici)?

per la seconda parte degli esercizi i dubbi riguardano ovviamente le matrici di jordan ed in particolare la determinazione della base jordanizzante; i casi che si incontrano (tutti su matrici reali ad autovalori reali) sono i seguenti:

(c) matrice 2x2 con autovalori coincidenti (MA=2) e con MG=1; in tal caso la matrice di jordan è costituita da un blocco 2x2; la base jordanizzante (v,w) si determina con i seguenti sistemi:

[tex]Av=\lambda v[/tex]

[tex]Aw=\lambda w+v[/tex]

dubbio 02: se ho capito bene questi sistemi derivano direttamente ragionando sulla matrice jordanizzata…cioè sulla matrice associata ad f nella base (v,w)

(e) la seconda intrusa è una matrice 3x3 con due autovalori coincidenti (MA=2) e con MG=1; in tal caso la matrice di jordan è costituita da un blocco 2x2 (relativo agli autovalori coincidenti) e da un blocco 1x1 relativo al terzo autovalore “buono” (MA=MG=1); i primi due vettori della base jordanizzante (relativi ai due autovalori coincidenti) si determinano in modo analogo al caso precedente 2x2 mediante i due sistemi già indicati (vd. dubbio 02); il terzo è l’autovettore relativo all’autovalore “buono”

(f) intruse a parte, si tratta di matrici 3x3 con due autovalori coincidenti (MA=2) e con MG=1; il caso è del tutto analogo al precedente (vd. dubbio 02)

(g) intrusa a parte, si tratta di matrici 3x3 con tre autovalori coincidenti (MA=3) e con MG=1; in tal caso la matrice di jordan è costituita da un blocco 3x3; la base jordanizzante (v,w,z) si determina con i sistemi (vd. dubbio 2):

[tex]Av=\lambda v[/tex]

[tex]Aw=\lambda w+v[/tex]

[tex]Az=\lambda z+w[/tex]

l’intrusa è una matrice 3x3 con tre autovalori coincidenti (MA=3) e con MG=2; in tal caso la matrice di jordan comprende due blocchi (un blocco 2x2 ed un blocco 1x1)

dubbio 03: è vero che in generale ad ogni autovalore (o ad autovalori coincidenti) con MG=k corrispondono k blocchi di jordan? (lo afferma il teorema di jordan?)

per determinare la base jordanizzante il metodo visto in precedenza non funziona; ne ho trovata una per tentativi ma mi sfugge completamente la logica che ci sia dietro:

dubbio 04:in questo caso (e in quelli generali) qual è la procedura per determinare la base jordanizzante?

[GIMUSI]

per spiegare meglio la natura del dubbio 02 e più in particolare del dubbio 04 allego il dettaglio del metodo "per tentativo" utilizzato per determinare una base jordanizzante della matrice "D" dell'esercizio (2g) e qui denominata "A"

[Massimo Gobbino]

[GIMUSI]

[AntiLover]

scusami GIMUSI , ma alla fine del primo esercizio perché scrivi MaMb ^-1?

[GIMUSI]

[AntiLover]

Allora per risolvere il primo esercizio:
-scrivo la matrice associata all'applicazione A;
-determino il rango della matrice: matrici con lo stesso rango sono simili, le altre le scarto;
-trovo il kerf risolvendo il sistema omogeneo;
- trovo una base del ker costituita da due vettori, e la completo aggiungendone altri due, in particolare due vettori della base canonica.
-trovo l'immagine di f, facendo l'immagine dei vettori che ho aggiunto e aggiungendone uno della base canonica, per completare la base.
-Scrivo quindi la matrice del kerf=N e Imf=M.
La matrice risultante sarà C= M^-1 A N.
Svolgo lo stesso procedimento per un'altra matrice data dall'esercizio e trovo C= M^-1 B N (dove in questo caso M e N sono le matrici di Imf e kerf rispetto alla seconda matrice). Se vedo che C della prima matrice = C della seconda matrice , allora l'applicazione lineare è la stessa.
Allora M^-1AN= M^-1B N (con M,N al primo termine rispetto ad A, e al secondo rispetto a B). Quindi volendo ricavare B moltiplico a destra e sinistra fino ad ottenere
B= MbMa^-1 A NaNb^-1
Per sapere le basi in partenza e in arrivo rispetto alla base , ho che la base in partenza è NaNb^-1 , mentre quella in arrivo è l'inversa di MbMa^-1.
E' giusto?

[GIMUSI]