Wie können Sie anhand der Definition der Konvergenz beweisen, dass die Sequenz {2 ^ -n} von n = 1 bis unendlich geht?

Wie können Sie anhand der Definition der Konvergenz beweisen, dass die Sequenz {2 ^ -n} von n = 1 bis unendlich geht?
Anonim

Antworten:

Verwenden Sie die Eigenschaften der Exponentialfunktion, um N wie z # | 2 ^ (- n) -2 ^ (- m) | <epsilon # für jeden # m, n> N #

Erläuterung:

Die Definition der Konvergenz besagt, dass die #{ein}# konvergiert, wenn:

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

Also gegeben #epsilon> 0 # nehmen #N> log_2 (1 / epsilon) # und # m, n> N # mit #m <n #

Wie #m <n #, # (2 ^ (- m) - 2 ^ (- n))> 0 # so # | 2 ^ (- m) - 2 ^ (- n) | = 2 ^ (- m) - 2 ^ (- n) #

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

Jetzt als # 2 ^ x # ist immer positiv, # (1- 2 ^ (m-n)) <1 #, so

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

Und wie # 2 ^ (- x) # nimmt strikt ab und #m> N> log_2 (1 / epsilon) #

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

Aber:

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

So:

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

Q.E.D.