Ορθογώνιο συμπλήρωμα

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

Παράδειγμα

Έστω  ο διανυσματικός χώρος εφοδιασμένος με το συνηθισμένο εσωτερικό γινόμενο  (καθιστώντας τον έτσι χώρο εσωτερικού γινομένου), και έστω

με

τότε το ορθογώνιο συμπλήρωμα του

μπορεί επίσης να οριστεί ως

είναι

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

 Γενικές διγραμμικές μορφές 
Έστω  ένας διανυσματικός χώρος πάνω από ένα πεδίο  εφοδιασμένος με μια διγραμμική μορφή  Ορίζουμε ότι η  είναι αριστερά ορθογώνια στην  και η  είναι δεξιά ορθογώνια στην , όταν  Για ένα υποσύνολο  του  ορίστε το αριστερό-ορθογώνιο συμπλήρωμα  να είναι

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

Ο ορισμός επεκτείνεται σε μια διγραμμική μορφή σε μια ελεύθερη ενότητα πάνω σε έναν αντιμεταθετικό δακτύλιο, και σε μια γραμμικο-ημιγραμμική μορφή που επεκτείνεται ώστε να περιλαμβάνει οποιαδήποτε ελεύθερο πρότυπο πάνω σε έναν αντιμεταθετικό δακτύλιο με συζυγία.Adkins & Weintraub (1992) p.359

 Ιδιότητες 
 Ένα ορθογώνιο συμπλήρωμα είναι ένας υποχώρος του ,
 Αν  τότε ,
 Η ρίζα  του  είναι ένας υποχώρος κάθε ορθογώνιου συμπληρώματος,
 ;
 Αν το  είναι μη εκφυλισμένο και το  είναι πεπερασμένης διάστασης, τότε .
 Αν  είναι υποχώροι ενός πεπερασμένης διάστασης χώρου  και  τότε 

 Χώροι εσωτερικού γινομένου
Δείτε επίσης: Προβολή (γραμμική άλγεβρα)

Αυτή η ενότητα εξετάζει τα ορθογωνικά συμπληρώματα σε ένα χώρο εσωτερικού γινομένου .Adkins&Weintraub (1992) p.272

Δύο διανύσματα  και  ονομάζονται ορθογώνια αν ⟨, το οποίο συμβαίνει αν και μόνο αν , το οποίο συμβαίνει αν και μόνο αν  scalars .

Αν  είναι οποιοδήποτε υποσύνολο ενός χώρου εσωτερικού γινομένου τότε το ορθογώνιο συμπλήρωμα του στον  είναι ο διανυσματικός υποχώρος

το οποίο είναι πάντα ένα κλειστό υποσύνολο (άρα, ένας κλειστός διανυσματικός υποχώρος) του  If  then  which is closed in  so assume  Let  where  is the underlying scalar field of  and define  by  which is continuous because this is true of each of its coordinates  Then  is closed in  because  is closed in  and  is continuous. If  is linear in its first (respectively, its second) coordinate then  is a [[:en:linear map]|linear map]] (resp. an antilinear map); either way, its kernel  is a vector subspace of  Q.E.D.
που ικανοποιεί:
 ;
 ;
 ;
 ;
 .

Αν  είναι ένας διανυσματικός υποχώρος ενός χώρου εσωτερικού γινομένου  τότε

Αν  είναι ένας κλειστός διανυσματικός υποχώρος ενός χώρου Χίλμπερτ  τότε 

όπου

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

 Ιδιότητες

Το ορθογώνιο συμπλήρωμα είναι πάντα κλειστό στη μετρική τοπολογία. Σε χώρους πεπερασμένων διαστάσεων, αυτό είναι απλώς μια περίπτωση του γεγονότος ότι όλοι οι υποχώροι ενός διανυσματικού χώρου είναι κλειστοί. Στους άπειρης διάστασης χώρους Χίλμπερτ, ορισμένοι υποχώροι δεν είναι κλειστοί, αλλά όλα τα ορθογώνια συμπληρώματα είναι κλειστά. Αν ο   είναι ένας διανυσματικός υποχώρος ενός χώρου εσωτερικού γινομένου, το ορθογώνιο συμπλήρωμα του ορθογώνιου συμπληρώματος του  είναι η κλειστότητα του  δηλαδή,

Ορισμένες άλλες χρήσιμες ιδιότητες που ισχύουν πάντα είναι οι ακόλουθες. Έστω  ένας χώρος Χίλμπερτ και έστω  και  γραμμικοί υποχώροι. Τότε:

 ;
 αν  then ;
 ;
 ;
 αν  είναι ένας κλειστός γραμμικός υποχώρος του  τότε ;
 αν  είναι ένας κλειστός γραμμικός υποχώρος του  τότε  το εσωτερικό άμεσο άθροισμα.

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

 Πεπερασμένες διαστάσεις 

Για έναν πεπερασμένης διάστασης χώρο εσωτερικού γινομένου διάστασης , το ορθογώνιο συμπλήρωμα ενός -διάστατου υποχώρου είναι ένας -διάστατος υποχώρος και το διπλό ορθογώνιο συμπλήρωμα είναι ο αρχικός υποχώρος:

Αν , όπου , , και   αναφέρονται στο χώρο των γραμμών και χώρο στηλών, και του μηδενικού χώρου των   (αντιστοίχως), τότε"Orthogonal Complement"

Χώροι Μπάναχ
Υπάρχει ένα φυσικό ανάλογο αυτής της έννοιας στους γενικούς χώρους Μπάναχ. Σε αυτή την περίπτωση ορίζει κανείς το ορθογώνιο συμπλήρωμα του  ως έναν υποχώρο του δυϊκού του  που ορίζεται παρόμοια με τον εκμηδενιστή.

Είναι πάντα ένας κλειστός υποχώρος του . Υπάρχει επίσης ένα ανάλογο της ιδιότητας του διπλού συμπληρώματος. Ο είναι τώρα ένας υποχώρος του (ο οποίος δεν ταυτίζεται με τον ). Ωστόσο, οι αντανακλαστικοί χώροι έχουν έναν φυσικό ισομορφισμό  μεταξύ των  και . Σε αυτή την περίπτωση έχουμε

Αυτό είναι μια μάλλον απλή συνέπεια του θεωρήματος Χαν-Μπάναχ.

Εφαρμογές

Στην ειδική σχετικότητα το ορθογώνιο συμπλήρωμα χρησιμοποιείται για τον προσδιορισμό του ταυτόχρονου υπερεπιπέδου σε ένα σημείο μιας γενικής γραμμής. Η διγραμμική μορφή  που χρησιμοποιείται στο Χωροχρόνος Μινκόβσκι καθορίζει έναν ψευδοευκλείδειο χώρο γεγονότωνG. D. Birkhoff (1923) Relativity and Modern Physics, pages 62,63, Harvard University Press. Όταν ένα χρονικό γεγονός και ένα χωρικό γεγονός αποτιμώνται στο μηδέν σύμφωνα με τη διγραμμική μορφή, τότε είναι υπερβολικά ορθογώνια. Αυτή η ορολογία προέρχεται από τη χρήση συζυγών υπερβολών στο ψευδοευκλείδειο επίπεδο: οι συζυγείς διάμετροι αυτών των υπερβολών είναι υπερβολικά ορθογώνιες.

Δείτε επίσης

 Field Arithmetic
 Πραγματικό προβολικό επίπεδο
 Εσωτερικό γινόμενο 
 Φυσικός αριθμός
 Πίνακας (μαθηματικά)
 Χώρος Χίλμπερτ
 Χωροχρόνος Μινκόβσκι
 Ειδική σχετικότητα
 Σχετικά πρώτοι

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

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Matrix Analysis
 Functional Equations on Groups
 Linear Algebra for the 21st Century
 Foundations of Mathematical and Computational Economics
 Arithmetic Functions and Integer Products
 Stability of Functional Equations in Several Variables
 Orthogonal complement; Minute 9.00 in the Youtube Video
 Instructional video describing orthogonal complements (Khan Academy)

Δημοσιεύσεις 







 Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.

Παραπομπές

 Janko Bračič, Kolobar aritmetičnih funkcij (Ring of arithmetical functions), (Obzornik mat, fiz. 49 (2002) 4, pp. 97–108)  (MSC (2000) 11A25) 
 Iwaniec and Kowalski, Analytic number theory, AMS (2004).



Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Συναρτησιακή ανάλυση
Κατηγορία:Μαθηματική ανάλυση
Κατηγορία:Περιοχές των μαθηματικών