21/11/29 17:43:00.71 U662xxG4.net
>>925
さっきみたいなのを穴だというならそりゃ穴だという彼の主張に依存なんぞないよ
まぁ人間Coqコンパイラになる修行でもしてるんやろ
こんな奴相手にしてても無駄
もちろんホント言えば辻先生の本でも多分1番基本のJordanの定理(CP1のJordan閉曲線についてその補集合の連結成分は２個)とか、連結開集合の“横断的パス”の補集合の連結成分は２個とかそれなりに証明が必要な事を自明で済ませてる部分があるのはその通りだけどな
しかしそれとてalgebraic topologyの学部生向きの演習問題のレベルでしかない
こんな程度の話が自分で証明できんような奴は鼻から想定される読者層にはないんだよ
こんなん証明できるようになってもいないで数学科卒業したとか名乗らんでほしいわ