集合論から先へ伸びていった良い理論の例として位相空間論がありそう
群・環・体のように演算が定められなくても(1・多変数微積分が由来の)特定の条件を満たす部分集合族を定めることができればそこから理論がどんどん伸びていく
集合Mの部分集合Xを固定する。
写像 f : P(M)→P(X) を考える。fは任意のU(⊂M)に対してf(U)⊂U とする。
このとき f(U)∈P(X)が一点集合になるようなUの条件はあるか、あればどういうものか調べたい。
現実の何かに役立てようと心が向くと数学が手につかなくなってしまった
現象が先にあって後から数学がついてくると思うと手元が暗くなりさっきまであると感じてた数学が見えなくなって、興味のあった問題を思い出すとまた明るくなって私においては純粋な興味こそが数学に取り組める心なんだと思った
数学の研究者になるということは世間一般の人からは一切の期待をされずに数学の道を進み続けていくことなのかなと思ってしまった。
社会にとって必要な存在だろうけど私にとっては要らないかな👋
って雰囲気をたくさんの企業の人や工業系の先生、家族親戚から感じてきてそう思った
数学は難しい。難しいゆえに何か数学で面白いものを見つけても数学に暗い人には伝わらなくて「何か難しいことをしてるね」「楽しそうだね」となって肝心の内容や成果をあまり見つめてもらえなくて悔しい、、
例えば積分知らないけどヤコビアン理解したって矛盾してるもんね… 仕方ないのかな
ナンプレを解くとき、あるマスにどの数字が入り得るか判断する。このときそのマスの所属する3×3ブロックに存在する数字の集合A, 所属する行に存在する数字の集合B, 列に存在する数字の集合Cとして{1,…,9}\(A∪B∪C) をマスに入る数字の候補としている。この操作を代数的な演算と考えられないだろうか
1.5時間かけて位相空間論の入門講義をしてきた
べき集合、距離空間、非可数個の∪や∩の添字の話、位相空間の定義、離散空間・密着空間、距離から定まる位相とその例(ℝとℝ²の位相)とその証明、ノルム空間→距離空間→位相空間の流れを解説した
Lie群や多様体への接続を見据えて、本当に少しだけどハウスドルフ空間の定義、連続写像の定義、群演算と逆元をとる操作が連続なときその群を位相群ということも説明した
距離空間⇒ハウスドルフ空間、距離空間でないハウスドルフ空間の例、相対位相、積位相、商位相の話は時間が不足しできなかった




