剰余環は環をイデアルで「割った」構造であり、準同型定理は環準同型の像と剰余環を結びつける基本的な結果です。 剰余環の構成 $R$...

局所化を行うと、元の環のイデアル構造が単純化されます。特に素イデアルについては、局所化後に「生き残る」ものと「消える」ものがはっ...

分数体は整域に対して定義される体であり、整数 $\mathbb{Z}$ から有理数 $\mathbb{Q}$ を構成するプロセス...

局所化は可換環論における基本的な構成であり、環の一部の元を「分母として許す」操作です。代数幾何学では、多様体上のある点の近傍だけ...

余接ベクトルは「方向」ではなく「傾き」や「変化率を測る道具」として理解するとわかりやすくなります。 接ベクトルと余接ベクトルの対...

テンソル場は接ベクトルと余接ベクトルを組み合わせた多重線型的な量であり、リーマン計量や曲率といった幾何学的対象を統一的に扱う枠組...

多様体間の滑らかな写像は、接空間の間に線型写像を誘導します。この誘導された写像を微分写像といい、押し出し（pushforward...

ベクトル場は多様体の各点に接ベクトルを滑らかに割り当てたものです。流れや力場の数学的表現であり、微分方程式や力学系の理論と深く関...

余接空間は接空間の双対空間であり、微分形式の理論の出発点となります。余接ベクトルは接ベクトルを受け取って実数を返す線型写像です。...

接空間は多様体上の各点において「その点での方向」を表すベクトル全体の集合です。多様体上で微分を行うための基盤となる概念です。 接...

多様体は「局所的にはユークリッド空間に見えるが、大域的には異なる形状をもちうる空間」を定式化した概念です。曲面を高次元に一般化し...

外微分は微分形式に対して定義される演算で、多変数の微分積分学における勾配・回転・発散を統一的に扱う枠組みを与えます。 微分形式の...

リーマン計量は、多様体の各点における接空間に内積を与える構造です。これにより曲線の長さ、角度、面積といった幾何学的な量を定義でき...

位相空間 $(X, \mathcal{O})$ において、部分集合 $A \subseteq X$ の**閉包**（closur...

ベールのカテゴリー定理は完備距離空間の「大きさ」に関する定理で、関数解析の基本定理（一様有界性原理、開写像定理、閉グラフ定理）の...

閉グラフ定理はバナッハ空間上の線型作用素の有界性を判定する強力な道具。作用素の連続性を直接示すのが難しい場合でも、グラフの閉性と...

バナッハ空間は関数解析において中心的な役割を果たす空間である。直感的には「ノルムが定義されていて、コーシー列が必ず収束する」ベク...

距離空間では連続性を点列の収束で特徴づけられるが、一般の位相空間ではこの対応が崩れる。点列による特徴づけが可能な空間には第一可算...

位相空間の族から新しい位相空間を構成する基本的な方法として、直積と直和がある。両者は圏論的に双対の関係にあり、それぞれ積と余積に...

距離空間 $(X, d)$ が**完備**であるとは、$X$ 内の任意の Cauchy 列が $X$ の点に収束することをいう。...

距離空間においては点列コンパクトとコンパクトは同値だが、一般の位相空間では異なる概念である。 定義 位相空間 $X$ が**コン...

コーシー・リーマンの方程式は次の 2 つの式からなります。 \[ \frac{\partial u}{\partial x} =...

解析接続の具体的な実行手段として、べき級数展開は重要な方法である。正則関数は局所的にべき級数で表現でき、この性質を利用して定義域...

解析接続（analytic continuation）は、ある領域で定義された正則関数を、より広い領域へ拡張する手続きのこと。 ...