Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions 选择公理 - Wikipedia

选择公理

维基百科,自由的百科全书

数学中,选择公理AC集合论公理。它在1904年Ernst Zermelo 公式化。尽管最初有着争议,它现在被多数数学家无挂碍的使用着。但仍有数学学派,主要在集合论内,认为要么拒绝选择公理,要么研究与 AC 矛盾的公理的推论。


目录

[编辑] 陈述

选择公理声称:

X非空集合集合。则我们可以从 X 中的每个集合选择一个成员。

选择函数是集合的搜集(即集合的集合) X 上的函数,它使得对于所有在 X 中的集合 sf(s) 是 s 的一个元素。通过这个概念,选择公理可以陈述为:

X 是一个非空集合的集合。则存在着在 X 上定义的一个选择函数 f

或作为替代:

非空集合的任意笛卡尔积是非空的。

或最简洁的:

所有的非空集合的集合都有选择函数。

这立即允许了选择公理的否定的简洁公式化:

存在没有选择函数的非空集合的一个集合。

[编辑] 变体

第二个版本的选择公理声称:

给定相互无交的非空集合的任何集合,存在着至少一个集合包含着与每个非空集合有精确的一个公共元素的集合。

某些作者使用第三个版本有效的声称:

对于任何集合 A,A 的幂集(减去空集)有一个选择函数。

使用这个公式化的作者经常谈论“在 A 上的选择函数”,但是仔细考虑过后这是稍微不同的选择函数的概念。它的域是 A 的幂集(减去空集),并因此对任何集合 A 有意义,而通过在本文中其他地方用的定义,在“集合的搜集”上的选择函数的域是这个搜集,所以只对集合的集合有意义,选择公理可以简洁的陈述为

所有集合有一个选择函数。[1]

它等价于

对于任何集合 A 有一个函数使得对于 A 的任何非空子集 B,f(B)\in B

而选择公理的否定表达为:

有一个集合 A 使得对于所有函数 f (在 A 的非空子集的集合上),有一个 B 使得 f(B) \notin B

[编辑] 用途

直到 19世纪晚期,选择公理仍被经常隐含的使用着。例如,在建立包含非空集合的集合 X 之后,数学家可以说 "设对于 X 中所有 sF(s)s 的成员之一"。一般的说,没有选择公理而证明 F 存在是不可能的,但直到 Zermelo 之前没有引起人们的注意。

不是所有的环境需要选择公理。选择公理对于那些没有可定义的选择才有必要。值得指出的是对于有限集合 X,选择公理可以从其他集合论公理得出。在这种情况下它等价于说如果我们有多个(有限数目的)盒子,每个包含至少一个物体,则我们可以从每个盒子精确的选择一个物体。我们可以明显的这么做: 开始于第一个盒子,选择一个物体;到下一个盒子,选择一个物体;以此类推。只有有限多个盒子,所以我们的选择过程最终会结束。虽然这里我们仍然没有可出一个明确的选择函。(此法之所以可行,是因为序对公理的原因。可以使用数学归纳法的原理做对所有有限集合的形式证明。)。

对于特定的无限集合 X,可能避免选择公理。例如,假设 X 的元素是自然数的集合。每个自然数的非空集合都有一个最小元素,所以要指定我们的选择函数,我们可以简单的声称它把每个集合映射到这个集合的最小元素。这带给我们从每个集合得到元素的明确选择,我们可以写出一个明确的表达,说明我们的选择函数如何取值。在任何有可能指定这种明确选择的时候,选择公理都是没有必要的。

在没有从每个集合得到元素的自然选择的时候困难出现了。如果我们不能做明确的选择,我们如何知道我们的这个集合存在? 例如,假设 X实数的所有非空子集的集合。首先我们象它是有限的那样去处理 X。如果我们尝试从每个集合选择一个元素,那么,因为 X 是无限的,我们的选择过程永远不会结束,作为结论,我们永远不能生成对 X 的成员的选择函数。所以这不能成立。其次我们可以尝试从每个元素指定最小元素的技巧。但是某些实数的子集没有最小元素。例如,开区间 (0,1) 没有最小元素: 如果 x 在 (0,1) 中,则 x/2 也在其中,而 x/2 总是严格的小于 x。所以取最小元素也不成立。

我们能够从自然数的子集选择最小元素的理由是自然数有可定义的良序的事实: 所有自然数的子集都有一个唯一的最小元素。如果我们聪明我们可以说,"即使实数的正常排序是不成立的,也有可能找到实数的是良序的不同的排序。那么我们的选择函数可以在我们的不寻常的排序下选择没有集合的最小元素"。问题就变成构造这样一个排序,而它使得所有集合可以是良序的,当且仅当选择公理为真。

要求选择公理的证明总是非构造性的: 即使证明产生了一个对象,精确的说出那个对象是不可能的。如果我们不能写出选择函数的定义,则我们的选择就不是非常明确的。这是一些数学家不喜欢选择公理的理由之一。例如,构造主义者论断说所有存在的证明都应当是完全明确的;构造任何存在的对象应当是可能的。他们拒绝选择公理,因为它断言了不能说出是什么的对象的存在。

[编辑] 结论

哥德尔证明了选择公理的相对协调性。特别的,他证明了如果可构成公理成立,则实数存在一个\Delta^1_2的良序(这是ZF下最好的可能)。柯恩用力迫法证明了选择公理的独立性。

[编辑] 外部链接

  • There are many people still doing work on the axiom of choice and its consequences. If you are interested in more, look up Paul Howard at EMU.

[编辑] 引用

  1. Patrick Suppes, "Axiomatic Set Theory", Dover, 1972 (1960), ISBN 0-486-61630-4, pp 240
Translated in: Jean van Heijenoort, 2002. From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931. New edition. Harvard Univ. Press. ISBN 0-674-32449-8
  • 1904. "Proof that every set can be well-ordered," 139-41.
  • 1908. "Investigations in the foundations of set theory I," 199-215.
  • Gregory H Moore, "Zermelo's axiom of choice, Its origins, development and influence", Springer; 1982. ISBN 0-387-90670-3
  • Paul Howard and Jean Rubin, "Consequences of the Axiom of Choice". Mathematical Surveys and Monographs 59; American Mathematical Society; 1998.

[编辑] 参见

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu