定義が確定する時に使われる表現

well-definedの定義

以下の2つが示せたとき、定義がwell-definedである、と言う

「定義に使われている方法」がそもそも上手くいく

Aが、Cを経由してBを定義する時、BがAにのみ依存して決まる

Cに依らない

Aにのみ依存する

Cは複数の可能性がある

例

分数の演算

ぐぐったらこればかり出てくる

a^xの定義

p.10と同じ

剰余類同士の演算をする際に、どのような代表元を選んでも同じ結果になる

関連

参考

『代数学 1 群論入門』 p.10-