→ yclinpa :只要證存在就好，不必(也不能證)唯一 02/01 10:19
謝謝樓上大大的回覆，我指的是對g所有函數的Y，存在唯一的X；不是存在唯一的g @@
sorry可能是我沒表達清楚...下一篇的大大已經證明對所有y都存在唯一了 @@
※ 編輯: henry781114 來自: 111.246.160.106 (02/01 11:11)
ｆ：Ｘ－＞Ｙ，show that
ｆ is injective
<=>there exists a function ｇ：Ｙ－＞Ｘ such that g(f(x))=x for all x∈Ｘ
想請問大家，從左邊證到右邊
要怎麼證明存在唯一呢?
我想應該是要用這個 f(x1)=f(x2) => x1=x2
但該如何將證明寫得完整呢?
謝謝各位......
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.170.160.37