本文主要是介绍超星视频讲座笔记(2014-3-19,4-14,4-16,4-17,4-22,4-26),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
http://video.chaoxing.com/play_400007871_72199.shtmlhttp://video.chaoxing.com/play_400015867_180013.shtml
http://video.chaoxing.com/play_400050925_200402.shtml
http://video.chaoxing.com/serie_400054119.shtml
http://video.chaoxing.com/serie_400007882.shtml
http://video.chaoxing.com/serie_400007900.shtml
http://video.chaoxing.com/serie_400003971.shtml?
http://v.ku6.com/show/TGdXyRNqcmCKNwNKwAc6pg...html
有限域上的代数曲线
冯克勤主讲
1930s末,韦伊没有什么事,算一些代数曲线在有限域上有多少点。
韦伊算了两类曲线:
(1)费马曲线 (x^n)+(y^n)=1
(2)Artin-Schreitr曲线
从美学角度,要加上无穷点。
结论:对于绝对不可约,非奇异曲线,C/F_q,|N_q-(q+1)|<=2g(C)sqrt(q)。
1941年,Weil Conjecture,现在已经是韦伊定理了。
1948 年,由本人证明
先写了一本书《代数几何基础》证明这个韦伊猜想
高维猜想:1973年Deligne证明
代数几何发展阶段
1g初等代数几何,以意大利学派为高峰
2g交换代数
3g塞尔、格罗腾迪克、德利涅
应用部分
1.编码理论
1970s代数几何码
http://v.qq.com/cover/m/m9vforkigz4q0v5.html?vid=D0010XdAqvm
直线上的算术
x^(p^n)-x=0,
通常做法:
F_p[x]是PID
n次首1不可约多项式f(x)
Ω_q是F_q的代数闭包,Ω_q叫仿射直线,Ω_q∪{∞}叫射影直线。
老阿廷:
K=F_q(x)的指数赋值
K中的一个指数赋值是指如下一个
满射:V:K->Z∪{∞}
满足:a,b∈K,
1.V(0)=∞<=>(当且仅当)a=0,其它元素映射到Z
2.V(ab)=V(a)+V(b)(假定n∈Z,n+∞=∞+n=∞)
3.非阿基米德性:V(a+b)>=min{V(a),V(b)}(假定¥n∈Z,∞>n)
推论:
1.V:K^*->(Z,+)是群的满同态,V(1)=0
有限域上的线性代数的应用 http://video.chaoxing.com/play_400001251_57488.shtml
沈灏教授主讲
两个应用:
1几何上的
2通信编码上的
深入浅出讲解群Group的概念
1个非空集合,
1个二元运算,名字叫乘法
满足若干公理
封闭
结合律
e和1发音相近,叫做单位元
逆元
群的例子:
全体正整数关于数的乘法:满足两条,不满足一条,不是群,是半群
集合扩大或缩小变为群?
全体正有理数的集合,二元运算用数的乘法,是一个群,正有理数a=m/n,a的逆元是n/m。
{1}关于数的乘法构成一个群,单位元群
全体整数关于数的加法构成一个群,抽象定义的乘法在这里是数的加法
全体偶数关于数的加法构成一个群
K^(n*n)上全体可逆矩阵关于矩阵乘法构成一个群。这个群太重要了,叫做数域K上的n阶一般线性群。
转动个角度看成一个元素,两个转动的合成叫乘法,这个群叫运动群或变换群。
Z_7\{0}=Z_7^*有6个元素,关于剩余类的乘法构成一个群。
这个群是交换群,这个群是有限群,阶为6。
乘法表里1不出现,就不构成群。例如Z_6^*
域
非空集合,至少有两个元素
1个加法,1个乘法
9条公理
4条公理一句话:F关于加法是一个交换群。
5-9条公理:F^*(F星)关于乘法是一个交换群。
第9条公理:乘法对加法的分配律。
F_2
0——偶数
1——奇数
两张表
用初等数论的一个结果证明F_p^*关于剩余类乘法构成一个交换群,从而F_p是一个域。
注意:费马小定理的某种证明用到了群论的结果。初等数论结果和群论结果的证明要避免循环论证的错误。
有限域上几维向量空间 http://video.chaoxing.com/play_400001251_57492.shtml
数域上的内容转移到有限域上
F是域
F^(1*n),n维行向量
定义向量加法、数乘(纯量乘法)两种运算
满足8条公理
构成F上的n维行向量空间
——F_q=F_p^n构成一个代数?
V_n(F_q)向量的个数为q^n个
找出n个极大线性无关向量
组合的方法:
α1取法q^n-1——非0向量即可
α2取法q^n-q——去掉q个与α1线性相关的
α3取法q^n-q^2——去掉q^2个与α1、α2线性相关的
……
结论:|GL(F_q,n)|=?
数域中没有、有限域中特有的计数问题
这篇关于超星视频讲座笔记(2014-3-19,4-14,4-16,4-17,4-22,4-26)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!