はてなキーワード: 距離空間とは
Xの点列(x_n)は以下をみたすとき、Cauchy列であるという。
任意のε > 0に対して、ある自然数Nが存在して、n, m ≧ Nならば、d(x_n, x_m) < ε。
収束する点列はCauchy列である。実際、lim[n→∞] x_n = x ならば、任意のε/2>0に対して、ある自然数Nが存在して、n>Nならば|x - x_n|<εとなるので、任意のε>0に対して、n, m>Nならば|x_n - x_m|≦|x - x_n| + |x -.x_m|<ε。
逆に、Xの任意のCachy列がXの点に収束するとき、Xは完備であるという。
(x_n)を実数のCauchy列とする。
まず、(x_n)は有界である。実際、ε>0に対して、Nが存在して、n>Nならば|x_n - x_N|<εなので、任意のiに対して、|x_i|≦max{|x_1|, |x_2|, ..., |x_N|, |x_N|+ε}である。
Bolzano-Weierstrassの定理より、有界な実数列は収束する部分列を含むので、自然数列n_1<n_2<...<n_i<...と実数xが存在して、lim[i→∞] x_(n_i) = xとなる。
xが(x_n)の極限である。lim[i→∞] x_(n_i) = xより、任意のε/2>0に対して、ある自然数Iが存在して、i>Iならば|x-x_(n_i)|<ε/2。(x_n)がCauchy列であることより、任意のε/2に対して、ある自然数Nが存在して、n, m>Nならば|x_n - x_m|<ε/2。この2つより、任意のε>0に対して、n>max{I, N}ならば、|x - x_n|≦|x - x_(n_n)| + |x_(n_n) - x_n|<ε。□
√2に収束する数列(1, 1.4, 1.41, ...)はCauchy列だが、Qの元に収束しない。
f_n(x)を以下で定める。
xが有理数で、xを既約分数a/bに表したとき、bがn!の約数ならば、f_n(x) = 1。それ以外は、f_n(x) = 0。
各f_nは有限個の点で1になる以外0なので、Riemann積分可能で、∫|f_n(x)|dx = 0。
しかし、その(各点収束)極限は、xが有理数のとき1、無理数のとき0となる関数であり、これはRiemann積分不可能。(有理数の稠密性から、区間の細分をどれだけ細かくとっても、各区間に1を取る点と0を取る点がそれぞれ存在するため、Riemann和が収束しない)