版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第2章赋范线性空间与凸集2.1赋范线性空间 2.2凸集 2.3一些重要例子 2.4保持凸性的运算 2.5分离超平面和支撑超平面2.1赋范线性空间2.1.1赋范线性空间 2.1.2开集和闭集 2.1.3上确界和下确界 2.1.4序列收敛和完备性 2.1.5紧性 2.1.6Banach空间
2.1.1赋范线性空间线性空间(linearspace)/向量空间(vectorspace)指定义加法和标量乘法的非空集合加法(addition),标量乘法,,,,满足:(交换律)(结合律)(结合律)6.,7.对,,8.线性空间在加法和标量乘法下是闭的(closed)。线性空间的元素称为向量(vector)。
例2.1一些线性空间维实向量空间或维欧氏空间:所有维实向量的集合所有实数序列的集合,所有多项式的集合。
消费集(例1.1)和生产可能性集(例1.2)本身不是线性空间。但它们都是线性空间的子集,并且都从其母空间中继续了许多线性特征。
例2.2(总需求和总供给)个消费者,每个消费者购买消费组合总需求(aggregatedemand)其中对每种商品,对它的总需求其中是消费者对商品的需求。个厂商,每个厂商的净产出向量为总供给(aggregatesuppley)均衡要求总需求等于总供给,即意味着:或者:
范数(norm)实值函数称为范数,,满足:非负性(positivity):严格非负性(strictpositivity):齐次性(homogeneity):三角不等式(triangleinequality):范数用来衡量向量的大小,符号表明范数是实数集上绝对值的推广。
度量(metric)符合距离函数的要求即对,满足:非负性(positivity):严格非负性(strictpositivity):对称性(symmetry):三角不等式(triangleinequality):集合加上其度量称为度量空间(metricspace),表示为。
例2.3范数的一些例子上的绝对值欧几里德(Euclidean)或范数Cauchy-Schwarz不等式:,。绝对值之和或范数Chebyshev范数或范数上述三个范数都属于范数的特例,其中。范数;欧几里德范数
例2.4生产计划的“大小”的测量
赋范线性空间(normedlinearspace)定义在范数之上的线性空间本书涉及的三类赋范线性空间维实向量空间阶实矩阵空间上的有界、连续的实值函数空间,处的函数值为在处的函数值为
例2.5(空间)一生的消费路径选择问题一种商品,表示期时对该商品的消费量设消费者是长生不老的消费者计划消费集,它是一个线性空间每期消费受资源限制:。结合范数,它成为赋范线性空间。在这一范数中,任意消费计划的规模是任一时期最大的计划消费的绝对值
子空间(subspace),称为的子空间,,每个赋范线性空间都有两个平凡子空间:和。
例2.6的子空间原点所有经过原点的直线所有经过原点的平面本身例2.7次数小于的多项式设表示所有次数小于的多项式,由于加法和标量乘法不会提高多项式的次数,因此,集合是所有多项式的集合的子空间。
非空集合,跨度:设是子空间的子集,如果中没有真子集具有跨度这一性质,则称是子空间的基(base)。基的元素是线性无关的除外,子空间通常有很多不同的基。若有一个由有限个元素组成的基,则所有基都有相同数目的非零元素,这一数目称为子空间的维(dimension)。若子空间没有有限基,则它是无限维的。
例2.8的标准基单位向量的集合称为的标准基。每一向量都有唯一表达式:
是具有许多可能的基的维空间任意个线性无关的维向量的跨度形成的维子空间。
2.1.2开集、闭集和紧集开球(openball)例2.9中的单位球单位球(unitball)欧几里德或范数:圆形范数:正方形范数,单位球是菱形的是的邻域包含的开球,称为的内点(interiorpoint)内部(interior)中所有内点的集合是开的(open)是闭的(closed)是开的。
例2.10开球是开集图2.4开球是开集
中的开集和闭集具有如下事实:任意个开集的并是开集,有限个开集的交是开集。任意个闭集的交是闭集,有限个闭集的并是闭集。
边界点(boundarypoint)是的边界点的每个邻域既包含中的点也包含中的点边界(boundary)是所有边界点的集合图2.5中的内点和边界点
闭包(closure)开闭。
例2.10(闭球)闭球是闭集。例2.11(单位球面)单位球的边界是,称为单位球面(unitsphere)。中单位球面是,它是集合的边界。
例2.13效率生产生产计划是有效率的(efficient)不存在可行计划,-有效率的生产计划的集合Eff的每个内点都是非效率的通常是的真子集
2.1.5上确界和下确界,是的上界(upperbound),的上界的集合(此时称无上界)整个(仅当时)闭的无界区间上确界(supremumin)集合的最小上界;向上无界,则取,而当时,称取得(或达到)上确界。,是的下界(upperbound),。下确界(infimum)集合的最大下界;向上无界,则取,而当,称取得(或达到)上确界。
2.1.4序列收敛和完备性中的序列(sequence)或或,,。称为的极限点(limitpoint)或极限(limit)
序列收敛极限惟一图2.6序列收敛
柯西序列(Cauchysequence)极限点的候选点不易得时,一般采用柯西准则。为柯西序列,,。每个收敛的序列都是柯西序列。
有界(bounded)直径有限,即。柯西序列有界,这意味着,每个收敛序列都有界。
在一些度量空间中,柯西序列不会收敛于空间中的元素。为此,我们有:定义2.4(完备度量空间)如果集合中的每个柯西序列都收敛于中的一个元素,则称度量空间()是完备的(complete)。基本事实具有度量的实数集是一个完备的度量空间。
子序列(subsequence)给定序列,设有一个严格递增函数,它将每个正整数分配给一个正整数,则序列称为的子序列(subsequence)。紧度量空间度量空间是紧的(compact)中的每个序列都有收敛子序列紧集闭而有界
2.1.4Banach空间Banach空间完备的赋范线性空间是典型的有限维赋范线性空间定理2.2有限维赋范线性空间的性质:它是完备的;定义于其上的所有范数都是等价的;子集是紧集,当且仅当它是闭而有界的。
2.2凸集2.2.1仿射集2.2.2凸集2.2.3凸锥
2.2.1仿射集,,,形为的点形成经过和的直线。对应于对应于对应于和之间的线段。
是基点(对应于)和用缩放的方向(由指向)之和。给出了点所在的从到的部分路径。图2.7直线和线段
是仿射的(affine),,形为的点称为点的仿射组合(affinecombination),其中。仿射集包含它的点的每一种仿射组合,即如果是仿射集,,,则也在中
仿射集可表示为子空间加上偏移量(offset):,是仿射集是的子空间。
例2.13线性方程组的解集线性方程组的解集是仿射集,其中矩阵,向量。证明:设,即,,则对,有这意味着仿射组合也在中。与仿射集相联系的子空间是的零空间,即。反命题也成立:每个仿射集都可表示为线性方程组的解集。
仿射包(affinehull)中的点的所有仿射组合的集合仿射包是包含的最小仿射集:如果为任意满足的仿射集,则。
2.2.2凸集集合是凸的(convex),,每个仿射集都是凸的凸集非凸集非凸集图2.8中的凸集与非凸集
形为的点称为点的凸组合(convexcombination),其中,注意,仿射组合没有这一非负性要求集合是凸的它包含其元素的所有凸组合。凸组合可以视为点的混合或加权平均(mixtureorweightedaverage),其中是的权重。
例2.14(消费集)消费集指所有可行消费组合的集合(例1.1)。如果和是两种消费组合,它们加权平均是另一消费组合。消费集是的凸子集。
(投入要求集)投入要求集为,和是生产的两种不同方式。问题:能否将两种生产过程联合起来,并且仍生产,?为凸集,则答案为是。生产者理论一般假设是凸集,此时,称技术是凸的。
的凸包(convexhull)凸包是包含的最小凸集 (a) (b)图2.9中的凸包 2.2.3凸锥集合为锥(cone),,有。是凸锥(convexcone)既是锥又是凸集,即,,图2.10凸锥形为的点称为点的锥组合(coniccombination),其中集合是凸锥包含其元素的所有锥组合。
例2.16(凸技术)技术的典型假设是:(1)加法:;(2)规模报酬不变:对加法要求生产过程是独立的。同时,通常的假定意味着生产可能性集是一个凸锥。对技术来说,凸性的要求比较严格。
集合的锥包(conichull)锥包是包含的最小凸锥图2-8锥包2.3一些重要例子2.3.1超平面与半空间 2.3.2欧几里德球、赋范球和赋范锥 2.3.3多面体
凸集的一些简单的例子空集、任意单点集以及整个空间是的仿射子集,从而是的凸子集。任意直线都是仿射集,如果它经过,那么它是子空间,因而凸锥。线段是凸集,但不是仿射集,除非它缩减为一点。形为的射线是凸集,但不是仿射集。如果基点,则它是凸锥。任意子空间都是仿射集和凸锥(因而是凸集)。2.3.1超平面与半空间超平面(hyperplane),,,。线性方程组的解集,从而是仿射集。法向量(normalvector)为的超平面,常数决定着超平面和原点之间的偏移:其中是超平面上的任意点:
超平面由偏移加上与法向量正交的所有向量组成图2.12中的超平面
例2.18竞争性厂商的净收入函数是包含常数利润为的生产计划的超平面,有时称为等利润线(isoprofitlines)(闭)半空间(halfspace)其中半空间是凸集,但不是仿射集。图2.14中的半空间
半空间的另一表示:,解释:半空间由加上与(外向法)向量的夹角成钝角或直角的任意向量组成图2.15由决定的半空间半空间的边界为超平面开半空间(openhalfspace)为半空间的内部
2.3.2欧几里德球、赋范球和赋范锥欧几里德球(Euclideanball),简称球:其中,是中心,标量为半径。欧几里德球的另一表达式欧几里德球是凸集赋范球(normball)是凸集
2.3.3多面体多面体(polyhedron)多面体是有限个半空间和超平面的交集仿射集(如子空间、超平面、直线等)、射线、线段和半空间都是多面体。多面体是凸集图2.13多面体
多面体的简单表达其中,
2.4保持凸性的运算2.4.1交2.4.2仿射函数
2.4.1交两个凸集之交是凸集任意凸集之交是凸集子空间、仿射集和凸锥在任意个交下也是闭的。如:多面体是半空间和超平面(它们都是凸集)之交,因而是凸集。
2.4.2仿射函数函数是仿射的(affine),其中集合是凸的,是仿射的是凸的。是仿射的是凸的。
例子缩放(scaling)和移动(translation)集合是凸的,,集合和是凸的其中,
两个集合的和和是凸的是凸的和是凸的笛卡尔乘积(Cartesianproduct)是凸的集合在函数下的像是
例2.20(多面体)多面体P可表示为和原点的笛卡尔乘积在仿射函数下的逆像
2.5分离超平面和支撑超平面2.5.1分离超平面定理2.5.2支撑超平面
2.5.1分离超平面定理分离超平面定理(separatinghyperplanetheorem)凸集,,,;,超平面称为和的分离超平面(separatinghyperplane)。图2.17分离超平面一种特殊情形时的证明设集合和的(欧几里德)距离为正数,且达到最小距离: 定义:我们将证明仿射函数在在非正,而在上非负,即超平面分离和。这一超平面与和之间的线段垂直,并且经过其中心,如图2.18。图2.18分离超平面的构造先证明在上非负,关于在上非正的证明相似。假设存在点,满足:(2.4)则可表示为:式(2.4)意味着。于是,,因此对一些很小的,我们有也即,点比更靠近。由于是凸集并且包含和,因此,。但这是不可能的,因为被假设
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 《光电传感与检测器》课件
- 病案库房安全管理制度
- 医疗机构监管培训
- 仪表巡检培训课件
- 儿童培训机构早会
- 数学学案:课堂导学对数及其运算第课时对数概念及常用对数
- 中国医疗保障
- 《除氧给水系统》课件
- 宣传片制作培训课件
- 《全身状态高职》课件
- GB/T 699-2015优质碳素结构钢
- 新历史主义文艺思潮
- GB/T 4337-2015金属材料疲劳试验旋转弯曲方法
- GB/T 28762-2012数控剪板机
- GB/T 283-2021滚动轴承圆柱滚子轴承外形尺寸
- 品管圈徽SOS圈释义
- 萨提亚模式家庭治疗课件
- 行政事业单位全面实施预算绩效管理思路和路径及其评课件
- 《墨梅》课件(省一等奖)
- 国际贸易之进出口流程操作课件
- 三美术上册第16课新颖的电脑课件1新人教版
评论
0/150
提交评论