作者查詢 / hwanger
作者 hwanger 的總覽 (PTT發文,留言,暱稱)
發文數量: 0
收到的『推』: 0
收到的『→』: 0
收到的『噓』: 0
留言數量: 4615
送出的『推』: 548 (11.9%)
送出的『→』: 4062 (88.0%)
送出的『噓』: 5 (0.1%)
使用過的暱稱: 0
hwanger 在 PTT 最新的發文, 共 0 篇
hwanger 在 PTT 最新的留言, 共 4615 則
87F→: 這裡就省去用"一個空間是否完備"去深究為什麼我們大05/08 14:37
88F→: 部份的時候只考慮 over R 或 C; 也不特別再額外去05/08 14:37
89F→: 考慮在其他拓樸空間上的微分定義, 或者探討更一般05/08 14:37
90F→: 的微分定義, 而只考慮僅用極限在一般的 normed spac05/08 14:37
91F→: es 就可以定義的微分 --- Frechet differentiable05/08 14:37
92F→: 則原問題的癥結點實際上就是 R-linear transformati05/08 14:37
93F→: on 不見得會是 C-linear05/08 14:37
94F→: 並且當我們思考一個實矩陣何時可以視為一個複線性05/08 14:38
95F→: 轉換時, 就會得到這個矩陣依序分割後的 2x2 子矩陣05/08 14:38
96F→: 必須是單位矩陣的常數倍加上一個反對稱矩陣, 這在二05/08 14:38
97F→: 維實空間到二維實空間時即 Cauchy-Riemann equation05/08 14:38
98F→: 題外話, 當我們的定義域和值域都是有限維空間時, 因05/08 14:39
99F→: 為所有的 norm 都是等價的, 所以一個函數可不可微05/08 14:39
100F→: 分和所選取的 norm 無關05/08 14:39
69F→: 這裡所說的地圖就是我們印象中的地圖, 而以下所提05/08 14:17
70F→: 到的區域都直接假設是連通的, 並全部省去精準的定義05/08 14:17
71F→: .05/08 14:17
72F→: 注意到原 po 用 Euler characteristic 能夠證明的05/08 14:17
73F→: 其實是下面這個命題:05/08 14:17
74F→: """不存在一張平面的地圖、使其圖上至少有五個區域05/08 14:18
75F→: 彼此有鄰邊相鄰"""05/08 14:18
76F→: 然而這個命題並不顯然地等價於四色定理05/08 14:19
77F→: (至少不是我們一般認為的等價、而非單純只是因為兩05/08 14:19
78F→: 者皆為真所以等價)05/08 14:19
79F→: 原 po 證明的漏洞在於錯誤地認為下面這個敘述是可以05/08 14:20
80F→: 簡單得到的05/08 14:20
81F→: (*) """如果有一張地圖不存在 m=5 個區域彼此有鄰05/08 14:20
82F→: 邊相鄰, 則這張地圖只需要 m-1 個顏色即可著色"""05/08 14:20
83F→: 觀察到原文後半段是應用 Euler 的性質來肯定 (*)05/08 14:21
84F→: 的前件, 而非用來證明 (*) 本身, 並且原 po 對 (*)05/08 14:21
85F→: 的論證和 m 是否為 5 是沒有關係的.05/08 14:21
86F→: 但是 (*) 在 m=3 和 4 時是有反例的:05/08 14:22
87F→: 將極座標平面用 θ=0, 2π/5, 4π/5, 6π/5, 8π/505/08 14:22
88F→: 五條射線分成 5 塊區域, 則你在這張地圖上是找不出05/08 14:22
89F→: 3 個區域、使得其彼此之間皆有鄰邊相鄰, 可是這張05/08 14:22
90F→: 地圖卻仍然需要至少 3 個顏色才能著色.05/08 14:22
91F→: 而 m=4 的反例則只需在上述地圖中心再加一個圓盤即05/08 14:23
92F→: 可05/08 14:23
93F→: 題外話, 或許試著思考 Alfred Kempe 的證明錯誤在05/08 14:23
94F→: 哪, 可以幫助原 po 釐清自己的證明哪裡不足05/08 14:23
1F→: a=-1+2/30, b=-1+2/32, c=-1+2/33106.105.234.196 11/10 05:19
8F→: https://postimg.cc/rKVz33Jv11/09 16:49
9F→: https://postimg.cc/yD5dJdzP11/09 16:49
10F→: https://postimg.cc/R61VbLJk11/09 16:50
11F→: https://postimg.cc/30KJM0gv11/09 16:50
12F→: https://postimg.cc/QVsMKwvw11/09 16:51
1F→: 因為 ∠AHG = (∠BAC)/2 = ∠AGH, 所以 AH = AG.11/09 15:51
2F→: 由孟氏定理可得11/09 15:52
3F→: (DG/AG)(AH/HB)(BF/FD)=1=(BF/FD)(CD/AC)(AE/EB)11/09 15:53
4F→: 令 r=AH=AG 及 s=BE=CD 並代入上式整理可得11/09 15:53
5F→: DG*(DG + r + s) = AE*(AE + r + s)11/09 15:54
6F→: 因 f(x)=x(x+r+s) 在 x>0 嚴格遞增, 所以 AE=DG.11/09 15:55
7F→: 故 AB = CG 且 AD = HE.11/09 15:55
hwanger 在 PTT 的暱稱紀錄, 共 0 個