Преброеност и неизброимост на множествата

Търсене на навигационен изглед

Навигация

  • Тук ли си:
  • У дома
  • Математическа логика и теория на множествата.
  • Преброеност и неизброимост на множествата. Равна мощност на множествата.

Литература: Сборник от задачи по математика. Част 1. Под редакцията на А. В. Ефимов, Б. П. Демидович.

Множеството $ X $ се нарича преброено, ако между елементите от това множество и елементите от множеството $ N $ на всички естествени числа (т.е. елементите на множеството $ X $ могат да бъдат номерирани 1, 2,.).

Примери за.

Докажете, че следните набори са преброени:

Решение.

Нека установим еднозначно съответствие между елементите от това множество и естествените числа, например, като подредим множеството $ \ $, както следва:

$ 2, 4, 6, 8,. $$ и след това на всеки елемент от множеството, присвоявайки поредния му номер в тази последователност $$ 1, 2, 3, 4,. . $$ По този начин даденият набор е преброим.

Q.E.D.

Решение.

Поръчваме набора $ \ $, както следва:

$$ 2 ^ 1, 2 ^ 2, 2 ^ 3, 2 ^ 4,. $$ след това към всеки елемент от множеството, като въведе в кореспонденция неговия пореден номер в тази последователност. По този начин е установено еднозначно съответствие между дадения набор и множеството естествени числа. Следователно множеството $$ \ $$ е преброено.

Q.E.D.

1.68. Нека $ X_1, X_2, X_3,. - $ преброими комплекти. Докажете, че тяхната конкатенация $ \ bigcup \ limit_ X_n- $ е преброена.

Решение.

Нека $ X_n = \, x_,. х_. \>. $ Тогава елементите на множеството $ \ bigcup \ limit_ X_n $ могат да бъдат записани като следната таблица:

Нека изброим елементите на тази таблица, както следва: като първия елемент вземаме елемента $ x _, $ следващите два елемента са елементите по диагонала $ x_ $ и $ x _, $ след това преброяваме трите елемента на следващ диагонал $ x _, \, \, x_ $ и $ x_ $ и т.н. По този начин всеки елемент от множеството $ \ bigcup \ limit_ X_n $ може да бъде свързан с естествено число (поредният номер на елемента, ако те се броят съгласно горната схема). Следователно даденият набор е преброим.