以下，位相空間 は第一可算，すなわち各点 が基本近傍系 をもつとする． 定理1 コンパクト第一可算空間は点列コンパクト．証明 第一可算空間 上の点列を とする． コンパクト性より，点 が存在して，任意の に対し， は無限項の を含む． よって部分列で と…

重積分の変数変換．

内積とノルム．Legendre 多項式．