1 我們的經驗是長度公理: 對直線上的一些點集構成的集族, 指定其上的乙個函式 $m$, 使得
(1) 非負性 (non-negativity): $me\geq 0$;
(2) 有限可加性 (finitely additivity): 若 $\sed_^j$ 互不相交, 則 $$\bex m(e_1\cup \cdots\cup e_j)==me_1+\cdots+me_j; \eex$$
(3) 正則性 (unity): $m([0,1])=1$.
2 lebesgue (為了使更多的集合可求長度, 而使得更多的函式可積分) 將其推廣為
(1) 非負性 (non-negativity): $me\geq 0$;
(2) 可數可加性 (countably additivity): 若 $\sed_^\infty$ 互不相交, 則 $$\bex m\***^\infty e_i} =\sum_^\infty me_i; \eex$$
(3) 正則性 (unity): $m([0,1])=1$.
這就是我們本章要學習的 ``測度''.
初識Rust（一） 引言
rust 是乙個全新的程式語言，專注於效能，並行和記憶體安全。rust的創始人通過從零開始並結合現代程式語言的設計元素來建立乙個語言，避免了很多傳統語言需要應對的很多 baggage 向後相容需求 相反，rust可以融合有表現力的語法和高層語言的靈活性與前所未有的控制和底層語言的效能。選擇一款程式語...
專案實施 00（引言）
近年來，伴隨著網際網路金融的風生水起 國家出台相關檔案，要求加大網際網路交易風險防控力度 鼓勵通過大資料分析 使用者行為建模等手段建立和完善交易風險檢測模型。但是目前大資料風控還存在時效性差，準確性不高等問題。綜合使用者分析平台包含 綜合資料分析 登陸風險 註冊風險 交易風險 活動風險分析等模組。以...
AOP之一 引言
本文 自 軟體設計因為引入物件導向思想而逐漸變得豐富起來。一切皆為物件 的精義，使得程式世界所要處理的邏輯簡化，開發者可以用一組物件以及這些物件之間的關係將軟體系統形象地表示出來。而從物件的定義，進而到模組，到元件的定義，利用物件導向思想的封裝 繼承 多型的思想，使得軟體系統開發可以向搭建房屋那樣，...