2008/11/19

加菜

原本打算在上星期五講完的例子延到這週講,但我覺得應該不太夠,勢必得找點東西預備著塞時間。中選的是〈When is a function a fold or an unfold?〉,應該是不太難又挺有趣的定理。只是我現在看它的證明敘述很不順眼,試圖重寫中 XD。

--
不過我還看不出來它定義的 kernel 和代數上如 group homomorphism 的 kernel 有什麼關係 XD。

Labels:

Blogger XOO11/19/2008 2:49 pm 說:

試著造 ker 上的等價類看看。

 

<< 回到主頁