iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://cs.wikipedia.org/wiki/Gramova_matice
Gramova matice – Wikipedie Přeskočit na obsah

Gramova matice

Z Wikipedie, otevřené encyklopedie
Gramova matice je obsahuje skalární součiny všech možných dvojic daných vektorů. U standardního skalárního součinu odpovídá součinu matice se svou transpozicí zleva.

V lineární algebře zobecňují Gramovy matice a jejich determinanty míru změny objemu u lineárních zobrazení daných obdélníkovými maticemi, podobně jako tomu činí determinant u čtvercových matic.

Gramovy matice tvořeny skalárními součiny všech dvojic z dané množiny vektorů.

Gramovy matice se ve statistice a strojovém učení využívají pro určení korelace mezi dvěma objekty.

Gramova matice i její determinant nesou jméno dánského matematika Jørgena Pedersena Grama.

Gramovou maticí určenou vektory z unitárního prostoru se rozumí čtvercová matice řádu jejíž prvky jsou dány skalárními součiny daných vektorů, neboli .

Pro standardní skalární součin na komplexním aritmetickém vektorovém prostoru a vektory lze Gramovu matici vyjádřit součinem , kde sloupce matice tvoří vektory a značí její hermitovskou transpozici. U reálných matic se uvedený vztah zjednoduší na , přičemž je transpozice matice .

Obecněji lze Gramovu matici definovat i vzhledem k bilineární formě na prostoru nad tělesem předpisem .

Gramův determinant, neboli Gramián je determinant Gramovy matice:

Alternativně lze Gramův determinant definovat jako pro matice .

Výpočet a význam Gramovy matice dvou vektorů v trojrozměrném prostoru. Hodnota odmocniny Gramova determinantu odpovídá ploše vyznačeného rovnoběžníku a dvojnásobku plochy šrafovaného trojúhelníku.

Gramova matice určená reálnými vektory a vůči standardnímu skalárnímu součinu na je:

Tutéž matici lze získat i součinem:

Gramův determinant matice má hodnotu:

Vlastnosti

[editovat | editovat zdroj]
  • Pomocí Gramovy matice lze testovat lineární nezávislost: dané vektory jsou lineárně nezávislé, právě když odpovídající Gramova matice má nenulový determinant.
  • Hodnost Gramovy matice vektorů v nebo je rovna dimenzi podprostoru generovaného jejími řádky i sloupci.
  • Protože , součin matic a komutuje. Každá reálná nebo komplexní Gramova matice je normální.
  • Gramova matice jakékoli ortonormální báze je jednotková matice. Jinými slovy, Gramova matice řádků nebo sloupců reálné rotační matice je jednotková. Podobně Gramova matice řádků nebo sloupců unitární matice je také jednotková.
  • Reálná Gramova matice je symetrická, a proto je diagonalizovatelná a její vlastní čísla jsou nezáporná. Diagonalizace Gramovy matice pak odpovídá singulárnímu rozkladu.
  • Gramův determinant lze také spočítat podle Binetovy–Cauchyho věty jako součet přes druhou mocninu všech maximálních subdeterminantů.

Geometrický význam

[editovat | editovat zdroj]

Gramův determinant je roven druhé mocnině vnějšího součinu daných vektorů. Jeho druhá odmocnina je tedy rovna objemu rovnoběžnostěnu určeného těmito vektory.

Vzhledem k tomu, že Gramův determinant je nezáporný, lze odmocnit z něj a získat vztah:

pro -rozměrný objem rovnoběžnostěnu určeného vektory .

Pomocí Gramova determinantu lze spočítat objem simplexu určeného danými vektory; jeho objem je .

Plocha rovnoběžníku v prostoru , jehož strany tvoří vektory a je rovna odmocnině z Gramova determinantu . Trojúhelník, jehož dvě strany tvoří a má plochu .

Definitnost

[editovat | editovat zdroj]

Z definice skalárního součinu vyplývá, že reálná Gramova matice symetrická, zatímco nad komplexními čísly je hermitovská.

Gramova matice reálných vektorů je vždy pozitivně semidefinitní a každá pozitivně semidefinitní matice je Gramovou maticí nějaké množiny vektorů. Tato množina vektorů nemusí být jednoznačně dána; například Gramova matice jakékoliv ortonormální báze je jednotková matice.

Skutečnost, že Gramova matice je pozitivně-semidefinitní, lze odvodit následovně:

První rovnost vyplývá z definice maticového součinu, druhá a třetí z bilinearity skalárního součinu a poslední z pozitivní definitnosti skalárního součinu. Gramova matice je pozitivně definitní, právě když vektory jsou lineárně nezávislé (tj. pro všechny netriviální kombinace koeficientů ).

Vektorové realizace

[editovat | editovat zdroj]

Každá komplexní pozitivně semidefinitní matice má rozklad:

,

kde je matice typu , kde je hodnost , a je její hermitovská transpozice. V reálném případě dokonce existuje rozklad . Uvedený rozklad lze získat různými způsoby, například pomocí Choleského rozkladu nebo u pomocí nezáporné druhé odmocniny matice .

Sloupce matice určují vektorů z prostoru (případně z -rozměrného euklidovského prostoru , pro reálné matice). Prvky matice pak splňují

přičemž v prvním případě jde o maticový součin a ve druhém o standardní skalární součin na .

Hermitovská matice je proto pozitivně semidefinitní, právě když se jedná o Gramovu matici určenou vhodnými vektory . Tyto vektory se nazývají vektorová realizace matice . Analogické tvrzení pro prostory nekonečné dimenze uvádí Mercerova věta.

Jednoznačnost vektorových realizací

[editovat | editovat zdroj]

Pokud je Gramova matice vektorů v pak použití jakékoli rotace nebo souměrnosti v (jakákoli ortogonální transformace, tj. jakákoli euklidovská izometrie zachovávající 0) na tuto posloupnost vektorů vede ke stejné Gramově matici. Pro každou ortogonální matici řádu proto platí, že Gramova matice odpovídající vektorům je také .

Toto je jediný způsob, jak se dvě vektorové realizace reálné matice mohou lišit: vektory jsou dány jednoznačně až na ortogonální transformace. Jinými slovy, skalární součiny a jsou si rovny, právě když na existuje izometrie, která převádí vektory na .

Totéž platí v komplexním případě s unitárními transformacemi namísto ortogonálních. Shoduje-li se komplexní Gramova matice daná vektory s Gramovou maticí danou vektory , pak lze nalézt unitární matici řádu (neboli matici splňující ) takovou, že pro všechna .

Konstrukce ortonormální báze

[editovat | editovat zdroj]

Pomocí Gramovy matice odpovídající množině lineárně nezávislých vektorů lze sestavit ortonormální bázi předpisem:

Tentýž předpis v maticovém zápisu zní: , přičemž sloupce matice tvoří vektory ortonormální báze a matici dané vektory .

Existence matice vyplývá z toho, že je hermitovská, a proto má rozklad , kde je unitární a je reálná diagonální matice. Vektory jsou lineárně nezávislé, právě když je pozitivně definitní, což znamená, že prvky na diagonále jsou kladné. Matice je jednoznačně definována vztahem . Takto získané vektory jsou ortonormální, protože:

V odvození byl využit vztah , neboť je z definice hermitovská.

  • Přenos stylu obrázku na základě metod souvisejících s Gramovou maticí.
    V Riemannově geometrii lze pro dané vnoření -rozměrného Riemannova mnohostěnu a parametrizaci pro spočítat objemovou formu na vyvolanou vnořením pomocí Gramiánu souřadnicových tečných vektorů:
.
Tímto způsobem lze zobecnit klasický povrchový integrál parametrizovaného povrchu pro :

V tomto článku byly použity překlady textů z článků Gram matrix na anglické Wikipedii a Gramsche Determinante na německé Wikipedii.

  1. ASOKAN, Raghul. Neural Networks Intuitions: 2. Dot product, Gram Matrix and Neural Style Transfer. Medium [online]. 2019-06-21 [cit. 2024-05-24]. Dostupné online. (anglicky) 
  2. LANCKRIET, Gert R. G.; CRISTIANINI, Nello; BARTLETT, Peter. Learning the Kernel Matrix with Semi-Definite Programming. USA: [s.n.] Dostupné online. DOI 10.5555/894170. 

Literatura

[editovat | editovat zdroj]
  • 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. 
  • MOTL, Luboš; ZAHRADNÍK, Miloš. Pěstujeme lineární algebru [online]. [cit. 2023-02-20]. Dostupné online. 

Související články

[editovat | editovat zdroj]

Externí odkazy

[editovat | editovat zdroj]