数学之旅 上海交通大学

---

1，绪论
点和无穷大是给不出来的，什么多东西都是抽象的。要习惯抽象思维。

距离，两个人之间的距离，可以是重心的距离，可以是头与头之间的距离，也可以是心灵的距离。
数学上的距离，满足交换律，非负性，三角不等式。

数数，数人，数苹果，数小狗。。我们忽略了人，苹果，狗的很多属性。只抓住了数量的属性。。知道关注的对象，以及关注的对象的属性，这是很重要的，要忽略抵制其它很多东西。比如拓扑学中圆和椭圆是一个东西，这就要忽略它们的形状属性，而抓住它们的拓扑的属性。

比如七桥问题，不会关注桥的长短，桥的材质。城镇抽象为点，桥抽象为边。。抽象就是把你要的东西抽出来，其它东西忽略掉。这叫抽象能力。。所为的一笔画问题。如果奇顶点的个数是0或者2，才能一笔画，有几对奇顶点，就至少几笔画完。

爱因斯坦说18岁前学的东西都是你以后学习的最大的偏见。常识成为你的阻碍。

比如$2.5！，e^{1.1+2i}$，等有些东西，在数域无法理解，那只是我们看问题的角度不同。
比如：Beta函数和Gamma函数提供了大部分超几何函数（Hypergeometric functions）的理论基础。Gauss 超几何级数的积分表示便是借助了Beta积分。而Mellin-Barnes积分表示则是借助了Gamma函数的性质，这使得超几何级数在复平面上的延拓得以通过一种统一的形式得以实现。

问题的本质是固定的，不同的形式只是看到了一部分。在一种形式上不统一，难以理解，可以在另一种形式上统一，另一种形式上找到关系。这种关系是真实存在的。有时候$2.5！，e^{1.1+2i}$只是作为桥梁，一种符号，代表着一种计算方式，一种映射。

比如数域不好计算的东西，先映射到频域去计算，在映射回数域。在数域难计算或许表明在数域，我们的计算工具比较落后，不适合这个问题而已。每个空间有自己的视图，比如$e ，\pi$在实数上是无理数。说不定在某些空间里面是单位元素呢，你觉得无理，正式别人的有理。

---

2，积分

奇数和正整数的个数是相等的。（比如，每个正整数x，都有奇数2x-1与之对应，且不重复）
$y=\frac{1}{x}$绕着x轴旋转，形成的表面积是无限的，但是体积是无限的。
你同样可以找到一个周长是无限的，但是面积是有限的。
有限的体积被无限的面积围着。
这应该是面积和体积不是一个维度。多了一个维度。
比如你求曲线的切线，点和线的关系。线段的长度是有限的，但是点是无限的。
这些在直观上的都是奇怪的地方。

其实面积在无限大，只需要一滴水就可以涂满，理论上来说，任意小的体积展开都是无限大的面积。维度决胜论，维度高一级，就是大死你。

完备性：比如刚刚开始是正整数，，但是1-3等于几？于是引入负数，变成整数。后来有了乘法和除法，就要引入有理数。后来有了开方，就要引入无理数。负数的开方，就要引入复数。这就是完备性。

黎曼积分对可数个间断点是可积分的。
比如函数u=1当x为有理数，u=0当x为无理数。这样的函数对于黎曼积分是不可积分的。黎曼积分对于震荡的很厉害的函数不可积分。
勒贝格积分放弃对定义域进行分割并求和的方法，而是在值域黎曼进行分割并求和的方法。对y轴进行切割，看看有多少个x对应这个y轴。
这里要引入一个测度的问题。比如01区间内有理数的测度是多少，无理数的测度是多少（01区间有理数测度为0，无理数测度为1）。有理数是可数的。分母是1的，分母是2的，分母是3的。无理数不可数。
勒贝格积分是完备的。因为黎曼积分对有的函数是不可积的。
未知是已知的边缘，未知只会越来越多。

---

3，函数空间

两个点的距离，一般是加上绝对值，$|x-y|$
两个曲线的距离。
两个函数的距可以是：$(f-g)^2$进行积分，也就是函数之间面积。也可以是