【定理】如果一個閉區間能夠被一個開區間集合覆蓋,則從中可以選出有限個開區間,覆蓋住該閉區間。 【證明】 設閉區間[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 年代研究代數方程根式求解問題時引出的概念。有限域在密碼學、近代編碼、計算機理論、組合數學等方面有着廣泛的應用 在抽象代數中,域是一個對加法和乘法封閉的集合,其中要求每個元素都有加法逆元,每個非零元 ...
有限差分法 有限差分法是一種求解偏微分(或者常微分)方程或方程組定解問題的數值解的方法,簡稱差分法。 (定解問題:滿足定解條件(初值條件,邊界條件)的問題的解) 數學意義上的微分方程的求解不同於物理意義上的微分方程的求解,物理微分方程的求解有時間和空間上的約束條件。 約束可細分 ...