alt text

задан 15 Сен '17 19:54

1

См. Статью в Википедии "Лемма Цорна".

(15 Сен '17 22:15) Амфибрахий

Эта вещь называется "базис Гамеля". Стандартное доказательство (оно по своей природе "неконструктивно") использует лемму Цорна. Можно также было бы применить теорему Цермело и трансфинитную индукцию.

(16 Сен '17 0:27) falcao

@falcao: Так теорема Цермело эквивалентна лемме Цорна. На матлоге было док-во, насколько я помню.

(16 Сен '17 0:51) stander

@stander: да, конечно. То и другое эквивалентно аксиоме выбора. Но здесь речь о том, при помощи каких средств это проще доказывать. В этом смысле у леммы Цорна, наверное, нет "конкурентов".

Забавно то, что аксиома выбора кажется "очевидной", а вот эквивалентные ей утверждения уже таковыми не выглядят.

(16 Сен '17 1:19) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×417

задан
15 Сен '17 19:54

показан
230 раз

обновлен
16 Сен '17 1:19

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru