今日のアニソン、「さくら荘のペットな彼女」から『君が夢を連れてきた』

今日のアニソンは、「さくら荘のペットな彼女」から『君が夢を連れてきた』です。

まるで、ネムネコのことを歌っているような曲、歌詞だと思わないケロか？

明日、５月８日から、ねこ騙し数学は本格営業するにゃ。今日は、このことを告げるだけだケロよ。

明日、「選択公理」と「整列可能定理」をやるにゃ。数学の基礎論や、純粋数学などをやっているヒト以外、「選択公理」や「整列可能定理」なんてものを実際に使うことはないと思うけれど、ちょっとだけ、記事してみたケロ。
選択公理から、整列可能定理――どんな集合も、順序（平たく言えば、大小関係）を付けて、整列集合（最小の元をもった、しかも、集合のすべてに元に順序・大小関係のある集合）にできるという定理（？）。ただし、どんな順序をつければよいかということまでは教えてくれない――の証明も記事に書こうと思い、途中まで書いたのだけれど、Wの筆記体というか、ドイツ語の花文字みたいな奴の出し方がわからないので、選択公理から整列可能定理の証明を記事に書くのは断念したにゃ。
どうせ、証明を書いたって、これを見てわかる奴はほとんどいないだろうし・・・(^^ゞ
こんな定理があるってことと、整列可能定理とZornの補題が「選択公理」が同じものだという事実を知っていれば、事足りるケロよ。

さらに、これに合わせて、順序集合と整列集合の記事の内容も追加したにゃ。追加しただけではなく、第ホニャララ回のホニャララの番号を２増やしたケロ。濃度同士の掛け算、べき乗という２つの記事を、今後、追加する予定だにゃ。集合の濃度の演算規則を知ったところで、何の役に立つのかは不明だけれど・・・。ほとんど役に立たないからなんだろう、「集合・位相（入門）」の標準的な教科書には濃度同士の演算なんて書いてない（笑）。