ツェルメロ・フランケル集合理論 (ZFC)

ギブス現象は、フーリエ級数の不連続点における挙動を説明する現象である。級数の部分和は、不連続点付近でオーバーシュートを示し、項数を増やしてもこのオーバーシュートは消えない。このオーバーシュートは、級数の項数に関わらず、不連続点の高さの約9%という一定値に収束する。

この定理は、誤差の平均がゼロで、無相関であり、分散が一定（等分散性）である線形回帰モデルにおいて、最小二乗法（OLS）推定量が最良線形不偏推定量（BLUE）であることを示しています。「最良」とは、回帰係数のすべての線形不偏推定量の中で分散が最小であることを意味し、最も精度が高いということです。

この定理は、コンパクトな凸集合をそれ自身に写像する任意の連続関数 [latex]f[/latex] に対して、[latex]f(x_0) = x_0[/latex] となる点 [latex]x_0[/latex] が存在することを述べています。この点は不動点と呼ばれます。非公式に言えば、国の地図を取り、それをくしゃくしゃにして国の境界線内に置くと、地図上の少なくとも 1 つの点が、対応する現実世界の位置の真上に位置することになります。

分散分析（ANOVA）は、データセットにおける観測された全変動を、異なる要因に起因する成分に分解する統計的手法です。その核心は、異なるグループ間の平均値の分散と、各グループ内の平均値の分散を比較することです。グループ間の分散が有意に大きい場合、グループ間の平均値は実際に異なっていることを示唆します。

クーラン・フリードリヒス・レヴィ（CFL）条件は、陽的時間積分スキームを用いた双曲型偏微分方程式の数値解法に必要な安定性基準です。この条件は、時間ステップサイズが十分に小さくなければならず、情報が時間ステップごとに1つの空間グリッドセルを超えて移動しないことを規定しています。1次元の場合、[latex]C = u frac{Delta t}{Delta x} le C_{max}[/latex]となり、数値的な安定性が保証されます。

ANOVAの結果が有効であるとみなされるためには、データに関するいくつかの重要な仮定を満たす必要があります。それらは次のとおりです。(1) 観測値の独立性、つまり誤差が無相関であること。(2) 正規性、つまり各グループの残差がほぼ正規分布に従うこと。(3) 等分散性、つまりすべてのグループで残差の分散が等しいこと。

素数定理は、整数における素数の漸近分布を記述するものです。この定理によれば、[latex]x[/latex]以下の素数の個数を表す素数計数関数[latex]pi(x)[/latex]は、[latex]x / ln(x)[/latex]と漸近的に等価です。正式には、[latex]lim_{x to infty} frac{pi(x)}{x/ln(x)} = 1[/latex]となります。これは、素数と自然対数の間の基本的なつながりを示しています。

モデルの適合度を示す統計量で、従属変数の分散のうち独立変数から予測できる割合を表します。R² が 1 の場合は完全な適合を示し、0 の場合は線形関係がないことを示します。これは、[latex]R^2 equiv 1 - frac{SS_{res}}{SS_{tot}}[/latex] として計算されます。ここで、[latex]SS_{res}[/latex] は残差平方和です。

フレドホルム指数は、ランク零性定理をバナッハ空間のような無限次元空間に一般化したものです。フレドホルム作用素 [latex]T: X to Y[/latex] に対して、その指数は [latex]text{ind}(T) = dim(ker(T)) - dim(text{coker}(T))[/latex] と定義されます。ここで、コカーネルの次元は、像が空間全体からどれだけ離れているかを示します。この指数は、作用素の小さな摂動に対して安定した整数値となります。

位相空間は、順序対 [latex](X, tau)[/latex] であり、[latex]X[/latex] は集合、[latex]tau[/latex] の部分集合の集合（開集合と呼ばれる）で、次の 3 つの公理を満たします。1) 空集合 [latex]emptyset[/latex] と [latex]X[/latex] 自体は [latex]tau[/latex] に含まれます。2) [latex]tau[/latex] 内の任意の数の集合の和集合も [latex]tau[/latex] に含まれます。3) [latex]tau[/latex] 内の任意の有限個の集合の共通部分も [latex]tau[/latex] に含まれます。

SPCで使用されるグラフツールで、プロセス変数を時間経過とともに監視するために使用されます。プロセス平均を表す中心線（CL）と、上限管理限界（UCL）および下限管理限界（LCL）の間にデータポイントをプロットします。これらの限界は通常、平均値から3標準偏差（[latex]mu pm 3sigma[/latex]）に設定され、想定される共通原因変動の範囲を定義します。

一元配置分散分析は、3つ以上の独立したグループの平均値間に統計的に有意な差があるかどうかを判断するために使用されます。これは、因子と呼ばれる単一のカテゴリカル独立変数が連続従属変数に及ぼす影響を分析します。帰無仮説は、すべてのグループの平均が等しいことを示しています。[latex]H_0: mu_1 = mu_2 = dots = mu_k[/latex]。

ゲーデル数化は、形式言語におけるすべての記号、数式、証明に固有の自然数（ゲーデル数）を割り当てる基礎的な手法です。この構文の算術化により、形式体系に関するメタ数学的な記述（例えば、「この数式は証明可能である」）を数値に関する算術的な記述として符号化することが可能になり、体系内でそれらの記述について推論を行うことができます。