Функция Римана непрерывна во всех иррациональных и разрывна во всех рациональных точках

Сообщения: 3 🔎

# 22 Июл 2016 21:15:55
Evgeniy

Эта функция имеет и много других названий: функция Томе (примеч. Carl Johannes Thomae (1840 – 1921) — немецкий математик), модифицированная функция Дирихле, поп-корн (popcorn) функция, функция дождевых капель (raindrop), функция счетных облаков (countable cloud), функция линейки (ruler) или Звезды над Вавилоном (Stars over Babylon).

Функция Римана является простейшим примером функции, которая непрерывна во всех иррациональных точках и разрывна во всех рациональных точках. Функция Римана определяется так:

$f(x)= \begin{cases} \dfrac{1}{n}, & \text{если}\ x=\dfrac{m}{n},\ m\in\mathbb{Z},\, n\in\mathbb{N}\\ 0, & \text{если}\ x\in\mathbb{R}\setminus\mathbb{Q}, \end{cases}$

где $\dfrac{m}{n}$ — несократимая дробь (для любого рационального числа существует его представление в виде несократимой дроби).

Докажем, что функция Римана непрерывна во всех иррациональных точках.

Для произвольного $\varepsilon > 0$ рассмотрим множество

$M=\{x\in\mathbb{R}\colon f(x) \ge \varepsilon\}$ .

Никакая иррациональная точка не лежит в $M$ , поскольку в иррациональных точках функция $f$ обращается в ноль.

Если $x\in M$ , тогда $x$ есть рациональное число вида $x=\dfrac{m}{n}$ , где $m\in\mathbb{Z},\ n\in\mathbb{N}$ , дробь $\dfrac{m}{n}$ несократима, и тогда $f(x)=\dfrac{1}{n} \ge \varepsilon$ и, следовательно, $n \le \dfrac{1}{\varepsilon}$ . Из ограничения на $n$ следует, что пересечение множества $M$ и любого ограниченного интервала состоит из конечного числа точек.

Пусть $\alpha$ — произвольное иррациональное число. По определению $f(\alpha)=0$ . Мы можем выбрать окрестность точки $\alpha$ так, чтобы в ней не содержалась ни одна точка множества $M$ . Если же $x \notin M$ , то $f(x) < \varepsilon$ . Таким образом, мы нашли интервал, который требуется в определении непрерывности.

Теперь докажем, что функция Римана разрывна во всех рациональных точках.

Пусть $q$ — произвольное рациональное число. По определению $f(q)>0$ . В любой окрестности рационального числа $q$ найдутся иррациональное число $\beta$ и $f(\beta)=0$ . Таким образом, условие непрерывности не выполняется.

Цитировать

# 6 Янв 2020 17:50:59
ИгорьМехМат

Единственный коммент, на такое классное объяснение!

Вижу так мало комментариев(ни одного), поэтому решил написать свой о том как хороша эта информация, спасибо вам большое понял очень точно что и хотел, уже не зря потратили своё время, благодарю!

Цитировать

# 20 Окт 2022 22:52:59
Андрей МФТИ

Отличная заметка!

Автору - респект, кратко и понятно разложил всё по полочкам. Спасибо!

Цитировать

Сообщения: 3 🔎


*Имя:
Заголовок:
[tex-clear] [tex-help] [ted] formulas > Формат Шрифт $\mathit{}$ $\mathbf{}$ $\mathrm{}$ $\mathsf{}$ $\mathfrak{}$ $\mathbb{}$ $\mathcal{}$ $\mathscr{}$ Размер $\tiny Aa$ $\scriptsize Aa$ $\footnotesize Aa$ $\small Aa$ $\normalsize Aa$ $\large Aa$ $\Large Aa$ $\LARGE Aa$ $\huge Aa$ $\Huge Aa$ Цвет ${\color{Red} }$ ${\color{DarkRed} }$ ${\color{BrickRed} }$ ${\color{Magenta} }$ ${\color{VioletRed} }$ ${\color{Yellow} }$ ${\color{Orange} }$ ${\color{DarkOrange} }$ ${\color{Brown} }$ ${\color{Sepia} }$ ${\color{Green} }$ ${\color{DarkGreen} }$ ${\color{ForestGreen} }$ ${\color{Teal} }$ ${\color{Emerald} }$ ${\color{Blue} }$ ${\color{DarkBlue} }$ ${\color{RoyalBlue} }$ ${\color{BlueViolet} }$ ${\color{Purple} }$ ${\color{Gray} }$ ${\color{Plum} }$ ${\color{Cyan} }$ Стиль \text{} $\tstyle$ $\dstyle$ Дроби, корни $\frac{}{}$ $\tfrac{}{}$ $\dfrac{}{}$ $\cfrac{}{}$ $\over$ $\atop$ $\sqrt{}$ $\sqrt[]{}$ $\binom{}{}$ $\tbinom{}{}$ Скобки $()$ $\{\}$ $[]$ $\|\|$ $\\|\\|$ $\langle \rangle$ $\left( \right)$ $\left\{ \right\}$ $\left[ \right]$ $\left\| \right\|$ $\left\\| \right\\|$ $\left\langle \right\rangle$ $\left( \right.$ $\left. \right)$ $\left\{ \right.$ $\left. \right\}$ $\left[ \right.;$ $\left. \right]$ $\left\| \right.;$ $\left. \right\|$ Декор., индексы $^{}$ $_{}$ $^{}_{}$ ${}^{}$ ${}_{}$ ${}^{}_{}$ $\leftidx{}{}{}$ $\ltrans{}$ $\vec{}$ $\bar{}$ $\tilde{}$ $\hat{}$ $\dot{}$ $\ddot{}$ $\dddot{}$ $^{\circ}$ $\overset{\circ}{}$ $\overset{\frown}{}$ $\overrightarrow{}$ $\overleftarrow{}$ $\overline{}$ $\underline{}$ $\widetilde{}$ $\widehat{}$ $\overbrace{}^{}$ $\underbrace{}_{}$ $\overset{}{}$ $\underset{}{}$ $\left. \right\|_{}^{}$ $\left. \right\|_{}$ $\not{}$ $\cancel{}$ $\bcancel{}$ $\xcancel{}$ Пробелы, разд. $\!$ $x y$ $\,$ $\;$ $\$ $\quad$ $\qquad$ $\cdot$ $\dots$ $\cdots$ $\ddots$ $\vdots$ $\colon$ $\mid$ \phantom{} \mathstrut{} Квант., операц. $\forall$ $\exists$ $\exists!$ $\nexists$ $\lnot$ $\land$ $\lor$ $\cup$ $\cap$ $\sqcup$ $\sqcap$ $\setminus$ $\bigtriangleup$ $\uplus$ $\cdot$ $\circ$ $\times$ $\pm$ $\mp$ $\dotplus$ $\div$ $/$ $\neg$ $\wedge$ $\vee$ $\barwedge$ $\veebar$ $\curlywedge$ $\curlyvee$ $\textasciicircum$ $\oplus$ $\ominus$ $\otimes$ $\oslash$ $\odot$ $\circledcirc$ $\circledast$ Отношения $\in$ $\notin$ $\ni$ $\not\ni$ $\subset$ $\supset$ $\not\subset$ $\not\supset$ $\subseteq$ $\supseteq$ $\nsubseteq$ $\nsupseteq$ $\subsetneq$ $\supsetneq$ $\subsetneqq$ $\supsetneqq$ $\neq$ $\approx$ $\equiv$ $\not\equiv$ $\sim$ $\nsim$ $\cong$ $\ncong$ $\leqslant$ $\geqslant$ $\nleqslant$ $\ngeqslant$ $\le$ $\ge$ $\nleq$ $\ngeq$ $\nless$ $\ngtr$ $\lneq$ $\gneq$ $\lneqq$ $\gneqq$ $\ll$ $\gg$ $\prec$ $\succ$ $\nprec$ $\nsucc$ $\preceq$ $\succeq$ $\npreceq$ $\nsucceq$ $:=$ $\overset{\mathrm{def}}{=}$ $\triangleq$ $\models$ $\vdash$ $\dashv$ $\mid$ $\nmid$ $\mathop{\vdots}$ $\mathop{\not\vdots}$ $\parallel$ $\nparallel$ $\perp$ $\not\perp$ Большие операт. $\sum_{}^{}$ $\sum_{}$ $\prod_{}^{}$ $\prod_{}$ $\bigcup_{}^{}$ $\bigcup_{}$ $\bigcap_{}^{}$ $\bigcap_{}$ $\bigsqcup_{}^{}$ $\biguplus_{}^{}$ $\bigvee_{}^{}$ $\bigwedge_{}^{}$ $\bigoplus_{}^{}$ $\bigotimes_{}^{}$ $\bigodot_{}^{}$ Стрелки $\to$ $\mapsto$ $\rightarrow$ $\leftarrow$ $\leftrightarrow$ $\nrightarrow$ $\nleftarrow$ $\nleftrightarrow$ $\Rightarrow$ $\Leftarrow$ $\Leftrightarrow$ $\nRightarrow$ $\nLeftarrow$ $\nLeftrightarrow$ $\Uparrow$ $\Downarrow$ $\Updownarrow$ $\rightrightarrows$ $\longmapsto$ $\longrightarrow$ $\longleftarrow$ $\longleftrightarrow$ $\uparrow$ $\downarrow$ $\updownarrow$ $\Longrightarrow$ $\Longleftarrow$ $\Longleftrightarrow$ $\implies$ $\iff$ $\rightleftarrows$ $\nearrow$ $\swarrow$ $\nwarrow$ $\searrow$ $\circlearrowleft$ $\circlearrowright$ $\curvearrowleft$ $\curvearrowright$ $\xrightarrow[]{}$ $\xleftarrow[]{}$ Буквы, значки Греческие $\Gamma$ $\Delta$ $\Theta$ $\Lambda$ $\Xi$ $\Pi$ $\Sigma$ $\Upsilon$ $\Phi$ $\Psi$ $\Omega$ $\digamma$ $\alpha$ $\beta$ $\gamma$ $\delta$ $\epsilon$ $\varepsilon$ $\zeta$ $\eta$ $\theta$ $\vartheta$ $\iota$ $\kappa$ $\varkappa$ $\lambda$ $\mu$ $\nu$ $\xi$ $\pi$ $\varpi$ $\rho$ $\varrho$ $\sigma$ $\varsigma$ $\tau$ $\upsilon$ $\phi$ $\varphi$ $\chi$ $\psi$ $\omega$ Резные $\mathbb{A}$ $\mathbb{B}$ $\mathbb{C}$ $\mathbb{D}$ $\mathbb{E}$ $\mathbb{F}$ $\mathbb{G}$ $\mathbb{H}$ $\mathbb{I}$ $\mathbb{J}$ $\mathbb{K}$ $\mathbb{L}$ $\mathbb{M}$ $\mathbb{N}$ $\mathbb{O}$ $\mathbb{P}$ $\mathbb{Q}$ $\mathbb{R}$ $\mathbb{S}$ $\mathbb{T}$ $\mathbb{U}$ $\mathbb{V}$ $\mathbb{W}$ $\mathbb{X}$ $\mathbb{Y}$ $\mathbb{Z}$ Калиграф. $\mathcal{A}$ $\mathcal{B}$ $\mathcal{C}$ $\mathcal{D}$ $\mathcal{E}$ $\mathcal{F}$ $\mathcal{G}$ $\mathcal{H}$ $\mathcal{I}$ $\mathcal{J}$ $\mathcal{K}$ $\mathcal{L}$ $\mathcal{M}$ $\mathcal{N}$ $\mathcal{O}$ $\mathcal{P}$ $\mathcal{Q}$ $\mathcal{R}$ $\mathcal{S}$ $\mathcal{T}$ $\mathcal{U}$ $\mathcal{V}$ $\mathcal{W}$ $\mathcal{X}$ $\mathcal{Y}$ $\mathcal{Z}$ Рукописные $\mathscr{A}$ $\mathscr{B}$ $\mathscr{C}$ $\mathscr{D}$ $\mathscr{E}$ $\mathscr{F}$ $\mathscr{G}$ $\mathscr{H}$ $\mathscr{I}$ $\mathscr{J}$ $\mathscr{K}$ $\mathscr{L}$ $\mathscr{M}$ $\mathscr{N}$ $\mathscr{O}$ $\mathscr{P}$ $\mathscr{Q}$ $\mathscr{R}$ $\mathscr{S}$ $\mathscr{T}$ $\mathscr{U}$ $\mathscr{V}$ $\mathscr{W}$ $\mathscr{X}$ $\mathscr{Y}$ $\mathscr{Z}$ Готические $\mathfrak{A}$ $\mathfrak{B}$ $\mathfrak{C}$ $\mathfrak{D}$ $\mathfrak{E}$ $\mathfrak{F}$ $\mathfrak{G}$ $\mathfrak{H}$ $\mathfrak{I}$ $\mathfrak{J}$ $\mathfrak{K}$ $\mathfrak{L}$ $\mathfrak{M}$ $\mathfrak{N}$ $\mathfrak{O}$ $\mathfrak{P}$ $\mathfrak{Q}$ $\mathfrak{R}$ $\mathfrak{S}$ $\mathfrak{T}$ $\mathfrak{U}$ $\mathfrak{V}$ $\mathfrak{W}$ $\mathfrak{X}$ $\mathfrak{Y}$ $\mathfrak{Z}$ $\mathfrak{a}$ $\mathfrak{b}$ $\mathfrak{c}$ $\mathfrak{d}$ $\mathfrak{e}$ $\mathfrak{f}$ $\mathfrak{g}$ $\mathfrak{h}$ $\mathfrak{i}$ $\mathfrak{j}$ $\mathfrak{k}$ $\mathfrak{l}$ $\mathfrak{m}$ $\mathfrak{n}$ $\mathfrak{o}$ $\mathfrak{p}$ $\mathfrak{q}$ $\mathfrak{r}$ $\mathfrak{s}$ $\mathfrak{t}$ $\mathfrak{u}$ $\mathfrak{v}$ $\mathfrak{w}$ $\mathfrak{x}$ $\mathfrak{y}$ $\mathfrak{z}$ Значки $\varnothing$ $\infty$ $\partial$ $\aleph$ $\mathfrak{c}$ $\ell$ $\hbar$ $\O$ $\bot$ $\top$ $\angle$ $\measuredangle$ $\sphericalangle$ $\frown$ $\smile$ $\vartriangle$ $\triangledown$ $\blacktriangle$ $\blacktriangledown$ $\triangleleft$ $\triangleright$ $\blacktriangleleft$ $\blacktriangleright$ $\triangle$ $\square$ $\blacksquare$ $\bigcirc$ $\star$ $\bigstar$ $\bullet$ $\diamond$ $\textasciicircum$ $\therefore$ $\because$ $\&$ $\%$ $\S$ $\P$ $\backslash$ Функции, операт. Станд. функц. $\max_{}$ $\min_{}$ $\sup_{}$ $\inf_{}$ $\Pr_{}$ $\operatorname{sign}$ $\deg$ $\arg$ $\operatorname{НОД}$ $\operatorname{НОК}$ $\operatorname{Im}$ $\operatorname{Re}$ $\dim$ $\ker$ $\hom$ $\operatorname{diag}$ $\operatorname{rank}$ $\det$ $\operatorname{tr}$ $\operatorname{spec}$ $\mathsf{P}$ $\mathsf{M}$ $\mathsf{D}$ $\Im$ $\Re$ \operatorname{} Элем. функц. $\exp$ $\log_{}$ $\ln$ $\lg$ $\sin$ $\cos$ $\tg$ $\ctg$ $\arcsin$ $\arccos$ $\arctg$ $\arcctg$ $\sh$ $\ch$ $\th$ $\cth$ Пределы $\lim_{n\to\infty}$ $\lim_{x\to }$ $lim_{}$ $\limsup_{n\to\infty}$ $\liminf_{n\to\infty}$ $\varlimsup_{n\to\infty}$ $\varliminf_{n\to\infty}$ $\to$ $\rightrightarrows$ $\infty$ Дифф. опер. $\mathrm{d}$ $\partial$ $\frac{\mathrm{d} }{\mathrm{d} x}$ $\frac{\partial }{\partial x}$ $\frac{\partial^2 }{\partial x^2}$ $\nabla$ $\Delta$ $\operatorname{grad}$ $\operatorname{div}$ $\operatorname{rot}$ Интегралы $\int$ $\int_{}^{}$ $\int\limits_{}^{}$ $\int_{}$ $\int\limits_{}$ $\oint$ $\oint_{}$ $\oint\limits_{}$ $\ointctrclockwise$ $\ointclockwise$ $\iint$ $\iint_{}$ $\iint\limits_{}$ $\oiint$ $\oiint_{}$ $\oiint\limits_{}$ $\varoiint$ $\sqiint$ $\iiint$ $\iiint_{}$ $\iiint\limits_{}$ $\dotsint$ $\dotsint_{}$ $\dotsint\limits_{}$ Сравнения $\equiv$ $\mod{}$ $\pmod{}$ $\pod{}$ Матрицы $\begin{matrix} & \\ & \end{matrix}$ $\begin{pmatrix} & \\ & \end{pmatrix}$ $\begin{vmatrix} & \\ & \end{vmatrix}$ $\begin{Vmatrix} & \\ & \end{Vmatrix}$ $\begin{bmatrix} & \\ & \end{bmatrix}$ $\begin{Bmatrix} & \\ & \end{Bmatrix}$ $\left\{\begin{matrix} & \\ & \end{matrix}\right.$ $\left[\begin{matrix} & \\ & \end{matrix}\right.$ $\left.\begin{matrix} & \\ & \end{matrix}\right\}$ $\left.\begin{matrix} & \\ & \end{matrix}\right\|$ $\left(\begin{smallmatrix} & \\ & \end{smallmatrix}\right)$ $\binom{}{}$ $\tbinom{}{}$ Спец. блоки $\begin{cases} & \\ & \end{cases}$ $\begin{aligned} & \\ & \end{aligned}$ $\begin{align} & \tag{} \\ & \tag{} \end{align}$ $\begin{tikzpicture} \end{tikzpicture}$ $\ce{}$
Преобразовать url в ссылки Преобразовать $ в tex
* Сколько символов на картинке?
Отправляя данные, вы соглашаетесь с Правилами сайта.