バナッハ=タルスキの定理の証明見たけど選択公理は本質じゃないだろ

バナッハ=タルスキの定理の証明見たけど選択公理は本質じゃないだろ (83ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

45: １３２人目の素数さん [] 2024/12/25(水)14:16 ID:3QvSsu9z(1/3)
>>41
>代数的議論が主題
群の作用の話だから

52: １３２人目の素数さん [] 2024/12/25(水)17:43 ID:3QvSsu9z(2/3)
>>51
>Banach-Tarskiは選択公理とはあまり関係がない
代表系を取れないと話にならないのに関係ないとは言い難くない？

57(1): １３２人目の素数さん [] 2024/12/25(水)18:34 ID:3QvSsu9z(3/3)
自由群の交換子群は自由群だそうだけど証明は簡単なの？