突然发现我这博客咋啥都开始写了呢。。。
上微积分课胡思乱想系列。。。
显然这个东西在数学上是没有定义的。
包括−1 的13 次方这样的东西，数学上的定义也挺模糊的
不过我们可以想想这东西应该怎么定义。。。
首先，从定义出发，一个数a 的k 次方(k∈Z )如何定义？
k 个a 连乘。
因为乘法在R 上均有定义，所以a 的正整数次方在R 上均有定义。
接下来，一个数a 的负k 次方(k∈Z )该如何定义？
根据k>0 时候的定义有ak1∗ak2=ak1+k2 ，因此定义应该将这个性质延续下去，即a−k∗ak+1=a−k+k+1=a ，a−k=aak+1=1ak
据此也有a0=ak∗a−k=1
1/0 无定义，因此以上二者的定义域都是a∈{x|x∈R,x≠0}
整数域已经做完了，下面我们该进入有理数域了。
一个数a 的pq 次方等于多少？
和上面类似，根据整数时候的定义有(ak1)k2=ak1k2 ，因此新的定义应该将这个性质延续下去，即(ap/q)q=ap
即ap/q 是ap 的q 次方根
什么是ap 的q 次方根？
定义ap 的q 次方根为方程xq=ap 的解
当q 为奇数的时候这个方程在R 上有唯一解，但q 为偶数的时候，当ap≥0 时在R 上有两个解，当ap 为负数的时候在R 上无解！
为了保护一些函数的优雅性质，当ap≥0 时我们定义了算数次方根为二者中非负的那个，至于ap<0 ，我们不讨论了……
可是负数很可怜不是么？
比如(−8)13 按照定义在实数上是有定义的啊……
而且照着这定义来会出事……
比如根据定义，(−8)13 是x3=−8 在R 上的唯一解−2 ，可是(−8)13=(−8)26 是x6=64 的非负实数解，即2 ……
这个问题我们放在后面讨论吧。
终于到了无理数了。
显然根据我们已有的运算，我们没什么办法把一个无理数次方的运算搞到有理数域去。
我们的第一想法是利用泰勒展开
设函数
f(x)=(x+1)α=10!+αx1!+α(α−1)x22!+α(α−1)(α−2)x33!+...
易证当α 为正无理数时这东西收敛当且仅当x∈[−1,1]
不过用这个方法我们可以知道正数的无理数次方的定义
以2√ 为例，假设我们想要知道a2√(a>0) 的值
若a∈(0,1] ，直接将x=a−1 代入泰勒展开式，其极限即为a2√
若a∈(1,+∞) ，将x=1a−1 代入泰勒展开式，其极限的倒数即为a2√
由此我们得到了实数域上正数的无理数次方的定义。
负数呢？尝试代入x+1<0 ，即x<−1 ，不收敛，GG
……
……
……
实数域上能做的事情我们似乎都做完了，扩展到复数域上去吧。
根据欧拉定理，我们可以把一个正实数a 写成a∗e2kπi ，一个负实数a 写成−a∗e(2k+1)πi ，0我们不讨论了
左侧部分是个正实数，正实数的任意实数次方在实数下都是有定义的，所以算完之后乘一下就行了，以下我们只考虑右侧部分，即|a|=1
那么(ekπi)α=ekαπi ，这个在α∈R 上均有定义，可是……做完了？
整数域似乎没什么问题，不过看看有理数，我们之前说算数次方根是取了非负的那个，可是现在是复数域……
什么是非负？
复数域没有非负的概念，也就是说我们只能把两个根无差别全都拎过来了。
用一个集合表示怎么样？
定义：一个实数x 的α 次方集合Z(x,α)={α∗k|k∈Z,|x|ekπi=x}
例如：
Z(1,1)={2k|k∈Z}
Z(−1,1)={2k+1|k∈Z}
Z(1,2)={4k|k∈Z}
Z(−1,2)={4k+2|k∈Z}
因为这个定义是我自己瞎BB的所以我也不知道数学上到底有没有这玩意以及这玩意的各种性质对不对
容易发现，虽然集合是无限集，但是由于e2πi=1 ，所以实际上取值未必是无限的。
那么我们来看看α∈Q 的情况
Z(1,12)={k|k∈Z} ，ekπi 取值只有两个，1 和−1 ，对应x2=1 的两个实数解
Z(−1,12)={k+12|k∈Z} ，e(k+12)πi 取值只有两个，i 和−i ，所以x2=−1 无实数解
Z(1,13)={23k|k∈Z} ，e23kπi 取值有三个，1,e23πi,e43πi ，其中1 是x3=1 的唯一实数解
Z(−1,13)={2k+13|k∈Z} ，e2k+13πi 取值有三个，e13πi,−1,e53πi ，其中−1 是x3=−1 的唯一实数解
这样就完美了。
之前的问题：(−1)13?=(−1)26
换句话讲，Z(−1,13)?=Z(−1,26)
根据定义，二者显然相等
但是，Z(−1,26)≠Z(1,16)
这也就告诉我们Z 函数不满足Z(xα,β)=Z(x,αβ)
当然，x 非负的时候二者的值域是相等的，这个再说了。
-没有运算法则的话，要这东西有啥用？
-它能告诉你−1 的2√ 次方等于多少啊！
-那等于多少啊？
根据定义，
Z(−1,2√)={(2k+1)2√|k∈Z}
容易发现，∀k1≠k2,(2k1+1)2√−(2k2+1)2√=22√(k1−k2)≠2k ，所以任意两个e(2k+1)2√πi 都不相等，值域是个无限集
那么这其中有没有实数呢？
显然，(2k+1)2√ 一定是个无理数，而e(2k+1)2√πi 是实数要求(2k+1)2√ 是个整数，因此没有。
所以，(−1)2√ 在R 上无定义。
类似地，我们可以知道
Z(1,2√)={22√k|k∈Z}
它的值域同样是个无限集，但是比较幸运的是这个无限集里有个e22√∗0πi=1 ，这也是12√ 在实数域下的唯一定义。
大概就这么多了吧，这东西可以理解为幂运算在复数域下的一次延拓，至于这东西有啥用，反正它能告诉你−1 的根号二次方不是实数，剩下的事情留给后人去探索吧。
