2009年金融街PE中国私募股权市场投资研究报告
Hodnost je termín z lineární algebry. Hodnost matice ozna?uje dimenzi vektorového prostoru generovaného sloupci , co? odpovídá maximálnímu po?tu jejích lineárně nezávislych sloupc?. Lze ukázat, ?e hodnost matice je rovna dimenzi vektorového prostoru generovaného jejími ?ádky, ?ili maximálnímu po?tu lineárně nezávislych ?ádk?.
Hodnost matice je jednou z jejích základních charakteristik. Hodnost odpovídá mí?e ?nedegenerovanosti“ p?íslu?né soustavy lineárních rovnic, resp. lineárního zobrazení.
Hodnost se bě?ně ozna?uje jako [1], v ?eské literatu?e i [2]. Je-li parametrem jen jedna matice, není t?eba psát závorky: .
Definice
[editovat | editovat zdroj]Pro matici typu s prvky z libovolného tělesa (nap?. reálnych ?i komplexních ?ísel) je
- Sloupcová hodnost matice rovna dimenzi jejího sloupcového prostoru, neboli podprostoru generovaného sloupci matice .
- ?ádková hodnost matice rovna dimenzi jejího ?ádkového prostoru, neboli podprostoru generovaného transpozicemi ?ádk? matice (?ádky jsou transponovány, proto?e aritmetické vektory jsou obvykle sloupcové).
Jak je nazna?eno v odstavcích o vypo?tu hodnosti Gaussovou eliminací nebo o hodnostním rozkladu, sloupcová a ?ádková hodnost matice definované nad tělesem[3] se v?dy shodují, a proto se ozna?uje jako hodnost matice . Dal?í ekvivalentní definice hodnosti jsou uvedeny v sekci Alternativní definice.
O matici typu se ?íká, ?e má plnou hodnost, pokud , ?ili pokud má nejvy??í mo?nou hodnost mezi maticemi stejnych rozměr?.[4]
Podobně lze definovat i hodnost lineárního zobrazení jako dimenzi jeho oboru hodnot:
- ,
kde symbol zna?í dimenzi vektorového prostoru a zna?í obor hodnot zobrazení.
Ukázky
[editovat | editovat zdroj]Reálná matice
má (sloupcovou) hodnost 2: První dva sloupce jsou lineárně nezávislé, tak?e hodnost je alespoň 2. T?etí sloupec je lineární kombinací prvních dvou (první mínus druhy), a tak jsou v?echny t?i sloupce lineárně závislé a hodnost je men?í ne? 3. Podobně je i ?ádková hodnost rovna dvěma, nap?. proto?e poslední ?ádek je nezávisly na prvním, ale prost?ední je jejich rozdílem.
Reálná matice
má hodnost 1: Matice obsahuje i nenulové sloupce, tak?e hodnost je kladná, ale kterákoli dvojice sloupc? je lineárně závislá.
Matice k ní transponovaná
má také hodnost 1, proto?e první sloupec je netriviální a druhy sloupec je jeho (-1)-násobek. Sloupcové vektory matice jsou ?ádkové vektory její transpozice , a proto je tvrzení, ?e sloupcová hodnost matice se rovná její ?ádkové hodnosti, ve skute?nosti ekvivalentní tvrzení, ?e hodnost matice se nezmění p?i transpozici, tj. .
Vypo?et hodnosti
[editovat | editovat zdroj]Gaussova eliminace
[editovat | editovat zdroj]Jednoduchym postupem k nalezení hodnosti matice je její redukce na ?ádkově odstupňovany tvar pomocí elementárních ?ádkovych úprav. ?ádkové úpravy nemění ?ádkovy prostor a proto nemění ani jeho dimenzi. Proto?e jsou elementární ?ádkové úpravy invertibilní, zobrazují sloupcovy prostor na izomorfní prostor, a tudí? zachovávají dimenzi sloupcovych prostor?. Nenulové ?ádky matice v odstupňovaném tvaru jsou lineárně nezávislé, a proto je hodnost rovna jejich po?tu, resp. po?tu pivot?. Sloupce s pivoty jsou ze stejného d?vodu lineárně nezávislé, generují ostatní nenulové sloupce a proto i cely sloupcovy prostor.
Ukázka
[editovat | editovat zdroj]Reálnou matici
lze p?evést do ?ádkově odstupňovaného tvaru pomocí následujících elementárních ekvivalentních ?ádkovych úprav:
Vysledná matice v ?ádkově odstupňovaném tvaru má dva nenulové ?ádky, a tudí? jsou hodnost vysledné matice i hodnost p?vodní matice rovny 2.
Numerické zále?itosti
[editovat | editovat zdroj]U vypo?t? s plovoucí desetinnou ?árkou na po?íta?ích m??e byt základní Gaussova eliminace (LU rozklad) numericky nespolehlivá. ú?innou alternativou je singulární rozklad (SVD). Vypo?etně jednodu??í mo?ností je vypo?et QR rozkladu s pivotováním, ktery je numericky stabilněj?í ne? Gaussova eliminace. P?i numerickych vypo?tech hodnosti je t?eba zavést kritérium, podle kterého se má s dostate?ně hodnotou zacházet jako s nulou (nap?. se singulární hodnotou ze SVD rozkladu). Volba vhodného kritéria závisí jak na matici, tak na aplikaci.
Alternativní definice
[editovat | editovat zdroj]Ve v?ech definicích v této ?ásti je matice brána jako matice typu nad libovolnym tělesem .
Dimenze obrazu
[editovat | editovat zdroj]Dané matici odpovídá lineární zobrazení definované vztahem . Hodnost matice je dimenze obrazu prostoru v zobrazení . Uvedenym zp?sobem lze definovat hodnost lineárního zobrazení, ani? by bylo t?eba volit matici tohoto zobrazení.
Hodnost pomocí nulity
[editovat | editovat zdroj]Hodnost lineárního zobrazení jako v p?edchozím odstavci je podle věty o dimenzích jádra a obrazu rovna rozdílu a dimenze jádra .
Hodnostní rozklad
[editovat | editovat zdroj]Hodnost je nejmen?í celé ?íslo takové, ?e lze rozlo?it na sou?in , kde je matice typu a je matice typu . Uvedeny sou?in se nazyvá hodnostní rozklad matice . Pro ka?dé celé ?íslo jsou toti? ekvivalentní následující podmínky:
- sloupcová hodnost matice je nejvy?e ,
- existuje sloupcovych vektor? délky takovych, ?e ka?dy sloupec je lineární kombinací ,
- existují matice typu a matice typu takové, ?e ,
- existuje ?ádkovych vektor? délky takovych, ?e ka?dy ?ádek je lineární kombinací ,
- ?ádková hodnost matice je nejvy?e .
Ekvivalence lze p?ímo?a?e dokázat z díl?ích vztah?: . Nap?. pro d?kaz implikace se sestaví ze sloupc? a pro se za vezmou sloupce matice .
Ekvivalence odpovídá ji? zmíněnému tvrzení, ?e ?ádková a sloupcová hodnost matice se shodují.
Podobně jako v definici hodnosti pomocí dimenze ?dimenze obrazu“ lze uvedeny p?ístup zobecnit na definici hodnosti libovolného lineárního zobrazení jako nejmen?í dimenzi meziprostoru takového, ?e lze zapsat jako slo?ení zobrazení a zobrazení . Uvedená definice ov?em neposkytuje efektivní návod pro vypo?et hodnosti lineárního zobrazení.
Hodnost pomocí singulárních hodnot
[editovat | editovat zdroj]Hodnost je rovna po?tu nenulovych singulárních hodnot, co? odpovídá po?tu nenulovych diagonálních prvk? v matici ze singulárního rozkladu .
Hodnost pomocí determinantu – ?ád největ?ího nenulového minoru
[editovat | editovat zdroj]Hodnost matice je rovna ?ádu největ?ího nenulového subdeterminantu (minoru) . (?ád subdeterminantu se shoduje s ?ádem ?tvercové podmatice, z ní? je vypo?ten.) Stejně jako definice hodnosti pomocí rozkladu neposkytuje ani tato efektivní zp?sob vypo?tu hodnosti, ale je u?ite?ná teoreticky: ?ád ka?dého nenulového minoru je dolním odhadem hodnosti matice.
Podmatice ?ádu má nenulovy determinant právě kdy? je regulární, ?ili ?ádky a sloupce této podmatice jsou lineárně nezávislé. Odpovídající ?ádky a sloupce p?vodní matice jsou také lineárně nezávislé, tak?e (?ádková i sloupcová) hodnost je vět?í nebo rovna hodnosti definované pomocí minor?. Pro opa?nou nerovnost je t?eba z matice vybrat jejích lineárně nezávislych sloupc? a lineárně nezávislych ?ádk?. ?tvercová podmatice ?ádu ur?ená vyběrem index? těchto ?ádk? a sloupc? je regulární a tudí? má nenulovy determinant.
Tenzorová hodnost
[editovat | editovat zdroj]Hodnost matice je nejmen?í p?irozené ?íslo takové, ?e lze zapsat jako sou?et matic hodnosti 1. Na matici hodnosti 1 se zde nahlí?í jako na jednoduchy tenzor, co? je nenulovy maticovy sou?in "sloupcového" vektoru a "?ádkového" vektoru .
Vlastnosti
[editovat | editovat zdroj]Pokud není uveden jiny p?edpoklad, platí následující tvrzení pro matici typu nad tělesem (nap?. reálnych ?ísel), a lineární zobrazení dané .
- Hodnost matice je nezáporné celé ?íslo a nep?esahuje ani jeden z jejich rozměr? a . Formálně:
- Pouze nulová matice má nulovou hodnost.
- Jednotková matice ?ádu má plnou hodnost .
- ?tvercová matice ?ádu je regulární, právě kdy? má hodnost (tj. plnou hodnost).
- Matice má hodnost 1, právě kdy? existují nenulové vektory a takové, ?e: .
- Pro transponovanou matici platí , ?ili hodnost transponované matice je stejná jako hodnost p?vodní matice.
- Roz?í?ení pro reálné matice: Hodnost matice a p?idru?ené Gramovy matice se shodují:
- Rovnost vyplyvá ze skute?nosti, ?e obě matice mají shodná jádra. Jádro Gramovy matice obsahuje vektory , pro které platí , a následně i:
- Pro hodnost komplexní matice a její hermitovské transpozice platí:
- Subaditivita: Pro matice a stejnych rozměr? platí: . V d?sledku toho lze ka?dou matici hodnosti zapsat jako sou?et matic hodnosti 1, ale ne méně.
- Sou?inem matic se hodnost nezvy?í: . Rovnost nastává v p?ípadě, kdy alespoň jedna z matic je regulární.
- Věta o dimenzích jádra a obrazu: Sou?et hodnosti matice a dimenze jejího jádra je roven po?tu jejích sloupc?, formálně: .
- Sylvesterova nerovnost pro hodnost matic: Je-li matice typu a matice je typu , potom platí:
- Uvedená nerovnost vyplyvá z věty o dimenzích jádra a obrazu a nerovnosti . Zároveň je speciálním p?ípadem následující Frobeniovy nerovnosti.
- Frobeniova nerovnost: Je-li definován sou?in , pak platí:
- Matice má hodnost , právě kdy? kdy? existují regulární matice ?ádu a ?ádu takové, ?e platí:
- ,
- kde je jednotková matice ?ádu .
- Lineární zobrazení je prosté (injektivní), právě kdy? matice zobrazení má hodnost rovnu po?tu sloupc?: . (V tomto p?ípadě se o matici ?íká, ?e má plnou sloupcovou hodnost.)
- Lineární zobrazení je na (surjektivní), právě kdy? matice zobrazení má hodnost rovnu po?tu ?ádk?: . (?ili matice má plnou ?ádkovou hodnost.)
- Lineární zobrazení je bijektivní, právě kdy? je matice zobrazení regulární. Zobrazení inverzní k odpovídá matici .
- Věta o dimenzích jádra a obrazu pro lineární zobrazení: Pro hodnost a dimenzi jádra lineárního zobrazení platí:
- .
Pou?ití
[editovat | editovat zdroj]Hodnost matice vyu?ívá Frobeniova věta pro rozhodnutí, zdali má soustava lineárních rovnic alespoň jedno ?e?ení, co? nastává právě kdy? se hodnost roz?í?ené matice shoduje s hodností matice soustavy. ?e?ení je jednozna?né, právě kdy? se hodnost shoduje s po?tem neznámych. Jinak má obecné ?e?ení volnych parametr?, kde je rozdíl mezi po?tem proměnnych a hodností. V tomto p?ípadě (a za p?edpokladu, ?e soustava rovnic je dána o oboru v reálnych nebo komplexních ?íslech) má soustava nekone?ně mnoho ?e?ení.
V teorii ?ízení m??e byt hodnost matice pou?ita k ur?ení, zda je lineární systém kontrolovatelny nebo pozorovatelny.
V oblasti komunika?ní slo?itosti platí, ?e hodnost komunika?ní matice funkce udává mez na mno?ství komunikace pot?ebné pro vypo?et této funkce dvěma stranami.
Terminologie
[editovat | editovat zdroj]Pokud má ?tvercová matice plnou hodnost, ?ili pokud je tato rovna jejímu ?ádu, jde o regulární matici. Její ?ádky jsou lineárně nezávislé, a matice má nenulovy determinant a v?echna vlastní ?ísla jsou nenulová.
V opa?ném p?ípadě se matice nazyvá singulární. Její ?ádky jsou lineárně závislé a její determinant je roven nule.
Odkazy
[editovat | editovat zdroj]Reference
[editovat | editovat zdroj]V tomto ?lánku byly pou?ity p?eklady text? z ?lánk? Rank (linear algebra) na anglické Wikipedii a Rang (Lineare Algebra) na německé Wikipedii.
- ↑ ?SN EN ISO 80000-2 (011300). Veli?iny a jednotky - ?ást 2: Matematika. ?eská agentura pro standardizaci, 2025-08-07. detail.
- ↑ B?RTSCH, Hans-Jochen. Matematické vzorce. Praha: Academia, 2006. 832 s. ISBN 80-200-1448-9. Kapitola Matice, s. 186.
- ↑ U matic nad okruhy nemusejí mít moduly generované sloupci resp. ?ádky matice bázi, a i kdyby báze existovaly, nemusejí mít jednozna?ny po?et prvk?. I v p?ípadě, ?e by sloupcová a ?ádková hodnost dané matice nad okruhem byly dob?e definovány, mohou se tyto li?it.
- ↑ Archivovaná kopie. math.feld.cvut.cz [online]. [cit. 2025-08-07]. Dostupné v archivu po?ízeném z originálu dne 2025-08-07.
Literatura
[editovat | editovat zdroj]- Slovník ?kolské matematiky. Praha: SPN, 1981. 240 s.
- B?RTSCH, Hans-Jochen. Matematické vzorce. Praha: Academia, 2006. 832 s. ISBN 80-200-1448-9. Kapitola Matice, s. 180–198.
- BE?Vá?, Jind?ich. Lineární algebra. 1. vyd. Praha: Matfyzpress, 2019. 436 s. ISBN 978-80-7378-392-1.
- HLADíK, Milan. Lineární algebra (nejen) pro informatiky. 1. vyd. Praha: Matfyzpress, 2019. 328 s. ISBN 978-80-7378-378-5. S. 39.
- OL?áK, Petr. Lineární algebra [online]. Praha: 2007 [cit. 2025-08-07]. Dostupné online.
- MOTL, Lubo?; ZAHRADNíK, Milo?. Pěstujeme lineární algebru [online]. [cit. 2025-08-07]. Dostupné online.