Laurent展開(Laurent expansion)とは、環状領域 $r<|z-a|<R$ 上の正則関数 $f$ を負の冪も含む両側級数 $\sum_{n\in\mathbb{Z}}a_n(z-a)^n$ で表したものであり、係数は円周に沿う積分 $a_n=\dfrac{1}{2\pi i}\oint_{|\zeta-a|=\rho}\dfrac{f(\zeta)}{(\zeta-a)^{n+1}}\,d\zeta$ で与えられる。Taylor 展開の環状領域版で、負冪の部分を主要部という。展開は存在して一意であり、コンパクト部分集合上で絶対一様収束する。穴あき円板での主要部の形により孤立特異点は除去可能特異点・極・真性特異点に分類され、$a_{-1}$ が留数で、円周に沿う積分は $2\pi i\,a_{-1}$ に等しい。同じ関数でも環状領域ごとに展開は異なる。
1時間前に更新
完全写像(perfect map)とは、連続かつ閉写像で、各点のファイバー $f^{-1}(y)$ がコンパクトな写像 $f\colon X\to Y$ のことである。コンパクト空間から Hausdorff 空間への連続写像が持つ良い性質を、定義域がコンパクトでない場合にも使えるように写像の条件として取り出したもので、コンパクト集合の逆像がコンパクトになり、終域の部分集合への制限と合成で保たれる。全射の完全写像は Hausdorff 性・正則性・正規性・局所コンパクト性を像へ、コンパクト性・Lindelöf 性を逆像へ遺伝させる。コンパクト空間を因子とする積の射影が基本例で、終域が局所コンパクト Hausdorff 空間なら「コンパクト集合の逆像がコンパクト」という固有写像の条件と一致する。
1時間前に更新
Sierpinski空間(Sierpiński space)とは、二点集合 $\{0,1\}$ に開集合系 $\{\emptyset,\{1\},\{0,1\}\}$ を入れた位相空間 $S$ のことであり、二点集合上の位相のうち離散でも密着でもない、同相を除いて唯一のものである。$1$ は開点かつ一般点、$0$ は閉点で、$S$ は $T_0$ 空間であるが $T_1$ 空間ではない最も簡単な例である。位相空間 $X$ の部分集合 $U$ の指示関数 $X\to S$ が連続であることと $U$ が開集合であることは同値であり、$X$ の開集合全体は連続写像 $X\to S$ の全体と一対一に対応する。$T_0$ 空間はちょうど $S$ の直積の部分空間と同相な空間である。$S$ は二元鎖の Alexandrov 位相かつ Scott 位相であり、離散付値環のスペクトルとも同相である。
1時間前に更新
Vitaliの被覆定理(Vitali covering theorem)とは、距離空間内の直径が一様に有界な集合族から、互いに交わらない部分族を選び、元の各集合を選ばれた集合の制御された拡大で覆えることを保証する被覆選択定理である。閉球族では5倍球による被覆(5r被覆補題)が得られ、fine coverから小さい非交差族を取り出す形とともに、Lebesgueの微分定理、極大関数、Hausdorff測度などの基礎となる。Besicovitchの被覆定理とは、球を膨らませる代わりに重複度を制御する点で異なる。
1時間前に更新
対数積分(logarithmic integral)とは、$1/\log t$ を積分して定まる特殊関数 $\operatorname{li}(x)$ のことであり、$x>1$ では $t=1$ の特異点を Cauchy の主値で処理する。$2$ から積分した $\operatorname{Li}(x)$ もよく用いられる。部分積分により漸近展開 $x/\log x+x/\log^2x+\cdots$ をもち、特に $x/\log x$ と漸近的に等しい。素数定理は $x$ 以下の素数の個数 $\pi(x)$ が $\operatorname{li}(x)$ で近似されることを述べ、これは $x/\log x$ よりはるかによい近似である。計算できる範囲では常に $\operatorname{li}(x)>\pi(x)$ だが、大小が逆になる $x$ が存在する。
1時間前に更新
有理型関数(meromorphic function)とは、複素平面の開集合や Riemann 面 $X$ 上で、閉かつ離散的な部分集合 $P$ を除いて正則であり、$P$ の各点が極(Laurent 展開の主要部が $0$ でない有限和、同値に $|f|\to\infty$)であるような関数のことである。極で $\infty$ とおけば Riemann 球面 $\mathbb{P}^1$ への正則写像と同一視される。$1/z$ や $1/\sin z$ が代表例で、$e^{1/z}$ のように真性特異点を持つものや $1/\sin(1/z)$ のように極が集積するものは含まない。連結な定義域上の有理型関数全体は体をなし、Riemann 球面上の有理型関数は有理関数に限り、零点と極の位数は離散付値にまとまって因子や Riemann–Roch の定理の基礎になる。
1時間前に更新
双曲計量(hyperbolic metric)とは、単位円板上の密度 $1/(1-|z|^2)$ を基準とし、Riemann写像によって単連結な真の平面領域へ移される等角不変な計量である。正則写像はSchwarz–Pickの補題によりこの距離を増加させず、円板の距離は $\operatorname{artanh}|(z-w)/(1-\bar zw)|$ で与えられ、測地線は境界円と直交する円弧になる。境界へ近づくと密度が発散し、Koebeの1/4定理からEuclid境界距離 $\delta_\Omega$ に対して $1/(4\delta_\Omega)\leq\lambda_\Omega\leq1/\delta_\Omega$ が従い、どちらの定数も最良である。正規化には曲率 $-4$ と $-1$ の二通りがあるため、係数2の違いに注意が必要である。
2時間前に更新
余核(cokernel)とは、零射をもつ圏の射 $f\colon A\to B$ に対し、$c\circ f=0$ を満たす射 $c\colon B\to C$ のうち、同じ条件を満たす任意の射が一意に経由する普遍的なものであり、核の双対概念である。アーベル群・加群の圏では商 $B/\operatorname{im}f$、群の圏では像の正規閉包による商として現れる。余核射はエピ射で、余核は射に関して関手的であり、自分の核の余核でもある。有限次元では核と余核の次元の差が $\dim A-\dim B$ に等しい。テンソル積は余核を保つが Hom 関手は保たない。
2時間前に更新
群の中心(center of a group)とは、群 $G$ の元のうち $G$ のすべての元と交換するもの全体からなる正規部分群 $Z(G)=\{x\in G\mid \forall y\in G,\ xy=yx\}$ のことであり、共役作用 $G\to\mathrm{Sym}(G)$ の核に等しい。$G$ がアーベル群であることと $Z(G)=G$ であることは同値で、中心の大きさは可換性の目安になるが、整数上の Heisenberg 群のように中心が無限でも可換とは限らない。$n\ge3$ の対称群 $S_n$ の中心は自明である一方、有限 $p$-群の中心は類等式により自明でなく、その自明でない正規部分群はすべて中心と自明でなく交わる。
2時間前に更新
Ind対象(ind-object)とは、圏 $\mathcal C$ の対象の族を、添字圏が有向集合のように振る舞う「フィルター圏」に沿って形式的に貼り合わせた余極限対象のことをいう。これらの全体は新しい圏 $\operatorname{Ind}(\mathcal C)$ をなし、$\mathcal C$ はその中に充満忠実に埋め込まれる。有限集合の全体から通常の集合を再構成できるように、Ind対象は「有限的・コンパクトな対象の余極限として一般の対象を回復する」という操作を圏論的に定式化したものである。
2時間前に更新