PL 
EnglishDomyślny
Українська⬜ Przekształcenia macierzowe — wizualizator algebry liniowej 2D
Wpisz macierz 2x2 i obserwuj obrót, ścinanie lub skalowanie płaszczyzny, gdzie wyznacznik jest współczynnikiem pola, a wektory własne wskazują kierunki nieruchome.
O tej symulacji
Ten wizualizator stosuje edytowaną na żywo macierz 2×2 M = [[a,b],[c,d]] do każdego punktu płaszczyzny poprzez (x,y) → (ax+by, cx+dy), przerysowując siatkę współrzędnych, okrąg jednostkowy oraz wektory bazowe î, ĵ w każdej klatce, dzięki czemu przekształcenie liniowe jest widoczne jako ciągły ruch, a nie abstrakcyjny wzór. Obok siatki kod oblicza ślad = a+d oraz wyznacznik = ad−bc, a następnie rozwiązuje równanie charakterystyczne λ² − ślad·λ + wyznacznik = 0 dla wartości własnych macierzy; gdy dyskryminanta ślad²−4·wyznacznik jest nieujemna, wyznacza też odpowiadające wektory własne z równania (M−λI)v = 0 i rysuje je jako przerywane żółte linie przechodzące przez transformację bez obrotu. Osiem gotowych ustawień (tożsamość, dwa obroty, jednorodne skalowanie, ścinanie poziome, oba odbicia osiowe oraz ogólna macierz „ściskająca”) pozwala od razu przejść do przypadków kanonicznych, a klasyfikator pod płótnem nazywa macierz aktualnie opisywaną przez cztery suwaki.
Co pokazuje
Jak dowolne przekształcenie liniowe 2×2 wygina siatkę współrzędnych i okrąg jednostkowy w elipsę w czasie rzeczywistym: przekształcone strzałki î i ĵ to dosłownie kolumny macierzy, wyznacznik podany na pasku statystyk równa się współczynnikowi skalowania pola (a jego znak sygnalizuje odbicie), a rzeczywiste wektory własne są rysowane jako przerywane linie, które tylko się rozciągają — nigdy nie obracają — gdy animacja przechodzi od macierzy jednostkowej do Twojej macierzy.
Jak z niej korzystać
Przeciągnij suwaki a, b, c, d, aby zbudować dowolną macierz, lub kliknij gotowe ustawienie (Tożsamość, Obrót 45°/90°, Skala ×2, Ścinanie X, Odbicie X/Y, Ściśnięcie), aby wczytać je od razu. Włączaj i wyłączaj warstwy Siatka, Wektory bazowe, Wektory własne i Okrąg jednostkowy, a przyciskiem Animuj obserwuj przejście od macierzy jednostkowej do bieżącej macierzy; naciśnij przycisk ?, aby zobaczyć pełny panel wzorów.
Czy wiesz, że…
Czysta macierz obrotu zawsze ma zespolone wartości własne (chyba że obraca o 0° lub 180°) — ponieważ prawdziwy obrót zmienia kierunek każdego wektora, żaden rzeczywisty wektor nie może pozostać na swojej linii, więc nie ma rzeczywistego wektora własnego do narysowania, a pasek statystyk podaje λ₁ i λ₂ jako „zespolone”.
Najczęściej zadawane pytania
Co właściwie robi macierz 2×2 z płaszczyzną?
Macierz 2×2 M = [[a,b],[c,d]] to przekształcenie liniowe wysyłające każdy punkt (x,y) do (ax+by, cx+dy). Ponieważ przekształcenie jest liniowe, proste linie pozostają proste, początek układu nigdy się nie porusza, a linie równoległe pozostają równoległe — zmieniają się tylko kąty i odstępy siatki. W tym wizualizatorze przekształcona siatka współrzędnych powstaje przez zastosowanie dokładnie tego wzoru do każdej linii siatki, a dwie kolorowe strzałki pokazują, gdzie lądują wektory bazowe î=(1,0) i ĵ=(0,1) — te obrazy to po prostu kolumny macierzy (a,c) i (b,d).
Jak wizualizator oblicza wartości i wektory własne?
Kod najpierw oblicza ślad = a+d oraz wyznacznik = ad−bc, a następnie rozwiązuje równanie charakterystyczne λ² − ślad·λ + wyznacznik = 0 wprost za pomocą wzoru kwadratowego λ = (ślad ± √(ślad²−4·wyznacznik))/2. Jeśli dyskryminanta ślad²−4·wyznacznik jest ujemna, wartości własne są zespolone i żadne rzeczywiste wektory własne nie są rysowane. Dla każdej rzeczywistej wartości własnej λ wektor własny odczytywany jest z pierwszego wiersza (M−λI)v=0, dając v=(−b,a); jeśli b jest numerycznie zerem, wizualizator sięga po drugi wiersz, unikając dzielenia przez zero.
Co mówi tu wyznacznik i jak jest wykorzystywany?
det(M) = ad−bc mierzy, jak przekształcenie skaluje pole: pasek statystyk oraz pomarańczowa przekształcona elipsa (dawny okrąg jednostkowy) odzwierciedlają to bezpośrednio, ponieważ pole elipsy równa się |det(M)| razy pole pierwotnego okręgu. Dodatni wyznacznik zachowuje orientację, ujemny ją odwraca (odbicie), a wyznacznik równy 0 oznacza, że macierz jest osobliwa — spłaszcza całą płaszczyznę 2D do pojedynczej linii lub punktu, co wizualizator zgłasza jako typ „Osobliwa (zapada się)”.
Dlaczego wektory własne pozostają na tej samej linii, podczas gdy wszystko inne się obraca?
Z definicji wektor własny v spełnia Mv = λv: macierz odwzorowuje go na wielokrotność skalarną jego samego, więc jego kierunek (lub dokładnie przeciwny, dla ujemnego λ) nigdy się nie zmienia, zmienia się tylko jego długość. Wizualizator podkreśla to, rysując każdy wektor własny jako przerywaną żółtą linię przez początek układu i animując macierz od tożsamości do M — każdy inny wektor siatki widocznie się obraca i rozciąga, a strzałki wektorów własnych tylko rosną lub maleją wzdłuż swojej pierwotnej przerywanej linii.
Dlaczego niektóre macierze w tym narzędziu nie mają żadnych rzeczywistych wektorów własnych?
Macierz obrotu ma ślad²−4·wyznacznik < 0 dla dowolnego kąta innego niż 0° lub 180°, ponieważ obroty spełniają ślad=2cosθ i wyznacznik=1, co daje dyskryminantę 4cos²θ−4 ujemną, gdy cosθ ≠ ±1. Geometrycznie ma to sens: prawdziwy obrót zmienia kierunek każdego niezerowego wektora, więc żaden rzeczywisty wektor nie może pozostać na swojej linii jako kandydat na wektor własny — wartości własne tworzą zamiast tego zespoloną parę sprzężoną e^{±iθ}, a wizualizator poprawnie zgłasza „zespolone” dla λ₁ i λ₂, pomijając rysowanie linii wektorów własnych w tym przypadku.