jednoznaczność w GL2

Grupy, pierścienie, ciała, rozkładalność, klasyczne struktury algebraiczne...
H0t_Orange_B0i
Użytkownik
Użytkownik
Posty: 29
Rejestracja: 9 cze 2020, o 10:49
Płeć: Mężczyzna
wiek: 9
Podziękował: 9 razy
Pomógł: 4 razy

jednoznaczność w GL2

Post autor: H0t_Orange_B0i »

Mam takie zadanie
Niech \(\displaystyle{ G=GL(2,\RR)}\) i niech \(\displaystyle{ H= \lbrace \lambda * I \in G: \lambda \in \RR^* \rbrace }\) (gdzie \(\displaystyle{ \RR^*}\) to zbiór liczb rzeczywistych bez zera) gdzie \(\displaystyle{ I}\) jest macierzą jednostkową w \(\displaystyle{ G}\). Wykazać ,że dla każdej macierzy \(\displaystyle{ A \in G}\) istnieje dokładnie jedna macierz \(\displaystyle{ B \in GL(2,\RR)}\) taka że \(\displaystyle{ |\det(B)|=1}\) oraz \(\displaystyle{ B \in AH}\).

Rozwiązywałem ten problem w następujący sposób.
Niech \(\displaystyle{ A \in G}\) i przyjmijmy że \(\displaystyle{ \det(A)=\frac{1}{x^2}}\) (w przypadku gdy wyznacznik jest ujemny to jeszcze minus dokładamy)
Teraz w zbiorze \(\displaystyle{ AH= \lbrace A*\lambda * I \in G: \lambda \in \RR^* \rbrace }\) musimy znaleźć takie \(\displaystyle{ B}\) żeby zachodziło \(\displaystyle{ |\det(B)|=1}\) oraz \(\displaystyle{ B \in AH}\). Rozważmy macierzy \(\displaystyle{ x*A}\) która należy do \(\displaystyle{ AH}\), wtedy jej wyznacznik jest równy \(\displaystyle{ \det(x*A)=x^2\det(A) = x^2 * \frac{1}{x^2}=1}\) zatem macierz \(\displaystyle{ B=x*A}\) spełnia warunki. Ale przeprowadzająć to samo rozumowanie dla macierzy \(\displaystyle{ B=(-x)*A}\) dostajemy że taka macierz również spełnia warunki z treści więc dla ustalonego \(\displaystyle{ A}\) w warstwie \(\displaystyle{ AH}\) zawsze będą dwie macierze spełniające warunki zadania. Czy w takim razie w treści musi być błąd?
Ostatnio zmieniony 18 lis 2023, o 22:11 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Awatar użytkownika
Dasio11
Moderator
Moderator
Posty: 10227
Rejestracja: 21 kwie 2009, o 19:04
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 40 razy
Pomógł: 2362 razy

Re: jednoznaczność w GL2

Post autor: Dasio11 »

Zgadza się - takie macierze są zawsze dwie, więc w treści jest błąd.
ODPOWIEDZ