Ortogonalność: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
→Motywacja: rysunek |
m →Motywacja: standardowy iloczyn skalarny - zmiana przypadku z mianownika na dopełniacz |
||
Linia 22: | Linia 22: | ||
co daje równość |
co daje równość |
||
: <math>a_x b_x + a_y b_y + a_z b_z = 0,</math> |
: <math>a_x b_x + a_y b_y + a_z b_z = 0,</math> |
||
która wyrażona za pomocą [[iloczyn skalarny| |
która wyrażona za pomocą [[iloczyn skalarny|standardowego iloczynu skalarnego]] przestrzeni euklidesowej, |
||
: <math>\mathbf a \cdot \mathbf b = 0,</math> |
: <math>\mathbf a \cdot \mathbf b = 0,</math> |
||
jest podstawą definicji ortogonalności w ogólnych przestrzeniach wyposażonych w iloczyn skalarny. |
jest podstawą definicji ortogonalności w ogólnych przestrzeniach wyposażonych w iloczyn skalarny. |
Wersja z 12:18, 5 mar 2011
Ortogonalność (z gr. ortho – proste, gonia – kąt) – w matematyce uogólnienie pojęcia prostopadłości znanego z geometrii euklidesowej na abstrakcyjne przestrzenie z określonym iloczynem skalarnym, czyli tzw. przestrzenie unitarne.
Motywacja
Niech dane będą dwa wektory trójwymiarowej przestrzeni euklidesowej,
- oraz
o długościach odpowiednio
- oraz
Z kolei wektor
ma długość
Wartości są długościami boków trójkąta gdzie jest początkiem układu. Wektory są prostopadłe wtedy i tylko wtedy, gdy wspomniany trójkąt jest prostokątny, a więc spełnia twierdzenie Pitagorasa
co oznacza, iż
a ze wzorów skróconego mnożenia wynika
co daje równość
która wyrażona za pomocą standardowego iloczynu skalarnego przestrzeni euklidesowej,
jest podstawą definicji ortogonalności w ogólnych przestrzeniach wyposażonych w iloczyn skalarny.
Definicja
Niech będzie przestrzenią unitarną wyposażoną w iloczyn skalarny Elementy tej nazywa się ortogonalnymi zapisując często gdy
Układ elementów przestrzeni nazywa się układem ortogonalnym, jeżeli każde dwa różne jego elementy są ortogonalne – wynika stąd w szczególności, że każdy taki układ musi być podzbiorem przestrzeni
Zasadniczą różnicą między prostopadłością a ortogonalnością jest fakt, iż prostopadłość wymaga pojęcia odległości (metryki), która umożliwia zdefiniowanie przystawania, podczas gdy do zdefiniowania ortogonalności potrzeba jedynie iloczynu skalarnego, za pomocą którego można wprowadzić pojęcie długości (normę), a dzięki niemu – odległość. W przypadku euklidesowym pojęcia te właściwie pokrywają się (ma to związek z żądaniem zgodności odpowiednich struktur), co znajduje swe odzwierciedlenie w stosowanej nomenklaturze (o elementach ortogonalnych mówi się często, szczególnie w przestrzeniach euklidesowych, że są prostopadłe) i oznaczeniach (w obu przypadkach korzysta się z symbolu ). Mimo wszystko pojęcia te nie są równoważne nawet w tej sytuacji: wektor zerowy (opisujący w istocie punkt – początek przestrzeni) jest ortogonalny do każdego wektora, choć trudno mówić o jego prostopadłości względem innego wektora.
Przykłady
- Przestrzenie euklidesowe
- Zobacz też:
W przestrzeni euklidesowej ze standardowym iloczynem skalarnym
wektory
- i są ortogonalne (oraz prostopadłe), ponieważ
- ;
- i są ortogonalne (ale nie są prostopadłe), gdyż
- Przestrzenie funkcyjne
- Zobacz też:
Ortogonalność pojawia się również w kontekście przestrzeni funkcyjnych, gdzie określony jest pewien iloczyn skalarny. Z tego powodu mówi się często o funkcjach ortogonalnych, czy wielomianach ortogonalnych. Klasycznym przykładem jest tutaj przestrzeń tj. przestrzeń wszystkich funkcji, określonych na przedziale o wartościach zespolonych, całkowalnych w drugiej potędze. Iloczyn skalarny elementów i tej przestrzeni definiuje się wzorem
Jeżeli to ważnym przykładem układu ortogonalnego, studiowanego w analizie harmonicznej jest rodzina
Inne przykłady ortogonalnych układów funkcji to np. wielomiany Legendre'a czy wielomiany Czebyszewa.