纳什均衡存在性定理中的相关解释.doc

纳什均衡存在性定理中的相关解释 教材（《经济博弈与应用》）p33，图2.1表明不动点是曲线与45o线的交点。当函数定义在区间上且因变量的值域也为区间时，如果是连续的，则必然存在不动点。 图2.1 [0,1]区间上的自变换函数的不动点 直接用来证明纳什存在性定理的不动点定理不是Brouwer不动点定理，而是角谷静夫 Kakutani 不动点定理。 定义1 S是凸的 Convex 当且仅当对任意的及满足的，只要和，则有 定义2 S是闭的 Closed 当且仅当对每个收敛的序列，如果对每个都有，则有 定义3 RM中的子集S是开的 open 当且仅当它的补集RM/S是闭的。 定义4 S是有界的 bounded 当且仅当存在某个正数K使得对S中的每个元素都有 定义5 当函数满足下述性质时，我们称其为凹的： 如果当时上面的不等式严格成立，则称为严格凹的。一个函数是凸的当且仅当函数-是凹的；为严格凸函数当且仅当-为严格凹函数。 拟凹函数是凹函数概念的一种推广，它包括了凹函数在内的一大类函数，而这类函数在经济学中有着广泛应用，关于拟凹函数的定义如下： 定义6 函数定义在Rn中的子集D上，当且仅当满足如下性质时，是拟凹的： [0,1] 显然，凹函数是拟凹的，但反过来并不成立，即拟凹函数不一定是凹函数。在下图中，函数是拟凹的，但不是凹的。 图 不是凹函数的拟凹函数 1 x* 0 1 x* f x 45o x1 y 0 x2 x