暇つぶしに見て 頭の体操七
逆元の逆元 -(-x)は逆元の逆元という意味。裏の裏は表、の証明。 公理主義実数論の公理から。 ∀x,∃-x∈ℝ:x+(-x)=0 任意の元xを選ぶとその逆元は必ず存在します。 (-x)+(-(-x))=0(R3) -(-x)+(-x)=0...
群論
暇つぶしに見て 暇つぶしに見て 整数
参考書WIIS 実数や整数の濃度を比較して遊ぼうとすると、どうしてもその定義を知らなきゃならんことがあります。というわけでとりあえず現時点の理解をまとめます。 可算無限 「自然数の濃度と偶数の濃度は同じ」について。自然数とその真部分集合であ...
暇つぶしに見て 群
濃度の件で、そう言えば代数的数なるものがあったなと。果たしてその濃度はどれほどか証明しよう、と思い立ったのですが、『そもそも「代数的数」を知らん』と気が付きました。 深掘りしたら「群」という概念と遭遇。 情報の大部分が捨像されたような定義だ...
暇つぶしに見て 素人が数学に挑戦 論理記号の翻訳
群論って森に迷い込みました。道しるべとなる論理記号を学びます。 僕は基本的にWikipediaを読んで、分からないことをネットで分かるまで検索するって方法で勉強しています。教科書でやろうとしましたんですが、どこまでも掘り下げないと気が済まな...