Hreiðruð bil

Úr Wikipediu, frjálsa alfræðiritinu

Hreiðruð bil á rauntalnalínunni er runa af bilum sem eru hreiðruð innan í hvoru öðru.

Ef að I1,I2,... eru lokuð bil, og I_1 \supset I_2 \supset ..., þá er gildir skv. setningunni um hreiðruð bil, sem Bernard Bolzano sannaði fyrstur, að

\bigcap_{i=1}^\infty I_i \ne \emptyset

Þetta er sértilfelli af reglu um hreiðruð mengi, þar sem að bil eru mengi.


  eiπ  

Þessi grein sem fjallar um stærðfræði er stubbur.
Þú getur hjálpað til með því að bæta við hana