Dirichlet Fonksiyonu

Question

$$f(x)=\left\{\begin{array}{ccc} 0 & , & x\in\mathbb{Q}\\ 1 & , & x\notin\mathbb{Q}\end{array}\right.$$ kuralı ile verilen $$f:\mathbb{R}\to\mathbb{R}$$ fonksiyonu için $a\in\mathbb{R}$ olmak üzere $$(\exists \epsilon>0)(\forall \delta>0)(\exists x\in\mathbb{R})(|x-a|<\delta\wedge |f(x)-f(a)|\geq \epsilon)$$ önermesinin doğru olduğunu gösteriniz.

Answer 1

$a\in\mathbb{Q}$  ve  $a\in\mathbb{I}$  olmak üzere $2$ durum inceleyeceğiz. (Neden?)

 

I. Durum: $a\in\mathbb{Q}$  olsun.

$\epsilon=1$ olmak üzere her $\delta>0$ için $x:=\left\{\begin{array}{ccc} a+\frac{\delta}{\sqrt{2}} & , &  \delta\in\mathbb{Q} \\ a+\frac{\delta}{2} & , & \delta\in\mathbb{I} \end{array}\right.$ seçilirse 

$$|x-a|<\delta \wedge |f(x)-f(a)|=|f(x)-0|=f(x)=1\geq 1=\epsilon$$

koşulu sağlanır.

 

II. Durum: $a\in\mathbb{I}$  olsun.

$\epsilon=1$ olmak üzere her $\delta>0$ için $x:=\left\lfloor a+\frac{\delta}{2}\right\rfloor \in\mathbb{R}$ seçilirse 

$$|x-a|=\left|\left\lfloor a+\frac{\delta}{2}\right\rfloor-a\right|<\delta \wedge |f(x)-f(a)|=|0-1|=1\geq 1=\epsilon$$

koşulu sağlanır.

 

O halde $$(\exists \epsilon>0)(\forall \delta>0)(\exists x\in\mathbb{R})(|x-a|<\delta\wedge |f(x)-f(a)|\geq \epsilon)$$ önermesi doğrudur.