コンパクト作用素は、有界線形作用素のなかでも「有限次元的な振る舞い」に近い性質をもつ特別なクラスだ。無限次元空間の解析において中...

曲線が $y = f(x)$ の形で与えられていれば面積は $\int f(x)\,dx$ で求まるが、曲線が媒介変数（パラメー...

有理関数（分数関数）の積分で、分母が因数分解できるなら部分分数分解が定石だ。複雑な分数式をシンプルな分数の和に分解し、それぞれを...

位相空間の「穴」を代数的に検出する最も基本的な道具が基本群だ。ループのホモトピー類に群構造を入れることで、空間の位相的性質を群論...

線形写像は抽象的な概念だが、基底を選ぶことで行列として具体的に表現できる。この対応関係を理解することで、線形写像の性質を行列の計...

被積分関数にルート $\sqrt{a^2 - x^2}$ や $\sqrt{x^2 + a^2}$ のような無理式が含まれる場合...

二次曲線を統一的に理解するうえで欠かせないのが離心率（eccentricity）という概念だ。離心率は曲線の「開き具合」を数値化...

線形空間 $V$ の部分空間 $W$ で「割る」ことで、新たな線形空間を構成できる。これが商空間であり、抽象代数学における商構成...

楕円の媒介変数表示では三角関数 $\cos\theta$、$\sin\theta$ を用いるが、双曲線ではこれに対応する「双曲線...

線形空間を扱ううえで、空間を「きれいに分割する」方法を理解することは非常に重要である。直和はその中心的な概念であり、部分空間の和...

双曲線は楕円と同じく二次曲線の一種だが、その形状は大きく異なる。楕円が「2 つの焦点からの距離の和が一定」であるのに対し、双曲線...

$n$ 次正方行列の行列式を厳密に定義するには、置換という概念が必要になる。ここでは置換の基本的な性質を整理したうえで、行列式の...

数学的帰納法は等式の証明に使われることが多いが、不等式の証明にも非常に強力な手法である。ただし、等式の場合と比べていくつか特有の...

漸化式は数列の問題だけに登場するわけではない。図形の分割や確率の推移など、一見すると数列とは無関係に見える問題でも、漸化式を立て...

漸化式 $a_{n+1} = pa_n + r^n$ の形は、等比数列の漸化式に指数関数の項が加わったものである。特性方程式だけ...

Rees 環と随伴次数付き環は、イデアルのフィルトレーションを次数付き構造に変換する道具である。爆発（blowing-up）の代...

Artin-Rees の補題は、ネーター環上のイデアルと部分加群の関係を記述する基本定理である。Krull の交叉定理や完備化の...

エタール射は、代数幾何学において「局所同型」に対応する射である。可換環論では、形式的にエタールな環拡大として定式化され、ガロア理...

有限アーベル群の構造定理は、有限アーベル群がどのような「部品」からできているかを完全に記述する定理だ。群論における最も基本的かつ...

因子類群と Picard 群は、環や多様体の算術的・幾何学的性質を捉える重要な不変量である。UFD（一意分解整域）からのずれを測...

ケーラー微分（Kähler differentials）は、環準同型の「微分」を代数的に定式化したものである。代数幾何学における...

半局所環は、有限個の極大イデアルをもつ環である。局所環の一般化であり、有限個の点の近傍を同時に扱う際に現れる。 定義 可換環 $...

完全交叉環は、正則局所環を「正則列で割った」形で得られる環である。Cohen-Macaulay 環の特別な場合であり、ホモロジー...

正規環は整閉性を一般化した概念であり、代数幾何学において「よい特異点」をもつ多様体に対応する。局所的な整閉性条件として定義され、...