2.-Nash均衡存在性.pptVIP

博 弈 论 导 论An Introduction to Game Theory 中国科学技术大学·管理学院 杜　少　甫 Nash均衡的存在性Existence of Nash Equilibrium 知识准备 反应函数(response/reaction function)： 即最佳反应映射(The best response mapping)，在某个博弈中，用于反映一个局中人对其他局中人策略所作出的反应关系的函数。通常在连续情况下，通过一阶条件得到。 紧致集(Compact Set)： 一个欧氏空间(Euclidean Space) Rn的子集被称为紧致的，当且仅当此子集有界(bounded)且封闭(closed)。? 有界闭集 实数集R(一维欧氏空间)中，任一闭区间如[0, 1]是紧致集；而任一开区间如(0, 1)、[0, 1)是非紧致集（not closed）；整数集Z不是紧致集（not bounded） 平面集R2(二维欧氏空间)中的圆，立体集R3(三维欧氏空间)中的球。 注： 作为特例，?被视为紧致集。 数学中与凸性(convexity)相关的几个概念 凸集(convex set)： 集合S被称为凸集，当且仅当(iif) 对于?a, b∈S和?λ∈[0, 1]，均有λa+(1-λ)b ∈S。 S内任两点的直线段仍在S内 ?凸集是连通的。 一维实空间内的区间；二维欧氏空间中每个角都小于180°的多边形等。 两凸集的交集必为凸集，而并集未必。 凸函数(convex function)： 实值函数f(.)是凸的　 iif 　函数f(.)的定义域C为凸集且?a, b∈C和?λ ∈[0, 1]，均有 f(λa+(1-λ)b) ≤ λf(a)+(1-λ)f(b) 函数曲线的上境图(曲线以上部分)是个凸集。 改为则为严格凸，改成≥即为凹/上凸函数。 拟凸函数(quasi-convex function)： 实值函数f(.)是拟凸的　 iif 　函数f(.)的定义域C为凸集且?a, b∈C和?λ∈[0, 1]，均有f(λa+(1-λ)b)≤max{f(a), f(b)} 改为则为严格拟凸，改为≥即为拟凹函数 参见课程ftp下的参考资料[4] 注： 有时为了避免混淆，凸/凹函数分别被称为下/上凸函数。 MS/OR领域（包括GT）中，数学中的“凸”和“拟凸”习惯上常被称作“凹(concave)”和“拟凹(quasi-concave)”。 在阅读文献过程中，要根据上下文理解真正内涵 在运筹优化中，函数凸凹性对优化求解很重要。 本课程尽量采用数学意义上的说法。 对于二次可微函数而言，判断凸性最直接的办法是 一元情况：求二阶导数 ? 下凸； ? 上凸 n元情况：求海赛(Hessian)矩阵，即由所有二次偏导构成的n×n对称阵。 Hessian矩阵：正定?下凸；负定?上凸。(n个顺序主子式) 扩展知识点：Hessian矩阵 vs Jacobian矩阵 不动点定理(Fixed Point Theorems) Brouwer不动点定理： 设C是Rn中的非空紧凸子集，函数f: C→C连续，则必存在x∈C，使x=f(x)。该点称为不动点(fixed point)。 即：Rn中非空紧凸子集到自己的映射必有不动点。 例如： 单值映射f(x)=x2,x∈[0,1]，显然f是[0,1] →[0,1]映射，应用此定理可断定必存在不动点；求解x=x2，得到两个不动点x=0和1； 若x∈(0,1)，则没有不动点；若x∈[0,1)或(0,1]，则有一个不动点；但因定义域和值域不是紧致集，此定理不适用于对这种情况下的不动点存在性判定； 任何闭区间内的函数f(x)=x+1无不动点。由于定义域和值域不同，因此此定理也不适用于此。 Brouwer不动点定理提供了不动点存在的充分非必要条件(sufficient but unnecessary) 在不动点定理所述条件下，函数y=x与y=f(x)必有交点。 不动点定理(Fixed Point Theorems) 单值映射 vs 集值映射 单值映射(Single-valued map/function)：即传统的映射/函数，即函数值是单一数值，只要自变量值确定，则函数值也就随之唯一确定。明确的：well-defined, unambiguous 不动点定理(Fixed Point Theorems) 集值函数有闭图(Closed Graph)：若集合{(x,y)|y ∈f(x)}是X×Y上的闭子集，则称集值函数f: X→2Y有闭图。 例： [0, 1]区间上的集值函数f(x)=[1-x/2, 1-x/4]，其覆盖区域是封闭有界的。? 有闭图 Nas