[公理集合论.docVIP

1　公理集合论 　　axiomatic set theory 　　用形式化公理化方法研究集合论的一个学科。数理逻辑的主要分支之一。 　　19世纪70 年代 ，德国数学家 G.康托尔给出了一个比较完整的集合论，对无穷集合的序数和基数进行了研究。20世纪初，罗素悖论指出了康托尔集合论的矛盾。为了克服悖论，人们试图把集合论公理化，用公理对集合加以限制。第一个常用的公理系统是E.F.F.策梅洛和A.A.弗伦克尔等提出的ZF系统。这个系统中只有一个非逻辑二元关系符号∈，非逻辑公理有：外延公理、空集公理、无序对公理、并集公理、幂集公理、无穷公理、分离公理模式、替换公理模式、正则公理 。如果加上选择公理就构成ZFC系统 。利用公理可以定义出空集、序对、关系、函数等集合，还可以给出序关系、良序关系、序数、基数，也可以给出自然数、整数、实数等概念。集合论中有关集合的性质，在公理集合论中都可以得到证明。公理系统中还可以证明公理之间的相对和谐性和独立性，例如 P.J.科恩于 1960 年创立公理集合论中的力迫法 ，并用来证明ZFC与连续统假设CH独立。公理集合论发展很快，马丁公理、苏斯林假设等新公理新方法已被广泛使用，组合集合论、描述集合论、大基数、力迫法的研究已经渗透到数学的各个分支。 　　集合论公理系统 　　(ZF1) 外延公理 一个集合完全由它的元素所决定。如果两个集合含有同样的元素，则它们是相等的。 　　(ZF2) 空集合存在公理：即存在一集合s，它没有元素。 　　(ZF3) 无序对公理：也就是说，任给一集合x，存在第三个集合z，而z的元素恰好有两个，一个是x，一个是y 　　(ZF4) 并集公理：也就是说，任给一集合x，我们可以把x的元素的元素汇集到一起，组成一个新集合 　　(ZF5) 幂集公理：也就是说，任意的集合x，P（x）也是一集合 　　(ZF6) 无限公理：也就是说，存在一集合x，它有无穷多元素 　　(ZF7) 替换公理：也就是说，对于任意的公式A（x，y），对于任意的集合t，当x属于t时，都有y，使得A（x，y）成立的前提下，就一定存在一集合s，使得对于所有的x属于t，在集合s中都有一元素y，使A（x，y）成立。也就是说，由A（x，y）所定义的有序对的类的定义域在t中的时候，那么它的值域可限定在s中。 　　(ZF8) 基础公理：也叫基础公理。所有集都是良基集。说明一个集合的元素都具有最小性质，例如，不允许出现x属于x的情况。 　　(AC) 选择公设 　　对任意集 c 存在以 c 为定义域的选择函数 g, 　　使得对 c 的每个非空元集 x. g(x) 属于x 　　ZF集合公理系统加上AC就成为ZFC公理系统 注：ZF 为 Zermelo 及 Fraenkel 2公理化方法 [编辑本段] 什么是公理化方法 　　随着假设演绎模型法的进一步发展，经济学日益走向公理化方法。 　　公理化是一种数学方法。最早出现在二千多年前的欧几里德几何学中，当时认为“公理’(如两点之问可连一直线)是一种不需要证明的自明之理，而其他所谓“定理” (如三对应边相等的陌个三角形垒等)则是需要由公理出发来证明的,18世纪德国哲学家康德认为，欧几里德几何的公理是人们生来就有的先验知识，19世纪末，德国数学家希尔伯特(David Hilbert)在他的几何基础研究中系统地挺出r数学的公理化方法。他认为每一种数学理论部应以“基本概念——公理——定理” 的模式来建立：这里的公理是作为理论出发点的科学假设，它们要求有完备性(任何定理可由此导出)，独立性(去掉其中之一有的定理就不能成立)和相容性(公理问是无矛盾的),但公理本身也由人们作各种解释。20世纪以来，整个数学几乎都巳按希尔伯特的漠式得到公理化处理。 [编辑本段] 公理化方法的应用发展 　　经济学中的公理化方法从30年代起就有了应用，但对经济学有决定性影响的则是德布鲁(G·Debreu)的经典著作:《价值理论：经济均衡的一种公理化分析》在这一公理化分析中的基本概念是：商品空问、价格体系，消费者和生产者。由此又可导出需求、供给、可达状态、经济均衡等概念。然后，再对各个抵念作出明确的数学规定，即公理，这包括一些最基本的前提假设。 　　供求双方的相互作用通过价格机制来间接完成，最终价格使经济中对立的、变动的力量达到一种力量相当、相对静止、不再变动的境界，实现了所有市场参与者的最大化和供求相等的状态，印市场出清了。这是由公理出发证明的一般均衡存在的定理。 　　德布鲁以后，公理化方法已渗入到经济学的各个领域，它的优点首先在于能够使经济学中的“公理” 与“定理” 严格区分开来。侧如，认为完全竞争与认为不完全竞争就是陌条不同的“公理”，它们导出的“定理” 自然有所不同，但应该争论的是“公理