高等代数代数_北京大学第三版__北京大学精品课...

第一学期第一次课 第一章 代数学的经典课题 §1 若干准备知识 代数系统的概念 一个集合，如果在它里面存在一种或若干种代数运算，这些运算满足一定的运算法则，则称这样的一个体系为一个代数系统。 数域的定义 定义（数域） 设 是某些复数所组成的集合。如果K中至少包含两个不同的复数，且 对复数的加、减、乘、除四则运算是封闭的，即对 内任意两个数 、 （ 可以等于 ），必有 ，则称K为一个数域。 例1.1 典型的数域举例： 复数域C；实数域R；有理数域Q；Gauss数域：Q (i) = { i | ∈Q}，其中i = 。 命题 任意数域K都包括有理数域Q。 证明 设 为任意一个数域。由定义可知，存在一个元素 。于是 。 进而 Z , 。 最后， Z ， ， 。这就证明了Q EMBED Equation.3 。证毕。 集合的运算，集合的映射（像与原像、单射、满射、双射）的概念 定义(集合的交、并、差) 设 是集合， 与 的公共元素所组成的集合成为 与 的交集，记作 ；把 和B中的元素合并在一起组成的集合成为 与 的并集，记做 ；从集合 中去掉属于 的那些元素之后剩下的元素组成的集合成为 与B的差集，记做 。 定义（集合的映射） 设 、 为集合。如果存在法则 ，使得 中任意元素 在法则 下对应 中唯一确定的元素（记做 ），则称 是 到 的一个映射，记为 如果 ，则 称为 在 下的像， 称为 在 下的原像。 的所有元素在 下的像构成的 的子集称为 在 下的像，记做 ，即 。 若 都有 则称 为单射。若 都存在 ，使得 ，则称 为满射。如果 既是单射又是满射，则称 为双射，或称一一对应。 1.1.4 求和号与求积号 1．求和号与乘积号的定义. 为了把加法和乘法 表 关于同志近三年现实表现材料材料类招标技术评分表图表与交易pdf视力表打印pdf用图表说话 pdf 达得更简练，我们引进求和号和乘积号。 设给定某个数域 上 个数 ，我们使用如下记号： , . 当然也可以写成 , . 2. 求和号的性质. 容易证明， 事实上，最后一条性质的证明只需要把各个元素排成如下形状： 分别先按行和列求和，再求总和即可。 第一学期第二次课 §2一元高次代数方程的基础知识 1.2.1高等代数基本定理及其等价命题 1. 高等代数基本定理 设 为数域。以 表示系数在 上的以 为变元的一元多项式的全体。如果 ，则称 为 的次数，记为 。 定理（高等代数基本定理） C 的任一元素在C中必有零点。 命题 设 是C上一个 次多项式， 是一个复数。则存在C上首项系数为 的 次多项式 ，使得 证明 对 作数学归纳法。 推论 为 的零点，当且仅当 为 的因式（其中 ）。 命题（高等代数基本定理的等价命题） 设 为C上的 次多项式，则它可以分解成为一次因式的乘积，即存在 个复数 ，使 证明 利用高等代数基本定理和命题1.3，对 作数学归纳法。 2．高等代数基本定理的另一种表述方式 定义 设 是一个数域， 是一个未知量，则等式 （1） （其中 ）称为数域 上的一个 次代数方程；如果以 带入（1）式后使它变成等式，则称 为方程（1）在 中的一个根。 定理（高等代数基本定理的另一种表述形式） 数域 上的 次代数方程在复数域C内必有一个根。 命题 次代数方程在复数域C内有且恰有 个根（可以重复）。 命题（高等代数基本定理的另一种表述形式）给定C上两个n次、m次多项式 ， ， 如果存在整整数 , ,及 个不同的复数 ，使得 ， 则 。 1.2.2 韦达定理与实系数代数方程的根的特性 设 ，其中 。设 的复根为 （可能有重复），则 所以 ； ； 我们记 ； ； ； （ 称为 的初等对称多项式）。于是有 定理2.5 (韦达定理) 设 ，其中 。设 的复根为 。则 ； ； 命题 给定R上 次方程 ， ， 如果 i是方程的一个根，则共轭复数 i也是方程的根。 证明 由已知， . 两边取复共轭，又由于 R，所以 . 推论 实数域上的奇数次一元代数方程至少有一个实根。 证明 因为它的复根（非实根）必成对出现，已知它在C内有奇数个根，故其中必有一根为实数。 第一学期第三次课 §3线性方程组 1.3.1数域K上的线性方程组的初等变换 举例说明解线性方程组的Gauss消元法。 定义（线性方程组的初等变换） 数域 上的线性方程组的如下三种变换 （1） 互换两个方程的位置； （2） 把某一个方程两边同乘数域 内一个非零元素 ； （3） 把某一个方程加上另一个方程的 倍，这里 的每一种都称为线性方程组的初等变换。 容易证明，初等变换可逆，即经过初等变换后的线性方程组可以用初等变换复原。 命题 线性方程组经过初等变换后与原方程组同解 证明 设线性方程组为 （*） 经过初等变换后得到的线性方程组为（**），只需证明（*）的解是（**）的解，同时（**）的解也是（*）的解即可。 设 是（*）的解，即（*）中用 代入后成为等式。对其进行初等变换，可以得到 代入（**）后也成为等式，即 是（**）的解。反之，（**）的解也是（*）的解。 证毕。 1.3.2线性方程组的系数矩阵和增广矩阵以及矩阵的初等变换 定义（数域 上的矩阵） 给定数域K中的 个元素 （ ， ）。把它们按一定次序排成一个 行 列的长方形 表格 关于规范使用各类表格的通知入职表格免费下载关于主播时间做一个表格详细英语字母大小写表格下载简历表格模板下载 称为数域K上的 一个 行 列矩阵，简称为 矩阵。 定义（线性方程组的系数矩阵和增广矩阵） 线性方程组中的未知量的系数排成的矩阵 称为方程组的系数矩阵；如果把方程组的常数项添到 内作为最后一列，得到的 矩阵 称为方程组的增广矩阵。 定义(矩阵的初等变换) 对数域 上的矩阵的行（列）所作的如下变换 互换两行（列）的位置； 把某一行（列）乘以K内一个非零常数 ； 把某一行（列）加上另一行（列）的 倍，这里 称为矩阵的行（列）初等变换。 定义（齐次线性方程组） 数域 上常数项都为零的线性方程组称为数域K上的齐次线性方程组。 这类方程组的一般形式是 命题 变元个数大于方程个数的齐次线性方程组必有非零解； 证明 对变元个数作归纳。 说明 线性方程组的解的存在性与数域的变化无关（这不同于高次代数方程）。事实上， 在（通过矩阵的初等变换）用消元法解线性方程组时，只进行加、减、乘、除的运算。如果所给的是数域 上的线性方程组，那么做初等变换后仍为 上的线性方程组，所求出的解也都是数域 中的元素。因此，对 上线性方程组的全部讨论都可以限制在数域 中进行。 第一学期第四次课 第二章 向量空间与矩阵 m维向量空间 2.1.1 向量和m维向量空间的定义及性质 定义（向量）设 是一个数域。 中 个数 所组成的一个 元有序数组称为一个m维向量； （ ） 称为一个m维列向量；而 称为一个m 维行向量。 我们用 记集合 。 定义（ 中的加法和数量乘法） 在 中定义加法如下：两个向量相加即相同位置处的数相加，即 . 在 定义数量乘法为用 中的数去乘向量的各个位置，即对于某个 ， 定义（ 维向量空间） 集合 和上面定义的加法、数乘运算组成的代数系统称为数域 上的m维向量空间。 命题（向量空间的性质） 向量空间中的元素关于加法和数乘运算满足如下性质（其中 表示数域， 表示 中的向量）： 加法结合律： ； 加法结合律： 向量（0,0,……,0）（记为 ）具有性质：对于任意 ，有 ； ，令 ，称其为 的负向量，它满足 ； 对于数1，有 对 内任意数 , ，有 ； 对 内任意数 , ，有 ； 对 内任意数 ，有 。 2.1.2 线性组合和线性表出的定义 定义（线性组合） 设 EMBED Equation.3 EMBED Equation.3 ， ，则称向量 为向量组 的一个线性组合。 定义（线性表示） 设 ， EMBED Equation.3 EMBED Equation.3 。如果存在 ，使得 ， 则称 可被向量组 线性表示。 2.1.3 向量组的线性相关与线性无关的定义以及等价表述 定义（线性相关与线性无关） 设 EMBED Equation.3 EMBED Equation.3 。如果存在不全为零的 ，使得 ， 则称 线性相关，否则称为线性无关。 注意：根据这个定义， 线性无关可以表述如下：若 ，使得 ，则必有 。 如果 ， 显然 线性相关当且仅当齐次线性方程组 有非零解， 线性无关当且仅当此齐次线性方程组只有零解。 命题 设 ，则下述两条等价： 1） 线性相关； 2）某个 可被其余向量线性表示。 证明 1） 2）. 由于 线性相关，故存在不全为零的 个数 ，使得 。 不妨设某个 。于是，由向量空间的性质有 2） 1）. 如果某个 可被其余向量线性表示，即存在 ，使得 . 由向量空间的性质有 . 于是 线性相关。证毕。 推论 设 ，则下述两条等价： 1） 线性无关； 2）任一 不能被其余向量线性表示。 第一学期第五次课 2.1.4 向量组的线性等价和集合上的等价关系 定义（线性等价） 给定 内的两个向量组 ， （*） ， （**） 如果向量组（**）中每一个向量都能被向量组（*）线性表示，反过来向量组（*）中的每个向量也都能被向量组（**）线性表示，则称向量组（*）和向量组（**）线性等价。 定义（集合上的等价关系） 给定一个集合 ， 上的一个二元关系“~”称为一个等价关系，如果“~”满足以下三条： （1） 反身性： ； （2） 对称性： ； （3） 传递性： 。 与 等价的元素的全体成为 所在的等价类。 命题 若 与 在不同的等价类，则它们所在的等价类的交集是空集。进而一个定义了等价关系的集合可以表示为所有等价类的无交并。 证明 记 所在的等价类为 ， 的等价类为 。若它们的交集非空，则存在 ，于是有 。由等价关系定义中的对称性和传递性即知 ，与 和 在不同的等价类矛盾。这就证明了 和 所在的等价类交集是空集。而集合包含所有等价类的并集，又集合中的任一个元素都属于一个等价类，于是集合是等价类的并集。 综上可知，命题成立。证毕。 命题 给定 内两个向量组 ， （1） ， （2） 且（2）中每一个向量都能被向量组（1）线性表示。如果向量 能被向量组（2）线性表示，则 也可以被向量组（1）线性表示。 证明 若向量组（2）中的每一个向量都可以被向量组（1）线性表示，则存在 ，使得 ( ) . （i） 由于 能被向量组（2）线性表示，故存在 ，使得 . 将（i）代入，得 ， 即 可被 线性表示。 由此易推知 命题 线性等价是 的向量组集合上的等价关系。 2.1.5向量组的极大线性无关部分组和向量组的秩 定义（ 向量组的极大线性无关组） 设 为 中的一个向量组，它的一部分组 称为原向量组的一个极大线性无关组，若 （1） 线性无关； （2） 中的每一个向量都可被 线性表出。 容易看出向量组 和 线性等价。 引理 给定 上的向量组 和 ，如果 可被 线性表出，且 ，则向量组 线性相关。 证明 由于 可被 线性表出，故存在 ，使得 （*） 设 . （**） 将（*）代入（**），得 . 设各系数均为零，得到 ， （***） （***）是一个含有 个未知量和 个方程的其次线性方程组，而 ，故方程组（***）有非零解，于是存在不全为零的 ，使得（**）成立。由线性相关的定义即知向量组 线性相关。 定理 线性等价的向量组中的极大线性无关组所含的向量个数相等。 证明 设 和 EMBED Equation.DSMT4 中的线性等价的向量组。设向量组 和 分别是原向量组的极大线性无关部分组，则由线性无关部分组的定义和线性等价的传递性知此二极大线性无关部分组线性等价。由于 可将 中的每一个向量线性表出，知 （否则由引理知向量组 线性相关，矛盾）。同理 。于是 。 推论 任意向量组中，任意极大线性无关组所含的向量个数相等。 定义（向量组的秩） 对于 内给定的一个向量组，它的极大线性无关组所含的向量的数量称为该向量组的秩。 第一学期第六次课 第二章 §2矩阵的秩 2.1.1矩阵的行秩与列秩、矩阵的转置 定义2.1 矩阵的行秩与列秩。 一个矩阵 的行向量组的秩成为 的行秩，它的列向量组的秩称为 的列秩。 命题2.1 矩阵的行（列）初等变换不改变行（列）秩； 证明 只需证明行变换不该行秩。容易证明，经过任意一种初等行变换，得到的行向量组与原来的向量组线性等价，所以命题成立。证毕。 定义2.2 矩阵的转置 把矩阵A的行与列互换之后，得到的矩阵 称为矩阵 的转置矩阵。 命题2.2 矩阵的行（列）初等变换不改变列（行）秩。 证明 只需证明行变换不改变列秩。列变换可用矩阵的转置证得。 假设 的列向量为 ，它的一个极大线性无关部分组为 ，而经过初等行变换之后的列向量为 ，只需证明 是变换后列向量的一个极大线性无关部分组即可。 只需分别证明向量组 （*）线性无关和 中的任意一个向量都可以被（*）线性表出。构造方程 ，由于 线性无关，线性方程组 只有零解。而方程 是由 经过初等行变换得来的，而初等行变换是同解变换，所以 只有零解，于是 线性无关。对于 的任意一个列向量 ，都可被 线性表出，利用初等行变换是同解变换同样可以证明经过初等行变换后， 可以被（*）线性表出。 证毕。 推论 矩阵的行、列秩相等，称为矩阵的秩，矩阵 的秩记为r ； 证明 设 ， 不妨考虑 ，经过行、列调换后，可使左上角元素不等于零。用三种行、列变换可使矩阵化为如下形式 其中(**)代表一个矩阵。 若（**）不是零矩阵，重复上面做法，归纳下去，最后得到形如 EMBED Equation.DSMT4 的一个矩阵，可知，矩阵的行秩和列秩都等于矩阵中“1”的个数。于是由初等变换可逆和推论可以知道，矩阵的行秩等于列秩。 定义2.3 一个矩阵 的行秩或列秩成为该矩阵的秩，记作 。 2.2.2 矩阵的相抵 定义2.4 给定数域 上的矩阵 和 ，若 经过初等变换能化为 ，则称矩阵 和 相抵。 命题2.3 相抵是等价关系，且秩是相抵等价类的完全不变量。 证明 逐项验证等价类的定义，可知相抵是等价关系；由于初等变换不改变矩阵的秩，于是矩阵的秩是等价类的完全不变量。 2.2.3用初等变换求矩阵的秩 用初等行变换或列变换将矩阵化为阶梯形，阶梯形矩阵的秩这就是原矩阵的秩。 第一学期第七次课 第二章 §3线性方程组的理论课题 3.1.1齐次线性方程组的基础解系 对于齐次线性方程组 令 ， ，…， ， 则上述方程组即为 （*） （其中0为零向量）。将（*）的解视为 维向量，则所有解向量构成 中的一个向量组，记为 。 命题 中的元素（解向量）的线性组合仍属于 （仍是解）。 证明 只需要证明S关于加法与数乘封闭。设 ， EMBED Equation.DSMT4 ，则 ， ， 于是 ，故 ；又因为 ， ，所以 。证毕。 定义（线性方程组基础解系） 齐次线性方程组（*）的一组解向量 如果满足如下条件： （1） 线性无关； （2） 方程组（*）的任一解向量都可被 线性表出， 那么，就称 是齐次线性方程组（*）的一个基础解系。 定理 数域上的齐次线性方程组的基础解系中的向量个数等于变元个数减去系数矩阵的秩； 证明 记线性方程组为 ，其中 ， ，…， 设 的秩为 ，无妨设 为其极大线性无关部分组，则 皆可被 线性表出， 即 存在 ，使得 EMBED Equation.DSMT4 EMBED Equation.DSMT4 EMBED Equation.DSMT4 EMBED Equation.DSMT4 即 。于是 中含有向量 EMBED Equation.DSMT4 EMBED Equation.DSMT4 EMBED Equation.DSMT4 EMBED Equation.DSMT4 . 只需要证明 是解向量组的一个极大线性无关部分组即可。易见，向量组 线性无关。只需要再证明 能线性表出任意一个 即可。为此，需要证明引理： 引理 设 线性无关， 可被 线性表出，则表示法唯一。 证明 设 ， 两式相减，得到 . 由于 线性无关，故各 的系数皆为零，于是 ，即 的表示法唯一。引理证毕。 现在回到定理的证明。设 ，则有 . （1） 考虑 ，则 形如 ，且有 . （2） 记 ，则由引理，它可以被线性无关的向量组 唯一地线性表示，于是由（1）、（2）两式可知 ， 于是 。这就证明了 是解向量组的一个极大线性无关部分组。再由矩阵的秩的定义可知命题成立。证毕。 基础解系的求法 我们只要找到齐次线性方程组的 各自有未知量，就可以获得它的基础解系。具体地说，我们先通过初等行变换把系数矩阵化为阶梯形，那么阶梯形的非零行数就是系数矩阵的秩。把每一个非零行最左端的未知量保留在方程组的左端，其余 个未知量移到等式右端，再令右端 个未知量其中的一个为1，其余为零，这样可以得到 个解向量，这 个解向量构成了方程组的基础解系。 例 求数域 上的齐次线性方程组 的一个基础解系。 解 用初等行变换把系数矩阵化为阶梯形： ， 于是r ，基础解系中有 r 个向量。写出阶梯形矩阵所对应的方程组 移项，得 （1）、取 ，得一个解向量 ； （2）、取 ，得另一解向量 . 即为方程组的一个基础解系，方程组的全部解可表示为 . 解毕。 非齐次线性方程组的解的结构 设给定一个一般线性方程组 （*） 于是其系数矩阵和增广矩阵分别为 和 。 定理 (数域K上线性方程组有解的判别定理) 对于数域K上的线性方程组（*），若r r ，则方程组无解；r r ，则有唯一解；r r ，则有无穷多解。 证明 写出线性方程组的向量形式， ， 其中 ， 。 若r r ，则由矩阵秩的定义，可知 列向量组的秩小于 列向量的秩，即向量组 的秩小于向量组 的秩。只需证明 不可以被向量组 线性表出即可证明方程组无解。事实上，若 可以将 线性表出，则向量组 与 线性等价，则两个向量组的秩相等，矛盾于向量组 的秩小于向量组 的秩。所以 不能将 线性表出，方程组无解得证。 若r r ，则 的极大线性无关部分组就是 的极大线性无关部分组。于是 能被 线性表出，即线性方程组有解。 任取线性方程组的一个解向量，记为 ，对于线性方程组的任意一个解向量 ， 是由原方程组系数矩阵所对应的齐次线性方程组（称为线性方程组（*）的导出方程组）的解向量。事实上，可以分别将 和 带入（*），再将对应方程相减，即可证明上述结论。反过来，容易证明，对于导出方程组的每一个解向量 ， 都是线性方程组（*）的解向量。以 记导出方程组的解向量组成的集合，则（*）的解为 . 详言之，记导出方程组的基础解系为 ，则（*）的解为： . 如果r r ，则 ，故方程组（*）有唯一解；如果r r ，则 为无穷集合，故方程组（*）有无穷多解。 第一学期第八次课 第二章 §4矩阵的运算 2.4.1矩阵运算的定义 定义（矩阵的加法和数乘） 给定两个 矩阵 ， ， 和 加法定义为 ； 给定数域 中的一个元素 ， 与 的数乘定义为 . 定义（矩阵的乘法） 给定一个 矩阵和一个 矩阵 ， ， 和 的乘法定义为 . 2.4.2 矩阵的运算（加法、数乘、乘法、转置）的性质 命题 矩阵和定义在矩阵上的运算满足如下运算规律（其中 均为 上的矩阵， 为数域 中的元素） 加法结合律 ； 加法交换律 ； 数乘结合律 ； 数乘分配律 ； ； （5） 乘法结合律 ； ； （6） 乘法分配律 ； ； （7） ; （8） 。 2.4.3 矩阵的和与积的秩 命题 矩阵的运算与秩的关系满足如下性质（其中 均为数域 上的 矩阵， 为 中的元素）： 若 ，则r r ； r r ； （3） r r r 证明 （1）和（2）显然成立。关于（3），由矩阵的秩的定义，只需要证明 的列向量组的秩小于等于 的列向量组的秩加上 的列向量组的秩即可。 的列项量可以被 和 的所有列向量线性表出，于是 的秩小于等于 所有列向量的所组成的向量组的秩，小于等于 秩的和。于是命题成立。 命题 设 分别为 矩阵和一个 矩阵，则r min r r 证明 由矩阵乘法的定义，有 . 的列向量（记为 ）可表示为 ，（ ）， 于是 每一个列向量都可以写成 的列向量组的线性组合，故r r ；同理可证，r r ，于是r min r r 。 命题 r r r . 证明 记 ，设 的列向量为 ，则 的列向量可以表示为 . （1） 设 的列向量的一个极大线性无关部分组为 ， ， ， 任取 的一个列向量 ，存在 ，使得 ， 将（1）式代入，得到 ， 于是 是方程组 的一个特解。 设齐次线性方程组 的基础解系为 ，由线性方程组理论知，方程 的解可以表示为 ， 其中 ，由 ， 是方程 的解，于是 的列向量可以被向量组 线性表示，于是r r r ，即 r r r . 证毕。 定义 阶方阵 自左上角到右下角这一条对角线称为 的主对角线。主对角线上的 个元素的连加称为 的迹。 第一学期第九次课 第二章 §5 n阶方阵 2.5.1 n阶方阵，对角矩阵，数量矩阵，单位矩阵，初等矩阵，对称、反对称、上三角、下三角矩阵 定义（数域 上的 阶方阵） 数域 上的 矩阵成为 上的 阶方阵， 上全体 阶方阵所成的集合记作 。 定义（ 阶对角矩阵、数量矩阵、单位矩阵） 数域 上形如 的方阵被称为n阶对角矩阵，与其他矩阵相乘，有 ； 。 形如 的方阵被称为n阶数量矩阵，与其他矩阵相乘，有 ； 。 矩阵 被称为n阶单位矩阵，记作 ，有 ； 。 我们记第i行第j列为1，其余位置全为零的n阶方阵 。 定义 初等矩阵 我们把形如 其中对角线上除了第i个元素为k 以外，全为1，其他位置全为0的矩阵和形如 其中对角线上的元素全为1，第i行j列位置上为k，其余位置都为0的矩阵和形如 其中对角线上的元素除了第i和第j个元素为零外，都为1，第i行第列和第（n-i）行第（n-j）列位置上为1，其余位置均为零的矩阵称为初等矩阵，分别用 ， ， 来表示。初等矩阵都是由单位阵经过一次初等变换得到的。 定义 对称矩阵、反对称矩阵 设 为数域K上的n阶方阵，若 ，称A为对称矩阵；若 ，则称 为反对称矩阵。 若 为数域 上的 阶对称（反对称）矩阵，则 仍为K上的n阶对称（反对称）矩阵，其中 。 定义 上三角、下三角矩阵 数域K上形如 的n阶方阵被称为上三角矩阵；形如 的n阶方阵被称为下三角矩阵。 对于n阶上（下）三角矩阵，同样有 若 为数域K上的n阶上（下）三角矩阵，则 仍为K上的n阶上（下）三角矩阵，其中 。 命题 矩阵的初等行（列）变换等价于左（右）乘初等矩阵； 证明 我们分别考察三种初等矩阵 对于 ， 有 ， 等价于初等行变换中将第i行乘以一个非零数， ， 等价于初等列变换中将第i列乘以一个非零数； 对于 ， 有 等价于初等行变换中将第j行加上第i行的k倍， 等价于初等列变换中将第j列加上第i列的k倍； 对于 ， 有 ， 等价于初等行变换中互换i，j两行，而 等价于初等列变换中互换i，j两列。 于是初等行（列）变换可以等价为左（右）乘初等矩阵。证毕。 定理 一个方阵是满秩的当且仅当它能表示为初等矩阵的乘积。 证明 必要性 经过初等变换可以将一个满秩n阶矩阵（记为A）化为对角形，由初等变换与乘初等矩阵的等价性，可知存在初等矩阵 和 ， 使得 ，由于初等变换存在逆变换，于是可知用初等变换的逆变换可以将单位矩阵化为满秩矩阵A，于是，存在n阶初等矩阵 和 ，使得 ， 由矩阵运算的结合律和单位矩阵的性质，可以知道 ，必要性证毕。 充分性 若 可以表示成为初等矩阵的乘积，则 ，表示 可由 阶单位阵经过 次初等变换得到，于是 满秩。证毕。 推论 设 是满秩矩阵，对于任意矩阵 ，有r r ，r r （只要乘法有意义）. 证明 由于满秩矩阵可以写作初等矩阵的乘积，于是存在初等矩阵 ，使得 ，于是， ，由初等矩阵于初等变换的等价关系， 相当于对B做r次初等行变换。由于初等变换不改变矩阵的秩，所以r r ；同理，r r 。证毕。 第一学期第十次课 2.5.2可逆矩阵，方阵的逆矩阵 1、可逆矩阵，方阵的逆矩阵的定义 定义 设A是属于K上的一个n阶方阵，如果存在属于K上的n阶方阵B，使 ， 则称B是A的一个逆矩阵，此时A称为可逆矩阵。 2、群和环的定义 定义 设A是一个非空集合。任意一个由 到A的映射就成为定义在A上的代数运算。 定义 设G是一个非空集合。如果在G上定义了一个代数运算（二元运算），称为乘法，记作 ，而且它适合以下条件，那么 就成为一个群： 乘法满足结合律 对于G中的任意元素a,b,c有 ； 存在单位元素 ，对于任意 ，满足 ； 对于任意 ，存在 ，使得 。 关于群的性质，我们有如下命题： 命题 对于任意 ，同样有 证明 对于 ，存在 ，使得 ， ， 两端右乘 ，得到 。 命题 对于任意 ，同样有 证明 。 命题 单位元素唯一 证明 假设存在 ，均是单位元素，则 。 命题 对于任意 ，存在唯一 ，使得 ，于是元素 就称为 的逆元素，记为 。 证明 设存在 ，满足条件，则 。 易知， 。 命题 对于G中的任意元素a,b，方程 有唯一解。 定义 一个群G称为一个交换群（Abelian Group），若定义在上面的代数运算 满足交换律，即对于任意 ，都有 。 定义 设L是一个非空集合，在L上定义了两个代数运算，一个叫加法，记为a+b，一个叫乘法，记为ab。如果具有性质： （1）、L关于加法成为一个交换群； （2）、乘法满足结合律，即 ，有 ； （3）、乘法关于加法满足分配律，即 ，有 那么L就称为一个环。 命题 数域 上的 阶可逆矩阵的全体关于矩阵的乘法构成群，称为 上的一般线性群，记为GL ；数域 上的 阶方阵的全体关于矩阵的加、乘法构成环，称为 上的全矩阵环，记为M ； 证明 按定义逐项验证即可。其中GL 中乘法的单位元是n阶单位矩阵，而M 中加法的单位元是n阶零方阵。 命题 证明 ，由逆矩阵的唯一性可知，命题成立。 命题 假设n阶可逆方阵A的逆矩阵是B，则 是 的逆矩阵。 证明 只需要证明 即可。 事实上， ， 于是命题得证。 命题 矩阵可逆当且仅当满秩； 证明 必要性 若n阶方阵A可逆，则存在n阶方阵B，使得 ，于是有 ，于是 ； 充分性 若n阶方阵满秩，则A可以表为初等矩阵的乘积，即存在初等矩阵 ，使得 。只需要证明初等矩阵是可逆的。事实上， ； ； ，所以由命题 。证毕。 2.5.3用初等变换求可逆矩阵的逆矩阵，矩阵方程 和 的解法（ 为可逆阵） 用初等变换求可逆矩阵的逆矩阵 如果A可逆，则A满秩。于是A可以经过初等行变换化为对角形，即 ，则 。 于是，对单位矩阵做与把A化为 标准 excel标准偏差excel标准偏差函数exl标准差函数国标检验抽样标准表免费下载红头文件格式标准下载 形相同的初等行变换（由矩阵乘法和初等变换的等价性可以知道这是可行的）就可以得到A的逆矩阵，不妨把可逆矩阵A和单位矩阵E并在一起，得到 ，对A进行初等行变换，将其化为对角形，即得到 ； 同样地，将可逆矩阵和单位矩阵拼成如下形状 ， 进行初等列变换，同样可以得到 。 2、关于矩阵方程 和 的解法（其中 为可逆阵） a、关于矩阵方程 ，其中A是一个 矩阵，X和B是 矩阵。 由关于群性质，可以知道 ，于是将A和B并排拼成一个矩阵 ，进行初等行变换，将A化为单位矩阵，于是可以得到 ； b、关于矩阵方程 ，其中A是一个 矩阵，X和B是 矩阵。 同样地，我们将A和B拼为 ，可以得到方程的解 。 例 设 和 为数域 上的 和 矩阵，则 r r +r 证明 存在 和 初等矩阵，使得 ，其中D为A在初等变换的下标准形，记 为 的秩。令 ,则 。Q和P均为满秩方阵，则 ， 记 为 ，则 = ， 于是 的秩为 前s个行向量的秩。而 可以被 前s个行向量的极大线性无关部分组和 的后n-s个向量线性表示，于是 ， 于是 。 证毕。 第一学期第十一次课 第二章 §6分块矩阵 2.6.1分块矩阵的乘法，准对角阵的乘积和秩 1、矩阵的分块和分块矩阵的乘法 设A是属于K上的 矩阵，B是K上 矩阵，将A的行分割r段，每段分别包含 个行，又将A的列分割为s段，每段包含 个列。于是A可用小块矩阵表示如下： ， 其中 为 矩阵。对B做类似的分割，只是要求它的行的分割法和A的列的分割法一样。于是B可以表示为 ， 其中 是 的矩阵。这种分割法称为矩阵的分块。此时，设 ，则C有如下分块形式： ， 其中 是 矩阵，且 。 定义 称数域K上的分块形式的n阶方阵 为准对角矩阵，其中 为 阶方阵（ ），其余位置全是小块零矩阵。 2、分块矩阵的一些性质 命题 阶准对角矩阵有如下性质： （1）、对于两个同类型的n阶准对角矩阵（其中 同为 阶方阵）， ， ， 有 ； （2）、 ； （3）、A可逆 可逆，且 。 命题 分块矩阵 的秩大于等于 与 的秩的和。 证明 记 ，设A为 矩阵，B为 矩阵， A在初等变换标准形为 ， ； B在初等变换下的标准形为 ， ， 则对M前m行前n列做初等变换，对它的后k行后l列也做初等变换，这样可以把M化为 。 现在利用 左上角的“1”经过初等列变换消去它右边 位置中的非零元；再用 左上角的“1”经过初等行变换消去它上面 处的非零元素，于是把 再化作 。 则有 。证毕。 容易得出，对于矩阵 ， 也有同样的性质。 对于上述 和 ，如果 ，则 ；如果 ，则 。 命题 设 、 、 为数域 上的三个可以连乘的矩阵，则 r r EMBED Equation.3 r r 证明 假设A、B、C分别为 、 和 矩阵。令 ， 考虑 由可逆矩阵乘法的性质（命题 ）和命题 可以知道， 2.6.2矩阵分块技巧的运用（挖洞法）和其应用——可逆矩阵的分块求逆 1、挖洞法 设 ， 其中A为 矩阵，B为 矩阵，C为 矩阵，D为 矩阵。不妨设A可逆，取 ， 则 ， 取 ， 则 。 由于分块矩阵的乘法形式上与普通矩阵相同，所以也可以用左乘（或右乘）一个适当的分块方阵来读一个分块矩阵做类似的变换。但是要注意： （1）、两个小块矩阵相乘时必须遵守左边矩阵的列数等于右边矩阵的行数这一原则； （2）、两个小块矩阵相乘成不能交换次序，要分清那个在左，那个在右。 2、矩阵的分块求逆 设方阵 ， 其中A可逆。令 ， 记 ， ， ， 若M可逆，则N可逆，于是 可逆。 ， 求得 。 第一学期第十二次课 第三章 §1，§2 阶方阵的行列式 3.1.1平行四边形的有向面积和平行六面体的有向体积具有的三条性质 在解析几何中已证明，给定二维向量空间中的单位正交标架，设向量 的坐标分别为 和 ，则由向量 张成的平行四边形的有向面积为 ，这里记为；给定三维空间内右手单位正交标架，设向量 的坐标分别为 、 和 ，则由向量 张成的平行六面体的有向体积为 。 我们引入如下记号：对于二阶方阵 ，定义 ；对于三阶方阵 ，定义 。 不难发现， （有向面积与有向体积）满足以下三条性质： （1）、如果 的某行或某列换为两个向量的线性组合 ，则 ，其中 分别为把该行（列）换为 所得的 阶方阵； （2）、如果 不满秩，则 ； （3）、当 为单位矩阵时， 。 3.1.2利用上述三条性质定义 阶方阵的行列式函数的det 定义 线性函数 若 满足如下条件：对 中任意向量 (写成横排形式)以及K中任意数k， ，都有 = + ； = ， 则称 为 上的一个行线性函数。 设 满足如下条件 对 中任意向量 （写成竖排形式）以及K中任意数k， ，都有 ； ， 则称 为 上的一个列线性函数。 同样地，行（列）线性函数的定义还可以写作 ，有 = + 和 。 容易证明它们与上面定义的等价性。 定义 反对称线性函数 记号如上，若列线性函数f满足 ， 则称f为列反对称函数。 定理 设 为列线性函数，则下述四条等价： i）、 反对称； ii）、 ； iii）、 ； iv）、若M不满秩，则 。 证明 i） ii） 若 反对称，则 ， 于是 。 ii） iii） 若 ，由于 列线性，则 iii） iv） 若 ，则由已知，不满秩矩阵必有一个列向量可以被其他列向量线性表出。若记M的列向量为 ，则必存在一个 ，满足 ，其中 ，于是 。 iv） ii） 矩阵 不满秩，则 。 ii） i） 若 ，则 ， 于是 ， 则有 。证毕 定义 函数 被称为一个行列式函数，当且仅当 满足下列3条性质： 1、 列线性； 2、 反对称； 3、 。 2.3.3行列式函数的存在性与唯一性 引理 设 和 为烈现行反对称函数， 。则若经过相同的初等列变换化为 和 ，则 。 证明 由初等变换的可逆性，只需证“ ”。只需分别对三类基本初等列变换进行证明。 定理 行列式函数存在且唯一。 证明 首先证明若行列式函数存在，则唯一。设 是行列式函数，若A不满秩，则 ；若A满秩，则 可以经过初等列变换化为 ， ，于是由引理 ，即 和 在 上取值相等，于是 。唯一性证毕。 再证明行列式函数的存在性。定义函数det如下：设 ，定义 ； 设在集合 内函数 已定义，那么，对 ， 定义 其中 表示划去A的第i行和第j列后所剩的n-1阶方阵的 值， 为 。 用记号 来代表 ，如果 ，可以写成 下面要证明上述定义的函数 是行列式函数，从而说明了行列式函数的存在性。 对 作归纳，可分别证明 ； 是列线性函数和 反对称，于是 是行列式函数。 命题 行列式函数是行线性函数。 证明 对 作归纳。 3.2.4行列式的六条性质 命题 行列式函数满足以下六条性质： 1、 ； 2、 ， 类似地，对行向量，有 ； 3、若A的某列（行）为两列（行）之和，则 为两个相应的行列式之和； 4、A不满秩，则 ，特别地，A有两行（列）相等，则 ； 5、将A的一行（列）的若干倍加到B的另一行（列）上去，行列式值不变； 6、两行（列）互换，行列式反号。 第一学期第十三次课 第三章 §2 阶方阵的行列式（续） 3.2.5行列式的按任意列展开和特殊矩阵的行列式 1、行列式的按任意行（列）展开 定义 命 ，称为 的代数余子式。 命题 按行列式的第 行展开，有 。 证明 将第 行先后与第 行交换，再展开。 推论 行列式按第 行展开，有 。 2、范德蒙行列式 形如 的行列式称为范德蒙行列式。 命题 。 证明 对 作归纳。 3、准对角阵的行列式 命题 。 证明 对 作归纳。 推论 。 推论 。 4、可微函数的方阵的行列式的微商 命题 设 在 上可导，则 。 证明 对 作归纳。 第一学期第十四次课 第三章 §3行列式的初步应用 3.3.1行列式的应用：用行列式求逆矩阵；克莱姆法则 定义 设矩阵 ， 矩阵 称为 的伴随矩阵。 由行列式的性质容易证得， ， 其中 ，为Kronecker记号。于是有 命题 对于 阶满秩方阵 ，有 ，若 ，则 。 考察线性方程组 ， 将其记为 ，若 满秩，则 ， 而 ， 就是把 的第 列换成 后的行列式，记 ， 于是有： 定理 若数域 上的 个未知量 个方程的线性方程组的系数矩阵的行列式 ，则它有唯一的一组解 。这个定理称为Cramer法则。 3.3.2矩阵乘积的行列式、用矩阵的子式的行列式刻画矩阵的秩 命题 设 ，则 。 证明 对 讨论满秩与不满秩的情况。 定义 设 ， 取 ， ， 称为 的一个 阶子式，记为 。 引理 存在非零的 阶子式。 证明 “ ” 若 ，则由矩阵的秩的定义， 存在 个线性无关的行向量，设它们为 行，取它们构成一个秩为 的 矩阵 存在 个线性无关的列向量，设它们为 列，于是 ； “ ” 若存在 ，则此子式的 个列向量线性无关，将它们扩充成为原矩阵 的第 ，它们仍线性无关。证毕。 命题 对于 上的 阶方阵 ， 当且仅当存在某个 阶子式不等于零，但所有 阶子式都等于零。 证明 “ ” 若 ，则由引理，存在某个 阶子式不等于零。若存在某个 阶子式不等于零，则由引理， ，矛盾于 ，必要性得证； “ ” 若对于 ，存在某个 阶子式不等于零，则 ，而但所有 阶子式都等于零，则 ，于是 ，证毕。 第一学期第十五次课 第三章 §4行列式的完全展开式 3.4.1一些基本概念 定义 给定 个互不相同的自然书，把它们按一定次序排列起来： ， 称为该 个自然数的一个排列。在上述排列中，如果有一个较大的自然竖排在一个较小的自然数前面，则称为一个反序。一个排列中包含的反序的总数称为该排列的反序数。排列 的反序数计作 。一个排列的反序数为奇数时，该排列称为奇排列；如果反序数时偶数，则称为偶排列。 的算法 给定 个自然数，按大小顺序排列： ， 现在把它们按任意次序重排，得 元排列 ，这个排列的反序数可用下法计算：先找出排在 前面的数字有多少，设为 ，然后划去 ，再看 前面未划去的数字有多少，设为 ，然后划去 ，再看 前面未划去的数字有多少，设为 ，然后划去 ，…，经过 次后，即得 。 命题 给定数域 上的 矩阵，（ ）， ， 取定 个自然数，按大小次序排列： ，又设 是这 个自然数的一个排列，则 。 推论 将命题中 的 互换，则其奇偶性发生变化。 定理 数域 上的 阶行列式有如下展开式 。 证明 令 ，证明 是行列式函数。 推论 设 ，则 。 第一学期第十六次课 期中考试 第一学期第十七次课 第四章 线性空间与线性变换 §1 线性空间的基本概念 4.1.1线性空间的定义及例 1、线性空间的定义 定义4.1 线性空间 设V是一个非空集合，且V上有一个二元运算“+” ，又设K为数域，V中的元素与K中的元素有运算数量乘法“ ” ， 且“+”与“ ”满足如下性质： 加法交换律 ，有 ； 加法结合律 ，有 ； 存在“零元”，即存在 ，使得 ； 存在负元，即 ，存在 ，使得 ； “1律” ； 数乘结合律 ，都有 ； 分配律 ，都有 ； 分配律 ，都有 ， 则称V为K上的一个线性空间，我们把线性空间中的元素称为向量。注意：线性空间依赖于“+”和“ ”的定义，不光与集合V有关。 2、零向量和负向量的唯一性，向量减法的定义，线性空间的加法和数乘运算与通常数的加、乘法类似的性质 命题4.1 零元素唯一，任意元素的负元素唯一。 证明： 设 与 均是零元素，则由零元素的性质，有 ； ，设 都是 的负向量，则 ， 于是命题得证。由于负向量唯一，我们用 代表 的负向量。 定义4.2 减法 我们定义二元运算减法“-”如下： 定义为 。 命题4.2 线性空间中的加法和数乘满足如下性质： 加法满足消去律 ； 可移项 ； 可以消因子 且 ，则 ； 。 3、线性空间的例子 例4.1 令V表示在 上可微的函数所构成的集合，令 ，V中加法的定义就是函数的加法，关于K的数乘就是实数遇函数的乘法，V构成K上的线性空间。 4.1.2线性空间中线性组合和线性表出的定义，向量组的线性相关与线性无关的定义以及等价表述，向量组的秩，向量组的线性等价；极大线性无关组 定义4.3 线性组合 给定V内一个向量组 ，又给定数域K内s个数 ，称 为向量组 的一个线性组合； 定义4.4 线性表出 给定V内一个向量组 ，设 是V内的一个向量，如果存在K内s个数 ，使得 ，则称向量 可以被向量组 线性表出。 定义4.5 向量组的线性相关与线性无关 给定V内一个向量组 ，如果对V内某一个向量 ，存在数域K内不全为零的数 ，使得 ，则称向量组 线性相关； 若由方程 必定推出 ，则称向量组 线性无关。 命题4.3 设 ，则下述两条等价： 1） 线性相关； 2）某个 可被其余向量线性表示。 证明同向量空间。 定义4.6 线性等价 给定V内两个向量组 （Ⅰ）， （Ⅱ）， 如果（Ⅰ）中任一向量都能被（Ⅱ）线性表示，反过来，（Ⅱ）中任一向量都能被（Ⅰ）线性表示，则称两向量组线性等价。 定义4.7 极大线性无关部分组 给定V内一个向量组 ，如果它有一个部分组 满足如下条件： （i）、 线性无关； （ii）、原向量组中任一向量都能被 线性表示， 则称此部分组为原向量组的一个极大线性无关部分组。 由于在向量空间中我们证明的关于线性表示和线性等价的一些命题中并没有用到 的一些特有的性质，于是那些命题在线性空间中依然成立。 定义4.8 向量组的秩 一个向量组的任一极大线性无关部分组中均包含相同数目的向量，其向量数目成为该向量组的秩。 例4.2 求证：向量组 的秩等于2（其中 ） 证明： 方法一： 设 ，满足 ，则 ，假若 不全为零，不妨设 ，则有 ，而由于 ，等号左边为严格单调函数，矛盾于等号右边为常数。于是 。 所以 线性无关，向量组的秩等于2。 证毕。 方法二：若在 上 ， 两端求导数，得 ， 以 代入， 而 ， 于是 。 证毕。 第一学期第十八次课 4.1.3 线性空间的基与维数，向量的坐标 设V是数域K上的线性空间， 定义4.9 基和维数 如果在V中存在n个向量 ，满足： 1）、 线性无关； 2）、V中任一向量在K上可表成 的线性组合， 则称 为V的一组基。 基即是V的一个极大线性无关部分组。 基的个数定义为线性空间的维数。 命题4.4 设V是数域K上的n维线性空间，而 。若V中任一向量皆可被 线性表出，则 是V的一组基。 证明：由 与V的一组基线性等价可以推出它们的秩相等。 命题4.5 设V为K上的n维线性空间， ，则下述两条等价： 1）、 线性无关； 2）、V中任一向量可被 线性表出。 定义4.10 向量的坐标 设V为K上的n维线性空间， 是它的一组基。任给 ，由命题 ， 可唯一表示为 的线性组合，即 ，使得 ， 于是我们称 为 在基 下的坐标。 易见，在某组基下的坐标与V/K中的向量是一一对应的关系。 第一学期第十九次课 4.1.4线性空间的基变换，基的过渡矩阵 设V/K是n维线性空间，设 和 是两组基，且 将其写成矩阵形式 ， 定义4.11 我们称矩阵 为从 到 的过渡矩阵。 命题4.6 设在n维线性空间V/K中给定一组基 。T是K上一个n阶方阵。命 则有 是V/K的一组基，当且仅当T可逆。 证明： 若 是线性空间V/K的一组基，则 线性无关。 考察同构映射 （标字打不上去，我不知道为什么） 构造方程 ，其中 ， ， ， 。 于是 线性无关。 构成了过渡矩阵的列向量，所以过渡矩阵可逆； 反过来，若过渡矩阵可逆，则构造方程 ，其中 ， 两边用 作用，得到 。 ， 证毕。 4.1.5向量的坐标变换 公式 小学单位换算公式大全免费下载公式下载行测公式大全下载excel公式下载逻辑回归公式下载 ； 中的两组基的过渡矩阵 1、向量的坐标变换公式 设V/K有两组基为 和 ， 又设 在 下的坐标为 ，即 ， 在 下的坐标为 ，即 。 现在设两组基之间的过渡矩阵为T，即 记 ， ， 于是 。 于是，由坐标的唯一性，可以知道 ，这就是坐标变换公式。 2、 中两组基的过渡矩阵的求法 我们设 中两组基分别为 和 而 按定义，T的第i个列向量分别是 在基 下的坐标。 将 和 看作列向量分别排成矩阵 ； ， 则有 ， 将A和B拼成 分块矩阵 ，利用初等行变换将左边矩阵A化为单位矩阵E，则右边出来的就是过渡矩阵T，示意如下： （“变换”两个字打不上去） §2 子空间与商空间 4.2.1线性空间的子空间的定义 定义4.12 子空间 设V是数域K上的一个线性空间，M时V的一个非空子集。如果M关于V内的加法与数乘运算也组成数域K上的一个线性空间，则称为V的一个子空间。 命题4.7 设V是K上的线性空间，又设一个非空集合 ，则 是子空间当且仅当下述两条成立： i）、 对减法?封闭； ii）、 对于K中元素作数乘封闭。 证明： 必要性由定义直接得出； 充分性： 各运算律在V中已有，所以W满足运算律的条件。 只需要证明 且对于任意 ， ，且对加法封闭即可。 事实上，由于 关于数乘封闭，则 ； ，于是对于 ， ，W关于加法封闭。于是W是V的一个子空间。 证毕。 事实上，W关于加法和数乘封闭也可以得出上述结论。 命题4.8 设W是V的一个有限维子空间，则W的任一组基可以扩充为V的一组基。 证明： 设 ， ， ， 若 ，则命题为真； 若 ，对 作归纳： 设 为W的一组基，取 ，则 线性无关。于是令 ，易见，W’是V的一个子空间，且 ，此时 ，对其用归纳假设即可。 第一学期第二十次课 4.2.2子空间的交与和，生成元集 定义4.13 设 ，则 是V的一个子空间，称为由 生成的子空间，记为 。易见，生成的子空间的维数等于 的秩。 定义4.14 子空间的交与和 设 为线性空间V/K的子空间，定义 ，称为子空间的交； ，称为子空间的和。 命题4.9 和 都是V的子空间。 证明： 由命题 ，只需要证明 和 关于加法与数乘封闭即可。 事实上， ，则 ， 。由于 均是V的子空间，则 ，于是 ， 关于加法封闭， ， ， ，于是 ， 关于数乘封闭； ，则由 的定义， ，使得 ，而 ，则 ， 关于加法封闭， ， ，使得 ，由于 ，则 ， 关于数乘封闭。 证毕。 命题4.10 设 是V的子空间，则 和 均为V的子空间。 4.2.3 维数公式。 定理4.1 设V为有限维线性空间， 为子空间，则 。 这个定理中的公式被称为维数公式。 证明： 设 ， ， ， ， 取 的一组基 （若 =0，则 ，基为空集） 将此基分别扩充为 的基 ， ， 只需要证明 是 的一组基即可。 首先，易见 中的任一向量都可以被 线性表出。事实上， ，则 ，其中 ， 而 EMBED Equation.DSMT4 于是 可被 线性表出。只要再证明向量组 线性无关即可。 设 ， 其中 则 ，（*） 于是 ， ， 于是 ，记为 。 则 可被 线性表示，则 ， 带入（*），有 ， 由于 是 的一组基，所以线性无关，则 ， 带回（*），又有 ， 于是向量组 线性无关。 证毕。 推论2.1 设 都是有限为线性空间V的子空间，则： 。 证明：对t作归纳。 第一学期第二十一次课 第四章 §2子空间与商空间 4.2.4子空间的直和与直和的四个等价定义 定义 设V是数域K上的线性空间， 是V的有限为子空间。若对于 中任一向量，表达式 是唯一的，则称 为直和，记为 或 。 定理 设 为数域K上的线性空间V上的有限为子空间，则下述四条等价： 1）、 是直和； 2）、零向量表示法唯一； 3）、 ； 4）、 。 证明 显然。 设 则 。 由2）知，零向量的表示法唯一，于是 ， 即 的表示法唯一。由直和的定义可知， 是直和。 假若存在某个 ，使得 ，则存在向量 且 ，于是存在 ，使得 。 由线性空间的定义， ， 则 ，与零向量的表示法唯一矛盾，于是 。 若2）不真，则有 ， 其中 且 。于是 ， 与3）矛盾，于是2）成立。 对m作归纳。m=2时，由维数公式得到 。 设 已证， 而 ，都有 ； 用归纳假设，可以得到 ； ，都有 ， 于是 。证毕。 推论 设 为V的有限维子空间，则下述四条等价： i）、 是直和； ii）、零向量的表示法唯一； iii）、 ； iv）、 。 4.2.5直和因子的基与直和的基 命题 设 ，则 的基的并集为V的一组基。 证明 设 是 的一组基，则V中任一向量可被 线性表出。又 ，由命题 ，它们线性无关，于是它们是V的一组基。 证毕。 4.2.6补空间的定义及存在性 定义 设 为V的子空间，若子空间 满足 ，则称为 的补空间。 命题 有限维线性空间的任一非平凡子空间都有补空间。 证明 设 为K上的n为线性空间V的非平凡子空间，取 的一组基 ，将其扩为V的一组基 取 ，则有 ，且 ， 于是 ，即 是 的补空间。证毕。 第一学期第二十二次课 4.2.7线性空间关于一个子空间的同余关系 定义 给定K上的线性空间V，M是V的子空间，设 是V的一个向量。如果V的一个向量 满足： ，则称 与 模M同余，记作 。 易见，同余关系是V上的一个等价关系。 把全部等价类组成的集合（一个等价类视为等价类集合中的一个元素）记为 ， 中的元素形如 ， 我们称 为一个模M的同余类，而将等价类中的任一元素称为等价类的代表元素。 命题 同余类满足如下一些性质： 1）、 ； 2）、 ； 3）、 ； 4）、若 ，则 。 证明 1）由定义可以得出；若 ，则由1）， ，则 ，于是， ，同理 ，于是 ，2）得证；由2）可以推出3）； 我们将 记为 。 4.2.8商空间的定义，定义的合理性以及商空间的基的选取 定义 中的运算（加法和数量乘法） 对于任意 ，定义 ； 。 下面证明加法和数量乘法是良定义，即若 ， ，有 ；且 ，有 。 事实上，若 ， ，则 ， ，于是 ， ， ，于是 ，加法和数乘是良定义。 命题 关于上面定义的加法和数乘构成一个线性空间。 证明 逐项验证即可。 定义 这个线性空间被称为 对子空间 的商空间。 命题 设 是数域 上的n维线性空间， 是 的一个 维子空间，则 ； 证明 任取 的一组基 ，将它扩为 的一组基 ，断言 是 的一组基。 首先证明线性无关性。设有 ，使得 ，由加法的定义，左端= ，于是 ，故存在 ，使得 ，而由于 是 的一组基，则 。 再证 中任一向量可被表成 的线性组合。事实上，任取 ，则存在 ，使得 ，由于 ，于是 。 于是 是 的一组基。证毕.。 第一学期第二十三次课 第四章 §3线性映射与线性变换 4.3.1线性映射的定义 定义 设 为数域 上的线性空间， 为映射，且满足以下两个条件： i）、 ； ii）、 ， 则称 为（由 到 的）线性映射， 由数域 上的线性空间 到 的 的线性映射的全体记为Hom ，或简记为Hom 。 定义中的i）和ii）二条件可用下述一条代替： 。 例 是 上的线性空间， 也是 上线性空间，取定一个 上的 矩阵 ，定义映射 则 是由 到 的线性映射。 例 考虑区间 上连续函数的全体，它是 上的线性空间，令 再令 则 是由 到 的一个线性映射。 定义 设 是线性映射 i）、如果 是单射，则称 是单线性映射（monomorphism）； ii）、如果 是满射，则称 是满线性映射（endmorphism）； iii）、如果 既单且满，则称 为同构映射（简称为同构，isomorphism），并说 与 是同构的，同构映射也称为线性空间的同态（homomorphism），同构映射的逆映射也是同构映射； iv）、 的核（kernel）定义为 ； v）、 的像（image）定义为 ，也记为 ； 命题 和 是 的子空间。 证明 容易证明它们关于加法和数乘封闭。 vi）、 的余核定义为 。 命题 线性映射 是单的当且仅当ker ， 是满的当且仅当coker 。 定理（同态基本定理） 设 是数域 上的线性空间的满线性映射，则映射 是同构映射。 证明 首先证明 是良定义，即若 ，则 。由于 ，存在 ，使得 。于是 ，即 。 再证明 是线性映射。 ， ， 。 易见 是满射，且有 。只要再证明 是单射即可，即证明 。设 ，则 ，于是 ，即有 。证毕。 命题 设 是线性映射， ，则下述三条等价： i）、 单； ii）、 将 中任意线性无关组映为 中的线性无关组； iii）、 。 证明 i） ii）若 线性无关，则令 ，由线性映射的定义， 。 单，于是 ，则 ，ii）成立；ii） iii）若取 的一组基 ，则由已知， 线性无关，而 中任意向量可以被 线性表出，于是 构成 的一组基，iii）成立；iii） i）由同态基本定理知 ，于是 EMBED Equation.DSMT4 EMBED Equation.DSMT4 ，即有 。证毕。 第一学期第二十四次课 4.3.2线性映射的运算的定义与性质 定义 线性映射的运算（加法与数域 上的数量乘法） 设 ， 为线性映射，定义 为 定义 为 说明 与 仍为线性映射。 命题 Hom 在加法和数乘下构成数域 上的线性空间。 证明 逐项验证。 定义 线性映射的乘法（复合） 设存在映射 ， ，映射的乘法定义为 。易验证， 。 特别地，称 到自身的线性映射为 上的线性变换，常记 为 。 中的元素（线性变换），用黑体或空体表示。 对于 ，规定 。 4.3.3线性映射在一组基下的矩阵的定义 定义 设 ，取 的一组基 和 的一组基 ，设 于是 称 为 在基 和 下的矩阵。 在给定 和 的基的前提下， 中的元素与它的矩阵互相决定，严格地说，有： 命题 设 和 是数域 上的线性空间， ， ，则Hom 同构于 上的 矩阵的全体构成的线性空间. 证明 取定 和 的基 和 ，考察映射 其中 是 的矩阵。 ， 于是 在 中的坐标为 。 证明 是单射，设 ，若它们的矩阵分别为 ，则 。否则 中任一向量在 下的像坐标相同 EMBED Equation.DSMT4 ； 证明 是满射，任给 ，定义从 到 的映射 ，满足 再对任一 ，令 ， 易见 线性，即线性映射 的矩阵就是 。 证明 是线性映射，设 ，它们的矩阵分别为 ， 于是 在 和 下的矩阵为 ；同理可证 。命题得证。 线性映射的复合的矩阵 命题 设 ，设 的基为 ， 和 ，记 和 在这组基下的矩阵分别为 和 ，则 在基 和 下的矩阵为 。特别地，当 时， 的矩阵为 。 说明 对于一般的线性映射，一般不满足交换律，甚至交换后没有意义。 第一学期第二十五次课 第四章 §3线性映射与线性变换（续） 4.3.4线性变换的定义与运算 定义 线性空间到自身的线性映射称为线性变换，记Hom 为End 或End 。 例 恒同变换 例 投影（射影）设 ， ，定义 到 的投影 ， 到 的投影 。 定义 中的运算（加法、数乘和乘法） 加法定义为 ； 数乘定义为 ，其中 ； 乘法（复合）定义为 。 命题 End 关于加法和复合（作为乘法）构成环，称为 的自同态环。 命题 设 为数域 上的 维线性空间，则End 同构于M 。 证明 由定理 直接推出。 4.3.5线性变换的矩阵与矩阵的相似 线性变换（在一组基下）的矩阵的定义是线性映射的矩阵的特例。 设 和 在 下的坐标分别为 和 ，记 在 下的矩阵为 ，则 。 即在给定的基下向量在线性变换下的像的坐标等于的线性变换的矩阵乘以原来向量的坐标。 命题 设线性变换 在一组基 下的矩阵为 ，由基 到基 的过渡矩阵为 ，则A在 下的矩阵为 。 证明 由已知， ，且有 （*）， 设 在 下的矩阵为 ，则 。 将（*）代入，则有 。 定义 称 阶矩阵 相似于 （记为 ），若存在可逆矩阵 ，使得 。 命题 相似是等价关系。 命题 二矩阵相似当且仅当它们是同一个线性变换在两组基下的矩阵。 证明 充分性已证。必要性 若 ，则存在 ，使得 。定义 上的 为线性空间 上的线性变换 如下：任取 的一组基 ，定义 ，再令 ，由命题 可知， 是 的一组基，代入整理，得到 。证毕。 第一学期第二十六次课 第四章 §4线性变换的特征值与特征向量 4.4.1线性变换的特征值与特征向量的定义 定义 若存在非零向量 ，使得对于某个 ，有 ，则称 是 的属于特征值 的特征向量。 命题 线性空间 中属于确定的特征值 的特征向量（添加上零向量）构成子空间。 证明 设 是属于 的特征向量， ，则 ， 证毕。 定义 线性空间 中属于确定的特征值 的特征向量（添加上零向量）构成子空间称为属于特征值 的特征子空间，记为 。 4.4.2特征值和特征子空间的计算、特征多项式 取定 的一组基 ，设 上的线性变换 在此组基下的矩阵为 ，假设 是属于 的特征向量，且 ， 有非零解当且仅当 有非零解 。 定义 上述 被称为线性变换 的特征多项式。特征多项式在 中的零点就是特征值。取定一个特征值 ，方程组 的非零解就是属于 的特征向量的坐标。 第一学期第二十七次课 第四章 §4特征值与特征向量(续) 4.4.2关于特征向量与特征子空间的一些性质 命题 线性变换的属于不同特征值的特征向量线性无关。 证明 设 为 上的线性变换， 是两两不同的特征值， 是属于特征子空间 的特征向量，设 ，使得 ，两边用 作用（ ），于是得到方程组 ， 其中 的方幂组成的矩阵为 ， 两两不同，于是此矩阵的行列式非零，矩阵非退化，于是方程组只有零解，即 ， 又由于特征向量非零，则 ，则 线性无关。证毕。 推论 维空间的具有 个不同特征值的线性变换的矩阵相似于对角矩阵. 证明 取每个特征值的一个特征向量作为基即可。 推论 设 为 的两两不同的特征值，则 为直和。 证明 只要证明零向量的表示法唯一即可。设 ，假若某个 ，则 线性相关，与上述命题矛盾。证毕。 定理 维空间线性变换的矩阵相似于对角矩阵的充分必要条件是该空间等于特征子空间的直和。 证明 必要性 设 上的线性变换 在一组基 下成对角形，即 ， 将 中的不同的值分别记为 ，相应的基向量记为 ，记 ，易见， ，只要证明 ， 即可。易见，“ ”成立；任取 ， （1）， 其中 ，两边用 作用，得到 （2）， 用（1）乘以 与（2）相减，得到 ， 两两不同，又属于不同特征值的特征向量线性无关，得 ，即有 。“ ”得证。于是 ，必要性证毕。 充分性 若 上的线性空间 可以分解成为特征子空间的直和，记号同上，则 ， 分别取个个特征子空间的基合并为 的一组基，则在此组基下， 的矩阵成对角形。证毕。 4.4.3线性变换的不变子空间 定义 设 为线性空间 上的线性变换， 是 的一个子空间。如果 在 下的像包含于 （即 ），则称 为 的一个（ ）不变子空间。这时 可以看作 内的一个线性变换，称为 在 内的限制，记作 。 命题 维空间线性变换的矩阵相似于准对角矩阵的充分必要条件是该空间能分解为不变子空间的直和。 证明 必要性 记 维线性空间为 ，若其上的线性变换 在某组基 ， 下的矩阵为准对角形 ， 其中 等于 的阶数，令 ，则 是 不变子空间，且 。 充分性 若 ，则取 的基并为 的基，则在此组基下 的矩阵成准对角形。证毕。 第一学期第二十八次课 命题 如果 维空间 上的线性变换A的矩阵相似于对角矩阵，则A在任一不变子空间 上（的限制）的矩阵相似于对角矩阵。 证明 若 上的线性变换A的矩阵相似于对角矩阵，则 可以分解为特征子空间的直和。记 的所有特征值为 ，则 ，取 ，断言 。首先要证明 。 “ ”显然；“ ” ，则存在 ，使得 ，两边同时用 作用，得到表达式 ， 于是 ， 即 可以表示成 的线性组合，于是 ，“ ”得证。 再证明 是直和。设 ，其中 ，则 ，由于 ，于是 ，零向量表示法唯一。 于是 可以分解成为特征子空间的直和，即有 可对角化。证毕。 第四章 §5商空间上诱导的线性变换 4.5.1线性变换在（关于不变子空间的）商空间上的诱导变换的定义 给定 上的线性空间 ， 是 的一个 —不变子空间，定义变换 ， 需要验证 的合理性。设 ，则存在 ，使得 ，于是 ，而由于 是 的不变子空间，于是 ，便有 。于是 的定义与商空间上的元素的选取无关，即 的定义合理。对于此定义，即有 。容易验证 是 上的线性变换。 定义 上面定义的线性变换 称为 内线性变换 在商空间 内的诱导变换。 设 ， ，若给定 的一组基 ，将其扩充成为 的一组基 ，若 在此组基下的矩阵为 ，则 构成商空间的一组基，且 在此组基下的矩阵为 。于是，有： 命题 设 是 维线性空间 上的线性变换， 是 的不变子空间，则 的特征多项式等于 的特征多项式与 在商空间 上的诱导变换的特征多项式的乘积。 命题 设 是数域 上的 维线性空间 上的线性变换，则 的特征多项式的根都属于 当且仅当 在 的某组基下的矩阵为上三角形。 证明 必要性 对 作归纳1时命题成立，设 成立，取 关于某个特征值 的一个特征向量 ，取 ，由上一个命题， 维线性空间 上的线性变换 的特征值都属于 ，于是在某组基 下的矩阵成上三角形，易证 是 的一组基，且 在 下的矩阵成上三角形。 充分性 显然。 证毕。 推论 上的有限维线性空间上的线性变换在适当的基下的矩阵成上三角形。 第一学期第二十九次课 第五章 §1双线性函数 5.1.1线性空间上的线性函数的定义 1、线性函数的定义 定义 设 为数域 上的线性空间， 为映射，满足 ； ，则称 为由 到 的一个线性函数（即 为 到 的一个线性映射）。 如同一般的线性映射，有以下事实： i）、 是线性函数当且仅当 ； ii）、 ； iii）、 。 命题 数域 上的 维线性空间 上的线性函数的全体关于函数加法和数乘构成 上的 维线性空间。 证明 容易证明数域 上的 维线性空间 上的线性函数的全体关于函数加法和数乘构成线性空间。定义线性函数 ，使得对于 的某一组基 ， 。则可以验证 构成上述线性空间的一组基。 定义 由数域 上的 维线性空间 上的线性函数的全体构成的线性空间称为 的对偶空间，记为 ； 5.1.2双线性函数 1、双线性函数的定义 定义 设 为数域 上的线性空间， 为映射，满足 i）、 ； ii）、 ， 其中 。则称 为 上的一个双线性函数。 2、双线性函数在给定基下的矩阵 设 为 上的一组基， 为双线性函数， ，设 ； ，则 定义 上述 EMBED Equation.DSMT4 称为双线性函数 在 下的矩阵。 引理 设有集合 即映射 和 ，若 为恒同映射，则 单且 满。 推论 和 同上，若 且 ，则 与 是一一对应（双射）。 命题 设 为线性空间的一组基，定义映射 和 和 则 和 是一一对应。 证明 由于 和 在 处取值相同，由 双线性，得到 ， 是恒同映射；又有 ，于是由引理可知， 为一一对应。证毕。 命题 数域 上的 维线性空间 上的双线性函数的全体关于函数加法和数乘构成 上的 维线性空间（与M 作为 上线性空间同构）。 3、双线性函数在不同基下的矩阵 设 和 为 的两组基， 为一个双线性函数，设 在这两组基下的矩阵分别为 和 ，又设从 到 的过渡矩阵为 ，即 ， ，设 和 在 下的坐标分别为 和 ，则 和 在 下的坐标分别为 和 则 双线性函数与矩阵一一对应，于是有： 命题 设线性空间 上的双线性函数 在一组基 下的矩阵为 ，由基 到基 的过渡矩阵为 ，则 在 下的矩阵为 . 4、矩阵的 合同 劳动合同范本免费下载装修合同范本免费下载租赁合同免费下载房屋买卖合同下载劳务合同范本下载 定义 设 ，若存在可逆矩阵 ，使得 ，则称 合同于 。 命题 合同关系是 上的一个等价关系。 定义 双线性函数的秩定义为该函数在一组基下的矩阵的秩。 第一学期第三十次课 5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义 若 为 上的双线性函数且 ，则称 为 上的对称双线性函数。 命题 为对称双线性函数，当且仅当 在任意一组基下的矩阵为对称矩阵，当且仅当 在某一组基下的矩阵为对称矩阵。 证明 任取 的一组基 ，任取 ，设它们在此组基下的坐标所构成的列向量分别为 和 ， 在此组基下的矩阵记为 ，若 为对称双线性函数，则由定义， ，于是 ，即有 ， 双线性，则 ；反过来，若在任意一组基下的矩阵为对称矩阵，则 ，第一个充要性得证。 若 在某组基 下的矩阵为对称矩阵，记为 ，任取 的另一组基 ，设从 到 的过渡矩阵为 ，则 在 下的矩阵为 ，且 ，第二个充分必要性得证。证毕。 定理 数域 上的 维线性空间 上的对称双线性函数的矩阵必合同于对角阵。 证明 对 作归纳。 时命题成立。假设 时成立，对于 维线性空间，若对称双线性函数 恒等于零，则命题成立。若 不恒等于零，则存在 ，使得 。否则若 ，均有 ，则 ， ， 对称，则 ，与 非零矛盾。取该 ，即满足 。将其扩充为 的一组基，记为 。 ，则 ，于是 在 下的矩阵为 ， 取子空间 ，将 视为其上的对称线性函数，则由归纳假设，存在一组基 使得 在此组基上的矩阵成对角形，于是易知 在 下的矩阵成对角形。证毕。 定义 设 是 内的一个对称双线性函数，我们定义 ，称为 决定的二次型函数。如果在 内取定一组基 ，又令 ， ，于是 （ ） 上式称为二次型函数在 下的解析表达式。由定义可见，对称双线性函数与二次型函数一一对应。 第五章 §2 二次型 5.2.1数域上的二次型的定义，二次型 对应的二次型函数 的定义；二次型的矩阵和秩的定义 定义 设 是数域 上的对称双线性函数 ，其中 和 分别为 和 在某组基 下的坐标， 。取 ，则 ，称 为 上的一个 元二次型（即是一个二次齐次函数），其系数矩阵 称为此二次型的矩阵， 的秩 称为此二次型的秩。而 称为二次型函数。 定理 数域 上的 元二次型在可逆变数替换下可以化为只有平方项的标准形。 5.2.2二次型化为标准形的计算方法（配方法） 分两种情况进行讨论。 （1）、二次型种由某个变量平方项的系数不为零，例如 ，此时把二次型对 进行配方得 作变数替换 反解为 写成矩阵形式 。 经过变数替换，二次型化作 ， 然后再对上式右边的 个变量继续进行计算。如果 ，而某个 ，则对 配方。 （2）、所有 （ ），而有一个 （ ），则作变数替换 这就可以把二次型化为第一种情况。 _1234568913.unknown _1234569425.unknown _1234569681.unknown _1234569809.unknown _1234569937.unknown _1234570001.unknown _1234570065.unknown _1234570097.unknown _1234570113.unknown _1234570129.unknown _1234570145.unknown _1234570153.unknown _1234570157.unknown _1234570159.unknown _1234570161.unknown _1234570162.unknown _1234570163.unknown _1234570160.unknown _1234570158.unknown _1234570155.unknown _1234570156.unknown _1234570154.unknown _1234570149.unknown _1234570151.unknown _1234570152.unknown _1234570150.unknown _1234570147.unknown _1234570148.unknown _1234570146.unknown _1234570137.unknown _1234570141.unknown _1234570143.unknown _1234570144.unknown _1234570142.unknown _1234570139.unknown _1234570140.unknown _1234570138.unknown _1234570133.unknown _1234570135.unknown _1234570136.unknown _1234570134.unknown _1234570131.unknown _1234570132.unknown _1234570130.unknown _1234570121.unknown _1234570125.unknown _1234570127.unknown _1234570128.unknown _1234570126.unknown _1234570123.unknown _1234570124.unknown _1234570122.unknown _1234570117.unknown _1234570119.unknown _1234570120.unknown _1234570118.unknown _1234570115.unknown _1234570116.unknown _1234570114.unknown _1234570105.unknown _1234570109.unknown _1234570111.unknown _1234570112.unknown _1234570110.unknown _1234570107.unknown _1234570108.unknown _1234570106.unknown _1234570101.unknown _1234570103.unknown _1234570104.unknown _1234570102.unknown _1234570099.unknown _1234570100.unknown _1234570098.unknown _1234570081.unknown _1234570089.unknown _1234570093.unknown _1234570095.unknown _1234570096.unknown _1234570094.unknown _1234570091.unknown _1234570092.unknown _1234570090.unknown _1234570085.unknown _1234570087.unknown _1234570088.unknown _1234570086.unknown _1234570083.unknown _1234570084.unknown _1234570082.unknown _1234570073.unknown _1234570077.unknown _1234570079.unknown _1234570080.unknown _1234570078.unknown _1234570075.unknown _1234570076.unknown _1234570074.unknown _1234570069.unknown _1234570071.unknown _1234570072.unknown _1234570070.unknown _1234570067.unknown _1234570068.unknown _1234570066.unknown _1234570033.unknown _1234570049.unknown _1234570057.unknown _1234570061.unknown _1234570063.unknown _1234570064.unknown _1234570062.unknown _1234570059.unknown _1234570060.unknown _1234570058.unknown _1234570053.unknown _1234570055.unknown _1234570056.unknown _1234570054.unknown _1234570051.unknown _1234570052.unknown _1234570050.unknown _1234570041.unknown _1234570045.unknown _1234570047.unknown _1234570048.unknown _1234570046.unknown _1234570043.unknown _1234570044.unknown _1234570042.unknown _1234570037.unknown _1234570039.unknown _1234570040.unknown _1234570038.unknown _1234570035.unknown _1234570036.unknown _1234570034.unknown _1234570017.unknown _1234570025.unknown _1234570029.unknown _1234570031.unknown _1234570032.unknown _1234570030.unknown _1234570027.unknown _1234570028.unknown _1234570026.unknown _1234570021.unknown _1234570023.unknown _1234570024.unknown _1234570022.unknown _1234570019.unknown _1234570020.unknown _1234570018.unknown _1234570009.unknown _1234570013.unknown _1234570015.unknown _1234570016.unknown _1234570014.unknown _1234570011.unknown _1234570012.unknown _1234570010.unknown _1234570005.unknown _1234570007.unknown _1234570008.unknown _1234570006.unknown _1234570003.unknown _1234570004.unknown _1234570002.unknown _1234569969.unknown _1234569985.unknown _1234569993.unknown _1234569997.unknown _1234569999.unknown _1234570000.unknown _1234569998.unknown _1234569995.unknown _1234569996.unknown _1234569994.unknown _1234569989.unknown _1234569991.unknown _1234569992.unknown _1234569990.unknown _1234569987.unknown _1234569988.unknown _1234569986.unknown _1234569977.unknown _1234569981.unknown _1234569983.unknown _1234569984.unknown _1234569982.unknown _1234569979.unknown _1234569980.unknown _1234569978.unknown _1234569973.unknown _1234569975.unknown _1234569976.unknown _1234569974.unknown _1234569971.unknown _1234569972.unknown _1234569970.unknown _1234569953.unknown _1234569961.unknown _1234569965.unknown _1234569967.unknown _1234569968.unknown _1234569966.unknown _1234569963.unknown _1234569964.unknown _1234569962.unknown _1234569957.unknown _1234569959.unknown _1234569960.unknown _1234569958.unknown _1234569955.unknown _1234569956.unknown _1234569954.unknown _1234569945.unknown _1234569949.unknown _1234569951.unknown _1234569952.unknown _1234569950.unknown _1234569947.unknown _1234569948.unknown _1234569946.unknown _1234569941.unknown _1234569943.unknown _1234569944.unknown _1234569942.unknown _1234569939.unknown _1234569940.unknown _1234569938.unknown _1234569873.unknown _1234569905.unknown _1234569921.unknown _1234569929.unknown _1234569933.unknown _1234569935.unknown _1234569936.unknown _1234569934.unknown _1234569931.unknown _1234569932.unknown _1234569930.unknown _1234569925.unknown _1234569927.unknown _1234569928.unknown _1234569926.unknown _1234569923.unknown _1234569924.unknown _1234569922.unknown _1234569913.unknown _1234569917.unknown _1234569919.unknown _1234569920.unknown _1234569918.unknown _1234569915.unknown _1234569916.unknown _1234569914.unknown _1234569909.unknown _1234569911.unknown _1234569912.unknown _1234569910.unknown _1234569907.unknown _1234569908.unknown _1234569906.unknown _1234569889.unknown _1234569897.unknown _1234569901.unknown _1234569903.unknown _1234569904.unknown _1234569902.unknown _1234569899.unknown _1234569900.unknown _1234569898.unknown _1234569893.unknown _1234569895.unknown _1234569896.unknown _1234569894.unknown _1234569891.unknown _1234569892.unknown _1234569890.unknown _1234569881.unknown _1234569885.unknown _1234569887.unknown _1234569888.unknown _1234569886.unknown _1234569883.unknown _1234569884.unknown _1234569882.unknown _1234569877.unknown _1234569879.unknown _1234569880.unknown _1234569878.unknown _1234569875.unknown _1234569876.unknown _1234569874.unknown _1234569841.unknown _1234569857.unknown _1234569865.unknown _1234569869.unknown _1234569871.unknown _1234569872.unknown _1234569870.unknown _1234569867.unknown _1234569868.unknown _1234569866.unknown _1234569861.unknown _1234569863.unknown _1234569864.unknown _1234569862.unknown _1234569859.unknown _1234569860.unknown _1234569858.unknown _1234569849.unknown _1234569853.unknown _1234569855.unknown _1234569856.unknown _1234569854.unknown _1234569851.unknown _1234569852.unknown _1234569850.unknown _1234569845.unknown _1234569847.unknown _1234569848.unknown _1234569846.unknown _1234569843.unknown _1234569844.unknown _1234569842.unknown _1234569825.unknown _1234569833.unknown _1234569837.unknown _1234569839.unknown _1234569840.unknown _1234569838.unknown _1234569835.unknown _1234569836.unknown _1234569834.unknown _1234569829.unknown _1234569831.unknown _1234569832.unknown _1234569830.unknown _1234569827.unknown _1234569828.unknown _1234569826.unknown _1234569817.unknown _1234569821.unknown _1234569823.unknown _1234569824.unknown _1234569822.unknown _1234569819.unknown _1234569820.unknown _1234569818.unknown _1234569813.unknown _1234569815.unknown _1234569816.unknown _1234569814.unknown _1234569811.unknown _1234569812.unknown _1234569810.unknown _1234569745.unknown _1234569777.unknown _1234569793.unknown _1234569801.unknown _1234569805.unknown _1234569807.unknown _1234569808.unknown _1234569806.unknown _1234569803.unknown _1234569804.unknown _1234569802.unknown _1234569797.unknown _1234569799.unknown _1234569800.unknown _1234569798.unknown _1234569795.unknown _1234569796.unknown _1234569794.unknown _1234569785.unknown _1234569789.unknown _1234569791.unknown _1234569792.unknown _1234569790.unknown _1234569787.unknown _1234569788.unknown _1234569786.unknown _1234569781.unknown _1234569783.unknown _1234569784.unknown _1234569782.unknown _1234569779.unknown _1234569780.unknown _1234569778.unknown _1234569761.unknown _1234569769.unknown _1234569773.unknown _1234569775.unknown _1234569776.unknown _1234569774.unknown _1234569771.unknown _1234569772.unknown _1234569770.unknown _1234569765.unknown _1234569767.unknown _1234569768.unknown _1234569766.unknown _1234569763.unknown _1234569764.unknown _1234569762.unknown _1234569753.unknown _1234569757.unknown _1234569759.unknown _1234569760.unknown _1234569758.unknown _1234569755.unknown _1234569756.unknown _1234569754.unknown _1234569749.unknown _1234569751.unknown _1234569752.unknown _1234569750.unknown _1234569747.unknown _1234569748.unknown _1234569746.unknown _1234569713.unknown _1234569729.unknown _1234569737.unknown _1234569741.unknown _1234569743.unknown _1234569744.unknown _1234569742.unknown _1234569739.unknown _1234569740.unknown _1234569738.unknown _1234569733.unknown _1234569735.unknown _1234569736.unknown _1234569734.unknown _1234569731.unknown _1234569732.unknown _1234569730.unknown _1234569721.unknown _1234569725.unknown _1234569727.unknown _1234569728.unknown _1234569726.unknown _1234569723.unknown _1234569724.unknown _1234569722.unknown _1234569717.unknown _1234569719.unknown _1234569720.unknown _1234569718.unknown _1234569715.unknown _1234569716.unknown _1234569714.unknown _1234569697.unknown _1234569705.unknown _1234569709.unknown _1234569711.unknown _1234569712.unknown _1234569710.unknown _1234569707.unknown _1234569708.unknown _1234569706.unknown _1234569701.unknown _1234569703.unknown _1234569704.unknown _1234569702.unknown _1234569699.unknown _1234569700.unknown _1234569698.unknown _1234569689.unknown _1234569693.unknown _1234569695.unknown _1234569696.unknown _1234569694.unknown _1234569691.unknown _1234569692.unknown _1234569690.unknown _1234569685.unknown _1234569687.unknown _1234569688.unknown _1234569686.unknown _1234569683.unknown _1234569684.unknown _1234569682.unknown _1234569553.unknown _1234569617.unknown _1234569649.unknown _1234569665.unknown _1234569673.unknown _1234569677.unknown _1234569679.unknown _1234569680.unknown _1234569678.unknown _1234569675.unknown _1234569676.unknown _1234569674.unknown _1234569669.unknown _1234569671.unknown _1234569672.unknown _1234569670.unknown _1234569667.unknown _1234569668.unknown _1234569666.unknown _1234569657.unknown _1234569661.unknown _1234569663.unknown _1234569664.unknown _1234569662.unknown _1234569659.unknown _1234569660.unknown _1234569658.unknown _1234569653.unknown _1234569655.unknown _1234569656.unknown _1234569654.unknown _1234569651.unknown _1234569652.unknown _1234569650.unknown _1234569633.unknown _1234569641.unknown _1234569645.unknown _1234569647.unknown _1234569648.unknown _1234569646.unknown _1234569643.unknown _1234569644.unknown _1234569642.unknown _1234569637.unknown _1234569639.unknown _1234569640.unknown _1234569638.unknown _1234569635.unknown _1234569636.unknown _1234569634.unknown _1234569625.unknown _1234569629.unknown _1234569631.unknown _1234569632.unknown _1234569630.unknown _1234569627.unknown _1234569628.unknown _1234569626.unknown _1234569621.unknown _1234569623.unknown _1234569624.unknown _1234569622.unknown _1234569619.unknown _1234569620.unknown _1234569618.unknown _1234569585.unknown _1234569601.unknown _1234569609.unknown _1234569613.unknown _1234569615.unknown _1234569616.unknown _1234569614.unknown _1234569611.unknown _1234569612.unknown _1234569610.unknown _1234569605.unknown _1234569607.unknown _1234569608.unknown _1234569606.unknown _1234569603.unknown _1234569604.unknown _1234569602.unknown _1234569593.unknown _1234569597.unknown _1234569599.unknown _1234569600.unknown _1234569598.unknown _1234569595.unknown _1234569596.unknown _1234569594.unknown _1234569589.unknown _1234569591.unknown _1234569592.unknown _1234569590.unknown _1234569587.unknown _1234569588.unknown _1234569586.unknown _1234569569.unknown _1234569577.unknown _1234569581.unknown _1234569583.unknown _1234569584.unknown _1234569582.unknown _1234569579.unknown _1234569580.unknown _1234569578.unknown _1234569573.unknown _1234569575.unknown _1234569576.unknown _1234569574.unknown _1234569571.unknown _1234569572.unknown _1234569570.unknown _1234569561.unknown _1234569565.unknown _1234569567.unknown _1234569568.unknown _1234569566.unknown _1234569563.unknown _1234569564.unknown _1234569562.unknown _1234569557.unknown _1234569559.unknown _1234569560.unknown _1234569558.unknown _1234569555.unknown _1234569556.unknown _1234569554.unknown _1234569489.unknown _1234569521.unknown _1234569537.unknown _1234569545.unknown _1234569549.unknown _1234569551.unknown _1234569552.unknown _1234569550.unknown _1234569547.unknown _1234569548.unknown _1234569546.unknown _1234569541.unknown _1234569543.unknown _1234569544.unknown _1234569542.unknown _1234569539.unknown _1234569540.unknown _1234569538.unknown _1234569529.unknown _1234569533.unknown _1234569535.unknown _1234569536.unknown _1234569534.unknown _1234569531.unknown _1234569532.unknown _1234569530.unknown _1234569525.unknown _1234569527.unknown _1234569528.unknown _1234569526.unknown _1234569523.unknown _1234569524.unknown _1234569522.unknown _1234569505.unknown _1234569513.unknown _1234569517.unknown _1234569519.unknown _1234569520.unknown _1234569518.unknown _1234569515.unknown _1234569516.unknown _1234569514.unknown _1234569509.unknown _1234569511.unknown _1234569512.unknown _1234569510.unknown _1234569507.unknown _1234569508.unknown _1234569506.unknown _1234569497.unknown _1234569501.unknown _1234569503.unknown _1234569504.unknown _1234569502.unknown _1234569499.unknown _1234569500.unknown _1234569498.unknown _1234569493.unknown _1234569495.unknown _1234569496.unknown _1234569494.unknown _1234569491.unknown _1234569492.unknown _1234569490.unknown _1234569457.unknown _1234569473.unknown _1234569481.unknown _1234569485.unknown _1234569487.unknown _1234569488.unknown _1234569486.unknown _1234569483.unknown _1234569484.unknown _1234569482.unknown _1234569477.unknown _1234569479.unknown _1234569480.unknown _1234569478.unknown _1234569475.unknown _1234569476.unknown _1234569474.unknown _1234569465.unknown _1234569469.unknown _1234569471.unknown _1234569472.unknown _1234569470.unknown _1234569467.unknown _1234569468.unknown _1234569466.unknown _1234569461.unknown _1234569463.unknown _1234569464.unknown _1234569462.unknown _1234569459.unknown _1234569460.unknown _1234569458.unknown _1234569441.unknown _1234569449.unknown _1234569453.unknown _1234569455.unknown _1234569456.unknown _1234569454.unknown _1234569451.unknown _1234569452.unknown _1234569450.unknown _1234569445.unknown _1234569447.unknown _1234569448.unknown _1234569446.unknown _1234569443.unknown _1234569444.unknown _1234569442.unknown _1234569433.unknown _1234569437.unknown _1234569439.unknown _1234569440.unknown _1234569438.unknown _1234569435.unknown _1234569436.unknown _1234569434.unknown _1234569429.unknown _1234569431.unknown _1234569432.unknown _1234569430.unknown _1234569427.unknown _1234569428.unknown _1234569426.unknown _1234569169.unknown _1234569297.unknown _1234569361.unknown _1234569393.unknown _1234569409.unknown _1234569417.unknown _1234569421.unknown _1234569423.unknown _1234569424.unknown _1234569422.unknown _1234569419.unknown _1234569420.unknown _1234569418.unknown _1234569413.unknown _1234569415.unknown _1234569416.unknown _1234569414.unknown _1234569411.unknown _1234569412.unknown _1234569410.unknown _1234569401.unknown _1234569405.unknown _1234569407.unknown _1234569408.unknown _1234569406.unknown _1234569403.unknown _1234569404.unknown _1234569402.unknown _1234569397.unknown _1234569399.unknown _1234569400.unknown _1234569398.unknown _1234569395.unknown _1234569396.unknown _1234569394.unknown _1234569377.unknown _1234569385.unknown _1234569389.unknown _1234569391.unknown _1234569392.unknown _1234569390.unknown _1234569387.unknown _1234569388.unknown _1234569386.unknown _1234569381.unknown _1234569383.unknown _1234569384.unknown _1234569382.unknown _1234569379.unknown _1234569380.unknown _1234569378.unknown _1234569369.unknown _1234569373.unknown _1234569375.unknown _1234569376.unknown _1234569374.unknown _1234569371.unknown _1234569372.unknown _1234569370.unknown _1234569365.unknown _1234569367.unknown _1234569368.unknown _1234569366.unknown _1234569363.unknown _1234569364.unknown _1234569362.unknown _1234569329.unknown _1234569345.unknown _1234569353.unknown _1234569357.unknown _1234569359.unknown _1234569360.unknown _1234569358.unknown _1234569355.unknown _1234569356.unknown _1234569354.unknown _1234569349.unknown _1234569351.unknown _1234569352.unknown _1234569350.unknown _1234569347.unknown _1234569348.unknown _1234569346.unknown _1234569337.unknown _1234569341.unknown _1234569343.unknown _1234569344.unknown _1234569342.unknown _1234569339.unknown _1234569340.unknown _1234569338.unknown _1234569333.unknown _1234569335.unknown _1234569336.unknown _1234569334.unknown _1234569331.unknown _1234569332.unknown _1234569330.unknown _1234569313.unknown _1234569321.unknown _1234569325.unknown _1234569327.unknown _1234569328.unknown _1234569326.unknown _1234569323.unknown _1234569324.unknown _1234569322.unknown _1234569317.unknown _1234569319.unknown _1234569320.unknown _1234569318.unknown _1234569315.unknown _1234569316.unknown _1234569314.unknown _1234569305.unknown _1234569309.unknown _1234569311.unknown _1234569312.unknown _1234569310.unknown _1234569307.unknown _1234569308.unknown _1234569306.unknown _1234569301.unknown _1234569303.unknown _1234569304.unknown _1234569302.unknown _1234569299.unknown _1234569300.unknown _1234569298.unknown _1234569233.unknown _1234569265.unknown _1234569281.unknown _1234569289.unknown _1234569293.unknown _1234569295.unknown _1234569296.unknown _1234569294.unknown _1234569291.unknown _1234569292.unknown _1234569290.unknown _1234569285.unknown _1234569287.unknown _1234569288.unknown _1234569286.unknown _1234569283.unknown _1234569284.unknown _1234569282.unknown _1234569273.unknown _1234569277.unknown _1234569279.unknown _1234569280.unknown _1234569278.unknown _1234569275.unknown _1234569276.unknown _1234569274.unknown _1234569269.unknown _1234569271.unknown _1234569272.unknown _1234569270.unknown _1234569267.unknown _1234569268.unknown _1234569266.unknown _1234569249.unknown _1234569257.unknown _1234569261.unknown _1234569263.unknown _1234569264.unknown _1234569262.unknown _1234569259.unknown _1234569260.unknown _1234569258.unknown _1234569253.unknown _1234569255.unknown _1234569256.unknown _1234569254.unknown _1234569251.unknown _1234569252.unknown _1234569250.unknown _1234569241.unknown _1234569245.unknown _1234569247.unknown _1234569248.unknown _1234569246.unknown _1234569243.unknown _1234569244.unknown _1234569242.unknown _1234569237.unknown _1234569239.unknown _1234569240.unknown _1234569238.unknown _1234569235.unknown _1234569236.unknown _1234569234.unknown _1234569201.unknown _1234569217.unknown _1234569225.unknown _1234569229.unknown _1234569231.unknown _1234569232.unknown _1234569230.unknown _1234569227.unknown _1234569228.unknown _1234569226.unknown _1234569221.unknown _1234569223.unknown _1234569224.unknown _1234569222.unknown _1234569219.unknown _1234569220.unknown _1234569218.unknown _1234569209.unknown _1234569213.unknown _1234569215.unknown _1234569216.unknown _1234569214.unknown _1234569211.unknown _1234569212.unknown _1234569210.unknown _1234569205.unknown _1234569207.unknown _1234569208.unknown _1234569206.unknown _1234569203.unknown _1234569204.unknown _1234569202.unknown _1234569185.unknown _1234569193.unknown _1234569197.unknown _1234569199.unknown _1234569200.unknown _1234569198.unknown _1234569195.unknown _1234569196.unknown _1234569194.unknown _1234569189.unknown _1234569191.unknown _1234569192.unknown _1234569190.unknown _1234569187.unknown _1234569188.unknown _1234569186.unknown _1234569177.unknown _1234569181.unknown _1234569183.unknown _1234569184.unknown _1234569182.unknown _1234569179.unknown _1234569180.unknown _1234569178.unknown _1234569173.unknown _1234569175.unknown _1234569176.unknown _1234569174.unknown _1234569171.unknown _1234569172.unknown _1234569170.unknown _1234569041.unknown _1234569105.unknown _1234569137.unknown _1234569153.unknown _1234569161.unknown _1234569165.unknown _1234569167.unknown _1234569168.unknown _1234569166.unknown _1234569163.unknown _1234569164.unknown _1234569162.unknown _1234569157.unknown _1234569159.unknown _1234569160.unknown _1234569158.unknown _1234569155.unknown _1234569156.unknown _1234569154.unknown _1234569145.unknown _1234569149.unknown _1234569151.unknown _1234569152.unknown _1234569150.unknown _1234569147.unknown _1234569148.unknown _1234569146.unknown _1234569141.unknown _1234569143.unknown _1234569144.unknown _1234569142.unknown _1234569139.unknown _1234569140.unknown _1234569138.unknown _1234569121.unknown _1234569129.unknown _1234569133.unknown _1234569135.unknown _1234569136.unknown _1234569134.unknown _1234569131.unknown _1234569132.unknown _1234569130.unknown _1234569125.unknown _1234569127.unknown _1234569128.unknown _1234569126.unknown _1234569123.unknown _1234569124.unknown _1234569122.unknown _1234569113.unknown _1234569117.unknown _1234569119.unknown _1234569120.unknown _1234569118.unknown _1234569115.unknown _1234569116.unknown _1234569114.unknown _1234569109.unknown _1234569111.unknown _1234569112.unknown _1234569110.unknown _1234569107.unknown _1234569108.unknown _1234569106.unknown _1234569073.unknown _1234569089.unknown _1234569097.unknown _1234569101.unknown _1234569103.unknown _1234569104.unknown _1234569102.unknown _1234569099.unknown _1234569100.unknown _1234569098.unknown _1234569093.unknown _1234569095.unknown _1234569096.unknown _1234569094.unknown _1234569091.unknown _1234569092.unknown _1234569090.unknown _1234569081.unknown _1234569085.unknown _1234569087.unknown _1234569088.unknown _1234569086.unknown _1234569083.unknown _1234569084.unknown _1234569082.unknown _1234569077.unknown _1234569079.unknown _1234569080.unknown _1234569078.unknown _1234569075.unknown _1234569076.unknown _1234569074.unknown _1234569057.unknown _1234569065.unknown _1234569069.unknown _1234569071.unknown _1234569072.unknown _1234569070.unknown _1234569067.unknown _1234569068.unknown _1234569066.unknown _1234569061.unknown _1234569063.unknown _1234569064.unknown _1234569062.unknown _1234569059.unknown _1234569060.unknown _1234569058.unknown _1234569049.unknown _1234569053.unknown _1234569055.unknown _1234569056.unknown _1234569054.unknown _1234569051.unknown _1234569052.unknown _1234569050.unknown _1234569045.unknown _1234569047.unknown _1234569048.unknown _1234569046.unknown _1234569043.unknown _1234569044.unknown _1234569042.unknown _1234568977.unknown _1234569009.unknown _1234569025.unknown _1234569033.unknown _1234569037.unknown _1234569039.unknown _1234569040.unknown _1234569038.unknown _1234569035.unknown _1234569036.unknown _1234569034.unknown _1234569029.unknown _1234569031.unknown _1234569032.unknown _1234569030.unknown _1234569027.unknown _1234569028.unknown _1234569026.unknown _1234569017.unknown _1234569021.unknown _1234569023.unknown _1234569024.unknown _1234569022.unknown _1234569019.unknown _1234569020.unknown _1234569018.unknown _1234569013.unknown _1234569015.unknown _1234569016.unknown _1234569014.unknown _1234569011.unknown _1234569012.unknown _1234569010.unknown _1234568993.unknown _1234569001.unknown _1234569005.unknown _1234569007.unknown _1234569008.unknown _1234569006.unknown _1234569003.unknown _1234569004.unknown _1234569002.unknown _1234568997.unknown _1234568999.unknown _1234569000.unknown _1234568998.unknown _1234568995.unknown _1234568996.unknown _1234568994.unknown _1234568985.unknown _1234568989.unknown _1234568991.unknown _1234568992.unknown _1234568990.unknown _1234568987.unknown _1234568988.unknown _1234568986.unknown _1234568981.unknown _1234568983.unknown _1234568984.unknown _1234568982.unknown _1234568979.unknown _1234568980.unknown _1234568978.unknown _1234568945.unknown _1234568961.unknown _1234568969.unknown _1234568973.unknown _1234568975.unknown _1234568976.unknown _1234568974.unknown _1234568971.unknown _1234568972.unknown _1234568970.unknown _1234568965.unknown _1234568967.unknown _1234568968.unknown _1234568966.unknown _1234568963.unknown _1234568964.unknown _1234568962.unknown _1234568953.unknown _1234568957.unknown _1234568959.unknown _1234568960.unknown _1234568958.unknown _1234568955.unknown _1234568956.unknown _1234568954.unknown _1234568949.unknown _1234568951.unknown _1234568952.unknown _1234568950.unknown _1234568947.unknown _1234568948.unknown _1234568946.unknown _1234568929.unknown _1234568937.unknown _1234568941.unknown _1234568943.unknown _1234568944.unknown _1234568942.unknown _1234568939.unknown _1234568940.unknown _1234568938.unknown _1234568933.unknown _1234568935.unknown _1234568936.unknown _1234568934.unknown _1234568931.unknown _1234568932.unknown _1234568930.unknown _1234568921.unknown _1234568925.unknown _1234568927.unknown _1234568928.unknown _1234568926.unknown _1234568923.unknown _1234568924.unknown _1234568922.unknown _1234568917.unknown _1234568919.unknown _1234568920.unknown _1234568918.unknown _1234568915.unknown _1234568916.unknown _1234568914.unknown _1234568401.unknown _1234568657.unknown _1234568785.unknown _1234568849.unknown _1234568881.unknown _1234568897.unknown _1234568905.unknown _1234568909.unknown _1234568911.unknown _1234568912.unknown _1234568910.unknown _1234568907.unknown _1234568908.unknown _1234568906.unknown _1234568901.unknown _1234568903.unknown _1234568904.unknown _1234568902.unknown _1234568899.unknown _1234568900.unknown _1234568898.unknown _1234568889.unknown _1234568893.unknown _1234568895.unknown _1234568896.unknown _1234568894.unknown _1234568891.unknown _1234568892.unknown _1234568890.unknown _1234568885.unknown _1234568887.unknown _1234568888.unknown _1234568886.unknown _1234568883.unknown _1234568884.unknown _1234568882.unknown _1234568865.unknown _1234568873.unknown _1234568877.unknown _1234568879.unknown _1234568880.unknown _1234568878.unknown _1234568875.unknown _1234568876.unknown _1234568874.unknown _1234568869.unknown _1234568871.unknown _1234568872.unknown _1234568870.unknown _1234568867.unknown _1234568868.unknown _1234568866.unknown _1234568857.unknown _1234568861.unknown _1234568863.unknown _1234568864.unknown _1234568862.unknown _1234568859.unknown _1234568860.unknown _1234568858.unknown _1234568853.unknown _1234568855.unknown _1234568856.unknown _1234568854.unknown _1234568851.unknown _1234568852.unknown _1234568850.unknown _1234568817.unknown _1234568833.unknown _1234568841.unknown _1234568845.unknown _1234568847.unknown _1234568848.unknown _1234568846.unknown _1234568843.unknown _1234568844.unknown _1234568842.unknown _1234568837.unknown _1234568839.unknown _1234568840.unknown _1234568838.unknown _1234568835.unknown _1234568836.unknown _1234568834.unknown _1234568825.unknown _1234568829.unknown _1234568831.unknown _1234568832.unknown _1234568830.unknown _1234568827.unknown _1234568828.unknown _1234568826.unknown _1234568821.unknown _1234568823.unknown _1234568824.unknown _1234568822.unknown _1234568819.unknown _1234568820.unknown _1234568818.unknown _1234568801.unknown _1234568809.unknown _1234568813.unknown _1234568815.unknown _1234568816.unknown _1234568814.unknown _1234568811.unknown _1234568812.unknown _1234568810.unknown _1234568805.unknown _1234568807.unknown _1234568808.unknown _1234568806.unknown _1234568803.unknown _1234568804.unknown _1234568802.unknown _1234568793.unknown _1234568797.unknown _1234568799.unknown _1234568800.unknown _1234568798.unknown _1234568795.unknown _1234568796.unknown _1234568794.unknown _1234568789.unknown _1234568791.unknown _1234568792.unknown _1234568790.unknown _1234568787.unknown _1234568788.unknown _1234568786.unknown _1234568721.unknown _1234568753.unknown _1234568769.unknown _1234568777.unknown _1234568781.unknown _1234568783.unknown _1234568784.unknown _1234568782.unknown _1234568779.unknown _1234568780.unknown _1234568778.unknown _1234568773.unknown _1234568775.unknown _1234568776.unknown _1234568774.unknown _1234568771.unknown _1234568772.unknown _1234568770.unknown _1234568761.unknown _1234568765.unknown _1234568767.unknown _1234568768.unknown _1234568766.unknown _1234568763.unknown _1234568764.unknown _1234568762.unknown _1234568757.unknown _1234568759.unknown _1234568760.unknown _1234568758.unknown _1234568755.unknown _1234568756.unknown _1234568754.unknown _1234568737.unknown _1234568745.unknown _1234568749.unknown _1234568751.unknown _1234568752.unknown _1234568750.unknown _1234568747.unknown _1234568748.unknown _1234568746.unknown _1234568741.unknown _1234568743.unknown _1234568744.unknown _1234568742.unknown _1234568739.unknown _1234568740.unknown _1234568738.unknown _1234568729.unknown _1234568733.unknown _1234568735.unknown _1234568736.unknown _1234568734.unknown _1234568731.unknown _1234568732.unknown _1234568730.unknown _1234568725.unknown _1234568727.unknown _1234568728.unknown _1234568726.unknown _1234568723.unknown _1234568724.unknown _1234568722.unknown _1234568689.unknown _1234568705.unknown _1234568713.unknown _1234568717.unknown _1234568719.unknown _1234568720.unknown _1234568718.unknown _1234568715.unknown _1234568716.unknown _1234568714.unknown _1234568709.unknown _1234568711.unknown _1234568712.unknown _1234568710.unknown _1234568707.unknown _1234568708.unknown _1234568706.unknown _1234568697.unknown _1234568701.unknown _1234568703.unknown _1234568704.unknown _1234568702.unknown _1234568699.unknown _1234568700.unknown _1234568698.unknown _1234568693.unknown _1234568695.unknown _1234568696.unknown _1234568694.unknown _1234568691.unknown _1234568692.unknown _1234568690.unknown _1234568673.unknown _1234568681.unknown _1234568685.unknown _1234568687.unknown _1234568688.unknown _1234568686.unknown _1234568683.unknown _1234568684.unknown _1234568682.unknown _1234568677.unknown _1234568679.unknown _1234568680.unknown _1234568678.unknown _1234568675.unknown _1234568676.unknown _1234568674.unknown _1234568665.unknown _1234568669.unknown _1234568671.unknown _1234568672.unknown _1234568670.unknown _1234568667.unknown _1234568668.unknown _1234568666.unknown _1234568661.unknown _1234568663.unknown _1234568664.unknown _1234568662.unknown _1234568659.unknown _1234568660.unknown _1234568658.unknown _1234568529.unknown _1234568593.unknown _1234568625.unknown _1234568641.unknown _1234568649.unknown _1234568653.unknown _1234568655.unknown _1234568656.unknown _1234568654.unknown _1234568651.unknown _1234568652.unknown _1234568650.unknown _1234568645.unknown _1234568647.unknown _1234568648.unknown _1234568646.unknown _1234568643.unknown _1234568644.unknown _1234568642.unknown _1234568633.unknown _1234568637.unknown _1234568639.unknown _1234568640.unknown _1234568638.unknown _1234568635.unknown _1234568636.unknown _1234568634.unknown _1234568629.unknown _1234568631.unknown _1234568632.unknown _1234568630.unknown _1234568627.unknown _1234568628.unknown _1234568626.unknown _1234568609.unknown _1234568617.unknown _1234568621.unknown _1234568623.unknown _1234568624.unknown _1234568622.unknown _1234568619.unknown _1234568620.unknown _1234568618.unknown _1234568613.unknown _1234568615.unknown _1234568616.unknown _1234568614.unknown _1234568611.unknown _1234568612.unknown _1234568610.unknown _1234568601.unknown _1234568605.unknown _1234568607.unknown _1234568608.unknown _1234568606.unknown _1234568603.unknown _1234568604.unknown _1234568602.unknown _1234568597.unknown _1234568599.unknown _1234568600.unknown _1234568598.unknown _1234568595.unknown _1234568596.unknown _1234568594.unknown _1234568561.unknown _1234568577.unknown _1234568585.unknown _1234568589.unknown _1234568591.unknown _1234568592.unknown _1234568590.unknown _1234568587.unknown _1234568588.unknown _1234568586.unknown _1234568581.unknown _1234568583.unknown _1234568584.unknown _1234568582.unknown _1234568579.unknown _1234568580.unknown _1234568578.unknown _1234568569.unknown _1234568573.unknown _1234568575.unknown _1234568576.unknown _1234568574.unknown _1234568571.unknown _1234568572.unknown _1234568570.unknown _1234568565.unknown _1234568567.unknown _1234568568.unknown _1234568566.unknown _1234568563.unknown _1234568564.unknown _1234568562.unknown _1234568545.unknown _1234568553.unknown _1234568557.unknown _1234568559.unknown _1234568560.unknown _1234568558.unknown _1234568555.unknown _1234568556.unknown _1234568554.unknown _1234568549.unknown _1234568551.unknown _1234568552.unknown _1234568550.unknown _1234568547.unknown _1234568548.unknown _1234568546.unknown _1234568537.unknown _1234568541.unknown _1234568543.unknown _1234568544.unknown _1234568542.unknown _1234568539.unknown _1234568540.unknown _1234568538.unknown _1234568533.unknown _1234568535.unknown _1234568536.unknown _1234568534.unknown _1234568531.unknown _1234568532.unknown _1234568530.unknown _1234568465.unknown _1234568497.unknown _1234568513.unknown _1234568521.unknown _1234568525.unknown _1234568527.unknown _1234568528.unknown _1234568526.unknown _1234568523.unknown _1234568524.unknown _1234568522.unknown _1234568517.unknown _1234568519.unknown _1234568520.unknown _1234568518.unknown _1234568515.unknown _1234568516.unknown _1234568514.unknown _1234568505.unknown _1234568509.unknown _1234568511.unknown _1234568512.unknown _1234568510.unknown _1234568507.unknown _1234568508.unknown _1234568506.unknown _1234568501.unknown _1234568503.unknown _1234568504.unknown _1234568502.unknown _1234568499.unknown _1234568500.unknown _1234568498.unknown _1234568481.unknown _1234568489.unknown _1234568493.unknown _1234568495.unknown _1234568496.unknown _1234568494.unknown _1234568491.unknown _1234568492.unknown _1234568490.unknown _1234568485.unknown _1234568487.unknown _1234568488.unknown _1234568486.unknown _1234568483.unknown _1234568484.unknown _1234568482.unknown _1234568473.unknown _1234568477.unknown _1234568479.unknown _1234568480.unknown _1234568478.unknown _1234568475.unknown _1234568476.unknown _1234568474.unknown _1234568469.unknown _1234568471.unknown _1234568472.unknown _1234568470.unknown _1234568467.unknown _1234568468.unknown _1234568466.unknown _1234568433.unknown _1234568449.unknown _1234568457.unknown _1234568461.unknown _1234568463.unknown _1234568464.unknown _1234568462.unknown _1234568459.unknown _1234568460.unknown _1234568458.unknown _1234568453.unknown _1234568455.unknown _1234568456.unknown _1234568454.unknown _1234568451.unknown _1234568452.unknown _1234568450.unknown _1234568441.unknown _1234568445.unknown _1234568447.unknown _1234568448.unknown _1234568446.unknown _1234568443.unknown _1234568444.unknown _1234568442.unknown _1234568437.unknown _1234568439.unknown _1234568440.unknown _1234568438.unknown _1234568435.unknown _1234568436.unknown _1234568434.unknown _1234568417.unknown _1234568425.unknown _1234568429.unknown _1234568431.unknown _1234568432.unknown _1234568430.unknown _1234568427.unknown _1234568428.unknown _1234568426.unknown _1234568421.unknown _1234568423.unknown _1234568424.unknown _1234568422.unknown _1234568419.unknown _1234568420.unknown _1234568418.unknown _1234568409.unknown _1234568413.unknown _1234568415.unknown _1234568416.unknown _1234568414.unknown _1234568411.unknown _1234568412.unknown _1234568410.unknown _1234568405.unknown _1234568407.unknown _1234568408.unknown _1234568406.unknown _1234568403.unknown _1234568404.unknown _1234568402.unknown _1234568145.unknown _1234568273.unknown _1234568337.unknown _1234568369.unknown _1234568385.unknown _1234568393.unknown _1234568397.unknown _1234568399.unknown _1234568400.unknown _1234568398.unknown _1234568395.unknown _1234568396.unknown _1234568394.unknown _1234568389.unknown _1234568391.unknown _1234568392.unknown _1234568390.unknown _1234568387.unknown _1234568388.unknown _1234568386.unknown _1234568377.unknown _1234568381.unknown _1234568383.unknown _1234568384.unknown _1234568382.unknown _1234568379.unknown _1234568380.unknown _1234568378.unknown _1234568373.unknown _1234568375.unknown _1234568376.unknown _1234568374.unknown _1234568371.unknown _1234568372.unknown _1234568370.unknown _1234568353.unknown _1234568361.unknown _1234568365.unknown _1234568367.unknown _1234568368.unknown _1234568366.unknown _1234568363.unknown _1234568364.unknown _1234568362.unknown _1234568357.unknown _1234568359.unknown _1234568360.unknown _1234568358.unknown _1234568355.unknown _1234568356.unknown _1234568354.unknown _1234568345.unknown _1234568349.unknown _1234568351.unknown _1234568352.unknown _1234568350.unknown _1234568347.unknown _1234568348.unknown _1234568346.unknown _1234568341.unknown _1234568343.unknown _1234568344.unknown _1234568342.unknown _1234568339.unknown _1234568340.unknown _1234568338.unknown _1234568305.unknown _1234568321.unknown _1234568329.unknown _1234568333.unknown _1234568335.unknown _1234568336.unknown _1234568334.unknown _1234568331.unknown _1234568332.unknown _1234568330.unknown _1234568325.unknown _1234568327.unknown _1234568328.unknown _1234568326.unknown _1234568323.unknown _1234568324.unknown _1234568322.unknown _1234568313.unknown _1234568317.unknown _1234568319.unknown _1234568320.unknown _1234568318.unknown _1234568315.unknown _1234568316.unknown _1234568314.unknown _1234568309.unknown _1234568311.unknown _1234568312.unknown _1234568310.unknown _1234568307.unknown _1234568308.unknown _1234568306.unknown _1234568289.unknown _1234568297.unknown _1234568301.unknown _1234568303.unknown _1234568304.unknown _1234568302.unknown _1234568299.unknown _1234568300.unknown _1234568298.unknown _1234568293.unknown _1234568295.unknown _1234568296.unknown _1234568294.unknown _1234568291.unknown _1234568292.unknown _1234568290.unknown _1234568281.unknown _1234568285.unknown _1234568287.unknown _1234568288.unknown _1234568286.unknown _1234568283.unknown _1234568284.unknown _1234568282.unknown _1234568277.unknown _1234568279.unknown _1234568280.unknown _1234568278.unknown _1234568275.unknown _1234568276.unknown _1234568274.unknown _1234568209.unknown _1234568241.unknown _1234568257.unknown _1234568265.unknown _1234568269.unknown _1234568271.unknown _1234568272.unknown _1234568270.unknown _1234568267.unknown _1234568268.unknown _1234568266.unknown _1234568261.unknown _1234568263.unknown _1234568264.unknown _1234568262.unknown _1234568259.unknown _1234568260.unknown _1234568258.unknown _1234568249.unknown _1234568253.unknown _1234568255.unknown _1234568256.unknown _1234568254.unknown _1234568251.unknown _1234568252.unknown _1234568250.unknown _1234568245.unknown _1234568247.unknown _1234568248.unknown _1234568246.unknown _1234568243.unknown _1234568244.unknown _1234568242.unknown _1234568225.unknown _1234568233.unknown _1234568237.unknown _1234568239.unknown _1234568240.unknown _1234568238.unknown _1234568235.unknown _1234568236.unknown _1234568234.unknown _1234568229.unknown _1234568231.unknown _1234568232.unknown _1234568230.unknown _1234568227.unknown _1234568228.unknown _1234568226.unknown _1234568217.unknown _1234568221.unknown _1234568223.unknown _1234568224.unknown _1234568222.unknown _1234568219.unknown _1234568220.unknown _1234568218.unknown _1234568213.unknown _1234568215.unknown _1234568216.unknown _1234568214.unknown _1234568211.unknown _1234568212.unknown _1234568210.unknown _1234568177.unknown _1234568193.unknown _1234568201.unknown _1234568205.unknown _1234568207.unknown _1234568208.unknown _1234568206.unknown _1234568203.unknown _1234568204.unknown _1234568202.unknown _1234568197.unknown _1234568199.unknown _1234568200.unknown _1234568198.unknown _1234568195.unknown _1234568196.unknown _1234568194.unknown _1234568185.unknown _1234568189.unknown _1234568191.unknown _1234568192.unknown _1234568190.unknown _1234568187.unknown _1234568188.unknown _1234568186.unknown _1234568181.unknown _1234568183.unknown _1234568184.unknown _1234568182.unknown _1234568179.unknown _1234568180.unknown _1234568178.unknown _1234568161.unknown _1234568169.unknown _1234568173.unknown _1234568175.unknown _1234568176.unknown _1234568174.unknown _1234568171.unknown _1234568172.unknown _1234568170.unknown _1234568165.unknown _1234568167.unknown _1234568168.unknown _1234568166.unknown _1234568163.unknown _1234568164.unknown _1234568162.unknown _1234568153.unknown _1234568157.unknown _1234568159.unknown _1234568160.unknown _1234568158.unknown _1234568155.unknown _1234568156.unknown _1234568154.unknown _1234568149.unknown _1234568151.unknown _1234568152.unknown _1234568150.unknown _1234568147.unknown _1234568148.unknown _1234568146.unknown _1234568017.unknown _1234568081.unknown _1234568113.unknown _1234568129.unknown _1234568137.unknown _1234568141.unknown _1234568143.unknown _1234568144.unknown _1234568142.unknown _1234568139.unknown _1234568140.unknown _1234568138.unknown _1234568133.unknown _1234568135.unknown _1234568136.unknown _1234568134.unknown _1234568131.unknown _1234568132.unknown _1234568130.unknown _1234568121.unknown _1234568125.unknown _1234568127.unknown _1234568128.unknown _1234568126.unknown _1234568123.unknown _1234568124.unknown _1234568122.unknown _1234568117.unknown _1234568119.unknown _1234568120.unknown _1234568118.unknown _1234568115.unknown _1234568116.unknown _1234568114.unknown _1234568097.unknown _1234568105.unknown _1234568109.unknown _1234568111.unknown _1234568112.unknown _1234568110.unknown _1234568107.unknown _1234568108.unknown _1234568106.unknown _1234568101.unknown _1234568103.unknown _1234568104.unknown _1234568102.unknown _1234568099.unknown _1234568100.unknown _1234568098.unknown _1234568089.unknown _1234568093.unknown _1234568095.unknown _1234568096.unknown _1234568094.unknown _1234568091.unknown _1234568092.unknown _1234568090.unknown _1234568085.unknown _1234568087.unknown _1234568088.unknown _1234568086.unknown _1234568083.unknown _1234568084.unknown _1234568082.unknown _1234568049.unknown _1234568065.unknown _1234568073.unknown _1234568077.unknown _1234568079.unknown _1234568080.unknown _1234568078.unknown _1234568075.unknown _1234568076.unknown _1234568074.unknown _1234568069.unknown _1234568071.unknown _1234568072.unknown _1234568070.unknown _1234568067.unknown _1234568068.unknown _1234568066.unknown _1234568057.unknown _1234568061.unknown _1234568063.unknown _1234568064.unknown _1234568062.unknown _1234568059.unknown _1234568060.unknown _1234568058.unknown _1234568053.unknown _1234568055.unknown _1234568056.unknown _1234568054.unknown _1234568051.unknown _1234568052.unknown _1234568050.unknown _1234568033.unknown _1234568041.unknown _1234568045.unknown _1234568047.unknown _1234568048.unknown _1234568046.unknown _1234568043.unknown _1234568044.unknown _1234568042.unknown _1234568037.unknown _1234568039.unknown _1234568040.unknown _1234568038.unknown _1234568035.unknown _1234568036.unknown _1234568034.unknown _1234568025.unknown _1234568029.unknown _1234568031.unknown _1234568032.unknown _1234568030.unknown _1234568027.unknown _1234568028.unknown _1234568026.unknown _1234568021.unknown _1234568023.unknown _1234568024.unknown _1234568022.unknown _1234568019.unknown _1234568020.unknown _1234568018.unknown _1234567953.unknown _1234567985.unknown _1234568001.unknown _1234568009.unknown _1234568013.unknown _1234568015.unknown _1234568016.unknown _1234568014.unknown _1234568011.unknown _1234568012.unknown _1234568010.unknown _1234568005.unknown _1234568007.unknown _1234568008.unknown _1234568006.unknown _1234568003.unknown _1234568004.unknown _1234568002.unknown _1234567993.unknown _1234567997.unknown _1234567999.unknown _1234568000.unknown _1234567998.unknown _1234567995.unknown _1234567996.unknown _1234567994.unknown _1234567989.unknown _1234567991.unknown _1234567992.unknown _1234567990.unknown _1234567987.unknown _1234567988.unknown _1234567986.unknown _1234567969.unknown _1234567977.unknown _1234567981.unknown _1234567983.unknown _1234567984.unknown _1234567982.unknown _1234567979.unknown _1234567980.unknown _1234567978.unknown _1234567973.unknown _1234567975.unknown _1234567976.unknown _1234567974.unknown _1234567971.unknown _1234567972.unknown _1234567970.unknown _1234567961.unknown _1234567965.unknown _1234567967.unknown _1234567968.unknown _1234567966.unknown _1234567963.unknown _1234567964.unknown _1234567962.unknown _1234567957.unknown _1234567959.unknown _1234567960.unknown _1234567958.unknown _1234567955.unknown _1234567956.unknown _1234567954.unknown _1234567921.unknown _1234567937.unknown _1234567945.unknown _1234567949.unknown _1234567951.unknown _1234567952.unknown _1234567950.unknown _1234567947.unknown _1234567948.unknown _1234567946.unknown _1234567941.unknown _1234567943.unknown _1234567944.unknown _1234567942.unknown _1234567939.unknown _1234567940.unknown _1234567938.unknown _1234567929.unknown _1234567933.unknown _1234567935.unknown _1234567936.unknown _1234567934.unknown _1234567931.unknown _1234567932.unknown _1234567930.unknown _1234567925.unknown _1234567927.unknown _1234567928.unknown _1234567926.unknown _1234567923.unknown _1234567924.unknown _1234567922.unknown _1234567905.unknown _1234567913.unknown _1234567917.unknown _1234567919.unknown _1234567920.unknown _1234567918.unknown _1234567915.unknown _1234567916.unknown _1234567914.unknown _1234567909.unknown _1234567911.unknown _1234567912.unknown _1234567910.unknown _1234567907.unknown _1234567908.unknown _1234567906.unknown _1234567897.unknown _1234567901.unknown _1234567903.unknown _1234567904.unknown _1234567902.unknown _1234567899.unknown _1234567900.unknown _1234567898.unknown _1234567893.unknown _1234567895.unknown _1234567896.unknown _1234567894.unknown _1234567891.unknown _1234567892.unknown _1234567890.unknown