2020-06-06から1日間の記事一覧
斎藤毅『線形代数の世界』「商空間」の章、最初の補題。\(X,Y,Z\)は集合、\(p:X\to Y\)は全射とする。写像\(f:X\to Z\)について、次は同値である。 (1)\(f=g\circ p\)なる写像\(g:Y\to Z\)が存在する。 (2)\(p(x_1)=p(x_2)\)を満たす任意の\(x_1, x_2\in X\)…
斎藤毅『線形代数の世界』「商空間」の章、最初の補題。\(X,Y,Z\)は集合、\(p:X\to Y\)は全射とする。写像\(f:X\to Z\)について、次は同値である。 (1)\(f=g\circ p\)なる写像\(g:Y\to Z\)が存在する。 (2)\(p(x_1)=p(x_2)\)を満たす任意の\(x_1, x_2\in X\)…