应该是个简单的证明:证明,无理数是第二纲的.(泛函分析,Baire纲定理)求证明.感觉是反证法,假设无理数是第一纲的,那么实数是第一纲的.不知道怎么得到矛盾
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/26 05:04:04
![应该是个简单的证明:证明,无理数是第二纲的.(泛函分析,Baire纲定理)求证明.感觉是反证法,假设无理数是第一纲的,那么实数是第一纲的.不知道怎么得到矛盾](/uploads/image/z/13190151-39-1.jpg?t=%E5%BA%94%E8%AF%A5%E6%98%AF%E4%B8%AA%E7%AE%80%E5%8D%95%E7%9A%84%E8%AF%81%E6%98%8E%EF%BC%9A%E8%AF%81%E6%98%8E%2C%E6%97%A0%E7%90%86%E6%95%B0%E6%98%AF%E7%AC%AC%E4%BA%8C%E7%BA%B2%E7%9A%84.%EF%BC%88%E6%B3%9B%E5%87%BD%E5%88%86%E6%9E%90%2CBaire%E7%BA%B2%E5%AE%9A%E7%90%86%EF%BC%89%E6%B1%82%E8%AF%81%E6%98%8E.%E6%84%9F%E8%A7%89%E6%98%AF%E5%8F%8D%E8%AF%81%E6%B3%95%2C%E5%81%87%E8%AE%BE%E6%97%A0%E7%90%86%E6%95%B0%E6%98%AF%E7%AC%AC%E4%B8%80%E7%BA%B2%E7%9A%84%2C%E9%82%A3%E4%B9%88%E5%AE%9E%E6%95%B0%E6%98%AF%E7%AC%AC%E4%B8%80%E7%BA%B2%E7%9A%84.%E4%B8%8D%E7%9F%A5%E9%81%93%E6%80%8E%E4%B9%88%E5%BE%97%E5%88%B0%E7%9F%9B%E7%9B%BE)
应该是个简单的证明:证明,无理数是第二纲的.(泛函分析,Baire纲定理)求证明.感觉是反证法,假设无理数是第一纲的,那么实数是第一纲的.不知道怎么得到矛盾
应该是个简单的证明:证明,无理数是第二纲的.(泛函分析,Baire纲定理)
求证明.感觉是反证法,假设无理数是第一纲的,那么实数是第一纲的.不知道怎么得到矛盾
应该是个简单的证明:证明,无理数是第二纲的.(泛函分析,Baire纲定理)求证明.感觉是反证法,假设无理数是第一纲的,那么实数是第一纲的.不知道怎么得到矛盾
对.因为有理数是可列的,是可列个单点的并,所以是第一纲集.假如无理数也是第一纲集的话,那实数是两个第一纲集的并,也是第一纲集.但是第一纲集是没有内点的,所以矛盾.
第一纲集没有内点,是Baire纲定理的直接推论.一个第一纲集A,是可数个无处稠密集U_n的并,如果你把每个无处稠密集都取上闭包,记成F_n,那么这可数个没有内点的闭集F_n的并,记成F,应该包含原来的那个第一纲集A.Baire纲定理说,这个F没有内点.那么A当然就更不能有内点了.
Baire纲定理的证明很漂亮,是一堆开集、闭集套在一起证出来的(跟闭集套有一点点关系).可以看实变函数或者泛函的教材.