【定理】如果一个闭区间能够被一个开区间集合覆盖,则从中可以选出有限个开区间,覆盖住该闭区间。 【证明】 设闭区间[a,b]被开区间集合I覆盖。 用反证法,假设从中不能选出有限个开区间对[a,b]覆盖。 \(取[a,b]中点c,将[a,b]分为两个区间[a,c],[c,b],则这两个区间中必有有一个 ...
定理:设I为有界闭区间, U 为I的一个开覆盖,则,s.t。 两个关键点: 被覆盖区间必须是闭区间 覆盖闭区间的区间 区间系必须是开区间 闭区间的这一性质,称为紧性 在拓扑的基本概念中,最令人费解的,莫过于 紧性 Compactness ,它描述一个空间或者一个集合 紧不紧 。正式的定义是 如果一个集合的任意开覆盖都有有限子覆盖,那么它是紧的 。乍一看,实在有些莫名其妙。它究竟想描述一个什么东西 ...
2014-12-21 19:13 0 5058 推荐指数:
【定理】如果一个闭区间能够被一个开区间集合覆盖,则从中可以选出有限个开区间,覆盖住该闭区间。 【证明】 设闭区间[a,b]被开区间集合I覆盖。 用反证法,假设从中不能选出有限个开区间对[a,b]覆盖。 \(取[a,b]中点c,将[a,b]分为两个区间[a,c],[c,b],则这两个区间中必有有一个 ...
一致连续定理 一致连续定义 设函数 \(f(x)\) 在区间 \(I\) 上有定义,如果,\(\forall \epsilon > 0, \exist \delta >0\),使得对于在区间 \(I\) 上的任意两点 \(x_1, x_2\),当 \(|x_1 - x_2| < ...
原文地址:http://rerun.me/2016/05/21/akka-notes-finite-state-machines-1/ 我最近有个机会在工作上使用了Akka FSM,是个非常有趣的例子。API(实际上就是DSL),使用体验很棒。这里是我尝试用Akka FSM的有限 ...
AKKA 笔记 - 有限状态机 -2 原文地址: http://rerun.me/2016/05/22/akka-notes-finite-state-machines-2/ 在上一节的Akka FSM笔记中,我们看了一些基本的使用Akka FSM和咖啡机的使用方式 - Actor ...
不得不说,Mathematica真是个好东西,以前学习有限元的时候,对于书中的方程推导,看到了就看过去了,从没有想过要自己推导一遍,原因是手工推导太复杂。有了MM,原来很复杂的东西突然变得简单了。 1.单元几何描述 上图是纯弯梁单元,长度l,弹模E,面积A,惯性矩I。两个节点1和2的位移列 ...
\(设f(x)是[a,b]上连续函数,则f(x)在[a,b]上必然一致连续\\\) \(证明:因为f(x)在[a,b]上连续,所以任取[a,b]内一点x_{0},任给\frac{\epsilon}{2 ...
一、有限域介绍 有限域亦称伽罗瓦域(Galois Fields),是伽罗瓦于 18 世纪 30 年代研究代数方程根式求解问题时引出的概念。有限域在密码学、近代编码、计算机理论、组合数学等方面有着广泛的应用 在抽象代数中,域是一个对加法和乘法封闭的集合,其中要求每个元素都有加法逆元,每个非零元 ...
有限差分法 有限差分法是一种求解偏微分(或者常微分)方程或方程组定解问题的数值解的方法,简称差分法。 (定解问题:满足定解条件(初值条件,边界条件)的问题的解) 数学意义上的微分方程的求解不同于物理意义上的微分方程的求解,物理微分方程的求解有时间和空间上的约束条件。 约束可细分 ...