存在性定理
存在性定理(英語:Existence theorem)在数学中是指一类以“存在……”开头的定理的总称。有时前面也会加上一些限定,比如说“对于所有的……,存在……”。形式上来说,存在性定理是指在定理的命题叙述中涉及存在量词的定理。实际中,许多存在性定理并不会明确地用到“存在”这个字眼,比如说“正弦函数是连续的。”这个定理中并没有出现“存在”一词,但仍是一个存在性定理。因为“连续性”的定义是一个存在性的定义。
二十世纪初期曾经有过关于纯粹的存在性定理的争论。在数学结构主义的角度上,如果承认此种定理的存在,那么数学的实用性将会降低。而与之相反的观点认为抽象的手段可以达到数值分析所无法达到的目的。
纯粹的存在性定理编辑
一个存在性定理被称为“纯粹的”,当且仅当其证明并不包含任何关于存在对象的构造方法,也就是说这个定理的证明仅仅能证明某个东西的存在,但并不提供与其有关的其它信息。
严格看来,这个定义中就存在着矛盾。因为它是一个关于定理本身的定义,却用到了关于定理的证明的信息:这样,纯粹存在性定理的定义就违背了定理与证明不相干的原则:一般来说,一个定理应该是一个被证明了的陈述,而不应该依赖于用来证明它的方式。一个定理应当可以在不知道其证明的情况下进行应用。因此,结构主义数学家们倾向于在拓展的逻辑中开展工作(比如说在直觉逻辑中),这时的纯粹存在性定理将总会比构造性的证明更弱。
纯粹的存在性证明在当代数学中俯拾皆是。举例来说,对于一个线性问题,解集是一个向量空间。而对于这个空间的维数的计算可以导出关于解的存在性证明:如果解集的维数大于等于1,那么必然存在非零解(虽然不知道具体的解是什么)。
相關條目编辑
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命