Twierdzenie o bezwładności form kwadratowych
Twierdzenie o bezwładności form kwadratowych (zwane czasem twierdzeniem Sylvestera-Jacobiego) opisuje niezmienniczość liczby współczynników dodatnich i ujemnych formy kwadratowej ze względu na sprowadzanie jej do różnych postaci kanonicznych.
Twierdzenie[edytuj | edytuj kod]
Jeśli sprowadza się rzeczywistą formę kwadratową do dwóch różnych postaci kanonicznych za pomocą nieosobliwych przekształceń rzeczywistych, to obie formy kanoniczne mają te same liczby współczynników dodatnich i współczynników ujemnych.
Przestrzenie ortogonalne[edytuj | edytuj kod]
Twierdzenie o bezwładności form kwadratowych można wypowiedzieć w języku przestrzeni ortogonalnych.
Załóżmy, że jest przestrzenią ortogonalną nad ciałem liczb rzeczywistych oraz
są dwiema bazami prostopadłymi przestrzeni Wówczas,
gdzie:
Sygnatura funkcjonału[edytuj | edytuj kod]
Liczbę
nazywa się sygnaturą funkcjonału (bądź przestrzeni – oznacza się zwykle ją wówczas symbolem ).
Zobacz też[edytuj | edytuj kod]
Bibliografia[edytuj | edytuj kod]
- Andrzej Mostowski, Marceli Stark: Elementy algebry wyższej. Warszawa: Państwowe Wydawnictwo Naukowe, 1975.
Linki zewnętrzne[edytuj | edytuj kod]
- Law of inertia (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].