Calcolo numerico/Fattorizzazione QR

Motivazioni

$Q$ è una matrice unitaria, cioè $QQ^{h}=Q^{h}Q=1$, allora $Q^{-1}=Q^{h}$, e $R$ è una triangolare superiore.

Ci chiediamo per quale motivo serve un'alternativa alla fattorizzazione $PA=LU$.

Il vantaggio della fattorizzazione $QR$ è una maggior stabilità rispetto alla $PA=LU$. Infatti la $QR$ è una fattorizzazione con matrici elementari unitarie, che conservano la norma 2.

Lo svantaggio è il raddoppio del costo computazionale.

Non occorre la tecnica del pivot.

Ci sono situazioni più sofisticate in cui si usa una tecnica di pivot per colonne, per garantire che gli elementi diagonali della $R$ abbiano una certa proprietà di ordinamento.

Questa fattorizzazione si usa solo in casi limite, ad esempio nel calcolo degli autovalori (spettro completo) e del rango, e della s.v.d.

Data una matrice $A$ hermitiana, allora si può diagonalizzare con trasformazioni unitarie, scrivendo $Q\lambda Q^{h}$.

La decomposizione in fattori singolari è l'estensione di quest'idea anche ai casi in cui la matrice non è simmetrica e non è quadrata.

La fattorizzazione $QR$ esiste sempre ma non è unica.

Risoluzione del sistema

Con la fattorizzazione $QR$ $A$ viene fattorizzata nel prodotto di una matrice unitaria e di una triangolare superiore.

$Q$ è unitaria quindi $Q^{-1}=Q^{h}$.

Nel sistema $A{\boldsymbol {x}}={\boldsymbol {b}}$, cioè $QR{\boldsymbol {x}}={\boldsymbol {b}}$, poniamo $R{\boldsymbol {x}}={\boldsymbol {y}}$, risolvo prima

$Q{\boldsymbol {y}}={\boldsymbol {b}}\,\longrightarrow {\boldsymbol {y}}=Q^{-1}{\boldsymbol {b}}=Q^{h}{\boldsymbol {b}}\quad {\hbox{prodotto matrice per vettore}}$

quindi si risolve

$R{\boldsymbol {x}}={\boldsymbol {y}}$

con $R$ matrice triangolare.

Il costo di risoluzione è $2/3n^{3}$.

Matrici elementari di Hausolder

Definizione

Una matrice elementare è una matrice della forma $E=I-\sigma {\boldsymbol {u}}{\boldsymbol {v}}^{h}$, con ${\boldsymbol {u}},{\boldsymbol {v}}\in \mathbb {C} ^{n}$, $\sigma$ parametro, e il prodotto ${\boldsymbol {u}}{\boldsymbol {v}}^{h}$ è una diade.

La matrice della diade ha rango uguale a 1.

Nella fattorizzazione $QR$ consideriamo le matrici elementari di Hausolder (o matrici di riflessione). Queste matrici sono della forma:

$P=I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h},\quad \beta \in \mathbb {R} ,\,{\boldsymbol {v}}\in \mathbb {C} ^{n}$

Proposizione 2.2

Le matrici di riflessione sono hermitiane, e sono unitarie se scegliamo $\beta ={\frac {2}{\vert {\boldsymbol {v}}\vert _{2}}}$.

Dim.

Hermitiane:

$P^{h}=I-\beta ({\boldsymbol {v}}{\boldsymbol {v}}^{h})^{h}=I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}=P$

Unitarie: sappiamo che $I=PP^{h}$, e per hermitianità

$PP^{h}=PP=(I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h})(I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h})$

$=I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}+\beta ^{2}{\boldsymbol {v}}{\boldsymbol {v}}^{h}{\boldsymbol {v}}{\boldsymbol {v}}^{h}$

$=I-2\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}+\beta ^{2}{\boldsymbol {v}}(\vert {\boldsymbol {v}}\vert )^{2}{\boldsymbol {v}}^{h}$

(infatti ${\boldsymbol {v}}^{h}{\boldsymbol {v}}=(\vert {\boldsymbol {v}}\vert _{2})^{2}$)

quindi

$I=I-2\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}+\beta (\vert {\boldsymbol {v}}\vert _{2})^{2}{\boldsymbol {v}}{\boldsymbol {v}}^{h}$

implica

$\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}*[-2+\beta \vert {\boldsymbol {v}}\vert _{2}^{2}]=0$

cioè, se $\beta \neq 0$, deve valere $-2+\beta \vert {\boldsymbol {v}}\vert _{2}^{2}=0$, cioè

$\beta ={\frac {2}{(\vert {\boldsymbol {v}}\vert _{2})^{2}}}$

cvd

Altre proprietà sulle matrici di Hausolder

Sia $P=P({\boldsymbol {v}})$ (la matrice di Hausolder è univocamente determinata da ${\boldsymbol {v}}$), con $P=I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}$, e $\beta ={\frac {2}{(\vert {\boldsymbol {v}}\vert _{2})^{2}}}$. Allora per ogni ${\boldsymbol {x}}\in {\boldsymbol {v}}_{\perp }$, la matrice di Hausolder si comporta come l'identità. Infatti:

${\boldsymbol {x}}(I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h})={\boldsymbol {x}}-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}{\boldsymbol {x}}={\boldsymbol {x}}$

infatti ${\boldsymbol {x}}{\boldsymbol {v}}=0$ per ${\boldsymbol {x}}\in {\boldsymbol {v}}_{\perp }$.

$P$ applicata nel sottospazio $\mathrm {span} \{{\boldsymbol {v}}\}$ è:

$(I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h})(\gamma {\boldsymbol {v}})=\gamma {\boldsymbol {v}}-\beta \gamma {\boldsymbol {v}}{\boldsymbol {v}}^{h}{\boldsymbol {v}}$

$=\gamma {\boldsymbol {v}}-\beta \gamma \vert {\boldsymbol {v}}\vert ^{2}{\boldsymbol {v}}$

e per definizione di $\beta$:

$=\gamma {\boldsymbol {v}}-{\frac {2}{(\vert {\boldsymbol {v}}\vert _{2})^{2}}}\gamma \vert {\boldsymbol {v}}\vert ^{2}{\boldsymbol {v}}$

$=\gamma {\boldsymbol {v}}-2\gamma {\boldsymbol {v}}=-\gamma {\boldsymbol {v}}$

cioè si ha una riflessione.

Esistenza della matrice elementare P

Teorema 2.10

Per ogni ${\boldsymbol {x}}\in \mathbb {C} ^{n}\smallsetminus 0$ esiste $P\in \mathbb {C} _{n\times n}$ matrice elementare di Hausolder tale che $P{\boldsymbol {x}}=\alpha {\boldsymbol {e}}_{1}$.

Dimostrazione

Dobbiamo determinare il parametro $\alpha \in \mathbb {C}$ e la matrice elementare di Hausolder $P$.

Siccome $\alpha \in \mathbb {C}$, $\alpha =|\alpha |*e^{i\theta }$ (relazione $\circ$). Deve essere $P{\boldsymbol {x}}=\alpha {\boldsymbol {e}}_{1}$, allora

$\vert P{\boldsymbol {x}}\vert =|\alpha |\vert {\boldsymbol {e}}_{1}\vert _{2}=|\alpha |$

Inoltre $P$ è un'isometria quindi conserva la norma 2, cioè:

$(\vert P{\boldsymbol {x}}\vert _{2})^{2}=P^{2}{\boldsymbol {x}}^{h}{\boldsymbol {x}}={\boldsymbol {x}}^{h}{\boldsymbol {x}}=(\vert {\boldsymbol {x}}\vert _{2})^{2}$

allora, eguagliando le due espressioni trovate per $(\vert P{\boldsymbol {x}}\vert _{2})^{2}$, ottengo:

$|\alpha |=\vert {\boldsymbol {x}}\vert _{2}$

Per determinare l'angolo $\theta$, dev'essere

${\boldsymbol {x}}^{h}P{\boldsymbol {x}}={\boldsymbol {x}}^{h}\alpha {\boldsymbol {e}}_{1}=\alpha {\boldsymbol {x}}^{h}{\boldsymbol {e}}_{1}=\alpha {\bar {x}}_{1}\quad {\hbox{ è uno scalare}}$

Per hermitianità di $P$:

${\bar {(}}{\boldsymbol {x}}^{h}P{\boldsymbol {x}})=({\boldsymbol {x}}^{h}P{\boldsymbol {x}})^{h}={\boldsymbol {x}}^{h}P^{h}{\boldsymbol {x}}={\boldsymbol {x}}^{h}P{\boldsymbol {x}}$

allora siccome lo scalare è uguale al suo coniugato, è reale, quindi $\alpha {\bar {x}}_{1}\in \mathbb {R}$.

${\bar {x}}_{1}\in \mathbb {C}$, allora possiamo scriverlo come $|x_{1}|e^{i\phi }$ (relazione $\circ \circ$).

$\alpha {\bar {x}}_{1}=|\alpha |e^{i\theta }|x_{1}|e^{i\phi }$

e sostituendo l'espressione di $\alpha$:

$=\vert {\boldsymbol {x}}\vert _{2}|x_{1}|e^{i(\theta -\phi )}$

$\alpha {\bar {x}}_{1}\in \mathbb {R}$, allora

$\theta -\phi =k\pi$

ovvero $\theta =\phi +\delta \pi$ con $\delta =0,1$.

In conclusione:

$\alpha =|\alpha |e^{i\theta }=\vert {\boldsymbol {x}}\vert _{2}*e^{i(\phi +\delta \pi )}$

$e^{i\delta \pi }=\pm 1\,\longrightarrow \,\alpha =\pm \vert {\boldsymbol {x}}\vert _{2}e^{i\phi }$

e per la $\circ \circ$,

$=\pm \vert {\boldsymbol {x}}\vert _{2}*{\frac {x_{1}}{|x_{1}|}}$

Se $x_{1}=0$, allora poniamo $\alpha =-\vert {\boldsymbol {x}}\vert _{2}$.

Vale che

$P{\boldsymbol {x}}=(I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h})({\boldsymbol {x}})={\boldsymbol {x}}-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}{\boldsymbol {x}},$

e per definizione di $\beta$ otteniamo:

$P{\boldsymbol {x}}={\boldsymbol {x}}-{\frac {2}{(\vert {\boldsymbol {v}}\vert _{2})^{2}}}{\boldsymbol {v}}^{h}{\boldsymbol {x}}{\boldsymbol {v}}$

Chiamiamo ${\hat {\beta }}$ il coefficiente che moltiplica ${\boldsymbol {v}}$, e mettiamo in evidenza ${\hat {\beta }}{\boldsymbol {v}}$:

${\hat {\beta }}{\boldsymbol {v}}={\boldsymbol {x}}-P{\boldsymbol {x}}={\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1}$

Osservazione 2.5

A patto di escludere che ${\hat {\beta }}=0$, è lecito porre ${\hat {\beta }}=1$, in quanto

$P(\gamma {\boldsymbol {v}})=I-{\frac {2}{\vert \gamma {\boldsymbol {v}}\vert ^{2}}}*(\gamma {\boldsymbol {v}})*(\gamma {\boldsymbol {v}}^{h})$

$=I-{\frac {2}{|\gamma |^{2}\vert {\boldsymbol {v}}\vert _{2}}}|\gamma |^{2}*{\boldsymbol {v}}{\boldsymbol {v}}^{h}$

$=I-{\frac {2}{\vert {\boldsymbol {v}}\vert _{2}}}*{\boldsymbol {v}}{\boldsymbol {v}}_{h}=P({\boldsymbol {v}})$

allora per il fatto che $P(\gamma {\boldsymbol {v}})=P({\boldsymbol {v}})$, possiamo porre ${\hat {\beta }}=1$.

Tornando alla formula:

${\hat {\beta }}{\boldsymbol {v}}={\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1}$

e ponendo ${\hat {\beta }}=1$, otteniamo:

${\boldsymbol {v}}={\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1}$

Nota bene: possiamo escludere il caso ${\hat {\beta }}=0$, infatti, per definizione, ${\hat {\beta }}=0$ se e solo se ${\boldsymbol {x}}\in {\boldsymbol {v}}_{\perp }$, e possiamo scegliere il vettore ${\boldsymbol {x}}$ al di fuori del complemento ortogonale.

Calcoliamo:

${\boldsymbol {v}}^{h}{\boldsymbol {v}}={\boldsymbol {v}}^{h}({\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1})=(\vert {\boldsymbol {x}}\vert )^{2}+|x_{1}|\vert {\boldsymbol {x}}\vert _{2}$

e la quantità è positiva se ${\boldsymbol {x}}\neq 0$ come nell'ipotesi.

cvd

Riassumendo, poniamo

$\alpha ={\begin{cases}\pm \vert {\boldsymbol {x}}\vert _{2}{\frac {x_{1}}{|x_{1}|}}&{\hbox{se}}x_{1}\neq 0\\-\vert {\boldsymbol {x}}\vert _{2}&{\hbox{se}}x_{1}=0\end{cases}}$

${\boldsymbol {v}}={\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1}$

${\boldsymbol {e}}_{1}$ modifica solo la prima componente del vettore ${\boldsymbol {v}}$. Quindi:

$v_{1}=x_{1}-\alpha ,=x_{1}-(-\vert {\boldsymbol {x}}\vert _{2}{\frac {x_{1}}{|x_{1}|}})=$

$=x_{1}+\vert {\boldsymbol {x}}\vert _{2}{\frac {x_{1}}{|x_{1}|}})=$

$=x_{1}*({\frac {|x_{1}|+\vert {\boldsymbol {x}}\vert _{2}}{|x_{1}|}})$

e non c'è possibilità di errori di cancellazione.

Se ${\boldsymbol {x}}\in \mathbb {R} ^{n}$, $\alpha \in \mathbb {R} ,{\boldsymbol {v}}\in \mathbb {R} ^{n}$ per costruzione, allora $P$ è una simmetrica ortogonale.

Il calcolo di ${\boldsymbol {v}}$ costa $n$ operazioni per il calcolo della norma di ${\boldsymbol {x}}$, 2 operazioni moltiplicative, un'estrazione di radice, cioè un numero dell'ordine di $n$ operazioni.

Algoritmo della fattorizzazione QR

Utilizziamo il teorema dimostrato per determinare la fattorizzazione $QR$.

Supponiamo di essere al passo $k$-esimo della fattorizzazione $QR$. Allora chiamiamo ${\boldsymbol {a}}_{k}=(A_{kk},\dots ,A_{nk})$ la $k$-esima sottocolonna della matrice $A^{(k)}$, che dobbiamo azzerare (corrisponde al vettore ${\boldsymbol {x}}$ del teorema). Scegliamo il vettore ${\boldsymbol {v}}_{k}={\boldsymbol {v}}$ che ha 0 nelle prime $k-1$ componenti, e le componenti successive sono:

${\boldsymbol {v}}_{k}=\gamma _{k}(\vert {\boldsymbol {a}}_{k}\vert _{2}+|A_{kk}^{(k)}|)=\mathrm {sgn} a_{kk}*(\vert \sigma _{k}\vert )$

${\boldsymbol {v}}_{k+1}=a_{k+1}^{(k)}$

${\boldsymbol {v}}_{k+2}=a_{k+2}^{(k)}$

$\dots$

${\boldsymbol {v}}_{n}=a_{n}^{(k)}$

dove definiamo

$\gamma _{k}={\begin{cases}{\frac {A_{kk}}{|A_{kk}|}}&\iff A_{kk}\neq 0\\1&{\hbox{se}}A_{kk}=0\end{cases}}$

(per la definizione di ${\boldsymbol {v}}_{k}$ sfruttiamo l'espressione ricavata nel teorema, cioè ${\boldsymbol {v}}_{k}={\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1}$, e sfruttiamo anche l'espressione ricavata per $v_{1}$)

$\beta _{k}={\frac {2}{(\vert {\boldsymbol {v}}_{k}\vert _{2})^{2}}}$

Allora calcoliamo:

$\vert {\boldsymbol {v}}_{k}\vert ^{2}=|\gamma _{k}|^{2}(\vert {\boldsymbol {a}}_{k}\vert _{2}+|A_{kk}|)^{2}+\vert {\boldsymbol {a}}_{k}\vert _{2}^{2}-|A_{kk}|^{2}$

$=(\vert {\boldsymbol {a}}_{k}\vert _{2})^{2}+2|A_{kk}|\vert {\boldsymbol {a}}_{k}\vert _{2}+(|A_{kk}|)^{2}+\vert {\boldsymbol {a}}_{k}\vert _{2}^{2}-|A_{kk}|^{2}$

$=2(\vert {\boldsymbol {a}}_{k}\vert _{2})^{2}+2|A_{kk}|\vert {\boldsymbol {a}}_{k}\vert _{2}$

e raccogliendo $2\vert {\boldsymbol {a}}_{k}\vert _{2}$ otteniamo:

$=2\vert {\boldsymbol {a}}_{k}\vert _{2}*[\vert {\boldsymbol {a}}_{k}\vert _{2}+|A_{kk}|]$

cioè

$\beta _{k}={\frac {2}{2(\vert {\boldsymbol {v}}_{k}\vert _{2})^{2}}}$

$={\frac {2}{2\vert {\boldsymbol {a}}_{k}\vert _{2}*[\vert {\boldsymbol {a}}_{k}\vert +A_{kk}]}}$

$\beta _{k}={\frac {1}{\vert {\boldsymbol {a}}_{k}\vert _{2}*[\vert {\boldsymbol {a}}_{k}\vert +A_{kk}]}}$

Allora abbiamo determinato univocamente la matrice

$P_{k}=I-\beta {\boldsymbol {v}}{\boldsymbol {v}}^{h}$

Se il vettore ${\boldsymbol {a}}_{k}$ è tutto nullo, consideriamo $\gamma _{k}=1$ e ${\boldsymbol {v}}_{k}=0$, in modo che a quel passo la matrice di Hausolder sia l'identità.

Applicando la matrice $P$ trovata al vettore ${\boldsymbol {x}}$ cioè alla colonna ${\boldsymbol {a}}_{k}$, tutte le entrate di ${\boldsymbol {a}}_{k}$ da $k+1$ a $n$ vengono azzerate, mentre si ha $v_{k}=A_{kk}=-\vert {\boldsymbol {x}}\vert _{2}$ (infatti $P{\boldsymbol {x}}=\alpha {\boldsymbol {e}}_{1}$). Applichiamo poi la matrice di Hausolder alle colonne rimanenti di $A$.

Riepilogando, data la matrice $A$ di partenza, con il primo passo $P_{1}A$ azzero la prima colonna e modifico $A_{11}$, e poi ripeto il procedimento, per $n-1$ passi, e otteniamo la matrice triangolare superiore $R$.

Il prodotto di matrici unitarie è unitario, e sappiamo che

$R=P_{n-1}\dots P_{2}P_{1}A$

e per hermitianità:

$A=P_{1}P_{2}\dots P_{n-1}R$

quindi

$Q=P_{1}P_{2}\dots P_{n-1}$

Non unicità della fattorizzazione

Proposizione 2.3

Per ogni $A$ esiste la fattorizzazione $A=QR$, ma non è unica.

Dim. Consideriamo una matrice di fase $S$, cioè una matrice diagonale con elementi $\theta _{1},\dots ,\theta _{n}$ con $|\theta _{i}|=1\forall i$, ed è una matrice unitaria. Allora $SS_{h}=I$, cioè $A=QR=QSS_{h}R$, e definiamo ${\bar {Q}},{\bar {R}}$ dove ${\bar {Q}}=QS$ e ${\bar {R}}=S_{h}R$, dove ${\bar {Q}}$ è ancora unitaria e ${\bar {R}}$ è triangolare superiore. Allora abbiamo comunque una fattorizzazione $QR$ della matrice.

cvd

Questa proprietà può essere sfruttata per scegliere la ${\bar {R}}$ in modo che gli elementi sulla diagonale siano ordinati in una certa maniera.

Fattorizzazione e risoluzione dei sistemi

Per risolvere il sistema lineare, non è necessario trovare esplicitamente la matrice $Q$, e nemmeno le $P_{h}$.

Passo 1: poniamo $A_{1}=A,{\boldsymbol {b}}_{1}={\boldsymbol {b}}$, e chiamiamo $T_{1}$ la matrice che accosta ${\boldsymbol {b}}_{1}$.

Passo 2: chiamiamo $T_{2}=P_{1}T_{1}$, con

$P_{1}=I-\beta _{1}{\boldsymbol {v}}_{1}{\boldsymbol {v}}_{1}^{h}$

Chiamiamo poi ${\boldsymbol {y}}_{1}^{h}$ il vettore riga ${\boldsymbol {v}}_{1}^{h}T_{1}$, in modo da scrivere:

$T_{2}=P_{1}T_{1}=T_{1}-\beta _{1}{\boldsymbol {v}}_{1}{\boldsymbol {y}}_{1}^{h}$

Passo $k+1$:

$T_{k+1}=P_{k}T_{k}=T_{k}-\beta _{k}{\boldsymbol {v}}_{k}{\boldsymbol {y}}_{k}^{h}$

con

${\boldsymbol {y}}_{k}^{h}={\boldsymbol {v}}_{k}^{h}T_{k}$

Infine

Passo $n$:

$T_{n}=R\,\longrightarrow {\boldsymbol {y}}_{k}^{h}={\boldsymbol {v}}_{k}R$

il vettore ${\boldsymbol {y}}$ è stato calcolato senza calcolare esplicitamente le matrici $Q$, ed è tale che $q{\boldsymbol {y}}={\boldsymbol {b}}$.

Costo computazionale

Per analizzare il costo del $k$-esimo passo, tengo conto che ${\boldsymbol {v}}_{k}$ ha $k-1$ componenti nulle e $n-k+1$ componenti diverse da 0. Per calcolare ${\boldsymbol {v}}_{k}$, le operazioni sono quindi $n-k+1+2=n-k+3$.

$\dots \dots \dots$

Stabilità della fattorizzazione QR

Definizione

Si definisce norma di Frobenius'Testo in grassetto' di $A$ la quantità

${\sqrt {\sum _{i,j=1}^{n}|A_{ij}|^{2}}}$

$={\sqrt {\mathrm {tr} (A_{h}*A)}}$

Questa non è una norma matriciale indotta, infatti

$\vert I\vert _{f}={\sqrt {n}}$

ed è diversa da 1, mentre con le norme matriciali indotte l'identità a norma 1.

Teorema 2.11 (analisi dell'errore all'indietro)

Sia ${\bar {\boldsymbol {x}}}$ la soluzione effettivamente calcolata con l'applicazione delle ${\bar {P}}_{k}$ effettive alla matrice $A$ per calcolare la ${\bar {R}}$. Sia ${\bar {\boldsymbol {y}}}$ il vettore che compare nella risoluzione backward del sistema $R{\boldsymbol {x}}={\boldsymbol {y}}$. Allora ${\bar {\boldsymbol {x}}}$ è soluzione esatta di un sistema

$(A+\delta _{A}){\bar {\boldsymbol {x}}}={\boldsymbol {b}}+\delta _{b}$

dove

$\vert \delta _{A}\vert _{f}<u\gamma n^{2}\vert A\vert _{f}+n\vert {\bar {R}}\vert _{f}+o(u^{2})$

$\vert \delta _{b}\vert _{2}<u\gamma n^{2}\vert {\boldsymbol {b}}\vert _{2}+O(u^{2})$

L'entità della perturbazione dipende dai dati iniziali, dalle dimensioni della matrice, e dalla matrice di fattorizzazione. Non dipende dalla norma di Frobenius di $Q$ che è 1.

Consideriamo le matrici $A^{(k)}$ al $k$-esimo passo di fattorizzazione, e calcolo il prodotto

$A_{k+1}^{h}A_{k+1}=A_{k}^{h}P_{k}^{h}P_{k}A_{k}$

siccome $P_{k}^{h}P_{k}=I$ allora $A_{k}^{h}A_{k}$ non varia con i passi di fattorizzazione.

Allora

$\mathrm {tr} (A_{k+1}^{h}A_{k+1})=\mathrm {tr} (A_{k}^{h}A_{k})$

$\longrightarrow \vert A_{k+1}\vert _{f}^{2}=\vert A_{k}\vert _{f}^{2}$

allora

$\vert A_{k}\vert _{f}=\vert A\vert _{f}$

inoltre

$\vert R\vert _{f}=\vert A_{n}\vert _{f}=\vert A\vert _{f}$

allora non c'è possibilità di esplosione dei coefficienti.

La $QR$ è stabile e può essere fatta senza pivot.