推 herstein :表示法應該不唯一...應該只要證存在就可以 12/17 09:29
推 ppia :但 <v_1,...,v_{n-1}> 是唯一的 12/17 14:17
→ ppia :考慮 V^(n-1) ^ V -------> V^n 這個 pairing 12/17 14:18
→ ppia :假設 v != 0, 你固定 v 的話 就會拿到一個 V--->V^n 12/17 14:20
→ ppia :non-zero linear map 12/17 14:21
→ bineapple :請問拿到linear map之後要怎麼導出表示式存在呢? 12/17 17:03
→ bineapple :大概明白了 所以只要分兩種case v=0時是trivial 12/17 18:25
→ bineapple :v!=0時只要證明存在v_1,...,v_(n-1)使得v是另外n-1個 12/17 18:25
→ bineapple :向量的outer product就好了 12/17 18:26
→ bineapple :也就是說存在invertible nxn matrix M使得M的first 12/17 18:27
→ bineapple :row是v就可以了 12/17 18:27
推 ppia :拿到 linear map 之後 考慮它的 kernel 12/18 16:36
→ ppia :kernel 的任一組 basis 就是你要的東西 12/18 16:36
→ ppia :同時你也證明 <v_1,...,v_{n-1}> = kernel 12/18 16:37
→ ppia :當然以上都是對 v!= 0去作 12/18 16:38
→ Vulpix :應該還要調一下倍數~ 12/18 20:19
推 ppia :對...都忘了 12/19 00:20
→ bineapple :我明白了 線代真的是很漂亮的學問 感謝!! 12/19 04:21