logo
Otvety_matan_Pochti_vsyo

Теорема о единственности точной верхней/нижней грани.

Теорема: точная верхняя грань- единственна.

Док-во:

Пусть у нас есть 2 ТВГ b1и b2 ;b1 <b2.Пусть есть E=b2-b1>0.

По определению ТВГ для b2 ∃x Ex:x>b2-E=b пришли к противоречию ЧТД.