正確さ vs. 精度

周期 [latex]P[/latex] の関数 [latex]s(x)[/latex] のフーリエ級数の係数は、積分公式を用いて計算されます。直流成分は [latex]a_0 = frac{2}{P} int_{P} s(x) , dx[/latex] です。コサイン係数は [latex]a_n = frac{2}{P} int_{P} s(x) cosleft(frac{2pi nx}{P}right) , dx[/latex] であり、サイン係数は [latex]b_n = frac{2}{P} int_{P} s(x) sinleft(frac{2pi nx}{P}right) , dx[/latex] ですが、[latex]n ge 1[/latex] です。

線形偏微分演算子 [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]です。

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

線形代数において、ランク・ヌル性定理は、有限次元ベクトル空間間の任意の線形写像[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]となります。これは、素数と自然対数の間の基本的なつながりを示しています。

フーリエ級数は、任意の周期関数または信号を、単純な振動関数、すなわち正弦関数と余弦関数の和に分解します。周期 [latex]P[/latex] の関数 [latex]s(x)[/latex] の場合、級数は次のように与えられます。 [latex]s(x) approx frac{a_0}{2} + sum_{n=1}^{infty} left[ a_n cosleft(frac{2pi nx}{P}right) + b_n sinleft(frac{2pi nx}{P}right)right][/latex]。項 [latex]a_n[/latex] と [latex]b_n[/latex] はフーリエ係数です。

「驚異の定理」（ラテン語で「Theorema Egregium」）は、曲面のガウス曲率が固有の性質であることを述べています。つまり、曲率は曲面自体の距離の測定方法のみに依存し、曲面が三次元空間にどのように埋め込まれているかには依存しないということです。平らな紙は伸ばさずに円筒形に丸めることはできますが、球形に丸めることはできません。

フーリエ級数が関数の値に収束するためには、関数は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%という一定値に収束する。