推 dj533kevin:高手！ 11/14 02:04
※ 引述《dj533kevin (烏鴉)》之銘言：
: 1.加法交換律 A女友與B男友的關係，跟B男友與A女友的關係相同
: 2.加法結合律 A女友 B男友 C女友。
: (A與B) C為第三者的麻煩 跟 (B與C) A為第三者的麻煩相同
: 3.0元素 存在一個 0 女友 使得有0女友與單身是同樣狀況
: 4.反元素 每一個男人都可以接受手術成為不男不女
: 5.乘法交換律 A跟B在一起的開銷，與B跟A在一起的開銷一樣
: 6.乘法結合律 Ax(BxC)的滿足感 與 (AxB)xC的滿足感相同
: 7.單位元素 當你單身的時候，你可以單身下去
: 8.反元素 永遠存在第三者使得你會回到單身狀態
: 9.分配律 你同時追兩個女生花的錢，等同於分開追求
: 10. 1不等於0 就算你單身，至少你還不用砍掉重練
: 當滿足以上十大性質時，我們稱之為order field
: 典型的男女模型看來都有符合以上條件
假設此群是well-defined
現有三元素 A女 B男 C女
由2. (A+B)+C = A+(B+C)
由1. A+B = B+A
所以 (A+B)+C = (B+A)+C = B+(A+C) = (A+C) +B
也就是說(A與B) C為第三者的麻煩和 (B與C) A為第三者的麻煩
和(A與C) B為第三者的麻煩相同
但(A女與C女) B男為第三者的麻煩 (需解釋)
Claim that 一.如果 A,C為les. 則矛盾 => 此群不成立
二.如果 A,C有一為bi =>成立
(推出細理: 若X,Y符合此群,則至少有一人為bi x,y可同為男或女)
二與加法單位元素矛盾 (0女友或0男友與單身不一定同樣)
若同時有著0女友與0男友 則違背零元素為unique
由以上各點得出 加法交換律與結合律互不成立
此群不成立
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.120.226.143