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

Από testwiki
Αναθεώρηση ως προς 21:57, 12 Ιανουαρίου 2025 από τον imported>MARKELLOS (clean up)
(διαφορά) ← Παλαιότερη αναθεώρηση | Τελευταία αναθεώρηση (διαφορά) | Νεότερη αναθεώρηση → (διαφορά)
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση

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

Παράδειγμα

Έστω V=(ℝ5,⟨⋅,⋅⟩) ο διανυσματικός χώρος εφοδιασμένος με το συνηθισμένο εσωτερικό γινόμενο ⟨⋅,⋅⟩ (καθιστώντας τον έτσι χώρο εσωτερικού γινομένου), και έστω

W={𝐮∈V:𝐀x=𝐮, x∈ℝ2},

με 𝐀=(1001263953).

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

W⊥={𝐯∈V:⟨𝐮,𝐯⟩=0  ∀ 𝐮∈W}

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

W⊥={𝐯∈V:𝐀~y=𝐯, y∈ℝ3},

είναι 𝐀~=(−2−3−5−6−9−3100010001).

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

Γενικές διγραμμικές μορφές

Έστω V ένας διανυσματικός χώρος πάνω από ένα πεδίο 𝔽 εφοδιασμένος με μια διγραμμική μορφή B. Ορίζουμε ότι η 𝐮 είναι αριστερά ορθογώνια στην 𝐯 και η 𝐯 είναι δεξιά ορθογώνια στην 𝐮, όταν B(𝐮,𝐯)=0. Για ένα υποσύνολο W του V, ορίστε το αριστερό-ορθογώνιο συμπλήρωμα W⊥ να είναι

W⊥={𝐱∈V:B(𝐱,𝐲)=0  ∀ 𝐲∈W}.

Υπάρχει ένας αντίστοιχος ορισμός του δεξιού ορθογώνιου συμπληρώματος. Για μια αντανακλαστική διγραμμική μορφή, όπου B(𝐮,𝐯)=0⟹B(𝐯,𝐮)=0  ∀ 𝐮,𝐯∈V, το αριστερό και το δεξιό συμπλήρωμα συμπίπτουν. Αυτό θα συμβαίνει αν η B είναι μια συμμετρική ή μια είναι μια συμμετρική ή μια εναλλασσόμενη μορφή.

Ο ορισμός επεκτείνεται σε μια διγραμμική μορφή σε μια ελεύθερη ενότητα πάνω σε έναν αντιμεταθετικό δακτύλιο, και σε μια γραμμικο-ημιγραμμική μορφή που επεκτείνεται ώστε να περιλαμβάνει οποιαδήποτε ελεύθερο πρότυπο πάνω σε έναν αντιμεταθετικό δακτύλιο με συζυγία.[1]

Ιδιότητες

  • Ένα ορθογώνιο συμπλήρωμα είναι ένας υποχώρος του V,
  • Αν X⊆Y τότε X⊥⊇Y⊥,
  • Η ρίζα V⊥ του V είναι ένας υποχώρος κάθε ορθογώνιου συμπληρώματος,
  • W⊆(W⊥)⊥;
  • Αν το B είναι μη εκφυλισμένο και το V είναι πεπερασμένης διάστασης, τότε dim⁡(W)+dim⁡(W⊥)=dim⁡(V).
  • Αν L1,…,Lr είναι υποχώροι ενός πεπερασμένης διάστασης χώρου V και L*=L1∩⋯∩Lr, τότε L*⊥=L1⊥+⋯+Lr⊥

Χώροι εσωτερικού γινομένου

Δείτε επίσης: Προβολή (γραμμική άλγεβρα)

Αυτή η ενότητα εξετάζει τα ορθογωνικά συμπληρώματα σε ένα χώρο εσωτερικού γινομένου H.[2]

Δύο διανύσματα 𝐱 και 𝐲 ονομάζονται ορθογώνια αν ⟨⟨𝐱,𝐲⟩=0, το οποίο συμβαίνει αν και μόνο αν ⟨𝐱,𝐲⟩=0, το οποίο συμβαίνει αν και μόνο αν ‖𝐱‖≤‖𝐱+s𝐲‖ ∀ scalars s.Πρότυπο:Sfn

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

C⊥:={𝐱∈H:⟨𝐱,𝐜⟩=0  ∀ 𝐜∈C}={𝐱∈H:⟨𝐜,𝐱⟩=0  ∀ 𝐜∈C}

το οποίο είναι πάντα ένα κλειστό υποσύνολο (άρα, ένας κλειστός διανυσματικός υποχώρος) του HΠρότυπο:Sfn [proof 1] που ικανοποιεί:

  • C⊥=(clH(span⁡C))⊥;
  • C⊥∩clH(span⁡C)={0};
  • C⊥∩(span⁡C)={0};
  • C⊆(C⊥)⊥;
  • clH(span⁡C)=(C⊥)⊥.

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

C⊥={𝐱∈H:‖𝐱‖≤‖𝐱+𝐜‖  ∀ 𝐜∈C}.

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

H=C⊕C⊥ και (C⊥)⊥=C

όπου

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

Ιδιότητες

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

(W⊥)⊥=W‾.

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

  • X⊥=X‾⊥;
  • αν Y⊆X then X⊥⊆Y⊥;
  • X∩X⊥={0};
  • X⊆(X⊥)⊥;
  • αν X είναι ένας κλειστός γραμμικός υποχώρος του H τότε (X⊥)⊥=X;
  • αν X είναι ένας κλειστός γραμμικός υποχώρος του H τότε H=X⊕X⊥, το εσωτερικό άμεσο άθροισμα.

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

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

Για έναν πεπερασμένης διάστασης χώρο εσωτερικού γινομένου διάστασης n, το ορθογώνιο συμπλήρωμα ενός k-διάστατου υποχώρου είναι ένας (n−k)-διάστατος υποχώρος και το διπλό ορθογώνιο συμπλήρωμα είναι ο αρχικός υποχώρος: (W⊥)⊥=W.

Αν 𝐀∈𝕄mn, όπου ℛ(𝐀), 𝒞(𝐀), και 𝒩(𝐀) αναφέρονται στο χώρο των γραμμών και χώρο στηλών, και του μηδενικού χώρου των 𝐀 (αντιστοίχως), τότε[3] (ℛ(𝐀))⊥=𝒩(𝐀) και (𝒞(𝐀))⊥=𝒩(𝐀T).

Χώροι Μπάναχ

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

W⊥={x∈V*:∀y∈W,x(y)=0}.

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

iW‾=W⊥⊥.

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

Εφαρμογές

Στην ειδική σχετικότητα το ορθογώνιο συμπλήρωμα χρησιμοποιείται για τον προσδιορισμό του ταυτόχρονου υπερεπιπέδου σε ένα σημείο μιας γενικής γραμμής. Η διγραμμική μορφή η που χρησιμοποιείται στο Χωροχρόνος Μινκόβσκι καθορίζει έναν ψευδοευκλείδειο χώρο γεγονότων[4]. Όταν ένα χρονικό γεγονός και ένα χωρικό γεγονός αποτιμώνται στο μηδέν σύμφωνα με τη διγραμμική μορφή, τότε είναι υπερβολικά ορθογώνια. Αυτή η ορολογία προέρχεται από τη χρήση συζυγών υπερβολών στο ψευδοευκλείδειο επίπεδο: οι συζυγείς διάμετροι αυτών των υπερβολών είναι υπερβολικά ορθογώνιες.

Δείτε επίσης

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

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

Παραπομπές

  1. ↑ Adkins & Weintraub (1992) p.359
  2. ↑ Adkins&Weintraub (1992) p.272
  3. ↑ "Orthogonal Complement"
  4. ↑ G. D. Birkhoff (1923) Relativity and Modern Physics, pages 62,63, Harvard University Press

Πρότυπο:Reflist

  • 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).

Πρότυπο:Authority control Πρότυπο:Portal bar
Σφάλμα παραπομπής: Υπάρχουν ετικέτες <ref> για κάποια ομάδα με το όνομα «proof», αλλά δεν βρέθηκε καμία αντίστοιχη ετικέτα <references group="proof"/>

Ανακτήθηκε από «https://el.wiki.beta.math.wmflabs.org/w/index.php?title=Ορθογώνιο_συμπλήρωμα&oldid=2839»