Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Непрерывность и иррациональные числа \

9.6.4.7.5. Неподвижные точки
(Ю. А. Шашкин, 1989)

Начало см. здесь.
Шашкин Ю. А.
Неподвижные точки.
М.: Наука, 1989.
9.6.4.7.5.0. Предисловие      9.6.4.7.5.1. Непрерывные отображения отрезка и квадрата      9.6.4.7.5.2. Первая комбинаторная лемма
9.6.4.7.5.6. Компактность      9.6.4.7.5.7. Доказательство теоремы Брауэра для отрезка
9.6.4.7.5.0. Предисловие      9.6.4.7.5.1. Непрерывные отображения отрезка и квадрата      9.6.4.7.5.2. Первая комбинаторная лемма
9.6.4.7.5.6. Компактность      9.6.4.7.5.7. Доказательство теоремы Брауэра для отрезка