uniのスケッチノートスマートフォン用の表示で見るuniのスケッチノートしがない数学徒の勉強ノートなどこの広告は、90日以上更新していないブログに表示しています。2018-01-24パラコンパクトではない可算T_1位相空間の例タイトル通りです。集合を持つ空間が得られます。眺めていて、たまたまこの話題を見つけました。無限点追加非コンパクト化になります。アヤシイ部分がありました。unununum.hatenablog.com当該箇所の証明を付けたり、色々と加筆&修正したものがこちらになります。定理の証明で訳の分からないことを書いている箇所を見つけました...。ある証明を変形することで修正できます。15日目に向けて書いたものです。繋がりが分かるように、位相空間の定義を知らない人でも(前半は)読めるように書きました。定理でネタを消費してしまったのと、書く時間をあまり取ることが出来なかったのが理由です...。後半は雑な書き方になってます。気が向くかもしくは需要があれば書き直します...。12日目に向けて書いたものです。定理の証明を書こうと思いました。お話程度に捉えて下さい。ある内容を少し使っています。定理を述べる、というものになっています。言葉を用いる方がより自然な感じになるらしいのですが...。同型であると述べるものです。といパラメーターを変えることで、様々な圏が統一的にこの形で表現できることです。ついて書こうと思います。*1:[追記:17/12/16]修正版を作りました。5日目に向けて書いたものです。*1www.dropbox.com圏論の話をすることになったので、2-圏の定義を書きました。射と条件がたくさん出てきて、図式を追跡するのが大変です。話は、来週予定の私の2回目の記事や、25日のぴあのんさんの記事でもたぶん使われます。