陶哲轩实分析笔记(第三章，集合)

因为集合证明太多了，所以没弄完。而且手机打字真的不得行，因此就不写答案了（开摆）。把笔记贴出来好了。

接下来贴两个证明:

3.1.5的部分证明

基本上所有集合证明都可以这个逻辑。但是挺麻烦的，而且很蠢，对吧。

3.1.10的部分证明

毕竟定理之类的东西发明出来就是为了处理问题的嘛。以后肯定是定理用的多的。

关于最后一题，把y限定在A内应该就行了。

就这样。