№9
Теорема Кантора о вложенных отрезках
Если
и
=0
то существует единственная точка,принадлежащая всем отрезкам
-неубывающая
последовательность
![]()
-невозрастающая
последовательность
![]()
![]()
![]()
следовательно,
=sup(
)
=inf(
)
0 ≤ b-a ≤
-
=> b=a,
а значит,это и есть та единственная точка