本文是笔者对于实分析3.2节的一些较为深入的思考。主要思考的是不包含自身的集合S存在的条件,否定他的方法。以及解决罗素悖论各种理论方法之间的联系。
或许层次性结构HJ公理和基础公理3.9是完全等价的,或许我们可以证明这一点
本文编写于 14日精读掌握《陶哲轩:实分析》day1

陶哲轩实分析:关于罗素悖论的一些思考相关推荐

  1. 陶哲轩实分析定理17.3.8(三)

    本文继承了这篇博文. 为了证明$f$在$x_0$处可微,我们只用证明,存在线性映射$T$,使得 \begin{equation} \lim_{x'\to x_0;x'\neq x_0}\frac{f( ...

  2. 陶哲轩实分析命题10.1.7

    设$X$是$\mathbf{R}$的子集合,$x_0$是$X$的极限点,设$f:X\to\mathbf{R}$是函数,并设$L$是实数,则下述命题在逻辑上等价: (a):$f$在$x_0$处在$X$上 ...

  3. 陶哲轩实分析 定理 8.2.2 (无限和的富比尼定理) 证明

    设$f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}$是函数.使得$$\sum_{(n,m)\in\mathbb{N}\times\mathbb{N}}f(n,m)$ ...

  4. 陶哲轩实分析习题17.1.2

    陶哲轩实分析习题17.1.2 转载于:https://www.cnblogs.com/yeluqing/archive/2012/09/10/3828300.html

  5. 《陶哲轩实分析》部分勘误

    我在读<陶哲轩实分析>,作者是陶哲轩,译者王昆扬.2008年11月第一版,第一次印刷.我在此添加一部分中译本印刷错误,若网友发现了另外的错误,请在评论里补充,由我代为添加.若有不当之处,敬 ...

  6. 陶哲轩实分析习题9.1.1

    设$X$是实直线的子集合,并设$Y$是集合,使得$X\subseteq Y\subseteq \overline{X}$,证明$\overline{Y}=\overline{X}$. 证明:因为$X\ ...

  7. 陶哲轩实分析 命题 8.2.6 证明

    设$X$是任意的集合(可以是不可数的),并设$f:X\to \mathbb{R}$和$g:X\to\mathbb{R}$是函数.使得$\sum_{x\in X}f(x)$和$\sum_{x\in X} ...

  8. 陶哲轩实分析 引理8.2.7 注

    容易证明下面的结论(怎么证?): 陶哲轩实分析 引理 8.2.7:设$(a_n)_{n=0}^{\infty}$是实数级数.它是条件收敛的,不是绝对收敛的.定义 $$A_+=\{n\in\mathbb ...

  9. 陶哲轩实分析引理10.4.1:反函数定理

    设$f:X\to Y$是可逆函数,反函数为$f^{-1}:Y\to X$.设$x_0\in X,y_0\in Y$,且$y_0=f(x_0)$(它蕴含$x_0=f^{-1}(y_0)$).如果$f$在 ...

  10. 陶哲轩实分析 5.5 节习题试解

    陶哲轩实分析 5.5 节习题试解 5.5.1 设 E \mathrm{E} 是 R \mathbb R 的一个非空子集, E \mathrm{E} 有最小上界 M M,它是个实数,即 M=sup(E) ...

最新文章

  1. 计算机对应的自然科学,计算机类书稿加工应注意的几个问题
  2. 理解JSON.stringify()高级用法
  3. java atomicfloat_Java:有没有AtomicFloat或AtomicDouble?
  4. android与gradle版本,android – Gradle错误:支持的最低Gradle版本...
  5. linux——不同系统间的文件传输和打包压缩
  6. date -d的灵活应用
  7. 论文浅尝 | 基于未知谓词与实体类型知识图谱的 Zero-Shot 问题生成
  8. ASP.NET 文件下载 .
  9. 数据库设计_数据库设计(一)分析及逻辑设计
  10. 一天测血压的最佳时间_高血压病患者,一天之内在什么时间点测血压最好?
  11. linux开启hadoop服务,Hadoop 2.7.4 关闭与启动
  12. 地表径流分布数据/水文站点分布/降雨量分布/辐射分布数据
  13. linux系统如何备份系统软件,Linux系统如何备份
  14. 奇奇怪怪的three.js特效(一)
  15. 计算机图形学立方体旋转代码,Flash AS教程:旋转立方体
  16. SSM5.2版本整合
  17. 七、vertical-align属性、透明度属性及兼容、ps常用工具、常见的图片格式、项目规范、命名参考、iconfont的使用
  18. R语言开发之CSV文件的读写操作了解下
  19. Android OTG 连接单反相机,相机无法预览无法拍照片问题修复记录
  20. (信贷风控九)行为评分卡模型python实现(详细代码+注释+讲解)

热门文章

  1. python函数参数以及顺序
  2. 直方图hist函数解释
  3. WinDbg -- 调试互斥体(Mutex)死锁
  4. 如何在自己的电脑上复现开源论文里的代码
  5. 行人重识别数据集之 DukeMTMC-reID 数据集
  6. SpringCloud微服务基础 Eureka、Feign、Ribbon、Zuul、Hystrix、配置中心的基础使用
  7. 软磁盘属于微型计算机的什么设备,2014云南省全国计算机等级考试二级VB笔试试卷及参考答案最新考试试题库...
  8. 无备份情况下恢复MySQL误删的表,这样做再也不用怕误删了
  9. 2018-01-18 Maven知识点-面试
  10. 风格迁移1-04:Liquid Warping GAN(Impersonator)-白话给你讲论文-翻译无死角(1)