#day7 逐渐上头，但还是缺少激情（难以坚持日更）

距离笔记已经隔了两天了

  前两天在课本上研究了一致连续性和闭区间上连续函数的性质（最值、介值、零点等定理），笔记也做了，但是作业和博客都没写，今天都研究导数了，才发现之前的没写感想，作业先搁置一下，我打算先把专业课程的随机信号分析题目给刷一下，那数分就得先搁置一下，反正不管怎么说，随机信号现在是当务之急，不管是期末考试还是未来考研，现在搞好了以后压力也会小一点，这么说起来我对我的数字信号学习很没有自信，感觉没学到重点，然后对离散型的理解欠缺了一些东西，尤其是s域映射到z域的那个关系，没法产生一种直观的理解（咳咳，跑题了，这个等往后几天我把数分给鸽一下，搞个信息类的专栏，包括随机信号、数字信号处理和信号系统的内容给整合一下，我的专业课主要考的就是这几门了，其他的关联性不太大）
  那么来谈谈闭区间上函数的性质吧，一个函数f(x)如果在区间[a,b]上连续，那么他一定可以在区间内找到最值，而且如果f(a)*f(b) <0,那么在[a,b]内一定有f(x)的零点，还有就是介值定理喽，这个定理挺关键的，后面推导出各种中值定理都是有这个定理的影子。
介值定理： f(x)如果在区间[a,b]上连续，且f(a) ≠ f(b), 则对于f(a)，f(b)之间的任意一个数A，总存在至少一个ξ∈[a,b]，使得f(ξ) = A.
  这些定理都是可以从集合层面上形成一个直观理解的（因为文字证明过于复杂，课本自动略过了，越基础的理论越难证明，因为它的普适性高且没有更底层的逻辑支撑，它们本身就是逻辑），所以我很想弄明白到底数学证明和逻辑体系的最底层到底在哪儿？我觉得虽然基于现实，但是也不可能完全源于现实吧，这些逻辑不是现实直接给出的，最基础的定理到底是什么？谁知道呢，现代数学已经在研究加减乘除这些运算的成立依据了是吧。
  又跑远了，那我们来谈一谈当函数不连续时会出现哪些情形，这就的讲到一个东西：间断点。一般来说，我们遇到的函数分为连续的、不完全的连续的和完全不连续的。前两者是很常见的，但是第三者性质就比较奇葩了，本人比较猎奇，就在这挂一个，完全不连续（不是很严谨的一个说辞）指的是在定义域上函数每个点都有定义，但是都不连续。那个黎曼函数就是典例，我好像也就知道这一个了，这是一个认为构造函数，但是很巧妙，它在背景上是一个很有意思的内容：第一次数学危机，和无理数相关的一个内容，所以这函数常被用来验证某些命题的正确性（一个命题需要熬过第一次数学危机才能具备正确的基础）。
  好，我又成功跑远了，说到间断点的话，主要分为两类间断点，两类之下又有几个小类。
第一类间断点：
可去间断点：这种间断点呢，只是一种定义上的分割，因为其左极限和右极限是相同的，且它本身也有值，从几何上这个间断点还是把函数连起来了（像这种间断点的话，甚至于可以存在导数值）
跳跃间断点：就是左右极限不相等了，这样的点可以从集合上看出函数的分段。
第二类间断点：
无穷间断点：相比于第一类间断点，第二类普遍出现了奇怪的值域或定义域，无穷间断点就是值域出问题了，这样的点左右极限不存在（趋于无穷，如tan(π/2)）,无穷间断点在瑕积分里很关键。
震荡间断点：这个就设计到了另外一个无限的概念，在某个定义域区间内，有无数个间断点存在的函数，如sin（1/x），在原点附近这个函数有无数个间断点。

间断点主要方便后续完成一些积分操作，尤其是积分限的选择可以选某点单侧，这很讲究的。

还有就是一直连续性：什么是一直连续性呢？研究了一下，就是当你使用ε-ξ语言证明一个函数连续的时候，如果函数具备一直连续性，你就可以找到这样一个点，当你使用ε-ξ语言对其进行证明时，你使用的ε在同等条件下可以证明该函数定义域内所有点，这个我只能这么理解了，课本讲的也比较少，然后我也没啥兴趣证明。这个一直连续性一般在实数域的定义域区间内不太实用，但是当我们去限定区[a,b]时，我们就可以得出cantor定理：函数如果在[a,b]内连续，则它也在[a,b]内一致连续。

继续努力，永不言弃！