[2018年最新整理]多元函数微分学(.ppt

[2018年最新整理]多元函数微分学(

多元函数微分学(续) 与矩阵理论 第四章 基本内容 数学基础 Rn中的中值定理与Taylor定理 矩阵的负定和半负定性 数学基础 几种空间 Rn中的极限与点集 矩阵的负定和半负定性 数学基础—几种空间 线性空间(向量空间) 任给一个非空集合V,在V中定义一个加法和一个纯量乘法运算,满足?x, y?V有x + y ?V;?x?V,??R有?x?V;且有 (L-1) 结合律x + (y +z) = (x + y) +z; (L-2)交换律x + y = y + x; (L-3)一个称作0的元素使得x + 0 = 0 + x = x; (L-4) ?x?V,存在一个元素?x使x +(?x) = 0; (L-5)结合律?(?x) = (??)x; (L-6)分配律?(x + y) = ?x + ?y; (L-7)分配律(?+?)x = ?x+?x; (L-8) 1x = x; 这里?, ? ?R,x, y, z?V.则称V是(实)线性空间或向量空间,V中的元素称作向量. 数学基础—几种空间 例4.1.1 Rn = {(x1, x2, ?, xn) | xi ?R, i = 1, 2, ?, n }.?x, y?Rn,??R,定义一个加法和一个纯量乘法运算如下: x + y = (x1 + y1, ?, xn + yn),?x = (?x1, ?, ?xn), 则容易验证(L-1) ? (L-8)成立.因此R n是一个向量空间. 数学基础—几种空间 内积与内积空间 设V是一个实向量空间,若?x, y?V有一个确定的实数(记作x ? y)与它们对应,并满足下列条件: (I-1) x ? y = y ? x (I-2) (?x + ?y) ? z = ?(x ? z) + ?(y ? z) (I-3) x ? x ? 0且x ? x = 0 ? x = 0, 这里x, y, z?V,??R.则x ? y叫做向量x与y的内积,定义了内积的向量空间V 称作内积空间. 例4.1.2 设R n是一个实向量空间,?x = (x1, x2, ?, xn), y = (y1, y2, ?, yn) ?Rn,定义 数学基础—几种空间 距离与度量空间 设V ? ?,d:V ? V ? R为一映射,若?x, y, z?V有 (M-1)非负性:d(x, y) ? 0且d(x, y) = 0 ? x = y (M-2)对称性:d(x, y) = d(y, x) (M-3)三角不等式:d(x, z) ? d(x, y) + d(y, z) 则称d为V的一个度量,偶对(V,d)称为度量空间,实数d(x,y)称两点x与y之间的距离. 数学基础—几种空间 范数与赋范线性空间 设V是一个实线性空间,若V上的实值函数‖.‖:x ? ‖x‖满足: (N-1)非负性:‖x‖? 0且‖x‖= 0 ? x = 0; (N-2)三角不等式:‖x + y‖? ‖x‖+‖y‖; (N-3)‖?x‖? |?|‖x‖ 其中x, y?V,a?R,则‖.‖称为范数,‖x‖称为向量x的范数.(V,‖.‖)称为一个赋范线性空间. 数学基础—几种空间 Rn中的极限与点集 Rn中的序列 R n中的序列:R n中的序列可表示为{x m},对每个m,x m =(x1m, x2 m, ?, xn m)? R n. 邻域:以x0为中心的邻域定义为 Rn中的极限与点集 Rn中的极限与点集 Rn中的点集 内点、内部与开集 定义 称x0为集合X的内点,若存在N? (x0),使N? (x0) ? X.X的内部,记作intX,是指X的全部内点所构成的集合.若X = intX,即X 的每一个点都是它的内点,则称X是一个开集. 定理 有限个开集的交集是开集;任意数目(有限或无限)的开集的并集是开集. 极限点、导集与闭集 称x0为X 的极限点(或聚点),若存在序列{xm},xm?X互异,使得 Rn中的极限与点集 边界点与孤立点 定义4.1.6称x0为集合X的边界点,若?? 0,N? (x0)中既含有X的点,又含有不属于X的点;称x0为X的孤立点,若x0 ?X且x0不是X的极限点. 定义4.1.7 称X ? Rn为有界点集,若对于常数M 0,使?x ?X有|| x || ? M. (Bolzano-Weierstrass定理)设X ? Rn是一个有界的无限点集,则存在{xm} ? X,使 Rn中的极限与点集 紧集与连续函数 定义4.1.8 称X ? Rn是紧集,若X是有界的闭集. 定理4.1.9 X ? Rn是紧集 ? X中的任一序列一定有收敛于X的一点的子序列. 定理4.1.10 设X ? Rn是紧集,f:X → Rk是连续函数,则 f(X) = {y?Rk | y = f(

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档