MATRICE INVERSA

Page 1

Patrizio Gravano Su un metodo per la determinazione della matrice inversa di una matrice data.

Ho ricavato questo metodo alternativo per il calcolo della matrice inversa π΄βˆ’1 di una matrice quadrata A tale che det(A) β‰  0 avviando la sintesi dedicata alla teoria della relativitΓ  generale. Mi sono infatti imposto di elaborare un testo che, partendo dalle basi fisiche (principio di relativitΓ , inerzia, etc.) e matematiche (per esempio, derivate, integrali, spazi vettoriali, trasformazioni lineari, tensori), contenga tutti gli elementi necessari per l’esame, da un punto di vista β€œelementare”, della teoria della relativitΓ . Per ragioni di semplicitΓ  lo sviluppo della presente nota Γ¨ riferito al caso specifico delle matrici quadrate di ordine 2, cioΓ¨ delle matrici costituite da due righe e da due colonne. Quindi, in generale, tali argomentazioni sono estensibili al caso delle matrici quadrate di ordine n, cioΓ¨ delle matrici quadrate costituite da n righe e da n colonne. Sia {𝐴𝑛 } l’insieme delle matrici quadrate di ordine n. Sia 𝐼𝑛 = [π›Ώπ‘–π‘˜ ] ∈ {𝐴𝑛 } la matrice identitΓ . Sia 𝐴𝑛 ∈ {𝐴𝑛 }βŽΈπ‘‘π‘’π‘‘π΄π‘› β‰  0𝑅. 1


Dicasi matrice inversa di 𝐴𝑛 ∈ {𝐴𝑛 }βŽΈπ‘‘π‘’π‘‘π΄π‘› β‰  0𝑅 la matrice π΄βˆ’1 𝑛 tale che: βˆ’1 π΄βˆ’1 𝑛 𝐴𝑛 = 𝐴𝑛 𝐴𝑛 = 𝐼𝑛

Tali matrici 𝐴𝑛 ∈ {𝐴𝑛 }βŽΈπ‘‘π‘’π‘‘π΄π‘› β‰  0𝑅 sono dette non singolari. Con riferimento alla scrittura π΄βˆ’1 𝑛 𝐴𝑛 si Γ¨ soliti affermare che la matrice π΄βˆ’1 Γ¨ la matrice inversa sinistra della matrice 𝐴𝑛 ; mentre, con 𝑛 βˆ’1 riferimento alla scrittura 𝐴𝑛 π΄βˆ’1 𝑛 si Γ¨ soliti affermare che la matrice 𝐴𝑛

costituisce la matrice inversa destra della matrice 𝐴𝑛 . È dato un teorema dell’algebra lineare per il quale l’inversa destra e l’inversa sinistra coincidono e costituiscono la matrice inversa della matrice data 𝐴𝑛 . Per mere ragioni di praticitΓ  si consideri l’insieme delle matrici quadrate di ordine 2 e rispetto ad esse il sottoinsieme proprio di esso che contiene tutte e sole le matrici il cui determinante sia diverso da zero. Con riferimento a detto insieme si ha il seguente formalismo: βˆ’1 π΄βˆ’1 2 𝐴2 = 𝐴2 𝐴2 = 𝐼2

potendo, quindi, definirsi matrice inversa di 𝐴2 ∈ {𝐴2 }βŽΈπ‘‘π‘’π‘‘π΄2 β‰  0𝑅. La matrice 𝐼2, elemento neutro rispetto alla moltiplicazione di matrici, Γ¨: 𝐼2 = [1 0] 0 1 La matrice 𝐴2 deve considerarsi nota e rappresentabile come segue: 𝐴2 = [π‘Ž 𝑏 ] con π‘Ž, 𝑏, 𝑐, 𝑑 ∈ ℝ π‘œπ‘π‘π‘’π‘Ÿπ‘’ π‘Ž β„‚. 𝑐 𝑑 Le quantitΓ  π‘Ž, 𝑏, 𝑐, 𝑑 devono considerarsi note. 2


Occorre determinare i coefficienti della matrice π΄βˆ’1 2 essendo: π‘₯ 𝑦 π΄βˆ’1 2 = [ 𝑧 𝑑 ] essendo π‘₯, 𝑦, 𝑧, 𝑑 ∈ ℝ π‘œπ‘π‘π‘’π‘Ÿπ‘’ π‘Ž β„‚ valori incogniti, cioΓ¨ da daterminare. βˆ’1 Deve risultare π΄βˆ’1 2 𝐴2 = 𝐴2 𝐴2 = 𝐼2 ed equivalentemente aversi:

π‘₯ [ 𝑧

𝑦 π‘Ž 𝑏 π‘₯ 𝑦 ][ ] = [π‘Ž 𝑏] [ ] = [ 1 0] 𝑑 𝑐 𝑑 𝑧 𝑑 𝑐 𝑑 0 1

Quando mi dedicavo, come capitato nuovamente per la stesura dell’elaborato di cui sopra, alla moltiplicazione di matrici mi ero fissato con un quid di legittima immaginazione di considerare i coefficienti della matrice prodotto (nel caso de quo la matrice [1 0] ) come il 0 1 risultato di un prodotto interno (ad esempio 𝑖11 = ( π‘₯ , 𝑦) ( π‘Ž ,𝑐 ) = π‘₯π‘Ž + 𝑦𝑐 = 1 ed anche, commutativamente, 𝑖11 = (π‘Ž ,𝑐 ) (π‘₯ ,𝑦) = π‘Žπ‘₯ + 𝑐𝑦 = 1 ). Si osservi che scrivere {

𝑖11 = ( π‘₯ , 𝑦) (π‘Ž , 𝑐 ) = π‘₯π‘Ž + 𝑦𝑐 = 1 conduce a poter 𝑖11 = ( π‘Ž , 𝑐 ) (π‘₯ , 𝑦) = π‘Žπ‘₯ + 𝑐𝑦 = 1

affermare che i vettori (x, y) e (a, c) non sono ortogonali. Per essi vale la seconda formula del prodotto scalare per la quale si ha: (π‘₯ ,𝑦) (π‘Ž ,𝑐 ) = (π‘Ž , 𝑐 ) (π‘₯ , 𝑦) = β€–π‘₯, 𝑦‖‖(π‘Ž, 𝑐)β€– cos πœ—1 = 1 . Sfortunatamente presa di per sΓ© questa formula Γ¨ poco risolutiva in quanto dato

(π‘Ž , 𝑐 ) e quindi ricavato β€–(a, c)β€– si ottiene solamente

β€–(π‘₯, 𝑦)β€– cos πœ—1 e non immediatamente β€–(π‘₯, 𝑦)β€– . Nel caso specifico di vettori dello spazio a due dimensioni (piano) da 2

(a,c) si ha β€–(a , c)β€–= βˆšπ‘Ž2 + 𝑐 2 . Con riferimento a elementi di 𝕍𝑛 la norma del vettore 𝛼𝕍𝑛 ≑ (𝛼1, 𝛼2, … . 𝛼𝑛 ) Γ¨ data dal teorema di Pitagora generalizzato risultando cioΓ¨:

3


2

‖𝛼𝕍𝑛 β€– = βˆšβˆ‘π‘›π‘–=1 𝛼𝑖2 Ritornando al caso 𝑛 = 2, con riferimento al caso considerato, puΓ² osservarsi che: β€’ π‘Žπ‘¦ + 𝑏𝑑 = 0 ⟹ ( π‘Ž , 𝑏)⏊ (𝑦, 𝑑); β€’ 𝑐π‘₯ + 𝑑𝑧 = 0 ⟹ ( 𝑐, 𝑑 )⏊ (π‘₯, 𝑧). (ove ⏊ denota l’ordinaria ortogonalitΓ  tra vettori)

In buona sostanza, giunti a questo punto si evince che sono dati quattro vettori due noti e due incogniti. In ogni caso essi sono riferiti alla stessa origine e alla stessa base ortornormale (i, j) . Tra l’altro i vettori {

(π‘Ž, 𝑏) sono noti e dalla seconda formula del prodotto (𝑐, 𝑑)

scalare Γ¨ ricavabile l’angolo tra di essi.

β€–.β€–

2

(π‘Ž, 𝑏) β†’ √ π‘Ž2 + 𝑏2 Infatti, { da cui (a,b) (c,d)= β€–(π‘Ž, 𝑏)β€–β€–(𝑐 , 𝑑)β€– cosπœ— = π‘Žπ‘ + β€–.β€– 2 2 2 (𝑐, 𝑑) β†’ βˆšπ‘ + 𝑑 π‘Žπ‘+𝑏𝑑

𝑏𝑑 da cui Γ¨ possibile mettere in evidenza cosπœ— = β€–π‘Ž,𝑏‖‖𝑐 π‘Žπ‘+𝑏𝑑

π‘Žπ‘Ÿπ‘ cos β€–π‘Ž,𝑏‖‖𝑐

,𝑑‖

,𝑑‖

e quindi πœ— =

.

Una conveniente rappresentazione dei vettori considerati Γ¨ la seguente (a meno della norma di alcuni di essi non ancora calcolata ! ma che sarΓ  determinata nel corso della presente nota). 4


(a, b)

(c , d)

(x , z) (y, t)

Le coppie di vettori a due a due ortogonali sono stati rappresentati con lo stesso colore (cosΓ¬ i due vettori colore ocra sono perpendicolari). Al momento l’unico angolo noto Γ¨ quello tra la coppia di vettori (a, b) e (c , d), come piΓΉ sopra calcolato, oltre ai due angoli retti dati. È evidente, attesa la complanaritΓ  dei vettori che sono calcolabili anche l’angolo tra i vettori (y , t) e (c , d) e l’angolo tra i vettori (a , b) e (y, z) . Usando la seconda formula del prodotto interno tra vettori si ottiene β€–(y, t)β€– ed anche β€–(y, z)β€– . Ad esempio, con riferimento al vettore (y, t) si ha: (c , d) (y , t) = 𝑐𝑦 + 𝑑𝑑 = 1 ed anche β€–(c , d)β€–β€–(y , t)β€–cos𝛾 = 1 . L’angolo 𝛾 deve πœ‹

considerarsi noto ( 𝛾 = 2 βˆ’ πœ— ) 1

Ma ciΓ² consente di ottenere β€–(y , t)β€–= β€–(c ,d)β€–cos𝛾 Il vettore (x , t) Γ¨ univocamente determinato in quanto Γ¨ individuata la norma, il verso e la direzione, anche tenuto conto che deve risultare (y , t) ⏊ (a , b).

5


Questa sottostante figura sussidiaria ben illustra il contenuto di queste affermazioni, riferite alla coppia di vettori (a, b) da intendersi noto (essendo note le componenti a e b) mentre del vettore (y, t) è nota la sola norma mentre dovrebbero ritenersi indeterminata la direzione e il verso. Ho però potuto notare che la direzione e il verso sono ricavabili solo che si tenga conto della condizione imposta (y , t) ⏊ (a , b). Ecco quindi la figura da considerare.

(a, b)

t

j i

y

Ho denotato i vettori come coppie ordinate di numeri reali. Pertanto deve intendersi: (y, t) ≑ π‘¦π’Š + 𝑑𝒋 PoichΓ© (a, b) Γ¨ noto e poichΓ© Γ¨ nota β€–(𝑦, 𝑑)β€– Γ¨ possibile determinare (per differenza tra archi noti) l’angolo πœ” che il vettore (y, t) forma con il semiasse positivo delle ascisse del sistema Oij .

6


sin πœ” =

Dalla trigonometria Γ¨ noto che { cos πœ” = Da queste relazioni si ottiene {

𝑑 β€–(𝑦,𝑑)β€– 𝑦 β€–(𝑦,𝑑)β€–

.

𝑑 = sin πœ”β€–(𝑦, 𝑑)β€– 𝑦 = cosπœ”β€–(𝑦, 𝑑)β€–

Si tratta di due degli elementi incogniti della matrice inversa che ora assume (

π‘₯ cos πœ”β€–(𝑦, 𝑑)β€– ) 𝑧 sin πœ”β€–(𝑦, 𝑑)β€–

Analoghe considerazioni possono essere svolte con riferimento al vettore incognito (x, z). In questo caso si ha la seguente figura.

z

(c,d)

x

7


Immediatamente ricavabile la proiezione del vettore (x, z) e noto l’angolo che detto vettore forma con il semiasse positivo delle ascisse del sistema Oij si ottiene immediatamente β€–(π‘₯, 𝑧)β€– . Se πœ‡ (π‘‘π‘Ž π‘Ÿπ‘–π‘‘π‘’π‘›π‘’π‘Ÿπ‘ π‘– π‘›π‘œπ‘‘π‘œ) Γ¨ l’angolo che il vettore (x, z) forma con il semiasse positivo delle ascisse del sistema Oij sono immediatamente ricavabili le proiezioni di detto vettore risultando {

π‘₯ = β€–(π‘₯, 𝑧)β€–π‘π‘œπ‘ πœ‡ 𝑧 = β€–(π‘₯, 𝑧)β€–π‘ π‘–π‘›πœ‡

Con ciΓ² sono determinati gli ulteriori due elementi incogniti della matrice inversa. β€–(π‘₯, 𝑧)β€–π‘π‘œπ‘ πœ‡ cosπœ”β€–(𝑦, 𝑑)β€– ) π΄βˆ’1 = ( β€–(π‘₯, 𝑧)β€–π‘ π‘–π‘›πœ‡ sin πœ”β€–(𝑦, 𝑑)β€–

Questa Γ¨ evidentemente una elaborazione originale riferita alle matrici quadrate di ordine 2 che necessita di una attenta riflessione sui passaggi che tengono conto di questa osservazione basica: β€’ il prodotto righe per colonne che genera gli elementi della matrice prodotto di due matrici Γ¨ un prodotto interno e concretamente viene applicata la prima formula del prodotto scalare; β€’ nel caso della terminazione della matrice inversa di una matrice non singolare quadrata data i prodotti interni possono assumere solo due valori 0 oppure 1; β€’ qualora il prodotto scalare valga 0 i due vettori sono ortogonali.

8


Mi riprometto di: β€’ riverificare la fondatezza di tutti i passaggi; β€’ estendere il metodo al caso delle matrici quadrate di ordine 𝑛 > 2 .

Conclusioni provvisorie. Devo rilevare che il contenuto di questa sintesi, che ho avviato a stralcio di un elaborato meramente compilativo, Γ¨ da intendersi provvisorio alla stregua delle considerazioni suindicate. La presenza stessa

delle

funzioni cos(. ) e sin(. )

esprime una

approssimazione dei valori degli elementi della matrice inversa cosΓ¬ ottenuta. Sempre ferma restando la possibilitΓ  di errori nel metodo deve rilevarsi che tale approssimazione di fatto scaturisce dalla applicazione della seconda formula del prodotto scalare per la quale se sono dati i vettori a e b si ha ab= 𝒃𝒂 = ‖𝒂‖‖𝒃‖cosΞ΄

a b

Ξ΄

9


NOTA

LEGALE

La presente nota Γ¨ stata redatta senza finalitΓ , dirette o indirette, di lucro. Ne Γ¨ autorizzata la diffusione ulteriore con qualsiasi mezzo a condizione che sia citato l’autore dell’opera e il diffusore della stessa. PoichΓ© questa nota Γ¨ redatta con riserva di integrazioni o correzioni o anche di rettifiche si ravvisa l’opportunitΓ  che tale circostanza sia rappresentata (ad esempio, indicando che trattasi di testo passibile di correzioni anche sostanziali). Roma, 3 luglio 2021

10


Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.