作者ywch (狐狸連結陸地人)
看板W-Philosophy
標題請教有關isomorphism的問題
時間Sat Apr 25 01:04:06 2009
想請教大家一個簡單的問題
問題的描述已先作圖片了 :P
http://img4.imageshack.us/img4/5485/81644101.jpg
問題其實很簡單, 但我是作語義學研究的學生...
group isomorphism是bijective
但order isomorphism是surjective
這裡指的order應該和mapping時的先後順序無關?
因為希望能在邏輯語言的公式中把該有的語義成份都寫齊,
不過不是很清楚該來math版詢問還是去哲學版詢問
先謝過大家了 :)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.80.137.193
※ 編輯: ywch 來自: 219.86.66.36 (04/25 01:04)
1F：推 Equalmusic:你只要加上 a>b <=> f(a)>*f(b) 的條件就行了 04/25 02:55
2F：→ Equalmusic:不過我忘了這有沒有特別的名堂... 04/25 02:56
3F：→ Equalmusic:PS 這應該去數學板問 & 這是集合論問題, 跟群論無關 04/25 02:57
4F：→ ywch:非常感謝你的幫忙, 數學版得到的回應我看不太懂... (太弱了) 04/25 17:40
5F：推 flamesky:這是數學問題，你這裡就是讓morphism保持一個良序結構 04/28 11:55
6F：推 flamesky:對于有限保序的問題，工具已經很齊備了，最好你能說說你 04/28 11:58
7F：→ flamesky:這模型是做啥用的 04/28 11:59