$(\frac{1}{n})$ dizisinin büzen (contractive) bir dizi olmadığını gösteriniz.

Question

$\left(\dfrac{1}{n}\right)$ dizisinin büzen (contractive) bir dizi olmadığını gösteriniz.

Tanım: $(x_n)\in\mathbb{R}^{\mathbb{N}}$ yani $(x_n)$ bir gerçel sayı dizisi olsun.

$(x_n), \text{ büzen dizi}:\Leftrightarrow (\exists c\in (0,1))(\forall n\in\mathbb{N})(|x_{n+2}-x_{n+1}|\leq c\cdot |x_{n+1}-x_n|)$

Answer 1

$c \left( \dfrac{1}{n}  - \dfrac{1}{n+1}\right) \geq \left( \dfrac{1}{n+1}  - \dfrac{1}{n+2}\right)$ eşitsizliğinden $c \geq \dfrac{n}{n+2}$ elde edilir. $ f(n) = \dfrac{n}{n+2}$ dersek $ f(n) = 1 - \dfrac{2}{n+1}$ olup $f$ monoton artan bir dizidir. Ayrıca $ \displaystyle {\lim_{n\to \infty}} f(n) = 1$ olur. Yani, $f$ nin $1$'e istediğimiz kadar yakın ve sonsuz çoklukta terimi bulunur. Her $n$ pozitif tam sayısı için

$$ c \geq f(n) \implies c \geq 1 $$

elde ederiz. $c\not \in (0,1)$ olup $\left(\dfrac{1}{n}\right)$ dizisinin büzen (contractive) bir dizi olmadığını anlarız.

Answer 2

Bir $(x_n)_n\in\mathbb{R}^{\mathbb{N}}$ gerçel sayı dizisinin bir büzen dizi olması 

$$(\exists c\in (0,1))(\forall n\in\mathbb{N})(|x_{n+2}-x_{n+1}| \leq c\cdot |x_{n+1}-x_n|)$$ önermesinin doğru olması şeklinde tanımlandığına göre, bir dizinin büzen dizi olmaması da

$$(\exists c\in (0,1))(\forall n\in\mathbb{N})(|x_{n+2}-x_{n+1}| \leq c\cdot |x_{n+1}-x_n|)$$

önermesinin DOĞRU OLMAMASI yani

$$(\exists c\in (0,1))(\forall n\in\mathbb{N})(|x_{n+2}-x_{n+1}| \leq c\cdot |x_{n+1}-x_n|)$$

önermesinin değilinin DOĞRU OLMASI yani

$$(\forall c\in (0,1))(\exists n\in\mathbb{N})(|x_{n+2}-x_{n+1}| > c\cdot |x_{n+1}-x_n|)$$

önermesinin DOĞRU OLMASI anlamına gelir.

Şimdi $$(\forall c\in (0,1))(\exists n\in\mathbb{N})(|x_{n+2}-x_{n+1}| > c\cdot |x_{n+1}-x_n|)$$ önermesinin doğru olduğunu gösterelim.

Her $c\in (0,1)$ için $n:=\left\lfloor \frac{2c}{1-c}\right\rfloor +1$ seçilirse

$n:=\left\lfloor \frac{2c}{1-c}\right\rfloor+1 \Rightarrow n > \frac{2c}{1-c}\Rightarrow \frac{n}{n+2}>c\Rightarrow \frac{1}{(n+1)(n+2)}>c\cdot \frac{1}{n(n+1)}$

olur. O halde genel terimi $\frac{1}{n}$ olan $(\frac{1}{n})_{n\in\mathbb{N}}$ dizisi, büzen bir dizi değildir.