ヘリーの選択定理
数学におけるヘリーの選択定理（ヘリーのせんたくていり、）は、局所的に有界変動函数であり、ある点において一様有界であるような函数は収束を持つ、ということを述べた定理である。言い換えると、空間 BVloc に対するコンパクト性定理である。オーストラリアの数学者であるエードゥアルト・ヘリーの名にちなむ。
この定理は解析学において広く応用されている。確率論において、この結果は緊密な測度の族のコンパクト性を意味する。