2023年8月2日

セブンでカレーフェアをやっているので、昼にビリヤニを買いに行ったが在庫がなく、他のカレーを買えばいいものを錯乱してつけ麺を買ってきた。

夕食にアスパラの肉巻きを作った。また巻いてしまった。

---

夜は少しだけ集合論の続き。順序数のべきのあたりの問題を解いていた。整列集合の直積を考えるときに、なぜ「有限個の添字だけ、その像が最小値でない」ような写像のみ考えるのかがいまいち掴めていない。まあ、普通のA x Bみたいな直積の順序を辞書順で入れていたことの類推で、一般の直積の場合には添字集合の中で最大値を取る必要があり、その関係で有限個になっているのではあるが、有限個でなぜうまくカバーできているのか不思議だ。そもそも辞書順の定義が微妙なのでは？ とも思っているが、ここの定義を変えた場合べき集合 ($2^A$) の順序数が自然な形 ($2^\alpha$) にならないということだろうか。