2010-06-17 矮小化された数学と物理 Mx 形式言語理論 DFD 説明 矮小化も、それはそれで面白い。 普通 矮小化 集合 有限集合または番号 位相空間/多様体 有向グラフ、完全グラフでもいい 実数/複素数 0, 1 真偽値 空間上の関数 頂点の部分集合 接ベクトル空間 スター近傍 接ベクトル束 スター近傍束 余ベクトル束の断面 スター近傍の部分バンドル 力学系 部分グラフ プロパゲーター クリーネスター