Чтобы доказать, что множество простых чисел вида \( \frac{1}{2^n} \), где \( n \in \mathbb{N} \), счётное, давайте рассмотрим, что мы имеем.
Определение счётного множества: Множество называется счётным, если его элементы можно сопоставить с натуральными числами. Другими словами, если можно построить взаимно однозначное соответствие между этим множеством и множеством натуральных чисел.
Простые числа: Простыми числами являются такие числа, которые имеют только два делителя: 1 и само число. В нашем случае, мы ищем простые числа, которые можно представить в форме \( \frac{1}{2^n} \).
Рассмотрим множество: Для каждого \( n \in \mathbb{N} \), мы можем взять значение \( \frac{1}{2^n} \). Эти числа будут:
- \( \frac{1}{2^1} = \frac{1}{2} \)
- \( \frac{1}{2^2} = \frac{1}{4} \)
- \( \frac{1}{2^3} = \frac{1}{8} \)
- и так далее.
Обратите внимание: Все числа вида \( \frac{1}{2^n} \) являются дробями, где числитель равен 1, а знаменатель — 2 возведённой в степень \( n \). Однако эти числа не могут быть простыми, так как простые числа определяются как натуральные, а \( \frac{1}{2^n} \) не является натуральным числом.
Заключение: Множество простых чисел не содержит элементов вида \( \frac{1}{2^n} \), потому что простые числа — это натуральные числа, и данное множество не имеет ни одного элемента. Поскольку пустое множество также считается счётным множеством, то множество простых чисел вида \( \frac{1}{2^n} \) действительно счётное, так как его элементы можно сопоставить с пустым множеством или считать его в контексте счётных множеств.
Таким образом, мы пришли к выводу, что множество простых чисел вида \( \frac{1}{2^n} \), где \( n \in \mathbb{N} \), является счётным.