bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellで学ぶ圏論・ウォームアップ編 １．不動点 丸い円盤が机の上に置かれていたとする。この丸い円盤は、回転したり、移動したり、縮めたりと自由に操作できるものとする。但し、この操作を行っているときは、元の円盤からはみ出すことは許されないとする。例えば、下図のように、円盤を楕円盤に変えたとする。 この時、円盤のある点\(x\)が楕円盤のどの点\(y\)に移動したかを求めることができる。そして、これらの点の中で、全く移動していない点が一つあるということを、Browerの不動点定理は教えてくれる。証明の概略は以下のとおりである。最初の円盤を\(X\)とする。回転したり、移動したり、縮めたりして得られた楕円盤を\(Y\)とする。円盤から楕… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2015%2F03%2F01%2F110017" title="Haskellで学ぶ圏論・ウォームアップ編　基点付集合 - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20150227/20150227133645.png Hatena Blog https://hatena.blog 2015-03-01 11:00:17 rich https://bitterharvest.hatenablog.com/entry/2015/03/01/110017 1.0 100%