- 注册时间
- 2017-12-7
- 最后登录
- 1970-1-1
- 威望
- 星
- 金币
- 枚
- 贡献
- 分
- 经验
- 点
- 鲜花
- 朵
- 魅力
- 点
- 上传
- 次
- 下载
- 次
- 积分
- 3243
- 在线时间
- 小时
|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?欢迎注册
×
问题背景:
最开始我是看有人说 Robinson算数 满足结合律但证不出来,我感觉有BUG,因为算数系统证不出来结合律的原因很可能是结合律直接不成立
推到某一步构造的时候需要构造一个新运算$f$,满足$f(a,0)=a$且$f(f(a,b),c)\ne f(a,f(b,c))$,我不假思索地写了一个$f(a,b)=ab+a+b$,并立flag表示这玩意不可能满足结合律
……
改掉证明之后,发现剩下的这个“到底什么算符有交换律和结合律”很好玩,但不知道有什么好结论,因此发文,顺便祝坛友元旦快乐:)
设$a,b,c$是有理数,$C,T$是有理数常数,则
$$f_{C,T}(a,b)=Cab + (1-CT)(a+b) + CT^2 - T$$
满足交换律$$f_{C,T}(a,b)=f_{C,T}(b,a)$$
和结合律$$f_{C,T}(f_{C,T}(a,b),c)=f_{C,T}(a,f_{C,T}(b,c))$$
几个栗子:
$$f_{0,0}(a,b)=a+b$$
$$f_{1,1}(a,b)=ab$$
$$f_{0,-C}(a,b)=a+b+C$$
$$f_{C,1/C}(a,b)=Cab$$
$$f_{C,0}(a,b)=Cab+a+b$$
除了这个函数之外,还有其他函数可以同时满足交换律和结合律吗?
|
评分
-
参与人数 1 | 威望 +3 |
金币 +3 |
贡献 +3 |
经验 +3 |
鲜花 +3 |
收起
理由
|
wayne
| + 3 |
+ 3 |
+ 3 |
+ 3 |
+ 3 |
我只能说 新年快乐了, 哈哈哈 |
查看全部评分
|