作者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