Προβολή πηγαίου κώδικα για τη σελίδα Προβολή (γραμμική άλγεβρα)

[[Αρχείο:Orthogonal_projection.svg|δεξιά|με-πλαίσιο| Ο συγκεκριμένος μετασχηματισμός ''P'' είναι η ορθή προβολή [[επί]] της [[Ευθεία|ευθείας]] ''m''.]]
Στη [[γραμμική άλγεβρα]] και στη [[συναρτησιακή ανάλυση]], η '''προβολή''' είναι ένας [[Γραμμική απεικόνιση|γραμμικός μετασχηματισμός]] <math>P</math> από ένα [[Διανυσματικός χώρος|διανυσματικό χώρο]] στον εαυτό του ([[ενδομορφισμός]]) τέτοιος ώστε <math>P \circ P=P</math>. Επομένως, όποτε ο <math>P</math> εφαρμόζεται δύο φορές σε οποιοδήποτε διάνυσμα, δίνει το ίδιο αποτέλεσμα σαν να είχε εφαρμοστεί μία φορά (δηλαδή ο <math>P</math> είναι [[ταυτοδύναμος]]), αφήνοντας αναλλοίωτη την [./Https://en.wikipedia.org/wiki/Image%20(mathematics) απεικόνιση] του διανύσματος<ref name=":0">{{Cite book|title=Matrix Analysis and Applied Linear Algebra|year=2000|url=https://archive.org/details/matrixanalysisap0000meye|first=Carl Dean|last=Meyer|publisher=Society for Industrial and Applied Mathematics|isbn=978-0898714548|location=U.S.A.|page=[https://archive.org/details/matrixanalysisap0000meye/page/159 159]-457}}</ref>. Αυτός ο ορισμός της προβολής μορφοποιεί [[μαθηματικά]] και γενικεύει την έννοια της [./Https://en.wikipedia.org/wiki/Image%20(mathematics) προβολής ενός τρισδιάστατου αντικειμένου] σε δύο διαστάσεις. Σε αυτό το πλαίσιο μπορεί επίσης να αναλυθεί η προβολή σε ένα γεωμετρικό αντικείμενο, μέσω της προβολής σε επιμέρους [[Σημείο|σημεία]] του αντικειμένου. 

== Ορισμοί ==
Η '''προβολή''' σε ένα διανυσματικό χώρο <math>V</math> είναι ένας γραμμικός τελεστής <math>P : V \to V</math>, έτσι ώστε <math>P^2 = P</math> . 

Όταν ο <math>V</math> είναι χώρος [./Https://en.wikipedia.org/wiki/Inner%20product%20space εσωτερικού γινομένου] και είναι [[Πλήρης μετρικός χώρος|πλήρης]] (δηλ. όταν ο <math>V</math> είναι ένας [[Χώρος Χίλμπερτ|χώρος Hilbert]]), μπορεί να χρησιμοποιηθεί η έννοια της [./Https://en.wikipedia.org/wiki/Orthogonality ορθογωνικότητας]. Μια προβολή <math>P</math> σε ένα χώρο Hilbert <math>V</math> ονομάζεται '''ορθή προβολή''' αν ικανοποιεί <math>\langle P \mathbf x, \mathbf y \rangle = \langle \mathbf x, P \mathbf y \rangle, \forall \mathbf x, \mathbf y \in V</math>. Μια προβολή σε χώρο Hilbert που δεν είναι ορθή ονομάζεται '''πλάγια προβολή'''. 

=== Πίνακας προβολής ===

* Στην περίπτωση ενός χώρου πεπερασμένης [./Https://en.wikipedia.org/wiki/Dimension%20(vector%20space) διάστασης] <math>N</math> , ένας [[τετραγωνικός πίνακας]] <math>\mathbf{P}</math> ονομάζεται '''πίνακας προβολής''' αν είναι ίσος με το τετράγωνό του, δηλαδή αν <math>\mathbf{P}^2 = \mathbf{P}</math> <ref name="HornJohnson">{{Cite book|title=Matrix Analysis, second edition|first=Roger A.|last=Horn|first2=Charles R.|last2=Johnson|publisher=Cambridge University Press|isbn=9780521839402|year=2013|location=United Kingdom|page=223}}</ref>.
* Ένας τετραγωνικός πίνακας <math>P</math> ονομάζεται '''πίνακας ορθής προβολής''' αν <math>\mathbf{P}^2 = \mathbf{P} = \mathbf{P}^T, \mathbf{P} \in \mathbb{R}^{N \times N}</math> [[Πραγματικός αριθμός|πραγματικός]] [[Πίνακας (μαθηματικά)|πίνακας]], με <math>\mathbf{P}^T</math> τον [[Ανάστροφος πίνακας|ανάστροφο]] του <math>\mathbf{P}</math>, ενώ αντίστοιχα <math>\mathbf{P}^2 = \mathbf{P} = \mathbf{P}^{*T}, \mathbf{P} \in \mathbb{C}^{N \times N}</math> [[Μιγαδικός αριθμός|μιγαδικός]] πίνακας, όπου <math>\mathbf{P}^{*T}</math> ο [[συζυγής ανάστροφος πίνακας]] του <math>\mathbf{P}</math> <ref name="HornJohnson" />. 
* Ένας πίνακας προβολής που δεν είναι ορθογώνιος πίνακας προβολής ονομάζεται '''πλάγιος πίνακας προβολής'''. 

Οι [[Ιδιοτιμές και ιδιοδιανύσματα|ιδιοτιμές]] ενός πίνακα προβολής έχουν μόνο δύο τιμές,  0 ή 1. 

== Παραδείγματα ==

=== Ορθογώνια προβολή ===
Για παράδειγμα, μία συνάρτηση που απεικονίζει το σημείο <math>(x,y,z) \in \mathbb{R}^3</math> στο σημείο <math>(x,y,0)</math> είναι μια ορθογώνια προβολή στο επίπεδο <math>{x,y}</math>. Αυτή η συνάρτηση αντιπροσωπεύεται από τον πίνακα<math display="block">\mathbf{P} = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 0 \end{bmatrix}.</math>Η επίδραση αυτού του πίνακα σε ένα τυχαίο [[Ευκλείδειο διάνυσμα|διάνυσμα]] είναι<math display="block">\mathbf{P} \cdot \begin{bmatrix} x \\ y \\ z \end{bmatrix} = \begin{bmatrix} x \\ y \\ 0 \end{bmatrix}.</math>Για να αποδείξουμε ότι ο <math>\mathbf{P}</math> είναι πράγματι ένας πίνακας προβολής, δηλ. <math>\mathbf{P} = \mathbf{P}^2</math>, υπολογίζουμε<math display="block">\mathbf{P}^2 \cdot \begin{bmatrix} x \\ y \\ z \end{bmatrix} 
= \mathbf{P} \begin{bmatrix} x \\ y \\ 0 \end{bmatrix} 
= \begin{bmatrix} x \\ y \\ 0 \end{bmatrix} 
= \mathbf{P} \cdot \begin{bmatrix} x \\ y \\ z \end{bmatrix}.</math>Η επιπρόσθετη παρατήρηση ότι <math>\mathbf{P}^T = \mathbf{P}</math> δείχνει ότι η προβολή είναι επίσης ορθή προβολή. 

=== Πλάγια προβολή ===
Ένα απλό παράδειγμα μη ορθογώνιας (πλάγιας) προβολής είναι<math display="block">\mathbf{P} = \begin{bmatrix} 0 & 0 \\ \alpha & 1 \end{bmatrix}.</math>Μέσω [[Πολλαπλασιασμός πινάκων|πολλαπλασιασμού πινάκων]], προκύπτει ότι <math display="block">\mathbf{P}^2 
= \begin{bmatrix} 0 & 0 \\ \alpha & 1 \end{bmatrix} 
    \cdot \begin{bmatrix} 0 & 0 \\ \alpha & 1 \end{bmatrix} 
= \begin{bmatrix} 0 & 0 \\ \alpha & 1 \end{bmatrix} = \mathbf{P}, </math>επομένως <math>\mathbf{P}</math> είναι όντως πίνακας προβολής. 

Ο πίνακας προβολής <math>\mathbf{P}</math> είναι πίνακας ορθής προβολής [[αν και μόνο αν]] <math>\alpha = 0</math> γιατί μόνο τότε <math>\mathbf{P}^T = \mathbf{P}.</math>

== Ιδιότητες και ταξινόμηση ==
[[Αρχείο:Oblique_projection.svg|δεξιά|με-πλαίσιο| Ο μετασχηματισμός ''T'' είναι η προβολή κατά μήκος της ευθείας ''k'' στην ευθεία ''m''. Το [./Https://en.wikipedia.org/wiki/Linear%20span εύρος] του ''T'' (ή [[Χώρος Γραμμών και Χώρος Στηλών|χώρος στηλών]] του αντίστοιχου πίνακα) είναι ''m'' και ο [[Πυρήνας (γραμμική άλγεβρα)|πυρήνας]] ή μηδενικός χώρος είναι ''k''. ]]

=== Ταυτοδυναμία ===
Εξ ορισμού ο πίνακας <math>\mathbf{P}</math> είναι [[ταυτοδύναμος πίνακας|ταυτοδύναμος]] (δηλ. <math>\mathbf{P}^2 = \mathbf{P}</math>). 

=== Ανοικτή απεικόνιση ===
Κάθε προβολή είναι μία [./Https://en.wikipedia.org/wiki/Open%20and%20closed%20maps ανοικτή απεικόνιση], που σημαίνει ότι είναι μια συνάρτηση μεταξύ δύο [[Τοπολογικός χώρος|τοπολογικών χώρων]] η οποία απεικονίζει ένα [[Ανοικτό σύνολο|ανοιχτό σύνολο]] σε ένα άλλο [[Τοπολογικός χώρος#Ορισμός ανοιχτών συνόλων|ανοικτό σύνολο]].  Δηλαδή, για οποιοδήποτε διάνυσμα <math>\mathbf{x}</math> και οποιαδήποτε [[Γειτονιά (μαθηματικά)|γειτονιά]] του <math>\mathbf{x}</math>, με κέντρο <math>\mathbf{x}</math> και οσοδήποτε μικρή, υπάρχει μια γειτονιά με κέντρο <math>\mathbf{P} \cdot \mathbf{x}</math> που περιέχεται εξ ολοκλήρου στην απεικόνιση της γειτονιάς του <math>\mathbf{x}</math>. 

=== Συμπληρωματικότητα απεικόνισης και πυρήνα ===
Έστω <math>W</math> είναι ένας πεπερασμένος [[διανυσματικός χώρος]] και <math>P</math> να είναι μια προβολή στον <math>W</math>. Ας υποθέσουμε ότι οι [./Https://en.wikipedia.org/wiki/Linear%20subspace υποχώροι] <math>U</math> και <math>V</math> είναι η [./Https://en.wikipedia.org/wiki/Open&#x20;and&#x20;closed&#x20;maps απεικόνιση] και ο [[Πυρήνας (γραμμική άλγεβρα)|πυρήνας]] του <math>P</math> αντίστοιχα. Τότε ο πίνακας προβολής <math>\mathbf{P}</math> έχει τις εξής ιδιότητες:

# Ο <math>\mathbf{P}</math> είναι η [[ταυτοτική συνάρτηση]] <math>\mathbf{I}</math> επί του <math>U</math>  <math>\forall \mathbf x \in U: P \mathbf x = \mathbf x. </math>
# Έχουμε μία [./Https://en.wikipedia.org/wiki/Direct%20sum%20of%20modules άμεση σύνθεση] <math>W = U \oplus V</math> . Κάθε διάνυσμα <math>\mathbf x \in W</math> μπορεί να αποσυντεθεί μοναδικά ως <math>\mathbf x = \mathbf u + \mathbf v</math> με <math>\mathbf{u} = \mathbf{P} \cdot \mathbf{x}</math> και <math>\mathbf{v} 
= \mathbf{x} - \mathbf{P} \cdot \mathbf{x} 
= \left( \mathbf{I} - \mathbf{P} \right) \cdot \mathbf{x}</math>, και για <math>\mathbf{u} \in U, \mathbf{v} \in V</math>.

Η απεικόνιση και ο πυρήνας μιας προβολής είναι ''συμπληρωματικά'', όπως και <math>\mathbf{P}</math> και <math>\mathbf{Q} = \mathbf{I} - \mathbf{P}</math> . Ο πίνακας <math>\mathbf{Q}</math> είναι επίσης ένας πίνακας προβολής, καθώς η απεικόνιση και ο πυρήνας του <math>\mathbf{P}</math> είναι ο πυρήνας και η απεικόνιση του <math>\mathbf{Q}</math> και αντίστροφα. Λέμε ότι <math>P</math> είναι μια προβολή κατά μήκος του <math>V</math> επάνω στον <math>U</math> (πυρήνας/απεικόνιση) και <math>Q</math> είναι μια προβολή κατά μήκος του <math>U</math> επάνω στον <math>V</math>. 

=== Φάσμα ===
Σε διανυσματικούς χώρους άπειρων διαστάσεων, το [./Https://en.wikipedia.org/wiki/Spectrum%20(functional%20analysis) φάσμα] μιας προβολής περιέχεται στο σύνολο <math>\{ 0, 1 \}</math> (δηλαδή όλες οι γενικευμένες [[Ιδιοτιμές και ιδιοδιανύσματα|ιδιοτιμές]] ή τιμές του φάσματος είναι 0 ή 1),  όπως και<math display="block">\left( \lambda \mathbf{I} - \mathbf{P} \right)^{-1} 
= \frac{1}{\lambda} \mathbf{I} 
+ \frac{1}{\lambda (\lambda-1)} \mathbf{P}.</math>Μόνο το 0 ή το 1 μπορεί να είναι [[Ιδιοτιμές και ιδιοδιανύσματα|ιδιοτιμή]] μιας προβολής. Αυτό σημαίνει ότι ένας πίνακας ορθής προβολής <math>\mathbf{P}</math> είναι πάντα ένας πίνακας μη αρνητικών ιδιοτιμών ([./Https://en.wikipedia.org/wiki/Definite%20matrix μονοπρόσημος]), δηλαδή  <math>\mathbf{x}^T \cdot \mathbf{P} \cdot \mathbf{x} \geq 0, \forall \mathbf{x} \in \mathbb{R}^N</math> όπου <math>N</math> είναι η διάσταση του χώρου. Γενικά, οι αντίστοιχοι [[Ιδιοτιμές και ιδιοδιανύσματα|ιδιο-υποχώροι]] είναι (αντίστοιχα) ο [[Πυρήνας (γραμμική άλγεβρα)|πυρήνας]] και ο [[Χώρος Γραμμών και Χώρος Στηλών|χώρος στηλών]] του πίνακα ή εύρος της προβολής. Η ανάλυση ενός διανυσματικού χώρου σε υποχώρους αθροίσματα δεν είναι μοναδική. Επομένως, για δεδομένο υποχώρο <math>V</math>, μπορεί να υπάρχουν πολλές προβολές των οποίων το εύρος (ή ο πυρήνας) είναι <math>V</math>.

Εάν μια προβολή είναι μη τετριμμένη, έχει [[ελάχιστο πολυώνυμο]] <math>x^2 - x = x (x-1)</math>, το οποίο παραγοντοποιείται σε διακριτούς γραμμικούς παράγοντες, και έτσι ο <math>\mathbf{P}</math> είναι [[διαγωνοποιήσιμος πίνακας|διαγωνοποιήσιμος]]. 

=== Γινόμενο πινάκων προβολής ===
Το γινόμενο των πινάκων προβολής, γενικά δεν είναι πίνακας προβολής, ακόμα κι αν οι πίνακες είναι μεταξύ τους ορθογώνιοι. Εάν δύο πίνακες προβολής είναι [[Αντιμεταθέσιμοι πίνακες|αντιμεταθέσιμοι]], τότε το γινόμενο τους είναι πίνακας προβολής, αλλά το λογικό [[Αντίστροφο (λογική)|αντίστροφο]] δεν ισχύει: το γινόμενο δύο μη αντιμεταθέσιμων πινάκων προβολής μπορεί να είναι πίνακας προβολής. 

Εάν δύο ορθογώνιοι μεταξύτους πίνακες προβολής είναι αντιμεταθέσιμοι, τότε το γινόμενο τους είναι ένας πίνακας ορθής προβολής. Εάν το γινόμενο δύο πινάκων ορθής προβολής είναι ένας πίνακας ορθής προβολής, τότε οι δύο αρχικοί πίνακες ορθής προβολής είναι αντιμεταθέσιμοι. 

=== Ορθές προβολές ===
{{Κύριο|Hilbert projection theorem|Complemented subspace}}
Όταν ο διανυσματικός χώρος <math>W</math> είναι χώρος [./Https://en.wikipedia.org/wiki/Inner%20product%20space εσωτερικού γινομένου] και είναι [[Πλήρης μετρικός χώρος|πλήρης]] (δηλ. όταν ο <math>W</math> είναι ένας [[Χώρος Χίλμπερτ|χώρος Hilbert]]) μπορεί να χρησιμοποιηθεί η έννοια της [./Https://en.wikipedia.org/wiki/Orthogonality ορθογωνικότητας]. Μια '''ορθή προβολή''' είναι μια προβολή για την οποία το εύρος <math>U</math> και το μηδενικό διάστημα <math>V</math> είναι ορθογώνιοι υποχώροι. Έτσι, 

<math> \langle \mathbf{P} \mathbf{x} , (\mathbf{y} - \mathbf{P} \mathbf{y}) \rangle 
= \langle ( \mathbf{x} - \mathbf{P} \mathbf{x} ), \mathbf{P} \mathbf{y} \rangle = 0 
, \forall \mathbf{x}, \mathbf{y} \in W</math> 

Ισοδύναμα, <math display="block"> \langle \mathbf{x}, \mathbf{P} \mathbf{y} \rangle 
= \langle \mathbf{P} \mathbf{x}, \mathbf{P} \mathbf{y} \rangle 
= \langle \mathbf{P} \mathbf{x}, \mathbf{y} \rangle . </math>Μια προβολή είναι ορθογώνια αν και μόνο αν είναι [[Αυτοσυζυγής τελεστής|αυτοσυνημμένη]] . Χρησιμοποιώντας τις ιδιότητες του <math>\mathbf{P}</math>, έχουμε <math>\forall \mathbf{x}, \mathbf{y} \in W,  \mathbf{P} \mathbf{x} \in U, \mathbf{y} - \mathbf{P} \mathbf{y} \in V</math> και<math display="block"> \langle \mathbf{P} \mathbf{x}, \mathbf{y} - \mathbf{P} \mathbf{y} \rangle 
= \langle \mathbf{P}^2 \mathbf{x}, \mathbf{y} - \mathbf{P} \mathbf{y} \rangle 
= \langle \mathbf{P} \mathbf{x}, \mathbf{P} \left( \mathbf{I}- \mathbf{P} \right) \mathbf{y} \rangle 
= \langle \mathbf{P} \mathbf{x}, \left( \mathbf{P} - \mathbf{P}^2 \right) \mathbf{y} \rangle = 0</math>όπου <math>\langle \cdot, \cdot \rangle</math> είναι το εσωτερικό γινόμενο που σχετίζεται με τον <math>W</math>. Επομένως, <math>\mathbf{P} </math> και <math>\mathbf{I} - \mathbf{P} </math> είναι πίνακες ορθής προβολής <ref name=":0" />. Η άλλη περίπτωση, δηλαδή ότι αν <math>\mathbf{P}</math> είναι πίνακας ορθής προβολής τότε η προβολή αυτοσυνημμένη, προκύπτει από την σχέση <math display="block"> \langle \mathbf{x}, \mathbf{P} \mathbf{y} \rangle 
= \langle \mathbf{P} \mathbf{x}, \mathbf{y} \rangle 
= \langle \mathbf{x}, \mathbf{P}^T \mathbf{y} \rangle </math>για κάθε <math>\mathbf{x}, \mathbf{y} \in W </math>, οπότε <math>\mathbf{P} = \mathbf{P}^T</math>.   

'''Απόδειξη της ύπαρξης του πίνακα ορθής προβολής''' 

Έστω <math>H</math> ένας πλήρης [[μετρικός χώρος]] με εσωτερικό γινόμενο, και έστω <math>U</math> ένας κλειστός γραμμικός υποχώρος του (επομένως, επίσης πλήρης). 

Για κάθε <math>\mathbf{x}</math>, το ακόλουθο σύνολο μη αρνητικών  [./Https://en.wikipedia.org/wiki/Norm%20(mathematics) αποστάσεων] <math>\{ \| \mathbf{x} - \mathbf{u} \| : \mathbf{u} \in U \}</math> έχει ένα [./Https://en.wikipedia.org/wiki/Infimum%20and%20supremum κάτω όριο], το οποίο λόγω της πληρότητας του <math>U</math> είναι και [./Https://en.wikipedia.org/wiki/Maxima%20and%20minima ελάχιστο]. Ορίζουμε ως <math>\mathbf{P} \cdot \mathbf{x}</math> το ως το σημείο του <math>U</math>, για το οποίο επιτυγχάνεται το παραπάνω ελάχιστο. 

Προφανώς . Παραμένει προς απόδειξη ότι για το <math>\mathbf{P} \cdot \mathbf{x}</math> ικανοποιείται η σχέση <math>\langle \mathbf{x} - \mathbf{P} \cdot \mathbf{x}
, \mathbf{P} \cdot \mathbf{x} \rangle = 0</math> και ότι η σχέση είναι γραμμική. 

Έστω <math>\mathbf{a} = \mathbf{x} - \mathbf{P} \cdot \mathbf{x}</math>. Για κάθε μη μηδενικό <math>\mathbf{v} \in U</math>, η ακόλουθη σχέση ισχύει: 

<math>\left \Vert 
\mathbf{a} - \frac{ \langle \mathbf{a}, \mathbf{v} \rangle }{\| \mathbf{v} \|^2} \mathbf{v} 
\right \Vert^2 
= \| \mathbf{a} \|^2 - \frac{ \langle \mathbf{a}, \mathbf{v} \rangle^2 }{\| \mathbf{v} \|^2} .</math>

Ορίζοντας <math>\mathbf{w} =  
\mathbf{P} \cdot \mathbf{x} + \frac{ \langle \mathbf{a}, \mathbf{v} \rangle }{\| \mathbf{v} \|^2} \mathbf{v} </math>, διαπιστώνουμε ότι <math>\| \mathbf{x} - \mathbf{w} \| < \| \mathbf{x} - \mathbf{P} \cdot \mathbf{x} \|</math>εκτός εάν <math>\langle \mathbf{a} , \mathbf{v} \rangle = 0</math>. Εφόσον για το <math>\mathbf{P} \cdot \mathbf{x}</math> επιλέχθηκε ώστε να ισχύει το ελάχιστο του συνόλου, προκύπτει ότι όντως <math>\langle \mathbf{a} , \mathbf{v} \rangle = 0</math>. Συγκεκριμένα για <math>\mathbf{y} = \mathbf{P} \cdot \mathbf{x}: 
\langle \mathbf{x} - \mathbf{P} \cdot \mathbf{x}, \mathbf{P} \cdot \mathbf{x} \rangle 
= 0</math>. 

Η γραμμικότητα προκύπτει από την σχέση <math>\langle \mathbf{x} - \mathbf{P} \cdot \mathbf{x}, \mathbf{v} \rangle = 0 
, \forall \mathbf{v} \in U</math>:

<math>\langle (\mathbf{x} + \mathbf{y}) - \mathbf{P} \cdot (\mathbf{x} + \mathbf{y}), \mathbf{v}
\rangle 
= 0</math>

<math>\langle 
(\mathbf{x} - \mathbf{P} \cdot \mathbf{x} ) 
+ (\mathbf{y} - \mathbf{P} \cdot \mathbf{y} )
, \mathbf{v}
\rangle 
= 0</math>. 

Εφόσον πάρουμε τη διαφορά μεταξύ των δύο εξισώσεων, έχουμε: 

<math>\langle 
\mathbf{P} \cdot \mathbf{x} + \mathbf{P} \cdot \mathbf{y} 
- \mathbf{P} \cdot (\mathbf{x} + \mathbf{y})
, \mathbf{v}
\rangle 
= 0 </math>. 

Όμως, εφόσον μπορούμε να επιλέξουμε <math>\mathbf{v} 
= \mathbf{P} \cdot \mathbf{x} + \mathbf{P} \cdot \mathbf{y} 
- \mathbf{P} \cdot (\mathbf{x} + \mathbf{y})  </math> ( αφού <math>\mathbf{v} \in U </math>), προκύπτει ότι <math>\mathbf{P} \cdot \mathbf{x} + \mathbf{P} \cdot \mathbf{y} 
= \mathbf{P} \cdot (\mathbf{x} + \mathbf{y})  </math>. Παρόμοια προκύπτει ότι <math>\lambda \mathbf{P} \cdot \mathbf{x} 
= \mathbf{P} \cdot (\lambda \mathbf{x} )  </math> για κάθε λ [[Μονόμετρο μέγεθος|μονόμετρο]], δηλαδή πραγματικό ή μιγαδικό αριθμό. 



 

==== Ιδιότητες και ειδικές περιπτώσεις ====
Μια ορθή προβολή είναι ένας [./Https://en.wikipedia.org/wiki/Bounded%20operator περιορισμένος τελεστής], δηλαδή ένας μετασχηματισμός από [./Https://en.wikipedia.org/wiki/Bounded%20set%20(topological%20vector%20space) εσώκλειστο σύνολο] σε επίσης εσώκλειστο σύνολο. Αυτό συμβαίνει γιατί για κάθε <math>\mathbf v</math> στον διανυσματικό χώρο έχουμε, από την [[Ανισότητα Κωσύ-Σβαρτς|ανισότητα Cauchy–Schwarz]] :<math display="block">\left \| \mathbf{P} \cdot \mathbf{v} \right\|^2 
= \langle \mathbf{P} \cdot \mathbf{v}, \mathbf{P} \cdot \mathbf{v} \rangle 
= \langle \mathbf{P} \cdot \mathbf{v}, \mathbf{v} \rangle 
\leq \left\| \mathbf{P} \cdot \mathbf{v} \right\| \cdot \left\| \mathbf{v} \right\| </math>Επομένως, <math>\left\|P \mathbf v\right\| \leq \left\|\mathbf v\right\|</math> .

Για μιγαδικούς ή πραγματικούς διανυσματικούς χώρους πεπερασμένων διαστάσεων, το [[Εσωτερικό γινόμενο|τυπικό εσωτερικό γινόμενο]] μπορεί να αντικατασταθεί με το σύμβολο <math>\langle \cdot, \cdot \rangle</math>.

===== Μαθηματικοί τύποι =====
Μια απλή περίπτωση εφαρμογής της ορθής προβολής είναι πάνω σε μια γραμμή. Αν <math>\mathbf u</math> είναι ένα [[μοναδιαίο διάνυσμα]] στη γραμμή, τότε η προβολή δίνεται από το [./Https://en.wikipedia.org/wiki/Outer%20product εξωτερικό γινόμενο] <math>\mathbf{P}_{\mathbf{u}} = \mathbf{u} \cdot \mathbf{u}^T </math>. 

(Αν <math>\mathbf u</math> είναι μιγαδικό διάνυσμα, τότε <math> \mathbf{P}_{\mathbf{u}} = \mathbf{u} \cdot \mathbf{u}^{*T}</math>).  Αυτός ο τελεστής αφήνει το <math> \mathbf{u}</math> αμετάβλητο και εξαφανίζει όλα τα διανύσματα που είναι ορθογώνια προς <math> \mathbf{u}</math>, αποδεικνύοντας ότι είναι πράγματι η ορθή προβολή στη γραμμή που ορίζει το <math> \mathbf{u}</math>  <ref name=":0" />. Ένας απλός τρόπος για να ελεγχθεί αυτό είναι να αναλυθεί ένα τυχαίο διάνυσμα <math>\mathbf x</math> ως το άθροισμα του προβαλλόμενου διανύσματος και μιας άλλης κάθετης σε αυτήν, <math>\mathbf x = \mathbf x_\parallel + \mathbf x_\perp</math>. Εφαρμόζοντας την προβολή και τις ιδιότητες του [[Εσωτερικό γινόμενο|εσωτερικού γινομένου]] παράλληλων και κάθετων διανυσμάτων, παίρνουμε <math display="block">
 P_{\mathbf u} \cdot \mathbf{x} 
= \mathbf{u} \cdot \mathbf{u}^T \cdot \mathbf{x}_\parallel 
+ \mathbf{u} \cdot \mathbf{u}^T \cdot \mathbf{x}_\perp 
= \mathbf{u} \cdot \left( \sgn \left( \mathbf{u}^T \cdot \mathbf{x}_\parallel \right) \cdot \left \| \mathbf{x}_\parallel \right \| \right) 
+ \mathbf{u} \cdot \mathbf{0} 
= \mathbf x_\parallel .
</math> 

Αυτός ο τύπος μπορεί να γενικευτεί σε ορθές προβολές σε έναν υποχώρο αυθαίρετης [./Https://en.wikipedia.org/wiki/Dimension%20(vector%20space) διάστασης]. Έστω <math>\mathbf u_1, \ldots, \mathbf u_K</math> μια [./Https://en.wikipedia.org/wiki/Orthonormal%20basis ορθοκανονική βάση] του υποχώρου <math>U</math>, με  <math>K \geq 1, K \in \mathbb{N}</math>, και έστω <math>\mathbf{A} \in \mathbb{R}^{N \times K}</math> πίνακας του οποίου οι στήλες είναι <math>\mathbf u_1, \ldots, \mathbf u_K</math> δηλ. <math>\mathbf{A} = \begin{bmatrix} \mathbf{u}_1 & \ldots & \mathbf{u}_K \end{bmatrix}</math> . Τότε η προβολή δίνεται από <ref name=":0" />: <math display="block">\mathbf{P}_{\mathbf{A}} = \mathbf{A} \cdot  \mathbf{A}^T 
= \begin{bmatrix} \mathbf{u}_1 & \ldots & \mathbf{u}_K \end{bmatrix} 
\cdot \begin{bmatrix} \mathbf{u}_1^T \\ \vdots \\ \mathbf{u}_K^T \end{bmatrix} 
= \sum_{k=1}^{K} \mathbf{u}_k \cdot \mathbf{u}_k^T </math>


Ο πίνακας <math>\mathbf{A}^T</math> αποτελεί την [./Https://en.wikipedia.org/wiki/Partial%20isometry μερική ισομετρία] που μηδενίζεται στο [./Https://en.wikipedia.org/wiki/Orthogonal%20complement ορθογώνιο συμπλήρωμα] του <math>U</math> και ο <math>\mathbf{A}</math> αποτελεί την ισομετρία που ενσωματώνει <math>U</math> στον υποκείμενο διανυσματικό χώρο. Το εύρος των <math>P_A</math> είναι επομένως ο ''τελικός χώρος'' του <math>A</math> . Είναι επίσης σαφές ότι <math>A A^{\mathsf T}</math> είναι ενεργοποιημένος ο τελεστής ταυτότητας <math>U</math> .

Η συνθήκη ορθοκανονικότητας μπορεί επίσης να απορριφθεί. Εάν <math>\mathbf{u}_1, \ldots, \mathbf{u}_K</math> είναι μια (όχι απαραίτητα ορθοκανονική) [./Https://en.wikipedia.org/wiki/Basis%20(linear%20algebra) βάση] με <math>K \geq 1</math>, και <math>\mathbf{A}</math> είναι ο πίνακας με τα τα παραπάνω διανύσματα ως στήλες, τότε η προβολή είναι <ref name=":1">{{Cite book|title=Linear Algebra and Matrix Analysis for Statistics|first=Sudipto|last=Banerjee|first2=Anindya|last2=Roy|publisher=Chapman and Hall/CRC Texts in Statistical Science|isbn=978-1420095388|year=2014|location=U.S.A.|page=179-203}}</ref> <ref name=":0" />: <math display="block">\mathbf{P}_{\mathbf{A}} 
= \mathbf{A} \cdot \left( \mathbf{A}^T \cdot \mathbf{A} \right)^{-1} \mathbf{A}^T.</math>Ο πίνακας <math>\mathbf{A}</math> ακόμα ενσωματώνει τον <math>U</math> στον υποκείμενο διανυσματικό χώρο αλλά δεν είναι πλέον ισομετρία γενικά. Ο πίνακας <math>\left( \mathbf{A}^T \mathbf{A} \right)^{-1}</math> είναι ένας «κανονικοποιητικός παράγοντας» που αποκαθιστά το σωστό μέγεθος των διανυσμάτων στα οποία εφαρμόζεται η ορθή προβολή. Για παράδειγμα, ο τελεστής πρώτου βαθμού <math>\mathbf{u} \cdot \mathbf{u}^T </math> δεν είναι προβολή αν <math>\left\| \mathbf{u} \right\| \neq 1.</math> Μετά τη διαίρεση με <math>\mathbf{u}^T \cdot \mathbf{u} = \left\| \mathbf{u} \right\|^2,</math> παίρνουμε την προβολή <math>\mathbf{u} \left( \mathbf{u}^T \mathbf{u} \right)^{-1} \mathbf{u}^T </math> στον υποχώρο που ορίζεται από το διάνυσμα <math>\mathbf{u} 
</math>. 


Όταν ο χώρος στηλών του πίνακα προβολής δημιουργείται από ένα [./Https://en.wikipedia.org/wiki/Frame%20(linear%20algebra) πλαίσιο] (δηλ. ο αριθμός των γεννητριών είναι μεγαλύτερος από τη διάστασή του), ο πίνακας προβολής παίρνει τη μορφή: <math>\mathbf{P}_{\mathbf{A}} 
= \mathbf{A} \cdot \mathbf{A}^+</math> . Εδώ <math>\mathbf{A}^+ = \left( \mathbf{A}^T \cdot \mathbf{A} \right) \cdot \mathbf{A}^T </math> είναι ο [./Https://en.wikipedia.org/wiki/Moore-Penrose%20inverse ψευδοανάστροφος πίνακας Moore–Penrose]. Αυτός είναι μόνο ένας από τους πολλούς τρόπους κατασκευής του πίνακα προβολής.

Αν <math>\begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix}</math> είναι ένας αναστρέψιμος πίνακας και <math>\mathbf{A}^T \cdot \mathbf{B} = \mathbf{0}</math> (δηλαδή, ο <math>\mathbf{B}</math> είναι ο πυρήνας του <math>\mathbf{A}</math> ), <ref>See also [[Linear least squares (mathematics)#Properties of the least-squares estimators|Linear least squares (mathematics) § Properties of the least-squares estimators]].</ref> ισχύει το εξής:<math display="block">\begin{align}
\mathbf{I} &= \begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix} 
\cdot \begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix}^{-1}
\cdot \begin{bmatrix} \mathbf{A}^T \\ \mathbf{B}^T \end{bmatrix}^{-1} 
\cdot \begin{bmatrix} \mathbf{A}^T \\ \mathbf{B}^T \end{bmatrix} \\ 
  &= \begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix} 
  \cdot \left(
  \begin{bmatrix} \mathbf{A}^T \\ \mathbf{B}^T \end{bmatrix}
  \begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix}
  \right )^{-1} 
  \cdot \begin{bmatrix} \mathbf{A}^T \\ \mathbf{B}^T \end{bmatrix} \\ 
  &= \begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix} 
  \cdot \begin{bmatrix} \mathbf{A}^T \mathbf{A} & \mathbf{0} \\ 
        \mathbf{0} & \mathbf{B}^T \mathbf{B} \end{bmatrix}^{-1} 
  \cdot \begin{bmatrix} \mathbf{A}^T \\ \mathbf{B}^T \end{bmatrix}\\ 
  &= \mathbf{A} \left( \mathbf{A}^T \mathbf{A} \right)^{-1} \cdot \mathbf{A}^T 
  + \mathbf{B} \left( \mathbf{B}^T \mathbf{B} \right)^{-1} \mathbf{B}^T 
\end{align}</math>Εάν η ορθογώνια συνθήκη ενισχυθεί σε <math>\mathbf{A}^T \cdot \mathbf{W} \cdot \mathbf{B} 
= \mathbf{A}^T \mathbf{W}^T \mathbf{B} = \mathbf{0} </math> όπου <math>\mathbf{W} </math> αναστρέψιμος, ισχύει το εξής:<math display="block">\mathbf{I} 
= \begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix} 
\cdot \begin{bmatrix} 
  \left( \mathbf{A}^T\mathbf{W} \mathbf{A} \right)^{-1} \cdot \mathbf{A}^T 
  \\ \left( \mathbf{B}^T \mathbf{W} \mathbf{B} \right)^{-1} \cdot \mathbf{B}^T 
\end{bmatrix} 
\cdot \mathbf{W} .</math>Όλοι αυτοί οι τύποι ισχύουν επίσης για μιγαδικούς χώρους εσωτερικού γινομένου, υπό την προϋπόθεση ότι χρησιμοποιείται η αναστοφος συζυγής του πίνακα <math>\mathbf{A}^{*T}</math>, αντί του ανάστροφου <math>\mathbf{A}^T</math>. Περισσότερες λεπτομέρειες σχετικά με τα αθροίσματα των πινάκων προβολής στο βιβλίο των Banerjee and Roy (2014) <ref name=":1" />, όπως και το βιβλίο του Banerjee (2004) <ref>{{Citation|last=Banerjee|first=Sudipto|date=2004|title=Revisiting Spherical Trigonometry with Orthogonal Projectors|journal=The College Mathematics Journal|volume=35|number=5|pages=375–381|doi=10.1080/07468342.2004.11922099}}</ref> για την εφαρμογή των αθροισμάτων των πινάκων προβολής στη βασική [./Https://en.wikipedia.org/wiki/Spherical%20trigonometry σφαιρική τριγωνομετρία]. 

=== Πλάγιες προβολές ===
Ο όρος ''πλάγιες προβολές'' χρησιμοποιείται μερικές φορές για να αναφερθεί σε μη ορθές προβολές. Αυτές οι προβολές χρησιμοποιούνται επίσης για την αναπαράσταση χωρικών σχημάτων σε δισδιάστατα σχέδια (βλ. [./Https://en.wikipedia.org/wiki/Oblique%20projection πλάγια προβολή]), αν και όχι τόσο συχνά όσο οι ορθές προβολές. Ενώ ο υπολογισμός της βέλτιστης τιμής για μια [[Παλινδρόμηση (στατιστική)|στατιστική παλινδρόμηση]] με τη μέθοδο των [./Https://en.wikipedia.org/wiki/Ordinary%20least%20squares απλών ελαχίστων τετραγώνων] απαιτεί μια ορθή προβολή, ο υπολογισμός της βέλτιστης τιμής μιας αντίστοιχης στατιστικής παλινδρόμησης με τη μέθοδο των [./Https://en.wikipedia.org/wiki/Instrumental%20variables%20estimation θεμελιωδών μεταβλητών] απαιτεί μια πλάγια προβολή. 

Οι προβολές ορίζονται από τον πυρήνα του πίνακα προβολής και τα διανύσματα που συνιστούν την βάση που ορίζει τον χώρο στηλών του πίνακα προβολής (το οποίο είναι το συμπλήρωμα του πυρήνα ή κενού χώρου). Όταν αυτά τα διανύσματα βάσης είναι ορθογώνια προς τον μηδενικό χώρο, τότε η προβολή είναι μια ορθή προβολή. Όταν αυτά τα διανύσματα βάσης δεν είναι ορθογώνια στον μηδενικό χώρο, η προβολή είναι μια πλάγια προβολή ή απλώς μια γενική προβολή. 

==== Ένας τύπος αναπαράστασης πίνακα για έναν μη μηδενικό τελεστή προβολής ====
Έστω <math>\mathbf{P}</math> ένας πίνακας προβολής <math>\mathbf{P} : V \to V</math> τέτοια που <math>\mathbf{P}^2 = \mathbf{P} </math> και ότι <math>\mathbf{P} : V \to V</math> μη  μηδενικός τελεστής. Έστω τα διανύσματα <math>\mathbf u_1, \ldots, \mathbf u_K</math> αποτελούν τη βάση για τον χώρο στηλών του πίνακα προβολής και ορίζουν τον πίνακα <math>\mathbf{A}</math> διαστάσεων <math>N \times K</math>. Επομένως ο ακέραιος <math>K \geq 1</math>, σε διαφορετική περίπτωση <math>K = 0</math> και <math>\mathbf{P}</math> είναι ο μηδενικός τελεστής. Ο χώρος στηλών και ο πυρήνας ή κενός χώρος είναι συμπληρωματικοί χώροι, επομένως ο κενός χώρος έχει διάσταση N-K. Από αυτό προκύπτει ότι το [./Https://en.wikipedia.org/wiki/Orthogonal%20complement ορθογώνιο συμπλήρωμα] του κενού χώρου έχει διάσταση K. Έστω ότι <math>\mathbf v_1, \ldots, \mathbf v_K</math> να σχηματίζουν μια βάση για το ορθογώνιο συμπλήρωμα του μηδενικού χώρου της προβολής και να ορίζουν τον πίνακα <math>\mathbf{B}</math>. Επομένως, ο πίνακας προβολής <math>\mathbf{P}</math> (<math>K \geq 1</math> ) δίνεται από<math display="block"> \mathbf{P} = \mathbf{A} \cdot \left( \mathbf{B}^T \cdot \mathbf{A} \right)^{-1} \mathbf{B}^T . </math>


Αυτή η έκφραση γενικεύει τον τύπο για τις ορθογώνιες προβολές που δόθηκε παραπάνω <ref name=":1" /> <ref name=":0" />. Μια τυπική απόδειξη αυτής της έκφρασης έχει ως ακολούθως. Οποιοδήποτε διάνυσμα <math>\mathbf x</math> στον διανυσματικό χώρο <math>V</math>, μπορεί να εκφραστεί σαν <math>\mathbf{x} = \mathbf{x}_1 + \mathbf{x}_2</math>, όπου <math>\mathbf{x}_1 = P(\mathbf{x})</math> η προβολή του <math> \mathbf{x}_1  </math>και <math>\mathbf{x}_2 = \mathbf{x} - P(\mathbf{x})</math>. Έτσι <math>P(\mathbf{x}_2) = P(\mathbf{x}) - P^2(\mathbf{x})= \mathbf{0}</math>, και επομένως το <math>\mathbf{x}_2</math> βρίσκεται στον κενό χώρο (πυρήνα) του <math>\mathbf{P}</math>. Με άλλα λόγια, το διάνυσμα <math>\mathbf{x}_1</math> βρίσκεται στο χώρο στηλών του <math>\mathbf{A}</math>, επομένως <math>\mathbf{x}_1 = \mathbf{A} \cdot \mathbf{w}</math> για τυχαίο διάνυσμα <math>\mathbf{w}</math> διάστασης K, ενώ το διάνυσμα <math>\mathbf{x}_2</math> ικανοποιεί την σχέση <math>\mathbf{B}^T \cdot \mathbf{x}_2= \mathbf{0}</math>, που προκύπτει από τον ορισμό του <math>\mathbf{B}</math>. Βάζοντας αυτές τις συνθήκες μαζί, για το διάνυσμα <math>\mathbf{w}</math> προκύπτει ότι <math>\mathbf{B}^T \cdot 
( \mathbf{x} - \mathbf{A} \cdot \mathbf{w} ) 
= \mathbf{0}</math>. Εφόσον και οι δύο πίνακες <math>\mathbf{A}</math> και <math>\mathbf{B}</math> είναι πλήρους βαθμού K εξ' ορισμού, ο πίνακας <math>\mathbf{B}^T \cdot \mathbf{A} </math> διαστάσεων <math> K \times K </math> είναι αναστρέψιμος. Άρα από την εξίσωση <math>\mathbf{B}^T \cdot 
( \mathbf{x} - \mathbf{A} \cdot \mathbf{w} ) 
= \mathbf{0}</math>, προκύπτει σαν λύση ότι <math>\mathbf{w} = 
\left( \mathbf{B}^T \cdot \mathbf{A} \right)^{-1} 
\cdot \mathbf{B}^T \cdot \mathbf{x} </math>. Επομένως, <math>\mathbf{P} \cdot \mathbf{x} = \mathbf{x}_1 = \mathbf{A} \cdot \mathbf{w}
= \mathbf{A} \cdot 
\left( \mathbf{B}^T \cdot \mathbf{A} \right)^{-1} 
\cdot \mathbf{B}^T \cdot \mathbf{x}</math> για οποιοδήποτε διάνυσμα <math>\mathbf{x} \in V</math> και ως εκ τούτου <math>\mathbf{P} = 
\mathbf{A} \cdot 
\left( \mathbf{B}^T \cdot \mathbf{A} \right)^{-1} 
\cdot \mathbf{B}^T </math>. 

Στην περίπτωση που ο <math>\mathbf{P}</math> είναι πίνακας ορθής προβολής, μπορούμε να ορίσουμε <math>\mathbf{A} = \mathbf{B} </math>, και επομένως <math>\mathbf{P} = 
\mathbf{A} \cdot \left( \mathbf{A}^T \cdot \mathbf{A} \right)^{-1} 
\cdot \mathbf{A}^T </math>. Χρησιμοποιώντας αυτόν τον τύπο, μπορεί κάποιος εύκολα να ελέγξει ότι <math>\mathbf{P} = \mathbf{P}^T </math>. Γενικά, εάν ο διανυσματικός χώρος ανήκει στο πεδίο των μιγαδικών αριθμών, τότε χρησιμοποιούμε τον ανάστροφο συζυγή, οπότε ο πίνακας προβολής ακολουθεί τον τύπο <math>\mathbf{P} = 
\mathbf{A} \cdot \left( \mathbf{A}^{*T} \cdot \mathbf{A} \right)^{-1} 
\cdot \mathbf{A}^{*T} </math>. Υπενθυμίζεται ότι με την χρήση του [./Https://en.wikipedia.org/wiki/Moore-Penrose%20inverse ψευδοανάστροφου πίνακα Moore–Penrose], μπορεί να οριστεί ο <math>\mathbf{A}^{+} 
= \left( \mathbf{A}^{*T} \cdot \mathbf{A} \right)^{-1} 
\cdot \mathbf{A}^{*T} </math>. Αφού ο <math>\mathbf{A}</math> είναι πλήρους βαθμού, προκύπτει ότι <math>\mathbf{P} = \mathbf{A} \cdot \mathbf{A}^{+} </math>.

==== Ιδιάζουσες Τιμές ====
Αξίζει να σημειωθεί ότι <math>\mathbf{I}- \mathbf{P}</math> είναι επίσης προβολή. Οι μοναδικές τιμές του <math>\mathbf{P}</math> και <math>\mathbf{I}- \mathbf{P}</math> μπορεί να υπολογιστεί με χρήση της [./Https://en.wikipedia.org/wiki/Orthonormal%20basis ορθοκανονική βάση] του <math>\mathbf{A}</math>. Έστω <math>\mathbf{Q}_{\mathbf{A}}</math> μία μια ορθοκανονική βάση του <math>\mathbf{A}</math> και <math>\mathbf{Q}_{\mathbf{A}}^{\perp}</math> το [./Https://en.wikipedia.org/wiki/Orthogonal%20complement ορθογώνιο συμπλήρωμα] του <math>\mathbf{Q}_{\mathbf{A}}</math>. Οι ιδιάζουσες τιμές του πίνακα <math>\mathbf{Q}_{\mathbf{A}}^T \cdot \mathbf{A} 
\cdot \left( \mathbf{B}^T \cdot \mathbf{A} \right)^{-1}
\cdot \mathbf{B}^T \cdot \mathbf{Q}_{\mathbf{A}}^{\perp}  </math> παρίστανται από τις θετικές τιμές <math>\gamma_1 \ge \gamma_2 \ge \ldots \ge \gamma_k </math>. Επομένως, οι ιδιάζουσες τιμές του <math>\mathbf{P}</math> είναι <ref>{{Citation|last=Brust|first=J. J.|last2=Marcia|first2=R. F.|last3=Petra|first3=C. G.|date=2020|title=Computationally Efficient Decompositions of Oblique Projection Matrices|journal=SIAM Journal on Matrix Analysis and Applications|volume=41|number=2|pages=852–870|doi=10.1137/19M1288115}}</ref>:<math display="block">\sigma_i = 
	\begin{cases}
		\sqrt{1+\gamma_i^2} & 1 \le i \le K \\
		0 & \text{αλλιώς}
	\end{cases} 
	</math>και οι ιδιάζουσες τιμές του <math>\mathbf{I} - \mathbf{P}</math> είναι<math display="block">\sigma_i =  
\begin{cases}
		\sqrt{1+\gamma_i^2} 	& 1 \le i \le K \\
		1 				& K+1 \le i \le N-K \\
		0 & \text{αλλιώς}
	\end{cases} 
	</math>Αυτό σημαίνει ότι οι μεγαλύτερες ιδιάζουσες τιμές του <math>\mathbf{P} </math> και <math>\mathbf{I} - \mathbf{P} </math> είναι ίσες, και έτσι η [./Https://en.wikipedia.org/wiki/Matrix%20norm ενέργεια (matrix norm) του πίνακα] των λοξών προβολών είναι η ίδια. Ωστόσο, η [./Https://en.wikipedia.org/wiki/Condition%20number ευαισθησία] ικανοποιεί τη σχέση <math>\kappa( \mathbf{I} - \mathbf{P} ) 
= \frac{\sigma_1}{1} \ge \frac{\sigma_1}{\sigma_k} = \kappa(\mathbf{P})</math>, και επομένως δεν είναι απαραίτητα ίση.

=== Εύρεση προβολής με εσωτερικό γινόμενο ===
Έστω <math>V</math> ένας διανυσματικός χώρος (στην παρούσα περίπτωση ένα επίπεδο), ο οποίος ορίζεται από τα ορθογώνια διανύσματα <math>\mathbf{u}_1, \mathbf{u}_2, \ldots, \mathbf{u}_p</math>. Έστω  <math>\mathbf{y}</math> ένα τυχαίο διάνυσμα. Μπορεί να οριστεί μια προβολή του <math>\mathbf y</math> επάνω στον <math>V</math> ως <math display="block"> \operatorname{proj}_V \mathbf{y} 
= \sum_{i=1}^p \frac{\mathbf{y} \cdot \mathbf{u}^i}{\mathbf {u}^i \cdot \mathbf{u}^i } \mathbf{u}^i , </math>όπου οι επαναλαμβανόμενοι δείκτες αθροίζονται ([./Https://en.wikipedia.org/wiki/Einstein%20notation σημειογραφία αθροίσματος Αϊνστάιν]). Το διάνυσμα <math>\mathbf y</math> μπορεί να γραφτεί ως ορθογώνιο άθροισμα έτσι ώστε <math>\mathbf y = \operatorname{proj}_V \mathbf y + \mathbf z</math> . <math>\operatorname{proj}_V \mathbf y</math> μερικές φορές δηλώνεται ως <math>\hat{\mathbf y}</math> . Υπάρχει ένα θεώρημα στη γραμμική άλγεβρα που δηλώνει ότι αυτό <math>\mathbf z</math> είναι η μικρότερη απόσταση (η ''[./Https://en.wikipedia.org/wiki/Perpendicular%20distance κάθετη απόσταση]'') από <math>\mathbf y</math> προς τον <math>V</math> και χρησιμοποιείται συνήθως σε τομείς όπως η [[μηχανική μάθηση]]. 
[[Αρχείο:Ortho_projection.svg|μικρογραφία| Το ''y'' προβάλλεται στον διανυσματικό χώρο ''V'' .]]

== Κανονικές μορφές ==
Οποιαδήποτε προβολή <math>\mathbf{P} = \mathbf{P}^2</math> σε ένα διανυσματικό χώρο διάστασης <math>D</math> πάνω από ένα [[Σώμα (άλγεβρα)|σώμα ή πεδίο]] είναι ένας [./Https://en.wikipedia.org/wiki/Diagonalizable%20matrix πίνακας που μπορεί να μετασχηματιστεί σε διαγώνιο], αφού το [./Https://en.wikipedia.org/wiki/Minimal%20polynomial%20(linear%20algebra) ελάχιστο πολυώνυμο των ιδιοτιμών] του διαιρεί το <math>x^2-x</math>, και το οποίο χωρίζεται σε διακριτούς γραμμικούς παράγοντες. Υπάρχει μια βάση στην οποία ο <math>\mathbf{P}</math> έχει τη μορφή

: <math>\mathbf{P} = \mathbf{I}_R \oplus \mathbf{0}_{D-R}</math>

όπου <math>R</math> είναι ο [./Https://en.wikipedia.org/wiki/Rank%20(linear%20algebra) βαθμός] του <math>\mathbf{P}</math>. Εδώ <math>\mathbf{I}_R</math> είναι ο μοναδιαίος πίνακας διάστασης <math>R</math>, και <math>\mathbf{0}_{D-R}</math> είναι ο [[μηδενικός πίνακας]] μεγέθους <math>D-R</math>. Εάν ο διανυσματικός χώρος είναι σύνθετος και με εσωτερικό γινόμενο, τότε υπάρχει μια ''ορθοκανονική'' βάση στην οποία ο πίνακας '''P''' είναι <ref>{{Cite journal|last=Doković|first=D. Ž.|title=Unitary similarity of projectors|journal=[[Aequationes Mathematicae]]|volume=42|issue=1|pages=220–224|date=August 1991|doi=10.1007/BF01818492}}</ref>

: <math>\mathbf{P} = \begin{bmatrix}1&\sigma_1 \\ 0&0\end{bmatrix} \oplus \cdots \oplus \begin{bmatrix}1&\sigma_k \\ 0&0\end{bmatrix} \oplus \mathbf{I}_m \oplus \mathbf{0}_s .</math>

που <math>\sigma_1 \geq \sigma_2\geq \dots \geq \sigma_k > 0</math>. Οι [[Ακέραιος αριθμός|ακέραιοι]] <math>k,s,m</math> και οι πραγματικοί αριθμοί <math>\sigma_i</math> καθορίζονται μοναδικά. Ας σημειωθεί ότι <math>2k+s+m=d</math>. Ο παράγοντας <math>\mathbf{I}_m \oplus \mathbf{0}_s</math> αντιστοιχεί στον μέγιστο αμετάβλητο υποχώρο στον οποίο <math>\mathbf{P}</math> λειτουργεί ως ''ορθογώνια'' προβολή (έτσι ώστε ο ίδιος ο '''P''' να είναι ορθογώνιος αν και μόνο αν <math>k=0</math>) και τα <math>\sigma_i</math> αντιστοιχούν στα στοιχεία που μορφοποιούν την πλάγια προβολή. 

== Προβολές σε κανονικούς διανυσματικούς χώρους ==
Όταν ο υποκείμενος διανυσματικός χώρος <math>X</math> είναι ένας (όχι απαραιτήτως πεπερασμένος) [./Https://en.wikipedia.org/wiki/Normed%20vector%20space κανονικοποιημένος διανυσματικός χώρος], η ισχύς των αναλυτικών ιδιοτήτων, οι οποίες είναι άσχετες στην περίπτωση των πεπερασμένων διαστάσεων, πρέπει να εξεταστεί. Υποθέτουμε ότι <math>X</math> είναι [[χώρος Μπάναχ]].

Πολλά από τα αλγεβρικά αποτελέσματα που συζητήθηκαν παραπάνω παραμένουν σε ισχύ. Μια δεδομένη άμεση ανάλυση αθροίσματος του <math>X</math> σε συμπληρωματικούς υποχώρους εξακολουθεί να καθορίζει μια προβολή, όπως και το αντίστροφο. Αν το <math>X</math> είναι το [./Https://en.wikipedia.org/wiki/Direct%20sum άμεσο άθροισμα] <math>X = U \oplus V</math>, τότε ο τελεστής που ορίζεται από την προβολή <math>P(u+v) = u</math>, εξακολουθεί να είναι μια προβολή με χώρο <math>U</math> και πυρήνα <math>V</math>. Είναι επίσης σαφές ότι <math>P^2 = P</math>. Αντίθετα, εάν η <math>P</math> είναι προβολή στο <math>X</math>, δηλ. <math>P^2 = P</math>, τότε επαληθεύεται εύκολα ότι <math>(1-P)^2 = (1-P)</math>. Με άλλα λόγια, <math>1 - P</math> είναι επίσης μια προβολή. Η σχέση <math>P^2 = P</math> υποδηλώνει <math>1 = P + (1-P)</math> και <math>X</math> είναι το άμεσο άθροισμα <math>\operatorname{rg}(P) \oplus \operatorname{rg}(1 - P)</math>.

Ωστόσο, σε αντίθεση με την περίπτωση των πεπερασμένων διαστάσεων, οι προβολές στην γενική περίπτωση, δεν χρειάζεται να είναι [./Https://en.wikipedia.org/wiki/Bounded%20operator συνεχείς]. Αν ένας υποχώρος <math>U</math> του <math>X</math> δεν είναι κλειστός στην κανονική τοπολογία, τότε η προβολή στον <math>U</math> δεν είναι συνεχής. Με άλλα λόγια, το εύρος μιας συνεχούς προβολής <math>P</math> πρέπει να είναι ένας κλειστός υποχώρος. Επιπλέον, ο πυρήνας μιας συνεχούς προβολής (στην πραγματικότητα, ενός συνεχούς γραμμικού τελεστή γενικά) είναι κλειστός. Έτσι, μια ''συνεχής'' προβολή <math>P</math> αναλύει τον <math>X</math> σε δύο συμπληρωματικούς ''κλειστούς'' υποχώρους: <math>X = \operatorname{rg}(P) \oplus \ker(P) = \ker(1-P) \oplus \ker(P)</math> .

Το αντίστροφο ισχύει επίσης, αλλά με μια πρόσθετη παραδοχή. Έστω <math>U</math> είναι ένας κλειστός υποχώρος του <math>X</math>. Αν υπάρχει κλειστός υποχώρος <math>V</math> έτσι ώστε {{Nowrap|1=''X'' = ''U'' ⊕ ''V''}}, τότε η προβολή <math>P</math> με υποχώρο <math>U</math> και πυρήνα <math>V</math> είναι συνεχής. Αυτό προκύπτει από το [./Https://en.wikipedia.org/wiki/Closed%20graph%20theorem θεώρημα κλειστού γραφήματος]. Έστω {{Nowrap|''x<sub>n</sub>'' → ''x''}} και {{Nowrap|''Px<sub>n</sub>'' → ''y''}}. Πρέπει να αποδειχθεί ότι <math>Px=y</math> . Αφού ο <math>U</math> είναι κλειστός και {{Nowrap|{''Px<sub>n</sub>''} ⊂ ''U''}}, το ''y'' βρίσκεται μέσα στον <math>U</math>, δηλ. {{Nowrap|1=''Py'' = ''y''}}. Επίσης, {{Nowrap|1=''x<sub>n</sub>'' − ''Px<sub>n</sub>'' = (''I'' − ''P'')''x<sub>n</sub>'' → ''x'' − ''y''}}. Επειδή ο <math>V</math> είναι κλειστός και {{Nowrap|{(''I'' − ''P'')''x<sub>n</sub>''} ⊂ ''V''}}, έχουμε <math>x-y \in V</math>, δηλ. <math>P(x-y)=Px-Py=Px-y=0</math>, που αποδεικνύει τον ισχυρισμό. 

Το παραπάνω επιχείρημα κάνει χρήση της υπόθεσης ότι και τα δύο <math>U</math> και <math>V</math> είναι κλειστά. Σε γενικές γραμμές, δεδομένου ενός κλειστού υποχώρου <math>U</math>, δεν χρειάζεται να υπάρχει συμπληρωματικός κλειστός υποχώρος <math>V</math>, αν και για τους [[Χώρος Χίλμπερτ|χώρους Hilbert]] αυτό μπορεί πάντα να γίνει λαμβάνοντας το [./Https://en.wikipedia.org/wiki/Orthogonal%20complement ορθογώνιο συμπλήρωμα]. Για τους χώρους Μπάναχ, ένας μονοδιάστατος υποχώρος έχει πάντα έναν κλειστό συμπληρωματικό υποχώρο. Αυτό είναι μια άμεση συνέπεια του [./Https://en.wikipedia.org/wiki/Hahn-Banach%20theorem θεωρήματος Hahn-Banach]. Έστω <math>U</math> να ορίζεται από το <math>u</math>. Από τους Hahn-Banach, υπάρχει μια οριοθετημένη [./Https://en.wikipedia.org/wiki/Linear%20form γραμμική συνάρτηση] <math>\varphi</math> τέτοια ώστε {{Nowrap|1=''φ''(''u'') = 1}}. Ο <math>P(x)=\varphi(x)u</math> ικανοποιεί την συνθήκη <math>P^2=P</math>, δηλαδή είναι προβολή. Ο μη απειρισμός του του <math>\varphi</math> συνεπάγεται συνέχεια του <math>P</math> και ως εκ τούτου <math>\ker(P) = \operatorname{rg}(I-P)</math> είναι ένας κλειστός συμπληρωματικός υποχώρος του <math>U</math>. 

== Εφαρμογές και περαιτέρω προβληματισμοί ==
Οι προβολές (ορθογώνιες και πλάγιες) παίζουν σημαντικό ρόλο στην υλοποίηση [[Αλγόριθμος|αλγορίθμων]] για ορισμένα προβλήματα γραμμικής άλγεβρας: 

* [[Ανάλυση QR]] (βλ. [./Https://en.wikipedia.org/wiki/Householder%20transformation Μετασχηματισμός Householder] και [./Https://en.wikipedia.org/wiki/Gram-Schmidt%20process διαδικασία Gram–Schmidt]).
* [[Ανάλυση πίνακα σε ιδιάζουσες τιμές]].
* Αναγωγή σε [./Https://en.wikipedia.org/wiki/Hessenberg%20matrix μορφή Hessenberg] (σχεδόν τριγωνικός πίνακας, το πρώτο βήμα σε πολλούς [./Https://en.wikipedia.org/wiki/Eigenvalue%20algorithm αλγόριθμους υπολογισμού ιδιοτιμών]).
* [[Γραμμική παλινδρόμηση]].
* Τα προβολικά στοιχεία στις άλγεβρες πινάκων χρησιμοποιούνται στην κατασκευή ορισμένων ομάδων Κ στη [./Https://en.wikipedia.org/wiki/Operator%20K-theory θεωρία τελεστών Κ].

Όπως αναφέρθηκε παραπάνω, οι προβολές είναι μια ειδική περίπτωση [[ταυτοδυναμία|ταυτοδυναμίας]]. Αναλυτικά, οι ορθογώνιες προβολές είναι μη αντιμεταθετικές γενικεύσεις [./Https://en.wikipedia.org/wiki/Characteristic%20polynomial χαρακτηριστικών συναρτήσεων]. Οι αδυναμίες χρησιμοποιούνται για την ταξινόμηση, για παράδειγμα, [./Https://en.wikipedia.org/wiki/Semisimple%20algebra ημιαπλών άλγεβρων], ενώ η [[Μέτρο (μαθηματικά)|θεωρία μετρικών]] ξεκινά με την εξέταση χαρακτηριστικών συναρτήσεων αριθμήσιμων συνόλων. Επομένως, όπως μπορεί κανείς να φανταστεί, οι προβολές συναντώνται πολύ συχνά στο πλαίσιο της [./Https://en.wikipedia.org/wiki/Operator%20algebra άλγεβρας τελεστών]. Συγκεκριμένα, μια [[Άλγεβρα φον Νόιμαν|άλγεβρα von Neumann]] δημιουργείται από το πλήρες [./Https://en.wikipedia.org/wiki/Lattice%20(order) πλέγμα] προβολών της. 

== Γενικεύσεις ==
Γενικότερα, δεδομένης μιας απεικόνισης μεταξύ κανονικών διανυσματικών χώρων <math>T\colon V \to W,</math> μπορεί κανείς αναλόγως να ζητήσει αυτή η απεικόνιση να είναι μια ισομετρία στο ορθογώνιο συμπλήρωμα του πυρήνα: δηλαδή <math>(\ker T)^\perp \to W</math> να είναι ισομετρία (σύγκριση με την [./Https://en.wikipedia.org/wiki/Partial%20isometry μερική ισομετρία]); συγκεκριμένα πρέπει να είναι [[επί]]. Η περίπτωση της ορθής προβολής είναι όταν το ''W'' είναι ένας υποχώρος του ''V.'' Στη [./Https://en.wikipedia.org/wiki/Riemannian%20geometry γεωμετρία του Riemann], αυτό χρησιμοποιείται στον ορισμό μιας [./Https://en.wikipedia.org/wiki/Riemannian%20submersion βύθισης του Riemann].

== Δείτε επίσης ==

* [./Https://en.wikipedia.org/wiki/Centering%20matrix Πίνακας κεντρικής προβολής], που είναι ένα παράδειγμα πίνακα προβολής. 
* Ο αλγόριθμος προβολής του Dykstra για τον υπολογισμό της προβολής σε μια τομή συνόλων. 
* [./Https://en.wikipedia.org/wiki/Invariant%20subspace Αμετάβλητος υποχώρος]. 
* [./Https://en.wikipedia.org/wiki/Least-squares%20spectral%20analysis Φασματική ανάλυση ελάχιστων τετραγώνων]. 
* [./Https://en.wikipedia.org/wiki/Orthogonalization Ορθογωνοποίηση]. 
* [[Ίχνος πίνακα|Ιδιότητες ίχνους πίνακα]]. 

== Σημειώσεις ==
<references responsive="1"></references>

== Βιβλιογραφικές αναφορές ==

* {{Citation|last=Banerjee|first=Sudipto|last2=Roy|first2=Anindya|date=2014|title=Linear Algebra and Matrix Analysis for Statistics|series=Texts in Statistical Science|publisher=Chapman and Hall/CRC|edition=1η|isbn=978-1420095388}}
* {{Cite book|title=Linear Operators, Part I: General Theory|first=N.|last=Dunford|first2=J. T.|last2=Schwartz|publisher=Interscience|year=1958}}
* {{Cite book|title=Matrix Analysis and Applied Linear Algebra|first=Carl D.|last=Meyer|publisher=Society for Industrial and Applied Mathematics|isbn=978-0-89871-454-8|year=2000|url=http://www.matrixanalysis.com/}} 
* {{Cite book|title=Linear Algebra and its Applications|first=Gilbert|last=Strang|publisher=Harcourt Brace & Company|isbn=0-15-551005-3|year=1988|edition=3η|location=Orlando, Florida, U.S.A.|page=[https://archive.org/details/linearalgebraits00stra/page/132 132]-183|url=https://archive.org/details/linearalgebraits00stra}}
* {{Cite book|title=Applied Linear Algebra|first=Peter J.|last=Olver|first2=Chehrzad|last2=Shakiban|publisher=Springer|isbn=978-3-319-91041-3|year=2018|edition=2η|location=U.S.A.|page=129-234|url=https://link.springer.com/book/10.1007/978-3-319-91041-3}}
* {{Cite book|title=Handbook of Matrices|first=Helmut|last=Lütkepohl|publisher=John Wiley & Sons Ltd.|isbn=978-0-47197-015-6|year=1996|location=United Kingdom|page=113-167|url=https://www.wiley.com/en-us/Handbook+of+Matrices-p-9780471970156}}

== Εξωτερικοί σύνδεσμοι ==

* {{YouTube|id=osh80YCg_GM&feature=PlayList&p=38823D6325151CED&index=16|title=MIT Linear Algebra Lecture on Projection Matrices}}, from MIT OpenCourseWare
* {{YouTube|id=qxxo-a9snhw&list=PLlXfTHzgMRUIqYrutsFXCOmiqKUgOgGJ5&index=3|title=Linear Algebra 15d: The Projection Transformation}}, by [[Πάβελ Γκρίνφελντ|Pavel Grinfeld]].
* [https://www.cs.mtsu.edu/~jhankins/pages/planeview3D/tutorial.html Planar Geometric Projections Tutorial] {{Webarchive|url=https://web.archive.org/web/20160304102840/https://www.cs.mtsu.edu/~jhankins/pages/planeview3D/tutorial.html |date=2016-03-04 }} – a simple-to-follow tutorial explaining the different types of planar geometric projections.
{{Γραμμική Άλγεβρα}}
{{Authority control}} 
{{Portal bar|Μαθηματικά}}
{{DEFAULTSORT:Προβολή (γραμμική άλγεβρα)}}

[[Κατηγορία:Γραμμική άλγεβρα]]
[[Κατηγορία:Συναρτησιακή ανάλυση]]
[[Κατηγορία:Αναλυτική γεωμετρία]]
[[Κατηγορία:Ευκλείδεια Γεωμετρία]]