2017-05-18から1日間の記事一覧

二項関係を保つ/反映する写像

集合\(A,B\)が、それぞれ二項関係\(R,S\)を備えており、\(f\)を\(A\)から\(B\)への写像とする。 【定義】 任意の\(x,y\in A\)について\(xRy\rightarrow f(x)Sf(y)\)が成り立つとき、「\(f\)は関係を保つ(preserves)」あるいは「\(f\)は準同型写像である」と…