21/03/06 21:06:55.23 yw/hH17g.net
じゃのん的な非数学的発言は無意味なので
論点を数学に戻して接着剤で固定するね
絶対動かすなよ じゃのん君
§2.3で
I を 点αから点βへの有向線分とし
L を I/<α~β> と定義する
（α~β は 点αとβを同一視する、と読む）
一方
Iのコピー、†I,‡Iをつくり
Jを、両者をつなげたものとして
接合点をγJとする、つまり
†I を †αからγJへの有向線分
‡I を γJから‡βへの有向線分
として、その上で
M を J/<†I~‡I>と定義する
（†I~‡I は 有向線分†Iと‡Iを同一視する、と読む）
で、望月は「MとLは違う」といって、
§2.4で説明しているようですが
そもそもMとLは違うの？
つまり †I~‡I とした時点で
†α~‡α＝γJ＝†β~‡β
であると思うが、上記と α~β はどう違うのか？
望月はLとMの違いに基づいて §2.4で
（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1）
（γI＝β⊂I）∨（γI=α⊂I） （AOL2）
だが
（γI＝β⊂I）∧（γI=α⊂I） （AOL4）
ではないといってる
けど、ほんとにそうなの？
（AOL1）と（AOL4）って違うの？
理解した人 教えて！