V lineární algebře a funkcionální analýze je projekcelineá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.
V konečnědimenzionálním případě se čtvercová matice nazývá projekční matice, pokud se rovná svému čtverci, tzn . [2]:s.p. 38
Čtvercová matice se nazývá ortogonální projekční matice, pokud pro reálnou matici, resp pro komplexní matici, kde označuje transponování a označuje hermitovsky sdruženou matici k .[3]:s.p. 223
Projekční matice, která není ortogonální, se nazývá šikmá projekční matice .
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í
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:
je operátor identity na
.
Lze psát , tj. každý vektor může být jedinečně rozložen jako , přičemž a , a .
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 .