第三讲 有限维空间的特性 凸性及Brouwer及Schauder不动点定理.pdfVIP

主要内容:  有限维空间的特性‐‐范数等价,  最佳逼近 投影, 有界集紧,则维数有界;  Brouwer 不动点定理和 Schauder 不动点定理    4 线性赋范空间（续）  等价范数与有限维空间的特性  范数强弱，等价范数  定理1 有限维空间上的任何范数均等价。  证明 ：取该空间的一组基 ，对 令 ，则 是一个范数。对任一范数 ，令 ，则 ，从而 在 的单位球上能取到最大最小值，所以 与 等价。  推论1 有限维 空间都是 空间。  推论2 任何 空间的有限维子空间都是闭子空间。  定理2 有限维 空间的有界子集是列紧的，有限维 空间的有界闭子 集是自列紧的。  最佳逼近投影，严格凸范数，严格凸空间   例1  ，严格凸，而 不严格凸， 中的范数 都不是严格凸的。  定理 3 （到有限维子空间的最佳逼近投影）设 是 空间， 是 的 有限维子空间，则 ，存在 ，使得 。 若 严格凸，则 是唯一的。  称 为 在Y 上的最佳逼近投影。  证明：取极小化序列 ， ，证明 有界， 是有限维的，从而可以取出收敛子列。  定理4 若 空间的有界集列紧，则该空间是有限维的。  证明：用定理3 反证。  定理5  （F.Riesz 引理）设 是 空间，是 的真子空间，则 ， 存在 ，使得 。若 严格凸，则 是唯一的。  证明，直接用下确界的定义。  Problem  1 利用现有概念研究例1‐例8 的空间  Exe   P39  ，2，3，4 ，6，11，12，17  5  凸集与不动点  凸的几何概念    凸集，凸包，闭凸集，闭凸包，吸收凸集，对称凸集，平衡凸集，半 连续  ，则称 在 下半连续，若 在 的每一点都下半连续，则称 在 中下半 连续。若 则称 在 上半连续，若 在 的每一点都上半连续，则称 在 中下半连 续。  命题1  则以下四条等价  （1） 在 中下半连续。  （2 ） 开  （3 ） 闭  （4 ） 的上方图（epigraph) 闭  Minkowski 泛函  ，凸集 的Minkowski 泛函定义为      例1    例2    例3  凸锥  例4  是 空间，   命题2  （Minkowski 泛函的性质） 是线性空间，