Używając definicji zbieżności, jak udowodnić, że sekwencja {2 ^ -n} zbiega się od n = 1 do nieskończoności?

Używając definicji zbieżności, jak udowodnić, że sekwencja {2 ^ -n} zbiega się od n = 1 do nieskończoności?
Anonim

Odpowiedź:

Użyj właściwości funkcji wykładniczej do określenia N, takiego jak # | 2 ^ (- n) -2 ^ (- m) | <epsilon # dla każdego # m, n> N #

Wyjaśnienie:

Definicja zbieżności stwierdza, że #{na}# zbiega się, jeśli:

#AA epsilon> 0 "" EE N: AA m, n> N "" | a_n-a_m | <epsilon #

Tak, biorąc pod uwagę #epsilon> 0 # brać #N> log_2 (1 / epsilon) # i # m, n> N # z #m <n #

Tak jak #m <n #, # (2 ^ (- m) - 2 ^ (- n))> 0 # więc # | 2 ^ (- m) - 2 ^ (- n) | = 2 ^ (- m) - 2 ^ (- n) #

# 2 ^ (- m) - 2 ^ (- n) = 2 ^ (- m) (1- 2 ^ (m-n)) #

Teraz jak # 2 ^ x # jest zawsze pozytywne # (1- 2 ^ (m-n)) <1 #, więc

# 2 ^ (- m) - 2 ^ (- n) <2 ^ (- m) #

I jako # 2 ^ (- x) # ściśle się zmniejsza i #m> N> log_2 (1 / epsilon) #

# 2 ^ (- m) - 2 ^ (- n) <2 ^ (- m) <2 ^ (- N) <2 ^ (- log_2 (1 / epsilon) #

Ale:

# 2 ^ (- log_2 (1 / epsilon)) = 2 ^ (log_2 (epsilon)) = epsilon #

Więc:

# | 2 ^ (- m) - 2 ^ (- n) | <epsilon #

co było do okazania