跳至主要內容
OCME中英數學知識與推導English

OCME · 中英數學知識與推導

知識物件

從定義、條件與公式理解概念,再接續導讀、例題及證據。

知識物件

有限商群

有限群G依正規子群N的陪集形成商群,元素是cosets且乘法(gN)(hN)=(gh)N必須與代表元無關。

mko-finite-quotient-group · 代數

知識物件

有限群共軛類

有限群G以conjugation g·x=gxg^{-1}作用於自身,其orbits形成共軛類並分割G。

mko-finite-group-conjugacy-class · 代數

知識物件

標準常態分布

標準常態Z以Gaussian density phi(x)=(2pi)^(-1/2)exp(-x^2/2)與其連續CDF Phi定義,並具有mean 0、variance 1。

mko-standard-normal-distribution · 機率與統計

知識物件

估計量均方誤差

scalar parameter theta下,估計量T的MSE_theta(T)=E_theta[(T-theta)^2]由完整sampling distribution逐theta定義。

mko-estimator-mean-squared-error · 機率與統計

知識物件

線性規劃標準形

本節點固定唯一primal convention:maximize c^T x,subject to Ax≤b與x≥0。

mko-linear-program-standard-form · 最佳化與作業研究

知識物件

頂點覆蓋

有限simple undirected graph的頂點子集C若與每條edge至少一端相交,則C為vertex cover。

mko-vertex-cover · 組合與離散數學

知識物件

有限群第一同構定理

有限群同態f:G→Q由kernel cosets誘導出G/ker f到im f的群同構,而非自動同構到整個codomain。

mko-first-isomorphism-theorem-finite-groups · 代數

知識物件

有限群中心

有限群G的中心Z(G)由與每個群元素交換的全部元素構成,且是G的正規子群。

mko-finite-group-center · 代數

知識物件

偏誤-變異數分解

逐參數theta,scalar estimator的MSE等於其variance加上bias平方。

mko-bias-variance-decomposition · 機率與統計

知識物件

線性規劃對偶

對固定primal max c^Tx、Ax≤b、x≥0,其dual為min b^Ty、A^Ty≥c、y≥0;feasible pair滿足弱對偶。

mko-linear-program-duality · 最佳化與作業研究

知識物件

最大流最小割定理

有限容量網路的最大feasible flow value等於全部s–t cuts中的最小capacity。

mko-max-flow-min-cut-theorem · 最佳化與作業研究

知識物件

最小頂點覆蓋

有限simple graph中,cardinality在全部vertex covers裡最小的候選是minimum vertex cover。

mko-minimum-vertex-cover · 組合與離散數學

知識物件

多對一歸約

A≤mB表示存在total computable f,使每個x皆滿足x∈A恰當f(x)∈B。

mko-many-one-reduction · 計算機科學數學

知識物件

壓縮映射定理

非空完備度量空間上的self-map若以固定q<1壓縮所有距離,則有唯一fixed point且Picard orbit收斂。

mko-contraction-mapping-theorem · 分析

知識物件

介值定理

連續實函數在閉區間端點值之間取到每個中間值。

mko-intermediate-value-theorem · 分析

知識物件

Taylor餘項定理

足夠高階可微函數的Taylor approximation error由Lagrange remainder與derivative bound控制。

mko-taylor-remainder-theorem · 分析

知識物件

有限模型最大似然估計量

有限參數模型中,MLE選取使觀察likelihood最大的參數,tie需固定且與theta無關。

mko-finite-maximum-likelihood-estimator · 機率與統計

知識物件

有限模型充分統計量

finite model中,給定statistic value後sample conditional law不依theta時,T對theta充分。

mko-finite-sufficient-statistic · 機率與統計

知識物件

有向無環圖的拓撲排序

有限有向圖存在topological ordering恰當其無directed cycle。

mko-topological-ordering-dag · 計算機科學數學

知識物件

模n乘法階

gcd(a,n)=1時,ord_n(a)是a^k≡1 mod n的最小正整數k。

mko-multiplicative-order-mod-n · 數論

知識物件

級數比較判別法

非負項級數可由逐項或最終逐項上界與下界傳遞收斂或發散。

mko-series-comparison-test · 分析

知識物件

級數比值判別法

非零項絕對值相鄰比極限小於一時絕對收斂,大於一時發散,等於一時不判定。

mko-ratio-test-series · 分析

知識物件

一致極限保持連續

同一domain上的連續函數列若一致收斂至f,則極限函數f連續。

mko-uniform-limit-continuity-theorem · 分析

知識物件

有限乘積拓撲

有限多個拓撲空間的Cartesian product由open rectangles生成乘積拓撲。

mko-finite-product-topology · 拓撲