「論理プログラミング的ポアンカレ予想」は「エレファントなポアンカレ予想」に変更しました。エレガントではないものをエレファントというそうです。「補助線を1本引けば証明できる」というのがエレガントであるのに対して「計算すればできる」というのがエ…
ポアンカレ予想の主張「単連結な3次元閉多様体は3次元球面に同相である」の2次元の場合を考えていきます。「単連結」。「次元」、「閉」の定義をまだ書いていませんが、これは後で定義することにします。「はじめてのトポロジー」という本を参考にします(「…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。