[代數] 請問well-define是在?

[MOONY135 (柳生劍影)]

在證明fundamental Hpmomorphism theorem的時候會用到

請問well-defined 到底是在做甚麼的呢?

--
█◤◢█  ◢█◣ ◤◢█◣◥█◤ ◢█◣◥█ ◢█  ◢◣◥ █◣◥█◣◥█
█  █◤◢███ ◢███◣◥ ◢███◣◥ █◤◢██   ██  ██  █
█  █◢████ ██◤  █◣ ██◤  █◣ █◢███ ◣◥█◣█◤◢█
█◣◥█◤█◤█ ██    ██ ██    ██ ◥█◤  █ ◤  ███◤◢█
█◤◢█◢█◢█ ◥█  ◢█◤ ◥█  ◢█◤ ◢█  ◢█ ◢◤◥█◤◢██
█  █◤█◤█◤ ◣◥██◤◢◣ ◥██◤◢ █◤  █◤ ◥██◤ ωRyoko          

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.135.42.132
推 APM99       :你知道什麼是well-defined嗎?
推 czk0622     :據說沒有well-define啥都別談了
推 a88241050   :你一定沒有用過yahoo奇摩字典
→ WINDHEAD    :比方說妳有一個函數 f: Q->Q , f(a/b)=a+b
→ WINDHEAD    :就不是 well-defined
推 cacud       :if x=y, then f(x)=f(y) ?
推 APM99       :簡單講就是不能一對多
推 bineapple   :同樣的前提下不能產生兩種互相矛盾的結果
推 gogoivan    :函數的定義不能因為自變數表示法的不同而得到不同的
→ gogoivan    :函數值,就像四樓講的一樣