Докажите что множество чисел вида 2^n(n принадлежит N) счетно

Чтобы доказать, что множество чисел вида \( 2^n \), где \( n \) принадлежит множеству натуральных чисел \( \mathbb{N} \), считается счетным, нам нужно показать, что это множество можно сопоставить с множеством натуральных чисел.

Рассмотрим множество \( S = \{ 2^n \mid n \in \mathbb{N} \} \). Это множество состоит из элементов \( 2^1, 2^2, 2^3, \ldots \) и так далее. Поскольку для каждого натурального числа \( n \) существует единственное число \( 2^n \), мы можем установить однозначное соответствие между элементами множества \( S \) и множеством натуральных чисел \( \mathbb{N} \).

Это соответствие выглядит следующим образом:

\[ f: \mathbb{N} \to S, \quad f(n) = 2^n \]

Таким образом:

• \( f(1) = 2^1 = 2 \)
• \( f(2) = 2^2 = 4 \)
• \( f(3) = 2^3 = 8 \)
• и так далее.

Каждое \( n \in \mathbb{N} \) соответствует своему \( 2^n \in S \), и наоборот, каждое число вида \( 2^n \) происходит за счет некоторого \( n \).

Так как мы установили взаимно однозначное соответствие между множеством натуральных чисел и множеством \( S \), можно утверждать, что \( S \) является счетным множеством.

Таким образом, множество чисел вида \( 2^n \), где \( n \in \mathbb{N} \), является счетным.