ユークリッドの互除法じゃなくて何かの互助会だったらどうする？

**１３２人目の素数さん** · 2023/09/23(土) 22:55:01.58

？

**１３２人目の素数さん** · 2023/09/23(土) 23:00:31.71

ルベーグ積分をやる

**１３２人目の素数さん** · 2023/09/24(日) 01:29:16.47

任意のx∈Rに対して、適当なq∈Qを取れば、x - q∈[0, 1)とできる。
だから、R/Qの[0, 1)代表元の集合が取れる。それをVとする。

**１３２人目の素数さん** · 2023/09/24(日) 01:31:01.90

Qは可付番なので、[0, 1)∩Q = {q_1, q_2, ...}とできる。
V_i = {x + q_i| x∈V}とおく。

**１３２人目の素数さん** · 2023/09/24(日) 01:35:34.03

i≠j ならば V_i∩V_j=∅である
もし、x∈V_i∩V_jがあったとすると、x', x''∈Vがあって、

x = x' + q_i = x'' + q_j

となる。このとき、

x' - x'' = q_i - q_j∈Q

なので、x' ～ x''。x', x''は代表元なのでx' = x''となり、矛盾。

**１３２人目の素数さん** · 2023/09/24(日) 04:32:05.87

デュアリティ双対性を互性（(C)佐藤信淵）と呼び変えるよりも
互酬性レシプロシティを進化生物学のESSナッシュ均衡の不動点論として論じるほうが好き

**１３２人目の素数さん** · 2023/09/24(日) 07:00:46.77

糖尿病をダイアベティスと呼び替えるよりも、白米食をやめた方がいい

**１３２人目の素数さん** · 2023/10/02(月) 09:42:30.10

良スレ