$a<b$ olmak üzere $$(a,b)=\cup_{n\in\mathbb{N}} \left(a,b-\frac{b-a}{2n}\right]$$ olduğunu gösteriniz.

0 beğenilme 0 beğenilmeme
23 kez görüntülendi

İlgili sorudaki bilgiyi kullanarak

$a<b$ olmak üzere $$(a,b)=\cup_{n\in\mathbb{N}} \left(a,b-\frac{b-a}{2n}\right]$$ olduğunu gösteriniz.

6, Kasım, 6 Lisans Matematik kategorisinde murad.ozkoc (8,972 puan) tarafından  soruldu

1 cevap

1 beğenilme 0 beğenilmeme

$\mathcal{A}=\left\{\left(a,b-\frac{b-a}{2n}\right]\Big{|}n\in\mathbb{N}\right\}$ diyelim.

$$(\forall n\in\mathbb{N})\left(b-\frac{b-a}{2n}<b\right)$$

$$\Rightarrow$$

$$(\forall n\in\mathbb{N}) \left(\left(a,b-\frac{b-a}{2n}\right] \subseteq (a,b)\right)$$

$$\Rightarrow$$

$$\cup_{n\in\mathbb{N}} \left(a,b-\frac{b-a}{2n}\right]=\cup\mathcal{A}\subseteq (a,b)\ldots (1)$$

Şimdi de

$$(a,b) \subseteq \cup\mathcal{A}$$ olduğunu gösterelim. Bunun için $$x\in (a,b)\Rightarrow x\in \cup\mathcal{A}$$ önermesinin doğru olduğunu veya bununla aynı anlama gelen $$x\notin \cup \mathcal{A}\Rightarrow x\notin (a,b)$$ önermesinin doğru olduğunu göstermeliyiz.

$x\notin \cup \mathcal{A}$ olsun.

$$x\notin \cup \mathcal{A}$$

$$\Rightarrow$$

$$(\forall n\in\mathbb{N})\left(x\notin \left(a,b-\frac{b-a}{2n}\right]\right)$$

$$\Rightarrow$$

$$(\forall n\in\mathbb{N})\left(x\leq a \vee b-\frac{b-a}{2n}\leq x\right)$$

$$\overset{?_1}{\Rightarrow}$$

$$x\leq a \vee \underset{b\leq x}{\underbrace{(\forall n\in\mathbb{N})\left(b-\frac{b-a}{2n}\leq x\right)}}$$

$$\overset{?_2}{\Rightarrow}$$

$$x\leq a \vee b\leq x$$

$$\Rightarrow$$

$$x\in (-\infty, a] \vee x\in [b,\infty)$$

$$\Rightarrow$$

$$x\in (-\infty, a]\cup [b,\infty)$$

$$\Rightarrow$$

$$x\notin (a,b).$$

6, Kasım, 6 murad.ozkoc (8,972 puan) tarafından  cevaplandı
6, Kasım, 6 murad.ozkoc tarafından düzenlendi

$?_2$ olduğu yerdeki geçişin gerekçesi için ilgili soruya bakınız.

$?_1$ olduğu yerdeki geçişin gerekçesi için buradaki linki tıklayın.

Bu ispatta $p \implies q \equiv q' \implies p'$ karşıt ters kullanımı etkili ve güzel oldu.

...