推 angel07 : 証明非Q則非P亦同。 01/18 00:02
推 arthurduh1 : 還可能是 0 函數 01/18 00:05
→ arthurduh1 : 首先 f(0) = 0 或 1. 是 0 就是 0 函數. 01/18 00:06
→ arthurduh1 : 是 1 的話有個暴力作法: 首先驗證有理數 a 都滿足 01/18 00:07
→ arthurduh1 : f(a) = f(1)^a, 接著說明函數是連續的即可 01/18 00:07
推 DLHZ : 常數函數也行吧 01/18 00:08
→ DLHZ : 如果是指數函數那前面成立沒錯 但是有前面的敘述不 01/18 00:09
→ DLHZ : 代表是指數函數 01/18 00:09
→ arthurduh1 : 不過連續似乎不是很顯然@@ 01/18 00:09
→ DLHZ : 抱歉常數函數不行 茫了 01/18 00:09
→ cat91 : 0^0不是undefined 嗎 01/18 00:10
→ keith291 : 命題是錯的 少條件f(x)連續實函數且恆非0 01/18 00:11
推 arthurduh1 : 沒有 0^0 的問題啊 01/18 00:12
→ arthurduh1 : 我感覺也是錯的, 應該可以造出反例. 在無理數的部分 01/18 00:12
→ cat91 : 啊 看錯抱歉 01/18 00:13
→ arthurduh1 : 可以定義出另一個指數的次方 01/18 00:13
推 LPH66 : 應該不能到全部無理數 (有根號2這種例子在) 01/18 01:03
→ LPH66 : 但是縮到超越數說不定可行? 01/18 01:03
→ LPH66 : 咦我搞錯了...無理數應該可以 01/18 01:04
推 Vulpix : 連續性並不顯然,那是因為真的可以不連續。所以f(x) 01/18 01:07
→ Vulpix : 不見得是指數函數。這問題本質跟柯西方程一樣,將實 01/18 01:10
→ Vulpix : 數系視為有理數系的向量空間,選擇一個適當基底,那 01/18 01:11
→ Vulpix : f(x)可由f在基底上的值決定,而在哪個基底上選什麼 01/18 01:12
→ Vulpix : 值是可以隨便指定的。 01/18 01:12
推 Lemur : f不連續就無法保證;f連續非0函數就保證f(x)=f(1)^x. 01/18 03:25
推 jacky7987 : 要連續才可以,不是線性那個問題 01/18 19:07