от martin123456 » 22 Фев 2010, 20:48
a) [tex]x_0 \in \mathbb{Z}[/tex]
- [tex]f(x_0)=0[/tex]
-лява граница: нека [tex]{x_n} \rightarrow x_0, \hspace{2mm}x_n <x_0[/tex]=>за големи [tex]n[/tex] [tex][x_n]=x_0-1[/tex]=>[tex]f(x_n)=(x_0-1)\sin{(\pi x_n)} \rightarrow (x_0-1)\sin{(\pi x_0)}=0[/tex], понеже [tex]ag(x)[/tex], където [tex]f(x)[/tex] е непрекъсната е непрекъсната.
- дясна граница: нека [tex]{x_n} \rightarrow x_0, \hspace{2mm}x_n >x_0[/tex]=> за големи [tex]n[/tex] [tex][x_n]=x_0[/tex]=>[tex]f(x_n)=x_0\sin{(\pi x_n)} \rightarrow x_0\sin{(\pi x_0)}=0[/tex], понеже [tex]ag(x)[/tex], където [tex]f(x)[/tex] е непрекъсната е непрекъсната.
значи в цели числа е непрекъсната
б) [tex]x_0 \not \in \mathbb{Z}[/tex]. известно е че функцията [tex]g(x)=[x][/tex] е непрекъсната в [tex]x_0 \not \in \mathbb{Z}[/tex]. това доказвам по долу. като произведение на 2 непрекъснати функции и нашата е непрекъсната.
док на горното: [tex][x_0]<x_0<[x_0]+1[/tex]. [tex]\{x_n\} \rightarrow x_0[/tex]=> за големи [tex]n[/tex] [tex][x_0] < x_n < [x_0]+1[/tex]. => [tex]g(x_n)=[x_n]=[x_0][/tex] и значи е непрекъсната.