Потужність множини: відмінності між версіями

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
Рядок 26:
 
== Потужність нескінченних множин ==
В загальному випадку, справедливому і для нескінченних множин, множини ''A'' та ''B'' є ''рівнопотужні[[Рівнопотужність|рівнопотужними]]'', або мають однакову потужність, якщо можна встановити взаємно однозначну відповідність між елементами цих множин, тобто якщо існує [[бієкція]] f:''A''→''B''. Рівнопотужні множини позначаються як ''A'' ~ ''B''.
 
Відношення рівнопотужності є [[рефлексивність|рефлексивним]], [[симетричність (відношеня)|симетричним]] та [[транзитивність|транзитивним]], тобто є [[відношення еквівалентності|відношенням еквівалентності]].
Рядок 49:
 
=== Потужність континууму ===
Про множини, [[Рівнопотужність|рівнопотужні]] множині дійсних чисел [або дійсних чисел з інтервалу (0, 1)] кажуть, що вони мають потужність [[Континуум (теорія множин)|континууму]], і потужність таких множин позначається символом ''c''. [[Континуум-гіпотеза]] стверджує, що с=<math>\aleph_1</math>.
 
== Властивості ==
Рядок 65:
== Див. також ==
* [[Порядкове число]]
* [[Рівнопотужність]]
 
== Література ==