代数学的定義
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/24 18:19 UTC 版)
「Well-defined」の記事における「代数学的定義」の解説
写像と定義域上の同値関係に対して、次のように数式を用いて記述することもできる。集合X上の同値関係≡と写像f: X → Yに対して x ≡ x′ならばf(x) = f(x′) が任意のx, x′ ∈ Xに対して成立するとき、写像fは関係≡に関してwell-definedであると言う(参照: 同値関係のもとでのwell-defined性(英語版)・準同型定理(フランス語版))。
※この「代数学的定義」の解説は、「Well-defined」の解説の一部です。
「代数学的定義」を含む「Well-defined」の記事については、「Well-defined」の概要を参照ください。
- 代数学的定義のページへのリンク