lineární operátor, který nemění své obrazy From Wikipedia, the free encyclopedia
V lineární algebře a funkcionální analýze je projekce lineární transformace nějakého vektorového prostoru na sebe taková, že . To znamená, že pokud aplikujeme na jakoukoli hodnotu opakovaně, výsledek je stejný, jako kdybychom ji použili jen jednou (je to idempotentní zobrazení, které nemění prostor svých obrazů).[1] Tato definice formalizuje a zobecňuje myšlenku geometrické projekce.
Projekce na vektorovém prostoru je lineární operátor takový, že .
Pokud má skalární součin a je úplný (tj. když je Hilbertův prostor), lze použít pojem ortogonality. Projekce na Hilbertově prostoru se nazývá ortogonální projekce, pokud platí pro všechny . Projekce na Hilbertově prostoru, která není ortogonální, se nazývá šikmá projekce.
Vlastní hodnoty projekční matice musí být 0 nebo 1.
Například funkce, která mapuje bod v trojrozměrném prostoru do bodu , je ortogonální projekce na rovinu určenou souřadnými osami x a y . Tato funkce je reprezentována maticí
Akce této matice na obecný vektor je
Že je skutečně projekce, tj. , dokážeme takto:
Jelikož , tak tato projekce je ortogonální.
Jednoduchý příklad neortogonální (šikmé) projekce je
Prostřednictvím násobení matic vidíme
To dokazuje, že je opravdu projekce.
Projekce je ortogonální tehdy a jen tehdy, jestliže , protože teprve potom .
Podle definice je každá projekce idempotent (tj ).
Nechť je konečnorozměrný vektorový prostor a projekce na . Předpokládejme, že podprostory a jsou obraz a jádro . Pak má následující vlastnosti:
Obraz a jádro projekce jsou komplementární stejně jako jsou komplementární operátory a . Operátor je také projekce, jejíž obraz je jádro , a jeho jádro naopak obrazem .
I ve vektorových prostorech nekonečné dimenzí (stejně jako u konečné dimenze) je spektrum projekce obsaženo v množině , jelikož
Pouze 0 nebo 1 může být vlastním číslem projekce, což značí, že je vždy pozitivně semi-definitivní operátor/matice. Odpovídající vlastní prostory jsou jádrem a obrazem projekce. Rozklad vektorového prostoru na přímé součty není obecně jedinečný. Proto k podprostoru může existovat mnoho různých projekcí, jejichž obraz (nebo jádro) je .
Pokud je projekce netriviální, má minimální polynom , který má různé kořeny, a tedy je diagonalizovatelná.
Součin projekcí není sám obecně projekcí, i když jde o součin ortogonálních projekcí. Pokud projekce komutují, je jejich součin projekcí.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.