Lição 112 — Transformações lineares
Funções entre espaços vetoriais que preservam combinação linear. Representação matricial em uma base. Mudança de base. A operação fundamental que torna ML, gráficos 3D e processamento de sinais possíveis.
Used in: Leistungskurs alemão (Lineare Algebra) · Math III japonês · H2 Math singapurense · graduação engenharia 1.º semestre
Rigorous notation, full derivation, hypotheses
Definicja ścisła
Przekształcenia liniowe
"Przekształcenie liniowe to funkcja z jednej przestrzeni wektorowej do drugiej, która zachowuje operacje przestrzeni wektorowej dodawania wektorów i mnożenia przez skalar." — Beezer — A First Course in Linear Algebra, §LT
"Jeśli jest przekształceniem liniowym, to ." — Beezer — A First Course in Linear Algebra, Twierdzenie LTTZZ, §LT
Reprezentacja macierzowa
Diagram: T przekształca wektory z V (z bazą B) do W (z bazą C). We współrzędnych operacja to mnożenie przez macierz [T].
Zmiana bazy i macierze podobne
"Dwie macierze reprezentujące to samo przekształcenie liniowe w różnych bazach są nazywane macierzami podobnymi, i dla pewnej macierzy odwracalnej ." — Hefferon — Linear Algebra, rozdz. 3 §III.1
Złożenie
Przykłady rozwiązane
Exercise list
44 exercises · 11 with worked solution (25%)
- Ex. 112.1Application
, . Sprawdź, że jest liniowa i znajdź jej macierz.
- Ex. 112.2ApplicationAnswer key
, . Dlaczego nie jest przekształceniem liniowym?
- Ex. 112.3Application
, . Podaj konkretny kontrprzykład, aby pokazać, że nie jest liniowa.
- Ex. 112.4Application
, . Pokaż, że jest liniowa i znajdź jej macierz .
- Ex. 112.5Application
, . Pokaż, że jest liniowa i znajdź macierz .
- Ex. 112.6Application
, . Znajdź macierz w bazie . Co jest specjalnego w tej macierzy?
- Ex. 112.7Application
, . Pokaż, że jest liniowa i znajdź macierz w bazach kanonicznych.
- Ex. 112.8ApplicationAnswer key
, . Pokaż, że jest liniowa i napisz macierz w bazie kanonicznej .
- Ex. 112.9Application
Ustal . Określ przez . Pokaż, że jest liniowa.
- Ex. 112.10Application
, . Czy jest przekształceniem liniowym?
- Ex. 112.11Application
, . Pokaż, że jest liniowa i znajdź macierz diagonalną w bazie .
- Ex. 112.12Application
, dla każdego . Pokaż, że jest liniowa. Jaka jest jej macierz w każdej bazie?
- Ex. 112.13Application
Znajdź macierz obrotu o 45° na płaszczyźnie. Sprawdź, że jej wyznacznik to 1.
- Ex. 112.14ApplicationAnswer key
Znajdź macierz odbicia przez prostą . Sprawdź, że .
- Ex. 112.15Application
Znajdź macierz rzutu ortogonalnego na oś . Sprawdź, że (idempotencja).
- Ex. 112.16ApplicationAnswer key
Znajdź macierz rzutu ortogonalnego na prostą . Sprawdź idempotencję.
- Ex. 112.17Application
Znajdź macierz skali niejednorodnej . Jakie jest znaczenie geometryczne wyznacznika?
- Ex. 112.18Application
Znajdź macierz ścinania poziomego o współczynniku 2: .
- Ex. 112.19Application
Złożenie: obrót o 30° następnie skala przez 2. Oblicz macierz iloczynu .
- Ex. 112.20ApplicationAnswer key
Złożenie: odbicie przez prostą następnie obrót o 90°. Oblicz macierz iloczynu i określ wynikowe przekształcenie.
- Ex. 112.21Application
W znajdź macierz obrotu o 90° wokół osi (oś pozostaje ustalona).
- Ex. 112.22Application
W znajdź macierz rzutu ortogonalnego na płaszczyznę .
- Ex. 112.23Application
, . Znajdź macierz w bazie kanonicznej.
- Ex. 112.24Application
, (iloczyn wektorowy z ustalone). Znajdź macierz .
- Ex. 112.25Application
, (odbicie przez oś ). Znajdź w bazie kanonicznej i w bazie . Potwierdź, że są podobne.
- Ex. 112.26Application
Pokaż, że macierze podobne mają taki sam wyznacznik i taki sam ślad.
- Ex. 112.27Answer key
Pokaż, że jeśli (podobne), to dla każdego . Wniosek: nilpotencja jest niezmiennikiem podobieństwa.
- Ex. 112.28ModelingAnswer key
W grafice komputerowej translacja przez w nie jest przekształceniem liniowym. Jak współrzędne jednorodne pozwalają reprezentować ją jako przekształcenie liniowe w ? Napisz macierz .
- Ex. 112.29Modeling
Portfel z aktywami, wagi , oczekiwane zwroty . Czy oczekiwany zwrot jest przekształceniem liniowym w ? A wariancja ?
- Ex. 112.30Modeling
Napisz macierz Toeplitza , która realizuje dyskretny 1D splot z jądrem nad sygnałem długości 5 (wyjście ważne, długość 3).
- Ex. 112.31Modeling
W uczeniu maszynowym warstwa gęsta to . Która część jest przekształceniem liniowym? Dlaczego dodanie nie czyni warstwy liniową? Skąd pochodzi nieliniowość sieci neuronowej?
- Ex. 112.32Modeling
System LTI: , rozwiązanie . Pokaż, że zastosowanie jest przekształceniem liniowym. Co to jest macierz ?
- Ex. 112.33Modeling
Operator różniczkowania ma nilpotentną macierz. Wyjaśnij, dlaczego i co to oznacza w kategoriach wielomianów.
- Ex. 112.34Modeling
Dlaczego ? Co to mówi o przestrzeni wszystkich macierzy ?
- Ex. 112.35UnderstandingAnswer key
to warunek konieczny dla liniowości. Podaj przykład z , które nie jest liniowe. Dlaczego nie jest wystarczające?
- Ex. 112.36Understanding
Jeśli reprezentuje w , wyjaśnij geometryczne znaczenie formuły . Co robi każdy czynnik?
- Ex. 112.37Understanding
Wyjaśnij, bez obliczania, dlaczego iloczyn macierzowy jest dokładnie złożeniem . Jaki jest związek między definicją iloczynu macierzowego i definicją złożenia?
- Ex. 112.38UnderstandingAnswer key
Pokaż, że (zbiór wszystkich przekształceń liniowych z do ) jest sam w sobie przestrzenią wektorową, z operacjami i .
- Ex. 112.39ChallengeAnswer key
Znajdź z (negatyw tożsamości). Sugeruje się obrót o 90°. Jaki jest związek z liczbami zespolonymi?
- Ex. 112.40Challenge
Dowód: każde przekształcenie liniowe ma formę dla pewnego .
- Ex. 112.41Proof
Dowód. Udowodnij, że złożenie przekształceń liniowych jest liniowe. Niech i obie będą liniowe. Pokaż, że jest liniowe.
- Ex. 112.42ProofAnswer key
Dowód. Udowodnij przez indukcję, że każde przekształcenie liniowe zachowuje dowolne kombinacje liniowe: .
- Ex. 112.43Proof
Dowód. Udowodnij: liniowe jest iniektywne .
- Ex. 112.44Proof
Dowód. Udowodnij twierdzenie o rozszerzeniu liniowym: dane przestrzenie wektorowe (wymiar ) i , oraz wektory dowolne, istnieje jedyne przekształcenie liniowe z dla .
Źródła
- Beezer — A First Course in Linear Algebra — Rob Beezer · 2022 · EN · GNU FDL. §LT (Linear Transformations) i §ILT (Injective Linear Transformations). Główne źródło tej lekcji.
- Hefferon — Linear Algebra — Jim Hefferon · wyd. 4. · EN · CC-BY-SA. Rozdz. 3 (Maps Between Spaces): perspektywa geometryczna i przykłady przekształceń płaszczyzny.
- Axler — Linear Algebra Done Right — Sheldon Axler · wyd. 4. · EN · CC-BY-NC. §3A–§3B: mapy liniowe jako obiekty pierwszej klasy; bez wyznaczników jako fundamentu.