1.4

Аксиома выбора

[4/0%]
LaTeX
Задача 1.4.1

Докажите, что произвольное декартово произведение непустых множеств непусто.

?
Задача 1.4.2

Докажите, что объединение счётного семейства счётных множеств счётно.

?
Задача 1.4.3

Докажите, что каждая сюръекция имеет правый обратный элемент.

?
Задача 1.4.4

Пусть RR — подмножество A×BA \times B, такое что для каждого a∈Aa \in A найдётся b∈Bb \in B, для которого (a,b)∈R(a, b) \in R. Докажите, что существует F⊂RF \subset R, определяющее функцию из AA в BB, т.е. для каждого a∈Aa \in A найдётся ровно один b∈Bb \in B, для которого (a,b)∈F(a, b) \in F.

?