Вступление в теорию действительных чисел

Множество вещественных чисел

Всякую дробь вида $latex \pm a_{0},a_{1}a_{2}a_{3}…a_{n}…$, где $latex a_{0} $ — целое неотрицательное число, а $latex a_{i} $ — десятичные знаки $latex (0,1,2,3,4,…,9) $ назовём вещественным (или действительным) числом.

(если перед дробью стоит $latex +$, то его опускают)

Множество таких чисел называют множеством вещественных чисел и обозначают $latex \mathbb{R} $.

Если дробь $latex \pm a_{0},a_{1}a_{2}a_{3}…$ является периодической, то её называют рациональным числом, а если она непериодическая дробь, то это число иррациональное.

Например: $latex x^{2}=2 $

$latex x=\pm\sqrt{2}=1,41421… $

$latex x$ — иррациональное число.

$latex \mathbb{N}\subset\mathbb{Q}\subset\mathbb{R} $

$latex \mathbb{R}-\mathbb{Q} $ — множество иррациональных чисел.

27

Сравнение вещественных чисел

1.Пусть $latex \alpha$ и $latex \beta $ — неотрицательные вещественные числа.

$latex \alpha = a_{0},a_{1}a_{2}a_{3}… $;   $latex \beta = b_{0},b_{1}b_{2}b_{3}… $;

$latex \alpha = \beta $ $latex \Leftrightarrow$ $latex a_{k}=b_{k} $, $latex k=0,1,2,… $

$latex \alpha < \beta $, либо когда $latex a_{0} < b_{0} $, либо если $latex a_{0} = b_{0}$ и $latex \exists n:a_{1}=b_{1}, a_{2}=b_{2},…,a_{n-1}=b_{n-1}; a_{n}<b_{n} $.

2. Пусть $latex \alpha$ — неотрицательное и $latex \beta $ — отрицательное, тогда $latex \alpha > \beta $.

3. Пусть $latex \alpha$ и $latex \beta $ — отрицательные, тогда

$latex \alpha = \beta \Leftrightarrow \left | \alpha \right |=\left | \beta \right |$;

$latex \alpha < \beta \Leftrightarrow \left | \alpha \right |>\left | \beta \right |$,

где $latex \left | \alpha \right |=\left | \pm a_{0},a_{1}a_{2}a_{3}… \right |=a_{0},a_{1}a_{2}a_{3}…$; $latex \left | \beta \right |=\left | \pm b_{0},b_{1}b_{2}b_{3}… \right |=b_{0},b_{1}b_{2}b_{3}…$

Приближение вещественных чисел рациональными числами

Покажем, что любое вещественное число можно приблизить с любой степенью точности рациональными числами.

Возьмём вещественное число $latex a=a_{0},a_{1}a_{2}a_{3} \ldots a_{n}a_{n+1}a_{n+2} \ldots$

Обрывая эту дробь на $latex n$-ном знаке после запятой получим рациональное число:
$latex {a}’=a_{0},a_{1}a_{2}a_{3} \cdots a_{n}(0)$
Из правила сравнения вещественных чисел видно, что для $latex \forall n \in \mathbb{R}:$
$latex a_{0},a_{1}a_{2}a_{3} \cdots a_{n}(0) <$ $latex \underbrace{a_{0},a_{1}a_{2}a_{3} \cdots a_{n}a_{n+1}a_{n+2} \cdots}_{a}<$ $latex a_{0},a_{1}a_{2}a_{3} \cdots a_{n}+\frac{1}{10^{n}}$
Это неравенство значит, что число $latex a$ заключено между рациональными числами, разность между которыми равна  $latex \frac{1}{10^{n}}$.

svg22

$latex \frac{1}{10^{n}}<\varepsilon$;  $latex \varepsilon-$ фиксируемое  $latex \Rightarrow 1<\varepsilon 10^{n}$  $latex \Rightarrow \frac{1}{\varepsilon}<10^{n} \Rightarrow$  $latex n> \lg \frac{1}{\varepsilon}.$

Возьмём, например   $latex \varepsilon= \frac{1}{10^{3}}$.

Получаем   $latex n>\lg 10^{3} \Rightarrow n>3$.

Вывод: для любого вещественного вещественного числа $latex a$ и для любой наперёд заданной точности $latex \varepsilon$  существуют $latex \alpha_{1}, \alpha_{2} \in \mathbb{Q}$  такие, что  $latex \alpha_{1} \leq a \leq \alpha_{2}.$    $latex \alpha_{2}-\alpha_{1}<\varepsilon$.

Лемма

Если $latex \alpha$ и $latex \beta $ — вещественные числа. $latex \alpha ,\beta \in\mathbb{R}(\alpha < \beta )$, то $latex \exists r \in\mathbb{Q}:\alpha <r<\beta$.
$latex \square$ $latex 1) $ Если $latex \alpha$ и $latex \beta $ — рациональные, то $latex r=\frac{\alpha +\beta }{2}$.
$latex 1) $ Если одно из чисел $latex \alpha$ и $latex \beta $ иррациональное.
Допустим $latex \beta $ — иррациональное, тогда $latex \beta $ — бесконечная непереодическая дробь. Допустим $latex \alpha > 0 \Rightarrow \beta > 0$ (так как $latex \alpha < \beta $), тогда существует номер $latex p$, такой что $latex a_{1}=b_{1}, a_{2}=b_{2},…,a_{p-1}=b_{p-1}$,   $latex a_{p}<b_{p}$.
Так как $latex \beta $ — иррациональное, то оно не может быть конечной десятичной дробью с периодом $latex «0»$. Поэтому существует номер больше $latex p$. Например $latex p+n$, такой что $latex b_{p+n}>0$.
Имеем $latex r=a_{0},a_{1}a_{2}a_{3}…a_{p-1}b_{p}…b_{p+n-1}(0)$.
Получили число $latex r$, такое что $latex \alpha<r<\beta$.  $latex \blacksquare$

Аксиомы действительных чисел

Множеством $latex \mathbb{R} $ называется множество, на котором выполняются следующие условия:

$latex 1)$ Во множестве $latex \mathbb{R}$ определена операция «сложение»: $latex \forall a,b\in\mathbb{R}\mapsto a+b\in\mathbb{R}$
 a. $latex a+b=b+a$ (сложение коммутативно);
 b. $latex (a+b)+c=a+(b+c)$ (сложение ассоциативно);
 с. $latex \exists 0\in \mathbb{R}:\forall a\in\mathbb{R}:a+0=a$ (наличие нейтрального элемента);
 d. $latex \forall a\in\mathbb{R}$   $latex \exists «-a»:a+(-a)=0$ (наличие противоположного элемента).
Число $latex a+(-b)$ называется разностью чисел $latex a$ и $latex b$ и обозначаются $latex a-b$.

$latex 2)$ В $latex \mathbb{R}$ определена операция «умножение»: $latex \forall a,b\in\mathbb{R}\mapsto ab\in\mathbb{R}$
а. $latex ab=ba$ (коммутативность умножения);
b. $latex a(bc)=(ab)c$ (ассоциативность умножения);
с. $latex \exists 1\in\mathbb{R}: \forall a\in\mathbb{R}: a*1=a$ (наличие нейтрального элемента);
d. $latex \forall a\neq 0:\exists a^{-1}\in\mathbb{R}:a*a^{-1}=1$ (наличие противоположного элемента).
$latex a*b^{-1}$ — частное деление $latex a$ на $latex b$ и обозначается   $latex \frac{a}{b}$  или  $latex a:b$.

$latex 3)$ Выполняется дистрибутивный закон (связь сложения и умножения):
$latex \forall a,b,c\in \mathbb{R}: a(b+c)=ab+ac$.
$latex 4)$ $latex \forall a\in \mathbb{R}: a<0$ либо $latex a=0$, либо $latex a>0$.

При этом, если $latex a>0$ и  $latex b>0$ $latex \Rightarrow$  $latex a+b>0$,   $latex ab>0$.

Числа больше 0 называются положительными. Числа меньше 0 называются отрицательными.

Если $latex a-b>0$, то пишут $latex a>b$;

Если $latex a-b<0$, то пишут $latex a<b$;

Если $latex a-b=0$, то пишут $latex a=b$.

Для множеств:
Для $latex A,B \subset \mathbb{R}$
Запись $latex A \leq B$  означает, что  $latex \forall a \in A, \forall b \in B: a \leq b$.
Если  $latex A= \left \{a \right \}$ (множество из одного элемента)  и  $latex A \leq B$,  то  $latex a \leq B$.
Непрерывность множества $latex \mathbb{R}$ заключается в том, что в $latex \mathbb{R}$  нет «щелей», а именно справедлива:

Аксиома непрерывности

$latex \forall A,B \subset \mathbb{R} (A \neq \varnothing, B \neq \varnothing ):$ $latex a \leq b \Rightarrow \exists c \in \mathbb{R} :$ $latex a \leq c \leq b$.
Неравенство Бернулли
Пусть $latex x\in \mathbb{R}, x\geq 1, n\in \mathbb{N}$. Тогда
$latex \left ( 1+x \right )^{n} \geq 1+nx$
Доказательство:
Если n=1 неравенство очевидно. Допустим, оно выполняется при $latex n \in \mathbb{N}$. Докажем его справедливость при $latex n+1 \in \mathbb{N}$. Действительно:

$latex \left ( 1+x \right )^{n+1}=$ $latex \left ( 1+x \right )^{n}\left ( 1+x \right )\geq \left ( 1+nx \right )\left ( 1+x \right )$;

$latex \left ( 1+nx \right )\left ( 1+x \right )=$ $latex 1+\left ( n+1 \right )x+nx^{2}\geq 1+\left ( n+1 \right )x$.

Что и требовалось доказать. $latex \blacksquare$

Вступление в теорию действительных чисел

Тестовые вопросы по вышеизложенному материалу.

Таблица лучших: Вступление в теорию действительных чисел

максимум из 5 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Источники:

  1. З.М. Лысенко. Лекции по математическому анализу.
  2. В.И.Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса «Астропринт» , 2009г.), стр.2.
  3. В.И.Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.40 (скачать учебник можно здесь).

Подробнее о вещественных числах на:

Wikipedia

matica.org.ua

 

Существование иррациональных чисел

Натуральные, целые и рациональные числа

В процессе счёта возникли натуральные числа.
$latex \mathbb{N}=\{1,2,3,…,n,…\}$.
Сложение и умножение натуральных чисел снова даёт натуральное число. Операция «вычитание» во множестве натуральных чисел приводит к целым числам.
$latex \mathbb{Z}=\{0,1,-1,2,-2,…,n,-n\}$.
Операция «деление» во множестве целых чисел приводит к рациональным числам.
$latex \mathbb{Q}=\{\frac{m}{n}, m\in\mathbb{Z}, n\in\mathbb{N}\}$.
Например: $latex \frac{1}{2}; \frac{5}{8}; -\frac{1}{2}; -\frac{11}{8}; -\frac{1}{30} … $
Во множестве рациональных чисел $latex \mathbb{Q} $ выполняются все 4 арифметических действия. В данном множестве можно решать уравнения 1-ой степени $latex (a*x+b=c)$, однако, простейшее уравнение $latex x^2=a$, $latex a\in\mathbb{N} $ не всегда разрешимо в $latex \mathbb{Q} $, в частности, уравнение $latex x^2=2 $ не имеет решений в $latex \mathbb{Q} $.
svg16

Необходимость иррациональных чисел

Докажем, что уравнение $latex x^2=2 $ не имеет решений в $latex \mathbb{Q} $.

Теорема

Не существует рационального числа, квадрат которого равен 2.
$latex \square $  Предположим противное. Предположим, что существует такое рациональное число, квадрат которого равен 2. Числа $latex p$ и $latex q$ — числитель и знаменатель данного рационального числа; $latex p$ и $latex q$ — взаимно простые (числа, наибольший общий делитель которых равен 1).

$latex \frac{p}{q}\in\mathbb{Q}, $  $latex (\frac{p}{q})^{2}=2 $

$latex p^{2}=2q^{2} $ $latex \Rightarrow $ $latex p^{2} \vdots 2 $

$latex p^{2} $ — чётное число, тогда $latex p$ — чётное.

Отсюда: $latex p=2s$

$latex 4s^{2}=2q^{2} |:2$

$latex 2s^{2}=q^{2} \Rightarrow q^{2} $ — чётное $latex \Rightarrow q $ — чётное.

Получили противоречие того утверждения, что $latex p$ и $latex q$ — взаимно простые. $latex \blacksquare $

Таким образом, проблема решения уже таких уравнений приводит к необходимости расширения множества рациональных чисел путём добавления к ним иррациональных чисел.
Бесконечные дроби: периодические десятичные дроби
Зная рациональное число, его можно представить либо в виде конечной десятичной дроби, либо в виде бесконечной периодической десятичной дроби.

$latex 1)$ $latex \frac{3}{8}=0,375$ — конечная десятичная дробь;
$latex 0,375=\frac {375}{1000}=\frac {3}{8}$.
$latex 2)$ $latex \frac{27}{11}=2,454545…=2,(45)$ — бесконечная периодическая десятичная дробь.
$latex 2,(45)=2+\frac{45}{100}+\frac{45}{100^{2}}+\frac{45}{100^{3}}+\cdots$ $latex =2+45(\frac{1}{100}+\frac{1}{100^{2}}+\frac{1}{100^{3}}+\cdots)$.
Используем формулу суммы бесконечно убывающей геометрической прогрессии:  $latex S_{n}=\frac{b_{1}}{1-q}$, где $latex b_{1}$ — первый член геометрической прогрессии,  $latex q$ — знаменатель прогрессии.
Получим: $latex 2+45(\frac{1}{100}+\frac{1}{100^{2}}+\frac{1}{100^{3}}+\cdots)=$ $latex 2+45*\frac{\frac{1}{100}}{1-\frac{1}{100}}=$
$latex =2+\frac{45}{99}=2\frac{5}{11} $.
Договоримся, конечную десятичную дробь будем отождествлять с бесконечной десятичной дробью с $latex «0»$ в периоде.
$latex 0,375=0,375(0)$.
Между множеством множеством всех рациональных чисел и множеством всех периодических бесконечных десятичных дробей установлена связь, если отождествлять бесконечную периодическую дробь с $latex (9)$ с бесконечной периодической периодической дробью с $latex (0)$.
$latex 2,5=2,5(0)=2,4+0,1=2,4+\frac{1}{10}=$ $latex 2,4+(\frac{9}{100}+\frac{9}{1000}+\frac{9}{10000}+\cdots)=$ $latex =2,4+\frac{9}{10}(\frac{1}{10}+\frac{1}{10^{2}}+\frac{1}{10^{3}}+\cdots)$ $latex=2,4+0,9(9)=2,4(9).$

Тест "Существование иррациональных чисел".

Тестовые задания по вышеизложенной теме.

Источники:

  1. З. М. Лысенко.  Лекции по математическому анализу.
  2. В. И. Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса, «Астропринт», 2009г.), стр.1.
  3. В. И. Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.40. (скачать учебник можно здесь).

Подробнее про «существование иррациональных чисел» на:

Wikipedia

Викизнание