Аксиома выбора
Многие слышали про аксиому выбора, но не все знают, в чём заключается этот самый выбор. Мы обсудим её формулировку, а также докажем разные следствия, которые без неё доказать нельзя, и некоторые из этих следствий весьма неожиданны. В частности, мы обсудим понятие вполне упорядоченного множества (их ещё иногда называют ординалами), и открываемую ими интересную технику работы с бесконечными множествами — трансфинитную индукцию. Для понимания первой лекции стоит знать, что такое множества и отображения и какие бывают счётные и несчётные множества.
Материалы
Материалы