例えば、一例としてトポロジーの話題。 正確な書き方と記号の乱用 がモノイドだとすれば、 と書ける。ここで： は集合。モノイドの台集合〈underlying set〉と呼ぶ。檜山は、underly と underline をかけて（駄洒落！）、台集合には下線を引く。 は写像。モ…

多様体様構造〈manifold-like structure〉とは 局所的には単純で扱いやすい。局所自明性〈local tribiality〉と呼ぶ。（形容詞は locally trivial） 全体としては単純とは限らない。 単純な局所部分の貼り合わせとして記述と構成が可能。 多様体様構造の例 …

ベクトルバンドルを単に「バンドル」ともいう。 ： 多様体 ： 番号の区間 ： ベクトルバンドル ： 開被覆 ： 制限されたバンドル ： 自明バンドル ： 局所自明化（バンドル同型射）、t = trivialization ： 局所微分形式の空間 ： 局所ベクトル場の空間 ： …

話題の範囲は広いかもしれないが、知ってることが極めて僅かという意味で「小ネタ」。 なに？ 読みにくい人名 参考文献 動機と方法 断片的な定義や聞きかじり なに？ 昨日 #微分インフラ以前、僕が微分インフラと呼んでいたもの（に近い概念）はリー／ライン…