当前位置: 首页 > news >正文

【数学】-1的根号二次方等于多少?

突然发现我这博客咋啥都开始写了呢。。。
上微积分课胡思乱想系列。。。

显然这个东西在数学上是没有定义的。
包括 1 13 次方这样的东西,数学上的定义也挺模糊的
不过我们可以想想这东西应该怎么定义。。。

首先,从定义出发,一个数 a k次方( kZ )如何定义?
k a连乘。
因为乘法在 R 上均有定义,所以 a 的正整数次方在R上均有定义。

接下来,一个数 a 的负k次方( kZ )该如何定义?
根据 k>0 时候的定义有 ak1ak2=ak1+k2 ,因此定义应该将这个性质延续下去,即 akak+1=ak+k+1=a ak=aak+1=1ak
据此也有 a0=akak=1
1/0 无定义,因此以上二者的定义域都是 a{x|xR,x0}

整数域已经做完了,下面我们该进入有理数域了。

一个数 a pq次方等于多少?
和上面类似,根据整数时候的定义有 (ak1)k2=ak1k2 ,因此新的定义应该将这个性质延续下去,即 (ap/q)q=ap
ap/q ap q 次方根

什么是ap q 次方根?
定义ap q 次方根为方程xq=ap的解
q 为奇数的时候这个方程在R上有唯一解,但 q 为偶数的时候,当ap0时在 R 上有两个解,当 ap 为负数的时候在 R 上无解!
为了保护一些函数的优雅性质,当 ap0 时我们定义了算数次方根为二者中非负的那个,至于 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=a1 代入泰勒展开式,其极限即为 a2
a(1,+) ,将 x=1a1 代入泰勒展开式,其极限的倒数即为 a2
由此我们得到了实数域上正数的无理数次方的定义。

负数呢?尝试代入 x+1<0 ,即 x<1 ,不收敛,GG

……

……

……

实数域上能做的事情我们似乎都做完了,扩展到复数域上去吧。

根据欧拉定理,我们可以把一个正实数 a 写成ae2kπi,一个负实数 a 写成ae(2k+1)πi,0我们不讨论了
左侧部分是个正实数,正实数的任意实数次方在实数下都是有定义的,所以算完之后乘一下就行了,以下我们只考虑右侧部分,即 |a|=1

那么 (ekπi)α=ekαπi ,这个在 αR 上均有定义,可是……做完了?

整数域似乎没什么问题,不过看看有理数,我们之前说算数次方根是取了非负的那个,可是现在是复数域……
什么是非负?

复数域没有非负的概念,也就是说我们只能把两个根无差别全都拎过来了。
用一个集合表示怎么样?

定义:一个实数 x α次方集合 Z(x,α)={αk|kZ,|x|ekπi=x}
例如:
Z(1,1)={2k|kZ}
Z(1,1)={2k+1|kZ}
Z(1,2)={4k|kZ}
Z(1,2)={4k+2|kZ}

因为这个定义是我自己瞎BB的所以我也不知道数学上到底有没有这玩意以及这玩意的各种性质对不对

容易发现,虽然集合是无限集,但是由于 e2πi=1 ,所以实际上取值未必是无限的。

那么我们来看看 αQ 的情况
Z(1,12)={k|kZ} ekπi 取值只有两个, 1 1,对应 x2=1 的两个实数解
Z(1,12)={k+12|kZ} e(k+12)πi 取值只有两个, i i,所以 x2=1 无实数解
Z(1,13)={23k|kZ} e23kπi 取值有三个, 1,e23πi,e43πi ,其中 1 x3=1的唯一实数解
Z(1,13)={2k+13|kZ} 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|kZ}
容易发现, k1k2,(2k1+1)2(2k2+1)2=22(k1k2)2k ,所以任意两个 e(2k+1)2πi 都不相等,值域是个无限集
那么这其中有没有实数呢?
显然, (2k+1)2 一定是个无理数,而 e(2k+1)2πi 是实数要求 (2k+1)2 是个整数,因此没有。

所以, (1)2 R 上无定义。

类似地,我们可以知道
Z(1,2)={22k|kZ}
它的值域同样是个无限集,但是比较幸运的是这个无限集里有个 e220πi=1 ,这也是 12 在实数域下的唯一定义。

大概就这么多了吧,这东西可以理解为幂运算在复数域下的一次延拓,至于这东西有啥用,反正它能告诉你 1 的根号二次方不是实数,剩下的事情留给后人去探索吧。


http://www.taodudu.cc/news/show-6110192.html

相关文章:

  • 数据库——关系模型之关系演算(元组演算与域演算)
  • 南航计算机科学与技术学院院徽,南京航空航天大学计算机科学与技术学院简介...
  • RSA2
  • RSA C语言实现
  • 业务中继承关系研究(数据库)
  • 三峡大学计算机与信息学院王,周欢,三峡大学 计算机与信息学院
  • 信息安全-RSA
  • RSA--------------
  • RSA实践
  • hwui简介
  • 信息安全与管理2002_李付贵
  • 江苏大学的计算机,毛启容-江苏大学计算机科学与通信工程学院
  • 河海大学计算机与信息科学,刘凡 - 河海大学 - 计算机与信息学院
  • 杭电操作系统实验三--- 实现模拟shell(arm架构华为云)
  • 信安实验-RSA(备课)
  • 输入法半角和全角的快捷转换_搜狗输入法经常用到的冷门小技巧,复制文章空白行取消方法...
  • iThenticate查重系统的使用及如何去除参考文献
  • VulnHub-XXE
  • a pubhub service
  • 【vulhub】gitea
  • VulnHub Billu_b0x
  • Vulnhub-maEnuBox
  • Vulnhub_MoneyBox
  • vulnhub--Funbox: Scriptkiddie
  • Unity Hub那些事
  • vulnhub-2much
  • hub_probe()
  • Docker Hub Automated Build with GitHub
  • vulnhub Funbox: 1
  • Vulnhub_Napping