集合论初步和关系.ppt

第二篇 集合论 研究内容 本篇由集合论初步、关系、有限集与无限集、函数四部分构成。 集合论的发展历程 集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的。 1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。 随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。 1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。 罗素悖论 1901年罗素提出以下悖论：设论述域是所有集合的集合，并定义集合 这样，S是不以自身为元素的全体集合的集合，那么“S”是不是它自己的元素呢？ 罗素悖论起因于集合可以是自己的元素的概念。康脱以后创立的许多公理化集合论都直接或间接地限制集合成为它自己的元素，因而避免了罗素悖论。 罗素的理发师悖论 住在一个村子里的理发师挂了一个牌子，