推 LPH66 : 反過來需要 "一對一且 f(a)<f(b) 則 a<b" 06/28 11:33
→ LPH66 : 而不是原本方向的 "若 a<b 則 f(a)<f(b)" 06/28 11:34
→ ppu12372 : 可是嚴格遞增函數不就一定是一對一了嗎? 06/28 11:43
推 LPH66 : 你現在是想要對「函數」定義「嚴格遞增」的性質 06/28 11:44
→ LPH66 : 所以大群體是全體函數而不單限定在一對一函數 06/28 11:45
→ LPH66 : 嚴格遞增函數是一對一沒錯, 但所有函數並不都是 06/28 11:45
→ LPH66 : 因此你要用反向的話必須加上「一對一」的條件才行 06/28 11:46
→ ppu12372 : 若x不等於y,則x<y或x>y,根據定義,前者f(x)<f(y),後 06/28 11:47
→ ppu12372 : 者f(x)>f(y),所以f(x)不等於f(y) 06/28 11:47
→ ppu12372 : 哦哦我懂了,我現在是要定義,反過來會包含到一些非 06/28 12:16
→ ppu12372 : 一對一的函數,雖然跟順向的取交集後還是會剔除掉, 06/28 12:16
→ ppu12372 : 但這個定義就有些冗了 06/28 12:16
推 Vulpix : 類似這個吧: 06/28 14:02
→ Vulpix : 我想的例子不行,當我沒說XD 06/28 14:03