ラムダ計算

フーリエ級数が関数の値に収束するためには、関数は1周期にわたってディリクレ条件を満たさなければなりません。これらの条件は次のとおりです。(1) 関数は絶対積分可能であること、(2) 関数は有限個の極値（最大値と最小値）を持つこと、(3) 関数は有限個の有限な不連続点を持つこと。

ド・モルガンの法則は、デジタル回路設計の基礎となるブール代数の変換規則のペアです。第1法則は、論理積の否定は否定の論理和であると述べています。[latex]neg(P land Q) iff (neg P) lor (neg Q)[/latex]。第2法則は、論理和の否定は否定の論理積であると述べています。[latex]neg(P lor Q) iff (neg P) land (neg Q)[/latex]。

微分可能多様体は、局所的にユークリッド空間と相似な位相空間であり、微積分を適用することができます。各点には、[latex]mathbb{R}^n[/latex]の開部分集合と同相な近傍が存在します。チャートと呼ばれるこれらの局所座標系は、滑らかな遷移関数によって関連付けられ、多様体の微分可能な構造を定義するアトラスを形成します。

デジタルエレクトロニクスは、ジョージ・ブールによって提唱された論理数学体系であるブール代数に基づいています。ブール代数では、通常0と1（または偽と真）の2つの値と、AND（論理積）、OR（論理和）、NOT（否定）の3つの基本演算が使用されます。これらの演算は、すべてのデジタル回路の構成要素となる論理ゲートに直接対応しています。

同相写像とは、連続な逆関数を持つ2つの位相空間間の連続関数のことです。このような関数が存在する場合、2つの位相空間は同相であると言われます。位相的な観点から見ると、同相な空間は同一です。この概念は、コーヒーカップをドーナツに変えるなど、物体が破れたり接着されたりすることなく、別の物体に引き伸ばされたり、曲げられたり、変形したりできるという考え方を捉えています。

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

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

線形偏微分演算子 [latex]L[/latex] の基本解は、方程式 [latex]Lu = delta(x)[/latex] の解です。ここで、[latex]delta(x)[/latex] はディラックのデルタ関数です。これは、点源またはインパルスに対するシステムの応答を表します。一度わかれば、非斉次方程式 [latex]Lu = f(x)[/latex] の解は畳み込みによって見つけることができます。[latex]u(x) = (G * f)(x)[/latex]、ここで [latex]G[/latex] は基本解です。

ガウス・ボンネの定理は、コンパクトな2次元曲面の幾何学と位相を結びつける定理です。この定理によれば、曲面全体[latex]M[/latex]におけるガウス曲率[latex]K[/latex]の積分は、曲面のオイラー標数[latex]χ(M)[/latex]の[latex]2π[/latex]倍に等しくなります。式は[latex]int_M K , dA = 2pi chi(M)[/latex]です。

正確さとは、測定値が標準値または既知の真値にどれだけ近いかを示すものです。精度とは、2つ以上の測定値が互いにどれだけ近いかを示すものです。測定システムは、精度は高いが正確ではない場合、正確だが精度は低い場合、どちらでもない場合、あるいは両方を満たす場合があります。測定理論において、これら2つの概念は互いに独立しています。

リーマン幾何学は、微分幾何学の一分野であり、リーマン多様体、すなわちリーマン計量を備えた滑らかな多様体を研究する。この計量は、接空間上の内積の集合であり、点ごとに滑らかに変化する。これにより、角度、曲線の長さ、表面積、体積といった局所的な幾何学的概念を定義することができ、曲率の一般化された概念へとつながる。

線形代数において、ランク・ヌル性定理は、有限次元ベクトル空間間の任意の線形写像[latex]T: V to W[/latex]について、その定義域[latex]V[/latex]の次元は、ランク（像の次元）とヌル性（核の次元）の和に等しいことを述べている。式は[latex]dim(V) = text{rank}(T) + text{nullity}(T)[/latex]である。

素数定理は、整数における素数の漸近分布を記述するものです。この定理によれば、[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] と定義されます。ここで、コカーネルの次元は、像が空間全体からどれだけ離れているかを示します。この指数は、作用素の小さな摂動に対して安定した整数値となります。