存在性证明

王朝百科·作者佚名  2010-01-18  
宽屏版  字体: |||超大  

数学证明中的一种, 亦即证明考察对象是存在的。

这种证明通常这只能间接指出对象的存在性,却不能具体构造出所需对象。

证明方法通常使用反证法或者是极大原理,佐恩引理等等。

比如Euclid证明“素数个数无限”;

又如交换代数中证明“交换环必存在极大理想”;

希尔伯特(Hilbert)曾经在给学生讲到存在性证明时,举过一个例子:“

这个班里一定存在一个学生,他的头发数最少, 可是我们不可能知道他是谁”。

 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
© 2005- 王朝百科 版权所有