知識物件
二分圖
有限無向簡單圖若全體頂點可分為兩個互斥部分且每條邊跨部，則為二分圖。
OCME · 中英數學知識與推導
知識物件
從定義、條件與公式理解概念，再接續導讀、例題及證據。
知識物件
依分布收斂
極限CDF每個連續點上F_n逐點收斂到F時，稱依分布收斂。
知識物件
有限環的商環
有限環依proper雙邊理想的加法cosets形成商環，運算須與代表元選擇無關。
知識物件
圖著色
proper k-coloring使用至多k種顏色並使每條邊兩端顏色不同。
知識物件
實向量子空間
實向量空間的非空子集若含零向量並對向量加法與每個實純量乘法封閉，則為向量子空間。
知識物件
拓撲閉包與內部
集合閉包是所有閉超集的交，內部是所有開子集的聯；兩者相對於指定拓撲。
知識物件
開覆蓋與子覆蓋
開覆蓋由指定拓撲的開集組成且聯集包含目標集合；子覆蓋須取自原覆蓋並仍覆蓋同一目標。
知識物件
幾乎必然收斂
同一機率空間上的隨機變數序列若在零機率例外集外逐點收斂，則幾乎必然收斂。
知識物件
圖匹配
有限圖的matching是彼此不共享端點的邊子集；空matching合法。
知識物件
Euler φ函數
Euler φ(n)計數一個完整剩餘代表系中與n互質的代表；約定φ(1)=1。
知識物件
確定有限自動機
DFA由有限狀態集、有限字母表、總轉移函數、唯一初始狀態與接受狀態子集組成。
知識物件
有限維向量空間的維度
有限維向量空間的維度是任一有限基底的元素數；基底不同但基數不變。
知識物件
線性映射的核
線性映射T的核是全部滿足T(x)=0的來源向量，並形成來源子空間。
知識物件
線性映射的像
線性映射的像是所有輸出T(x)的集合；矩陣映射的像等於column span。
知識物件
拓撲邊界
集合A的拓撲邊界為closure(A)減去interior(A)，亦等於closure(A)交closure(complement A)。
知識物件
緊緻拓撲空間
拓撲空間緊緻，若每個開覆蓋都有有限子覆蓋；每個有限拓撲空間皆緊緻。
知識物件
貝氏定理
正分母條件下，Bayes定理以共同intersection與priors/likelihoods精確反轉條件機率。
知識物件
正規語言
正規語言是存在一個完整DFA可辨識其全部字串的語言。
知識物件
矩陣秩
矩陣秩是row/column space維度，可由精確rank-preserving消去的pivot數計算。
知識物件
函數列逐點收斂
同一domain上的函數列逐點收斂，若每個固定x的值序列收斂至f(x)，且N可依x與epsilon改變。
知識物件
無窮級數
無窮級數以partial-sum sequence的極限定義；項趨零必要但不充分。
知識物件
參數統計模型
參數統計模型為每個theta指定同一有限可測sample space上的完整機率law P_theta。
知識物件
連通拓撲空間
拓撲空間連通，若不存在由兩個不交非空開集組成的separation；等價於無非平凡clopen subset。
知識物件
最大匹配
最大匹配是在完整有限圖全部合法matching中邊數最大者；可有多個且不必perfect。