円周の対蹠点の同一視*1交差させて縫合*2クロスキャップ*3 *1:記事： https://topologia.wordpress.com/2008/12/25/5-el-plano-proyectivo-y-la-cinta-de-mobius/ 画像： https://topologia.files.wordpress.com/2008/12/plano-proyectivo.gif?w=480 ファイ…

僕が失敗した最近の例 r2 = x2 + y2 (x, y, r ≧ 0) 両辺の平方根を“取って” r = √(x2 + y2) この「取って」がマズかった。なぜなら、「取ってないで付けているじゃないか」と。こういうのは一種のジャーゴンかもしれない。 K“上の”ベクトル空間V A“上の”同値…

ZF集合論（https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory）のなかで、分出公理（Axiom of comprehension）というのがあったと思うが、最近はAxiom schema of specificationというらしい。 https://en.wikipedia.org/wiki/Axiom_schema…