Теорема о дисконтинууме

Теорема о дисконтинууме — утверждение о том, что между точками любых двух ограниченных дисконтинуумов можно установить взаимно однозначное соответствие, сохраняющее порядок следования точек на прямой.

ФормулировкаПравить

Всякое ограниченное, совершенное, нигде не плотное линейное множество подобно канторову множеству, и, следовательно, все такие множества подобны друг другу.

ПояснениеПравить

Два линейных точечных множества $A$$A$  и $B$$B$  называются подобными, если между их элементами можно установить взаимно однозначное соответствие, сохраняющее порядок следования точек на прямой, то есть такое, что если $x^{\prime }\leftrightarrow <!--\; \leftrightarrow \; -->y^{\prime }$$x'\leftrightarrow y'$ , $x^{″}\leftrightarrow <!--\; \leftrightarrow \; -->y^{″}$$x''\leftrightarrow y''$ , $x^{\prime },x^{″}\in <!--\; \in \; -->A,y^{\prime },y^{″}\in <!--\; \in \; -->B$$x',x''\in A,y',y''\in B$  и $x'<x''$ , то $y'<y''$ .

ДоказательствоПравить

Пусть $P$$P$  — линейное ограниченное, совершенное, нигде не плотное множество. Оно получается из наименьшего отрезка $[a,b]$$[a,b]$ , его содержащего, выбрасыванием счётного числа интервалов, не имеющих попарно общих точек и концов. Смежных интервалов будет обязательно счётное множество, так как при конечном числе смежных интервалов $P$$P$  не было бы нигде не плотным. Пусть $V$$V$  — наибольший по длине смежный интервал множества $P$$P$  или, если таких интервалов несколько (конечное число), самый левый из них. Отрезки, получившиеся после удаления $V$$V$  из $[a,b]$$[a,b]$ , обозначим через ${\mathrm{\delta <!--\; \delta \; -->}}_0$$\delta _{{0}}$  и ${\mathrm{\delta <!--\; \delta \; -->}}_2$$\delta _{{2}}$ . Пусть $V_0$$V_{{0}}$  — наибольший по длине смежный интервал множества $P$$P$ , лежащий на ${\mathrm{\delta <!--\; \delta \; -->}}_0$$\delta _{{0}}$  или самый левый Обозначим через ${\mathrm{\delta <!--\; \delta \; -->}}_{00}$$\delta _{{00}}$  и ${\mathrm{\delta <!--\; \delta \; -->}}_{02}$$\delta _{{02}}$  отрезки, остающиеся после удаления из ${\mathrm{\delta <!--\; \delta \; -->}}_0$$\delta _{{0}}$  интервала $V_0$$V_{{0}}$ . Аналогично приходим к интервалу $V_2$$V_{{2}}$  и отрезкам ${\mathrm{\delta <!--\; \delta \; -->}}_{20}$$\delta _{{20}}$  и ${\mathrm{\delta <!--\; \delta \; -->}}_{22}$$\delta _{{22}}$  и так далее. Отметим, что при каждом шаге на каждом из отрезков ${\mathrm{\delta <!--\; \delta \; -->}}_{j_1{j}_2...j_k}$$\delta _{{j_{{1}}j_{{2}}...j_{{k}}}}$  будут обязательно смежные интервалы, так как в противном случае весь этот отрезок принадлежал бы $P$$P$  и множество $P$$P$  не было бы нигде не плотным. Таким образом: $P=\left[a,b\right]\mathrm{\setminus <!--\; \setminus \; -->}V\mathrm{\setminus <!--\; \setminus \; -->}\left(V_0\cup <!--\; \cup \; -->V_2\right)\mathrm{\setminus <!--\; \setminus \; -->}\left(V_{00}\cup <!--\; \cup \; -->V_{02}\cup <!--\; \cup \; -->V_{20}\cup <!--\; \cup \; -->V_{22}\right)\mathrm{\setminus <!--\; \setminus \; -->}...$$P=\left[a,b\right]\backslash V\backslash \left(V_{{0}}\cup V_{{2}}\right)\backslash \left(V_{{00}}\cup V_{{02}}\cup V_{{20}}\cup V_{{22}}\right)\backslash ...$ . Получаем, что каждая точка $x\in <!--\; \in \; -->P$$x\in P$  определяется счётным множеством индексов, принимающих независимо два значения: $y=y_{j_1{j}_2...j_k...}$$y=y_{{j_{{1}}j_{{2}}...j_{{k}}...}}$ , где $j_k=0,2$$j_{{k}}=0,2$ . Пусть $y$$y$  и $y^{\prime }$$y'$  — две различные точки множества $P$$P$ : $y=y_{j_1{j}_2...j_k...}$$y=y_{{j_{{1}}j_{{2}}...j_{{k}}...}}$ , $y^{\prime }=y_{j_1^{\prime }{j}_2^{\prime }...j_k^{\prime }...}^{\prime }$$y'=y'_{{j'_{{1}}j'_{{2}}...j'_{{k}}...}}$ . Предположим, что $y$$y$  и $y^{\prime }$$y'$  лежат на одном и том же отрезке 1-го, 2-го, ..., (k-1)-го ранга, но на разных отрезках k-го ранга. Тогда $j_1=j_1^{\prime },j_2=j_2^{\prime },...,j_{k-<!--\; -\; -->1}=j_{k-<!--\; -\; -->1}^{\prime },j_k\ne <!--\; \ne \; -->j_k^{\prime }$$j_{{1}}=j'_{{1}},j_{{2}}=j'_{{2}},...,j_{{k-1}}=j'_{{k-1}},j_{{k}}\neq j'_{{k}}$ . Ясно, что если $j_k=0,j_k^{\prime }=2$$j_{{k}}=0,j'_{{k}}=2$ , то $y<y'$  и обратно, если $y'<y$ , то $j_k=2,j_k^{\prime }=0$$j_{{k}}=2,j'_{{k}}=0$ . Доказательство теоремы завершает установление взаимно однозначного соответствия $x_{i_1{i}_2...i_k...}\leftrightarrow <!--\; \leftrightarrow \; -->y_{j_1{j}_2...j_k...}$$x_{{i_{{1}}i_{{2}}...i_{{k}}...}}\leftrightarrow y_{{j_{{1}}j_{{2}}...j_{{k}}...}}$  если $i_1=j_1,i_2=j_2,...,i_k=j_k,...$$i_{{1}}=j_{{1}},i_{{2}}=j_{{2}},...,i_{{k}}=j_{{k}},...$ .

См. такжеПравить

• Дисконтинуум

ЛитератураПравить

• Соболев В. И. Лекции по дополнительным главам математического анализа. — М.: Наука, 1968 — стр. 75.