4-1. 線性映射

Define Linear Mapping

V V , V′ V' : vector spaces over F F , T T : V→V′ V \rightarrow V' 為一 function 滿足

  • ∀u⃗ \forall \vec{u} , v⃗∈V \vec{v} \in V , T T (u⃗ \vec{u} + v⃗ \vec{v} ) = T T (u⃗ \vec{u} ) + T T (v⃗ \vec{v} )
  • ∀c∈F \forall c \in F , ∀v⃗∈V \forall \vec{v} \in V , T T (cv⃗ c \vec{v} ) = cT c T (v⃗ \vec{v} )

則稱 T T 為 V V 至 V′ V' 之一線性轉換(linear transformation)或線性映射(linear mapping),或簡稱 T T 為線性(linear)

Properties of Linear Mapping

  • T T : V→V V \rightarrow V linear, 稱 T T 為一線性算子(linear operator)
  • T T : V→F V \rightarrow F linear, 稱 T T 為一線性泛涵(linear functional)

    ex. ^{ex.} trace of matrix is a linear functional.

  • IV I_V : V→V V \rightarrow V , IV I_V (v⃗ \vec{v} ) = v⃗ \vec{v} , ∀v⃗∈V \forall \vec{v} \in V , 稱為 V V 上的單位映射函數(identity mapping)
  • T0 T_0 : V→V′ V \rightarrow V' , T0 T_0 (v⃗ \vec{v} ) = 0⃗ \vec{0} , ∀v⃗∈V \forall \vec{v} \in V , 稱為零映射函數(zero mapping), 記作 O O

線性映射的充要條件

T T : V→V′ V \rightarrow V' linear ⇔∀c \Leftrightarrow \forall c , d∈F d \in F , ∀u⃗ \forall \vec{u} , v⃗∈V \vec{v} \in V , T T (cu⃗ c \vec{u} + dv⃗ d \vec{v} ) = T T (cu⃗ c \vec{u} ) + T T (dv⃗ d \vec{v} )

線性映射的必要條件

T T : V→V′ V \rightarrow V' linear ⇒ \Rightarrow

  1. T T (0⃗ \vec{0} ) = 0⃗ \vec{0}

    by T T (cv⃗ c \vec{v} ) = cT c T (v⃗ \vec{v} ), c c = 0 0

  2. T T (−v⃗ - \vec{v} ) = −T - T (v⃗ \vec{v} )

    by T T (cv⃗ c \vec{v} ) = cT c T (v⃗ \vec{v} ), c c = −1 - 1

  3. ∀u⃗ \forall \vec{u} , v⃗∈V \vec{v} \in V , T T (u⃗ \vec{u} - v⃗ \vec{v} ) = T T (u⃗ \vec{u} ) - T T (v⃗ \vec{v} )

Theorem of Basis with Linear Mapping

V V , V′ V' : vector spaces over F F , β \beta = { v1⃗ \vec{v_1} , ..., vn⃗ \vec{v_n} } 為 V V 之一 basis, w1⃗ \vec{w_1} , ..., wn⃗∈V′ \vec{w_n} \in V' , 則 ∃ \exists 唯一 T T : V→V′ V \rightarrow V' linear s.t. T T (v1⃗ \vec{v_1} ) = w1⃗ \vec{w_1} , ..., T T (vn⃗ \vec{v_n} ) = wn⃗ \vec{w_n}

當一個線性映射對某一組基底的對應決定後,則整個線性映射便唯一決定

Theorem of Matrix Transformation

若 T T : Fn→Fm F^n \rightarrow F^m linear, 則 ∃ \exists 唯一 A∈Fm×n A \in F^{m \times n} s.t. T T (x⃗ \vec{x} ) = Ax⃗ A \vec{x} , ∀x⃗∈Fn \forall \vec{x} \in F^n , 其中 A A = [ T T (e1⃗ \vec{e_1} ) T T (e1⃗ \vec{e_1} ) ... T T (en⃗ \vec{e_n} ) ] 又可稱為 T T 之標準矩陣(standard matrix)

Copyright© saberLiou all rights reserved.            last updated at 2019-09-23 23:46:58

results matching ""

    No results matching ""