Bolzano-Weierstrass setningin

Bolzano-Weierstraß setningin er setning kennd við tékkneska stærðfræðinginn Bernard Bolzano, og þýska samstarfsmann hans Karl Weierstraß.

Setningin

Á rauntalnalínunni

Sérhvert óendanleg, takmarkað hlutmengi í rauntalnamenginu $\mathbb {R}$ hefur þéttipunkt í $\mathbb {R}$. Einnig væri hægt að segja: Sérhver takmörkuð rauntalnaruna hefur samleitna hlutrunu.

Almennt

Sérhvert óendanlegt, algjörlega takmarkað hlutmengi í firðrúmi M hefur þéttipunkt í M.

Tengt efni

• Cauchyruna
• Heine-Borel setningin
• Þjöppuð mengi
• Fullkomið mengi