Теорема Кантора–Бернштейна
В теории множеств и теории порядка теорема Кантора –Бернштейна утверждает, что мощность второго класса типов, класса счетных порядковых типов , равна мощности континуума . Она была использована Феликсом Хаусдорфом и названа им в честь Георга Кантора и Феликса Бернстайна . Кантор построил семейство счетных порядковых типов с мощностью континуума, и в своей вступительной диссертации 1901 года Бернстайн доказал, что такое семейство не может иметь более высокой мощности. [1]
Ссылки
- ^ Плоткин, Дж. М., ред. (2005). Хаусдорф об упорядоченных множествах. История математики. Т. 25. Американское математическое общество. стр. 3. ISBN 9780821890516..
