Sats för matrisrang
Inom matematik (särskilt linjär algebra ) säger Woodbury-matrisidentiteten , uppkallad efter Max A. Woodbury, att inversen av en rang- k- korrigering av någon matris kan beräknas genom att göra en rang- k -korrigering till inversen av den ursprungliga matrisen . Alternativa namn för denna formel är matrisinversionslemma , Sherman–Morrison–Woodbury-formel eller bara Woodbury-formel . Men identiteten förekom i flera tidningar före Woodbury-rapporten.
Woodbury-matrisidentiteten är
där A , U , C och V är konforma matriser : A är n × n , C är k × k , U är n × k och V är k × n . Detta kan härledas med blockvis matrisinversion .
Medan identiteten främst används på matriser, håller den i en allmän ring eller i en Ab-kategori .
Diskussion
För att bevisa detta resultat börjar vi med att bevisa ett enklare. Genom att ersätta A och C med identitetsmatrisen I får vi en annan identitet som är lite enklare:
För att återställa den ursprungliga ekvationen från denna reducerade identitet ställer du in och .
Denna identitet i sig kan ses som en kombination av två enklare identiteter. Vi får den första identiteten från
-
,
Således,
-
,
och liknande
Den andra identiteten är den så kallade push-through-identiteten
som vi får från
efter multiplicering med till höger och med till vänster.
Speciella fall
När är vektorer reduceras identiteten till Sherman–Morrison-formeln .
I det skalära fallet är den reducerade versionen helt enkelt
Invers av en summa
Om n = k och U = V = I n är identitetsmatrisen, då
Att fortsätta med sammanslagning av termerna längst till höger i ovanstående ekvation resulterar i Huas identitet
En annan användbar form av samma identitet är
vilket, till skillnad från de ovan, är giltigt även om är singular och har en rekursiv struktur som ger
om spektralradien för är mindre än en. Det vill säga, om summan ovan konvergerar så är den lika med .
Denna form kan användas i störande expansioner där B är en störning av A .
Variationer
Binomial inverssats
Om A , B , U , V är matriser med storlekarna n × n , k × k , n × k , k × n , respektive
förutsatt att A och B + BVA −1 UB är ickesingular. Icke-singularitet hos den senare kräver att B −1 existerar eftersom den är lika med B ( I + VA −1 UB ) och rangordningen för den senare kan inte överstiga rangordningen B.
Eftersom B är inverterbar kan de två B- termerna som flankerar den inversa parentesstorheten på höger sida ersättas med ( B −1 ) −1 , vilket resulterar i den ursprungliga Woodbury-identiteten.
En variant för när B är singular och möjligen till och med icke-kvadrat:
Formler finns också för vissa fall där A är singular.
Pseudoinvers med positiva semidefinita matriser
I allmänhet är Woodburys identitet inte giltig om en eller flera inverser ersätts med ( Moore–Penrose) pseudoinverser . Men om och är positiva semidefinita , och (vilket antyder att är i sig positiv semidefinite), då ger följande formel en generalisering:
där kan skrivas som eftersom alla positiva semidefinite matriser är lika med för vissa .
Avledningar
Direkt bevis
Formeln kan bevisas genom att kontrollera att gånger dess påstådda invers på höger sida av Woodbury-identiteten ger identitetsmatrisen:
Alternativa bevis
Algebraiskt bevis
|
Tänk först på dessa användbara identiteter,
Nu,
|
Härledning från LDU-nedbrytning
|
Vi börjar med matrisen
Genom att eliminera posten under A (med tanke på att A är inverterbar) får vi
ger eliminering av posten ovanför C
När vi nu kombinerar ovanstående två får vi
Att flytta till höger ger
vilket är LDU-sönderdelningen av blockmatrisen till en övre triangulär, diagonal och nedre triangulär matris.
Nu invertera båda sidor ger
Vi kunde lika gärna ha gjort det åt andra hållet (förutsatt att C är inverterbart) dvs
Nu återigen invertera båda sidor,
Genom att jämföra element (1, 1) i RHS för (1) och (2) ovan får man Woodbury-formeln
|
Ansökningar
Denna identitet är användbar i vissa numeriska beräkningar där A −1 redan har beräknats och det är önskvärt att beräkna ( A + UCV ) −1 . Med inversen av A tillgänglig är det bara nödvändigt att hitta inversen av C −1 + VA −1 U för att få resultatet med hjälp av den högra sidan av identiteten. Om C har en mycket mindre dimension än A är detta mer effektivt än att invertera A + UCV direkt. Ett vanligt fall är att hitta inversen av en lågrankad uppdatering A + UCV av A (där U bara har ett fåtal kolumner och V bara några få rader), eller att hitta en approximation av inversen av matrisen A + B där matrisen B kan approximeras av en matris med låg rangordning UCV , till exempel genom att använda singularvärdet dekomposition .
Detta tillämpas, t.ex. i Kalman-filtret och rekursiva minsta kvadratmetoder , för att ersätta den parametriska lösningen , som kräver inversion av en matris med tillståndsvektorstorlek, med en villkorsekvationsbaserad lösning. När det gäller Kalman-filtret har denna matris dimensionerna för observationsvektorn, dvs. så liten som 1 om bara en ny observation behandlas åt gången. Detta påskyndar de ofta realtidsberäkningarna av filtret avsevärt.
I fallet när C är identitetsmatrisen I är matrisen känd i numerisk linjär algebra numeriska partiella differentialekvationer som kapacitansmatrisen .
Se även
Anteckningar
externa länkar