高校生のための微分幾何 (differential geometry for dilettantes) りんくふりー 最近の更新::06/8/06〜 多様体の接空間構造 接ベクトル=ベクトル場? アフィン接続の公理 ダーツを一点に当てる確率 君はε−δ論法を疑ったことがあるか? 必要な予備知識 選択関数 と直積 フィルターと点列の拡張 超実数の出現と無限大数 前回の更新::06/8/30 ベクトル場の記事を加筆し、読みやすくした。→ポアンカレ群 の生成子 続編も書き直す。 超準解析の、タイプ理論(またそれに類するもの)を用いない定式化が思ったより難しい。 今回の更新::06/9/03 タイプ理論を用いない定式化をあきらめた。やはり人間が論理学のイドラに囚われている以上、 私は論理学の限界を明るみに出さねばならないのだ! 論理から構造へ、構造から宇宙へ そう、21世紀は量子論理の時代な