2 赋范线性空间与凸集.docxVIP

第2章 赋范线性空间与凸集l%202.1 赋范线性空间l%202.2 凸集l%202.3 一些重要例子l%202.4 保持凸性的运算l%202.5 分离超平面和支撑超平面2.1 赋范线性空间2.1.1 赋范线性空间2.1.2 开集和闭集2.1.3 上确界和下确界2.1.4序列收敛和完备性2.1.5紧性2.1.6 Banach 空间 2.1.1 赋范线性空间线性空间(linear space)/向量空间(vector space)指定义加法和标量乘法的非空集合加法(addition)，标量乘法 ，，，，满足：(交换律)(结合律)(结合律)6．，7．对，，8．线性空间在加法和标量乘法下是闭的(closed)。线性空间的元素称为向量(vector)。例2.1 一些线性空间维实向量空间或维欧氏空间：所有维实向量的集合所有实数序列的集合，所有多项式的集合。消费集(例1.1)和生产可能性集(例1.2)本身不是线性空间。但它们都是线性空间的子集，并且都从其母空间中继续了许多线性特征。例2.2 (总需求和总供给) 个消费者，每个消费者购买消费组合总需求(aggregate demand)其中对每种商品，对它的总需求其中是消费者对商品的需求。个厂商，每个厂商的净产出向量为总供给(aggregate suppley)均衡要求总需求等于总供给，即意味着:或者:范数(norm)　实值函数称为范数，，满足：非负性(positivity)：严格非负性(strict positivity)：齐次性(homogeneity)：三角不等式(triangle inequality)：范数用来衡量向量的大小，符号表明范数是实数集上绝对值的推广。度量(metric) 符合距离函数的要求即对，满足：非负性(positivity)：严格非负性(strict positivity)：对称性(symmetry)：三角不等式(triangle inequality)：集合加上其度量称为度量空间(metric space)，表示为。例2.3 范数的一些例子上的绝对值欧几里德（Euclidean）或范数 Cauchy-Schwarz不等式：，。绝对值之和或范数Chebyshev范数或范数上述三个范数都属于范数的特例，其中。范数；欧几里德范数例2.4生产计划的“大小 ” 的测量赋范线性空间(normed linear space)定义在范数之上的线性空间本书涉及的三类赋范线性空间维实向量空间阶实矩阵空间上的有界、连续的实值函数空间， 处的函数值为在处的函数值为例2.5 (空间)一生的消费路径选择问题一种商品，表示期时对该商品的消费量设消费者是长生不老的消费者计划消费集，它是一个线性空间每期消费受资源限制：。结合范数，它成为赋范线性空间。在这一范数中，任意消费计划的规模是任一时期最大的计划消费的绝对值子空间(subspace)，称为的子空间，，每个赋范线性空间都有两个平凡子空间：和。例2.6 的子空间原点所有经过原点的直线所有经过原点的平面本身例2.7 次数小于的多项式 设表示所有次数小于的多项式，由于加法和标量乘法不会提高多项式的次数，因此，集合是所有多项式的集合的子空间。非空集合，跨度：设是子空间的子集，如果中没有真子集具有跨度这一性质，则称是子空间的基(base)。基的元素是线性无关的除外，子空间通常有很多不同的基。若有一个由有限个元素组成的基，则所有基都有相同数目的非零元素，这一数目称为子空间的维(dimension)。若子空间没有有限基，则它是无限维的。例2.8 的标准基单位向量的集合称为的标准基。每一向量都有唯一表达式：是具有许多可能的基的维空间任意个线性无关的维向量的跨度形成的维子空间。2.1.2 开集、闭集和紧集开球(open ball)例2.9 中的单位球单位球(unit ball)欧几里德或范数：圆形范数：正方形范数，单位球是菱形的是的邻域包含的开球，称为的内点(interior point)内部(interior) 中所有内点的集合是开的(open) 是闭的(closed) 是开的。例2.10 开球是开集图2.4 开球是开集中的开集和闭集具有如下事实：任意个开集的并是开集，有限个开集的交是开集。任意个闭集的交是闭集，有限个闭集的并是闭集。边界点(boundary point)是的边界点的每个邻域既包含中的点也包含中的点边界(boundary)是所有边界点的集合图2.5 中的内点和边界点闭包(closure)开闭。例2.10 (闭球)闭球是闭集。例 2.11 (单位球面)单位球的边界是，称为单位球面(unit sphere)。中单位球面是，它是集合的边界。例2.13 效率生产 生产计划是有效率的(efficient)不存在可行计划，-有效率的生产计划的