Advertisement
KiraKuznetsova

Task 44

Dec 16th, 2018
93
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.33 KB | None | 0 0
  1. \documentclass{article}
  2. \usepackage{cmap}
  3. \usepackage[T2A]{fontenc}
  4. \usepackage[utf8]{inputenc}
  5. \usepackage[english,russian]{babel}
  6. \usepackage{euscript}
  7. \usepackage{amsmath,amsfonts,amssymb,amsthm,mathtools}
  8. \usepackage{esvect}
  9.  
  10. \begin{document}
  11. \setlength{\oddsidemargin}{1cm}
  12. \pagenumbering{arabic}
  13.  
  14. %Вопрос 44%
  15. \section{Докажите лемму о вложенных отрезках.}
  16. \begin{enumerate}
  17. \item\textbf{Лемма о вложенных отрезках(принцип Коши-Кантора).} Пусть $\{[a_n,b_n]\}_1^\infty$ - последовательность вложенных друг в друга отрезков: $$[a_1,b_1]\supset [a_2,b_2]\supset ...\supset [a_n,b_n]\supset ... (1)$$ И пусть длины этих отрезков стремятся к нулю: $$\lim_{n\to\infty}(b_n-a_n)=0 (2)$$ Тогда пересечение этих отрезков непусто и состоит из одной точки $c$: $$c=\overset{\infty}{\underset{n=1}{\bigcap}}[a_n,b_n],$$ Причем $c=\lim_{n\to\infty}a_n=\lim_{n\to\infty}b_n$
  18. \\\textbf{Доказательство.} Из условия (1) следует, что последовательность $\{a_n\}$ неубывающая, а $\{b_n\}$ - невозрастающая. Кроме того, обе они являются ограниченными, что следует из неравенств $a_1\le a_n<b_n\le b_1$. По теореме Вейерштрасса эти последовательности сходятся, то есть существуют пределы $a=\lim_{n\to\infty}a_n$ и $b=\lim_{n\to\infty}b_n$. Из (2) следует, что: $$b-a=\lim_{n\to\infty}(b_n-a_n)=0,$$ то есть $a=b=c$. Поскольку $c$ является пределом монотонных последовательностей, то $a_n\le c \le b_n$, то есть $c\in[a_n,b_n]$ для всех $n$. Точка, принадлежащая всем отрезкам, единственна. В самом деле, допустим, есть еще точка $c'\in [a_n,b_n](n\in\mathbb{N})$, тогда $|c-c'|\le b_n-a_n$ для всех $n$, что может быть только при $|c-c'|=0$. $\blacksquare$
  19.  
  20. \end{enumerate}
  21.  
  22. \end{document}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement