推 hwanger : 對所有正實數r 可以定義0^r=0 則仍會滿足下列網址 08/30 10:38
→ hwanger : 的 3.a, 3.c和3.d 但因為指數通常是將乘法運算換成 08/30 10:41
→ hwanger : 加法運算的重要工具 而正實數集不是加法封閉 所以這 08/30 10:42
→ hwanger : 個情況下 定義0^r用處不大(但仍可定義) 08/30 10:43
→ hwanger : 另外 對所有正整數n 0^n=0是"自然而然"的事 要不然 08/30 10:45
→ hwanger : 我們沒辦法說 "0是x^n=0的解" 這種話 08/30 10:45
→ hwanger : 上面打錯 正實數集的確是加法封閉 但不是"加法群" 08/30 10:47
推 hwanger : 至於0的√2次方 因為對所有正整數n 0^n=0 所以對所 08/30 10:54
→ hwanger : 有正有理數q 0^q自然就是0 將這個函數做continuous 08/30 10:56
→ hwanger : extension的話(這也是一般用來定義指數函數的手法) 08/30 10:57
→ hwanger : 我們就只能得到 對所有正實數r 0^r=0這個結論 08/30 10:59
推 hwanger : 現在比較神奇的是 在這個extension下 0^0可以是0 08/30 11:03
→ hwanger : 並且這樣定義仍會滿足前述的3.a, 3.c和3.d 08/30 11:05
推 hwanger : 我自己的觀點是 要定義總是可以定義的 (譬如說繼續 08/30 11:16
→ hwanger : 考慮解析延拓) 但有沒有用處才是最重要的 08/30 11:17