北京大学：《高等代数》课程教学资源（讲义）第四章 线性空间与线性变换 4.5 商空间上诱导的线性变换 4.5.1 线性变换在（关于不变子空间的）商空间上的诱导变换的定义

第二章2-5n阶方阵 2.5.1n阶方阵,对角矩阵,数量矩阵,单位矩阵,初等矩阵,对称、反对称、上三角、 下三角矩阵 定义(数域K上的n阶方阵)数域K上的nn矩阵成为K上的n阶方阵,K上全 体n阶方阵所成的集合记作Mn(K)。 定义(n阶对角矩阵、数量矩阵、单位矩阵)数域K上形如 ( 0 0 n /nxn 的方阵被称为n阶对角矩阵,与其他矩阵相乘,有 (a1a12and

2.5.2可逆矩阵,方阵的逆矩阵 1、可逆矩阵,方阵的逆矩阵的定义 定义设A是属于K上的一个n阶方阵,如果存在属于K上的n阶方阵B,使 BA= AB=E, 则称B是A的一个逆矩阵,此时A称为可逆矩阵。 2、群和环的定义 定义设A是一个非空集合。任意一个由A×A到A的映射就成为定义在A上的代数 运算

2.正定二次型: 正惯性指数等于变元个数的实二次型称为正定二次型: 正定二次型的(实对称)矩阵称为正定矩阵 设A=(an)为n阶实对称矩阵,称A的r阶子式 12 2 为方阵的顺序主子式。 定理设f是实二次型,则下述四条等价:

第六章带度量的线性空间 6-1欧几里得空间 设f是实线性空间V上的一个正定、对称的双线性函数,则Va,B∈V,(a,): f(a,B)称为向量a与B的内积;具有内积的实线性空间称为欧几里得空间(简称欧氏空 间) 对任意α∈V,定义 lalv(a,a) 为向量a的长度或模.|a|=1时,称a为单位向量 命题1.1(柯西-布尼雅可夫斯基不等式)对欧氏空间V内任意两个向量a,,有

第六章6-4四维时空空间与辛空间 在狭义相对论中,用三个空间坐标和一个时间坐标来刻画一个物体的运动,称为四维时 空空间 在R上规定一个特殊的度量f(a,B)=x1y1+x2y2+x3y3-x4y4(其中a=( x1,x2,x3,x4),B=(y1,y2,y3,y4),称为四维时空空间的度量 令 1000 0100 I= 0010 L000-1 在R内取定基

8-2同余式 8.2.1有理整数环中的同余的定义 定义8.5设m是一个正整数,若a,b∈Z,且ba∈(m),亦即m(b-a),则 称b与a模m同余,记作b=a(modm)。不难得到,b与a模m同余就是它们用m做带 余除法所得的余数相同。整数模m同余为一等价关系,验证如下: 1、反身性:a=a(modm) 2、对称性:若b=a(modm),则a=b(modm) 3、转递性:若a=b(modm),b=c(modm),则

8-3模m的剩余类环 8.3.1模m的剩余类环的定义 定义8.7设m设一个正整数,定义 /(m)={a+(m)a∈} 将模m的剩余类a+(m)记作a,现定义Z/m)中的加法和乘法如下: 此两种运算满足8.1.1中除第9)条以外的其余八条性质(其中0称为Z/(m)的零元素,1 称为Z/(m)的单位元素),于是Z/(m)构成一个代数系统,称为Z模理想(m)的剩余类环 或乙模理想(m)的商环

8-1有理整数环的基本概念 8.1.1有理整数环的基本概念 全体整数所组成的集合中有两种运算:加法和乘法,而且它们满足下面运算法则: 1)加法满足结合律; 2)加法满足加换律 3)有一个数0,是对任意整数a,0+a=a; 4)对任意整数a,存在整数b,使b+a=0 5)乘法满足结合律 6)有一个数1,是对任意整数a,la=a 7)加法与乘法满足分配律:a(b+c)=ab+ac

设A是n维酉空间V内的线性变换,如果V内的线性变换A满足a,BV,有 (Aa, B)=(a, B) 则称A是A的共轭变换.A为A的共轭变换当且仅当它们在标准正交基下的矩阵互为共轭 转置. 共轭变换的五条性质: 1)E=E 2)(A)=A 3)(kA)*=kA 4)(A+B)=a+B 5)(AB)'=B'A' 如果A=A,则称A是一个厄米特变换