3.1.1平行四边形的有向面积和平行六面体的有向体积具有的三条性质 在解析几何中已证明,给定二维向量空间中的单位正交标架,设向量a,B的坐标分别 为(a1,a2)和(b,b2),则由向量a,B张成的平行四边形的有向面积为ab2-a2b,这里记 为;给定三维空间内右手单位正交标架,设向量a,B,y的坐标分别为(a1,a2,a3) (b1,b2,b3)和(1,C2,C3),则由向量a,B,y张成的平行六面体的有向体积为 (ab2-a2b1)c1+(a3b1-ab3)c2+(ab2-a2b1)C3

第五章5-1双线性函数 5.1.1线性空间上的线性函数的定义 1、线性函数的定义 定义设V为数域K上的线性空间,fV→K为映射,满足 f(a+B)=f(a)+f(),va,B∈V;f(ka)kf(a),∈k,aev,则称f为由V 到K的一个线性函数(即f为V到K的一个线性映射) 如同一般的线性映射,有以下事实: i)、f:V→K是线性函数当且仅当f(ka+1B)=kf(a)+lf(B) i)、f(0)=0; i)、f(-a)=-f(a) 命题数域K上的n维线性空间V上的线性函数的全体关于函数加法和数乘构成K上 的n维线性空间

4.2.2子空间的交与和,生成元集 定义4.13设a1,a2,,a,∈V,则{ka1+k2a2++ka,k∈K,i=12}是V的 一个子空间,称为由a1,a2,,a,生成的子空间,记为(aa2,,a)易见,生成的子 空间的维数等于a1,a2,…,a的秩。 定义4.14子空间的交与和 设V1,V2为线性空间VK的子空间,定义 vnv2={ VEV2},称为子空间的交 V1+V2={v+v2v∈V1,v2∈V2},称为子空间的和。 命题4.9VNV2和V1+V2都是V的子空间

9.2.2Qx]内多项式的因式分解 定义9.12定义Z[x]={axn+a1x+…+∈Z,i=01n}。 假设f(x)∈Z[x],f(x)≠0及±1。如果g(x)h(x)∈[x],使得f(x)=g(x)h(x), 且g(x)≠±1,h(x)≠±1,则称f(x)在Z[x]内可约,否则称f(x)在Z[x]内不可约 定义9.13设 f(x)=ax+axn+…+an∈Z[x], 这里n≥1。如果(aa1an)=1,则称f(x)是一个本原多项式。 命题Q[x]内一个非零多项式f(x)可以表成一个有理数k和一个本原多项式f(x)的

第一学期第二十八次课 命题如果n维空间V上的线性变换A的矩阵相似于对角矩阵,则A在任一不变子空 间M上(的限制)的矩阵相似于对角矩阵。 证明若V上的线性变换A的矩阵相似于对角矩阵,则V可以分解为特征子空间的直 和。记A的所有特征值为,2,2,则V=V4V,取M=nV, 断言M=M1M2⊕M,首先要证明M=M1+M2+…M “2”显然:“”a∈M,则存在a1∈V,使a=a1+a2+…+a,两边 同时用A(j=1,2,…,t-1)作用,得到表达式

第六章6-2欧氏空间中特殊的线性变换(续) 命题正交矩阵的特征多项式的根的绝对值等于1 证明设入∈C是正交矩阵A的特征多项式的根,则≠0.齐次线性方程组(e-a)X=0 在C内有非零解向量 ( a:a 显然Aa=a=a'a'=a'a'a==a'aa=aa=aa=1从而 入|=1 推论正交矩阵的特征值只能是±1 命题设A是n维欧氏空间V上的正交变换,若A的特征多项式有一个根=e

第五章5-3实与复二次型的分类 1.复、实二次型的规范形 定理复数域上的任一二次型f在可逆变数替换下都可化为规范形 zi+…+z, 其中r是f的秩.复二次型的规范形是唯一的. 证明复数域C上给定二次型) f=, x,x, ( =ai 设它在可逆线性变数替换X=TZ下变为标准型 d1z2+d2z2+…an 这相当于在C上n维线性空间V内做一个基变换 (n2n)=(1,2EnT 使对称双线性函数f(a,B)在新基下的矩阵成对角形

第九章元多项式环 9-1一元多项式环的基本理论 911域上的一元多项式环的定义 定义91设K是一个数域,x是一个不定元。下面的形式表达式 f(x) (其中an3a1,a2属于K,且仅有有限个不是0)称为数域K上的一个不定元x的一元多 式。数域K上一个不定元x的多项式的全体记作K[x] 下面定义K[x]内加法、乘法如下 加法设

目 录 1学科基础平台必修课 《数学分析》 《高等代数与解析几何》 《概率论与数理统计 A》 《概率论与数理统计》 《大学物理 A1》 《大学物理 A2》 2．学科基础平台选修课 《物理实验》 《数学规划基础》 《信息与计算科学专业导论》 《统计学》 《统计学实验》课程实验 《离散数学》 《C++程序设计 A》 《C++程序设计实验 A》 3．专业课平台必修课 《数值分析 A》 《数值分析》 《数值分析 A 实验》 《数学建模》 《数学建模实践》 《数据库原理 A》 《数据结构与算法分析》 《信计专业毕业实习》 《信息与计算科学专业毕业设计（论文）》 4专业课平台选修课 《常微分方程》 《多元统计分析》 《数学物理方程》 《实变函数与泛函分析》 《复变函数与积分变换》 《组合与图论》 《运筹学》 《运筹学基础及应用》 《数值最优化》 《微分方程数值解》 《控制理论基础》 《Oracle 高级数据库开发设计》 《大数据与深度学习》 《Python 程序设计》 《R 语言》 《算法分析与设计》 《操作系统》 《计算机网络原理Ⅰ》 《Java 程序设计》 《Java 程序设计实训》 《ASPNET 程序设计》 《web 前端开发》 《web 前端开发》程序设计 《软件开发实践》

9.1.7用形式微商判断多项式是否有重因式 定义9.10设f(x)=ax+a1x+…+an-1x+an∈K[x],定义 f\(x)=na\+(n-1)\-+..+[], 称f(x)为f(x)的一阶形式微商。 设f(x)的k-1阶形式微商已定义,记作f((x)则定义它的k阶形式微商fx)为 f(x)的一阶形式微商:f((x)=(f((x)另外我们约定f(x)=f(x) 命题设f(x)∈K[x],如果K[x]内的不可约多项式p(x)是f(x)的k重因式,则 p(x)是f(x)的k-1重因式