在我的回答
丘成桐国际数学夏令营(高中)是怎么样的一种模式?www.zhihu.com里,我说要把我做的几个小问题放到知乎上来。所以我就放到这里来吧(虽然在知乎上它们可能不算难..
以及,这篇文章全片画风都是分析,这主要是因为我代数没怎么学会:D
对于每个题目,我都会重申题目大意,并且给出我和组员的大致解决过程。
4.1.
题目大意:考虑上的三进小数,也就是
我们定义
证明:
证明:
先证明良定义:
如果
如果
假设
且
取最小的
不失一般性地,假设
因此,当且仅当
我们现在证明这两个
(i).
(a).
相等.
(b).
相等.
(c).
相等.
(d).
相等.
(ii).
因此,
其次,证明连续性:
用
对于任意
令
开始计算:
连续性得证.
最后,证明满射:
这个映射
由于
通过一些计算,我们得到
我们给出一个猜测:对于任意
(i).
(ii).假设
(iii).假设
因此
4.2.
题目大意:(dimension invariance theorem). 假设是非空的开集(通常拓扑),证明不存在之间的同胚,除非.
大致思路:用Brouwer Fixed Point Theorem证明Domain Invariance Theorem,然后证明Dimension Invariance Theorem. 由于一个开集可以写成有限多个或者无限多个胞腔的并,这里胞腔指的是和开球同胚的集合. 所以我们只需要证明:闭球的内部经过同胚变换依然是同胚像的内部. 不失一般性地,我们考虑这个球的球心,令作原点,因此Domain Invariance变成了:
命题一:如果
这里,
因为
命题二:取
根据这个命题,我们可以假设命题一成立而构造一个
Brouwer Fixed Point Theorem的证明
引理:不存在连续光滑的retraction,引理的证明:
假设存在. 令
由于r是光滑的,是上的n-1形式,令是个inclusion map,于是也就是说,就是,因此,根据Stokes定理(虽然我不会证,但不会有循环论证的问题)
矛盾
现在,我们假设
根据Stone-Weierstrass Theorem,我们可以找到一个
因此,
它也没有不动点
令
并能计算出
命题二的证明:
令
命题一的证明:
假设这个命题是假的. 令
假设一个集合
(看不懂可以画张图帮助理解)
于是,K是紧的但不包含f(0). 定义一个映射
显而易见的是,它是良定义的、连续的.
为了防止这里的G长得太恶心,我们用Weierstrass Approximation Theorem给它来一个多项式近似:对于任意
P在K上没有零点.
这时就可以构造矛盾了. 我们考虑一个
这是一个连续的没有零点的函数. 因此我们有
又由于
综上,我们有
所以我们只需要
维度不变性的证明:
都到这了,事情就变得trivial了起来
当
假设有一个连续单射:
这是一个很分析的证明,思路基本来自于陶哲轩的博客 Brouwer’s fixed point and invariance of domain theorems, and Hilbert’s fifth problem
当然,这个定理有其他的证明. 比如张筑生的微分拓扑新讲里给出了用Jordan-Brouwer分离定理的证明,这个定理的二维形式是非常著名的Jordan曲线定理. 或者用代数拓扑的语言能很快的证明,比如topological invariance of dimension in nLab 给出的. 还可以用单形,比如 http:// personal.colby.edu/pers onal/s/sataylor/teaching/S09/MA331/InvarianceOfDomain.pdf 给出的.
4.3.
题目大意:peano曲线是不是给出了Dimension Invariance的反例呢?为什么?
当然没有. 事实上,我们可以不用刚才那一大套东西证明线和面之间没有连续双射.
首先,证明不存在连续双射
假设存在,那我们挖掉一个点,
也是连续双射,然而左边是连通的,右边是不联通的,矛盾,因此不存在.
现在证明连续双射
如果存在,我们证明
令
因为
但是,我们之前给出了
似乎Peano曲线是个双射啊..?
这显然是不对的. 因为这个映射不是良定义的.
考虑
一些其他的东西
其实,我们可以构造
考虑三进小数
假设我们的曲线是
和之前一样,可以验证它的满射性、良定性、连续性,以及不是单射.
注:图是Brouwer的照片