偏微分は多変数関数の各変数についての微分であり、全微分は多変数関数の線型近似を与えます。 偏微分の定義 $f(x, y)$ を2...

一様収束は関数列の収束の強い形式であり、極限操作と積分・微分の順序交換を正当化する上で重要です。 各点収束の復習 関数列 $\{...

級数は無限個の数の和であり、その収束・発散の判定は解析学の基本的なテーマです。 級数の収束 数列 $\{a_n\}$ に対し、部...

広義積分は、積分区間が無限であったり被積分関数が発散する点をもつ場合に、積分の概念を拡張したものです。 無限区間での広義積分 $...

微分積分学の基本定理は、微分と積分が互いに逆の操作であることを示す定理です。この定理により、積分の計算が原始関数を求める問題に帰...

リーマン積分は「面積」の概念を厳密に定義したものであり、区間を細かく分割して長方形の面積の和の極限をとります。 分割とリーマン和...

逆関数の微分は、元の関数の微分と逆数の関係にあります。この関係を使って、対数関数や逆三角関数の導関数を求めることができます。 逆...

テイラー展開は関数を多項式で近似する方法であり、マクローリン展開は $x = 0$ のまわりでの展開です。 テイラーの定理 $f...

平均値の定理は微分法の基本定理であり、関数の大域的な振る舞いと局所的な微分係数を結びつけます。 ロルの定理 平均値の定理の特別な...

微分は関数の「瞬間的な変化率」を表す概念であり、接線の傾きとして幾何学的に解釈できます。 微分係数の定義 関数 $f$ の点 $...

一様連続性は連続性を強めた概念で、$\delta$ の取り方が点 $a$ によらないという性質です。 連続性の復習 $f$ が点...

関数の極限を厳密に定義するのが ε-δ 論法です。$x$ が $a$ に近づくとき $f(x)$ が $L$ に近づく、という直...

数列の極限を厳密に定義するのが ε-N 論法です。「限りなく近づく」という直観を、不等式を用いて正確に表現します。 数列の収束の...

単項イデアル整域（PID）の Krull 次元が高々 $1$ であることを証明します。これは PID の構造を理解する上で基本的...

Gorenstein 環は Cohen-Macaulay 環の中でも特に良い双対性をもつ環であり、代数幾何学における標準束や特異...

Cohen-Macaulay 環は深さと次元が一致する「良い」環であり、代数幾何学や可換環論において中心的な役割を果たします。 ...

正則列は加群の深さを測る基本的な道具であり、Koszul 複体はそれを系統的に扱うホモロジー代数的な構成です。 正則列の定義 $...

射影次元と大域次元は、加群や環の「ホモロジー的な複雑さ」を測る不変量です。 射影分解 $R$-加群 $M$ の射影分解とは、完全...

形式的ベキ級数環は多項式環の完備化であり、解析的な直観と代数的な厳密さを橋渡しする重要な環です。 形式的ベキ級数環の定義 $R$...

Dedekind 整域は代数的整数論の中心的対象であり、元の一意分解は成り立たなくてもイデアルの一意分解が成り立つ環です。 De...

UFD（一意分解整域）は整数環や多項式環のように、元が本質的に一意な方法で既約元の積に分解できる整域です。 UFD の定義 整域...

完全列はホモロジー代数の基本言語であり、蛇の補題は完全列を結ぶ射から新たな完全列を導く重要な道具です。 完全列の定義 $R$-加...

射影加群と自由加群はホモロジー代数の基本的な対象であり、加群の構造を理解する上で重要な役割を果たします。 自由加群の定義 $R$...

忠実平坦性は平坦性を強めた概念であり、基底変換で完全列を保つだけでなく、完全列であることを「検出」できる性質です。 忠実平坦加群...