ボルツァーノ＝ワイエルシュトラスの定理
数学、特に実解析におけるボルツァノ–ヴァイヤシュトラスの定理（ボルツァノ–ヴァイヤシュトラスのていり、）は、ベルナルト・ボルツァーノおよびカール・ヴァイヤシュトラスに名を因む、有限次元ユークリッド空間 における収束に関する基本的な結果である。定理は「 内の任意の有界数列が収束する部分列を持つこと」を主張する。これと同値な定式化として、「 の部分集合が点列コンパクトであるための必要十分条件は、それが有界閉集合となることである」という形で述べることができる。この定理をしばしば ( の) 点列コンパクト性定理とも言う。