Peatüki algus: Vektorid
Eelmine: Vektori norm
Järgmine peatükk: Maatriksid


Ortogonaalsed vektorid
Definitsioon 1.6.1. Skalaarkorrutamisega vektorruumi X vektoreid x ja y nimetatakse ortogonaalseteks, kui tex2html_wrap_inline2767 ja tähistatakse tex2html_wrap_inline2769 Vektorruumi X vektorit x nimetatakse ortogonaalseks hulgaga tex2html_wrap_inline2775 kui tex2html_wrap_inline2777

Ülesanne 1.6.1.* Leidke kõik vektorid, mis on ortogonaalsed nii vektoriga tex2html_wrap_inline336 kui ka vektoriga tex2html_wrap_inline338

Definitsioon 1.6.2. Öeldakse, et vektorruumi X hulgad Y ja Z on ortogonaalsed, kui tex2html_wrap_inline2785

Definitsioon 1.6.3. Jada tex2html_wrap_inline2613 skalaarkorrutamisega vektorruumi X nimetatakse Cauchy jadaks, kui vastavalt igale etteantud arvule tex2html_wrap_inline2793 leidub naturaalarv n0 nii, et mistahes tex2html_wrap_inline2797 ja n>n0 korral
displaymath2699

Definitsioon 1.6.4. Skalaarkorrutamisega vektorruumi X nimetatakse täielikuks, kui temas iga Cauchy jada on koonduv selle ruumi X punktiks.

Definitsioon 1.6.5. Hilberti ruumiks tex2html_wrap_inline2805 nimetatakse kompleksset skalaarkorrutamisega vektorruumi, mis osutub normi tex2html_wrap_inline2807 järgi koondumise mõttes täielikuks.

Lause 1.6.1. Ruum tex2html_wrap_inline2403 skalaarkorrutamisega tex2html_wrap_inline2811on Hilberti ruum.

Lause 1.6.2. Lõigul tex2html_wrap_inline2067 integreeruva ruuduga funktsioonide ruum tex2html_wrap_inline2815 skalaarkorrutisega tex2html_wrap_inline2817 on Hilberti ruum.

Lause 1.6.3. Skalaarkorrutamisega vektorruumi X vektorite ortogonaalsusel on järgmised omadused (1-4):

  1. tex2html_wrap_inline2821
  2. tex2html_wrap_inline2823
  3. tex2html_wrap_inline2825
  4. tex2html_wrap_inline2827
    Hilberti ruumi vektorite ortogonaalsusel on täiendavalt omadus:
  5. tex2html_wrap_inline2829

Tõestame need väited:

tex2html_wrap_inline2831

tex2html_wrap_inline2833

tex2html_wrap_inline2835

tex2html_wrap_inline2837 tex2html_wrap_inline1891

tex2html_wrap_inline2841

tex2html_wrap_inline2843

tex2html_wrap_inline2845 tex2html_wrap_inline2847

tex2html_wrap_inline2849

tex2html_wrap_inline2851

tex2html_wrap_inline2853

tex2html_wrap_inline2855

tex2html_wrap_inline2857 tex2html_wrap_inline2859

Definitsioon 1.6.6. Hulga tex2html_wrap_inline2861 ortogonaalseks täiendiks nimetatakse hulka tex2html_wrap_inline2863 ruumi X kõigist vektoritest, mis on ortogonaalsed hulgaga Y, st
displaymath2700

Ülesanne 1.6.2.* Olgu tex2html_wrap_inline342 Leidke hulga U ortogonaalne täiend.

Lause 1.6.4. Kui X on skalaarkorrutamisega vektorruum, tex2html_wrap_inline2871 tex2html_wrap_inline2861 ja siis tex2html_wrap_inline2877 Kui lisaks X on täielik, st on Hilberti ruum, siis tex2html_wrap_inline2881

Tõestus. Lause 1.6.3 väidete 3 ja 4 põhjal tex2html_wrap_inline2883. Kui tex2html_wrap_inline2885 st tex2html_wrap_inline2887 , selline, et tex2html_wrap_inline2889 siis arvestades ortogonaalsust tex2html_wrap_inline2891 ja lause 1.6.3 väidet 5, saame tex2html_wrap_inline2893 , st tex2html_wrap_inline2895

Lause 1.6.5. Hulga tex2html_wrap_inline2861 ortogonaalne täiend tex2html_wrap_inline2863 on ruumi X alamruum. Hulga ortogonaalne täiend tex2html_wrap_inline2863 on Hilberti ruumi tex2html_wrap_inline2805 kinnine alamruum, st tex2html_wrap_inline2863 on ruumi tex2html_wrap_inline2805 alamruum, mis sisaldab kõik oma rajapunktid.

Tõestus. Lause 1.2.1 põhjal on piisav lause 1.6.5 esimese väite tõestamiseks näidata, et tex2html_wrap_inline2863 on kinnine vektorite liitmise ja skalaariga korrutamise suhtes. See järeldub lause 1.6.3 väidetest 3 ja 4. Sama lause väite 5 põhjal kehtib ka lause 1.6.5 teine väide.

Lause 1.6.6. Kui Y on Hilberti ruumi tex2html_wrap_inline2805 kinnine alamruum, siis iga tex2html_wrap_inline2919 esitub ühesel viisil summana tex2html_wrap_inline2921 tex2html_wrap_inline2923

Järeldus 1.6.1. Kui tex2html_wrap_inline2177 on Hilberti ruumi tex2html_wrap_inline2805 kinnine alamruum, siis ruum tex2html_wrap_inline2805 avaldub kinniste alamruumide tex2html_wrap_inline2931 ja tex2html_wrap_inline2933 otsesummana tex2html_wrap_inline2935 ning tex2html_wrap_inline2937

Definitsioon 1.6.7. Hilberti ruumi tex2html_wrap_inline2805 vektori x kaugus alamruumist tex2html_wrap_inline2943 defineeritakse valemiga
displaymath2701

Lause 1.6.7. Kui tex2html_wrap_inline2177 on Hilberti ruumi tex2html_wrap_inline2805 kinnine alamruum ja tex2html_wrap_inline2919, siis leidub selline üheselt määratud tex2html_wrap_inline2951 et tex2html_wrap_inline2953

Definitsioon 1.6.8. y nimetatakse vektori x ristprojektsiooniks alamruumile tex2html_wrap_inline2193

Definitsioon 1.6.9.Vektorite süsteemi tex2html_wrap_inline2961 nimetatakse ortogonaalseks, kui tex2html_wrap_inline2963, kus tex2html_wrap_inline2965 on Kroneckeri sümbol. Vektorite süsteemi tex2html_wrap_inline2961 nimetatakse ortonormeerituks, kui tex2html_wrap_inline2969 .

Näide 1.6.1. Vektorite süsteem tex2html_wrap_inline2971(k=1:n), kus
displaymath2702
on ruumis tex2html_wrap_inline2403 ortonormeeritud.

Näide 1.6.2. Vektorite süsteem
displaymath2703
on ortonormeeritud süsteem ruumis tex2html_wrap_inline2975

Näide 1.6.3. Vektorite süsteem tex2html_wrap_inline2977 on ortonormeeritud süsteem ruumis tex2html_wrap_inline2979Tõesti,


displaymath2704

displaymath2705

Lause 1.6.8. (Gram-Schmidti ortogonaliseerimisteoreem). Olgu tex2html_wrap_inline2981 lineaarselt sõltumatu vektorite süsteem skalaarkorrutamisega vektorruumis tex2html_wrap_inline2805. Siis leidub selline ortonormeeritud süsteem tex2html_wrap_inline2985 et


displaymath2706

Tõestame selle väite matemaatilise induktsiooni meetodil. Juhul k=1 defineerime tex2html_wrap_inline2989 ja tõesti, tex2html_wrap_inline2991 Induktsiooni-baas on olemas. Näitame induktsiooni-sammu lubatavust. Eeldame, et lause väide peab paika k=i-1 korral, st leidub selline ortonormeeritud süsteem tex2html_wrap_inline2995 et tex2html_wrap_inline2997 Vaatleme vektorit
displaymath2707
Kordajad tex2html_wrap_inline2999 valime nii, et tex2html_wrap_inline3001, st tex2html_wrap_inline3003 Saame i-1 tingimust:
tex2html_wrap_inline3007 ehk tex2html_wrap_inline3009. Seega,
displaymath2708
Valime tex2html_wrap_inline3011 Kuna
displaymath2709
siis vektorite tex2html_wrap_inline3013 ja tex2html_wrap_inline3015 konstruktsiooni põhjal tex2html_wrap_inline3017 Seega
displaymath2710
Vektori tex2html_wrap_inline3021 esitusest järeldub, et tex2html_wrap_inline3023 on vektorite tex2html_wrap_inline3025 lineaarne kombinatsioon. Järelikult,
displaymath2711

Seega

displaymath2712

Näide 1.6.4. On antud ruumi tex2html_wrap_inline3031 vektorite süsteem
tex2html_wrap_inline3033 kus
displaymath2713
Leiame sellise ortonormeeritud süsteemi tex2html_wrap_inline3035, et
displaymath2714

Lause 1.6.8 tõestuses esitatud ortogonaliseerimisprotsessi rakendamiseks, esiteks, kontrollime, kas süsteem tex2html_wrap_inline3039 on lineaarselt sõltumatu (võib ka mitte kontrollida, see selgub ka ortogonaliseerimise käigus):
displaymath2715
tex2html_wrap_inline3039 on lineaarselt sõltumatu. Leiame vektori
displaymath2716
Vektor tex2html_wrap_inline3043 avaldub kujul:
displaymath2717
Kuna tex2html_wrap_inline3045 siis tex2html_wrap_inline3047 Vektor tex2html_wrap_inline3049 avaldub kujul:
displaymath2718

displaymath2719
Seega,

displaymath2720

Näide 1.6.5. On antud ruumi tex2html_wrap_inline3051 lineaarselt sõltumatu vektorite süsteem tex2html_wrap_inline3033 kus tex2html_wrap_inline3055 tex2html_wrap_inline3057 ja tex2html_wrap_inline3059 Leiame sellise ortonormeeritud süsteemi tex2html_wrap_inline3035, et
displaymath2721
Veenduda, et süsteem tex2html_wrap_inline3039 on lineaarselt sõltumatu. Leiame vektori
displaymath2722
Vektor tex2html_wrap_inline3043 avaldub kujul:
displaymath2723
Seega,
displaymath2724
Vektor tex2html_wrap_inline3049 avaldub kujul:
displaymath2718

displaymath2726

displaymath2727
Järelikult,
displaymath2728

displaymath2729
Funktsioonid tex2html_wrap_inline3071 ja tex2html_wrap_inline3073 on normeeritud Legendre'i polünoomid lõigul tex2html_wrap_inline3075

Ülesanne 1.6.1. Näidake, et paarikaupa ortogonaalsete vektorite süsteem tex2html_wrap_inline3077 on lineaarselt sõltumatu. Peatüki algus: Vektorid
Eelmine: Vektori norm
Järgmine peatükk: Maatriksid