Processing math: 15%
Page preview panel
ON OFF

This is the graph of pages.

All pages ("nodes") in Knowen belong to a directed acyclic graph: more general nodes are to the left (upstream), and more specific to the right (downstream).

Hover over a node to see the node preview; click to select a specific node; mouse scroll to zoom; click and drag to move.

Now you are in the subtree of Математический анализ project. 

1.8. Примеры числовых множеств

  1. N={1,2,3,}, где 2=1+1,3=1+1+1,

    Замечание. Из определения N вытекает принцип доказательства методом математической индукции.

    Если имеется набор утверждений T(n) и если доказано а) утверждение T(1) (база индукции) и б) то, что из справедливости T(n) следует T(n+1) (факт индукции), то nN:T(n)  — справедливо.

      A={nN:T(n) — справедливо}. Тогда A1,(AmAm+1)A=N.

  2. Z={0,1,1,2,2,3,3,}.

  3. Q={xR:mZ,nN x=m1n}.

  4. Пусть a,bR,a, тогда

    [a, b] = \{ x\in \mathbb {R}\colon a \leqslant x \leqslant b\} — отрезок.

    (a, b) = \{ x\in \mathbb {R}\colon a < x < b\} — интервал.

    (a, b] = \{ x\in \mathbb {R}\colon a < x \leqslant b\} — полуинтервал.

    [a, b) = \{ x\in \mathbb {R}\colon a \leqslant x < b\} — полуинтервал.

Определение 1.2. Модулем или абсолютной величиной числа называют

|x| = \begin{cases} a, a\geqslant 0, \\-a, a < 0. \end{cases}

Бесконечной десятичной дробью называют выражение вида \pm a_0{,}a_1 a_2 \ldots , где a_0\in \mathbb {N}\cup \{ 0\} , a_ i\in \{ 0, 1, \ldots , 9\} , i\in \mathbb {N}.

Будем считать, что бесконечные десятичные дроби \pm a_0{,}a_1\ldots a_ n00000\ldots и
\pm a_0, a_1\ldots (a_ n - 1)99999\ldots задают одно и то же число.

Определение 1.3. Пусть a=\pm a_0{,}a_1 a_2\ldots и b=\pm b_0{,}b_1 b_2\ldots  — бесконечные десятичные дроби (без 9 в периоде). Тогда a\leqslant b, если

  1. Перед a_0 стоит знак "-", а перед b_0 знак "+".

  2. Перед a_0 и b_0 стоит знак "+"

    a) a_0 \leqslant b_0.

    b) a_0 = b_0 и \exists n\in \mathbb {N}\colon a_1 = b_1, \ldots , a_{n-1} = b_{n-1}, a_ n < b_ n.

    c) \forall n\in \mathbb {N}\cup \{ 0\} \colon a_ n = b_ n.

  3. Перед a_0 и b_0 стоит знак "-" и при его замене на знак "+" выполнен пункт 2 для -a и -b (-b \leqslant -a).

Теорема 1.2. Пусть A и B непустые множества бесконечных десятичных дробей (без 9 в периоде), что \forall a\in A, \forall b\in B\colon a\leqslant b. Тогда \exists бесконечная десятичная дробь (без 9 в периоде) c, что \forall a\in A, \forall b\in B\colon a\leqslant c\leqslant b.

\blacktriangle  Возможно только два случая:

  1. B\subset \{ x\colon x\geqslant 0\}\quad 2. A \subset \{ x\colon x\leqslant 0\}

Рассмотрим случай 1.

Пусть c_0 — минимальный элемент
\{ b_0\colon b = b_0{,}b_1\ldots \in B\} .

c_1 — минимальный элемент \{ b_1\colon b = c_0{,}b_1\ldots \in B\} .

……

Пусть c_0, \ldots , c_ n определены, тогда c_{n+1} — минимальный элемент
\{ b_{n+1}\colon b=c_0{,}c_1c_1\ldots c_ n b_{n+1}\ldots \in B\} .

По принципу матиндукции \forall n\in B\cup \{ 0\} определено c_ n.

c = c_0{,}c_1 c_2 \ldots c_ n\ldots

Покажем, что в c нет 9 в периоде.
Предположим, это не так, c=c_0{,}c_1\ldots c_ n999\ldots

Тогда по построению найдётся элемент из B, что выполнено следующее: b=c_0{,}c_1\ldots c_ n999\ldots , и это противоречит условию (b содержит 9 в периоде).

a_0 \leqslant c_0, значит либо a_0 < c_0 и a\leqslant c, либо a_0=b_0 и a_1 \leqslant b_1 (поскольку \exists b= c_0{,}c_1 b_2\ldots ).

Пусть a_0=c_0, a_1=c_1, \ldots , a_ n=c_ n \Rightarrow a_{n+1} \leqslant b_{n+1}, значит либо a_{n+1} < c_{n+1} и a\leqslant c, либо a_{n+1} = b_{n+1}.

В результате на каком-то этапе будет установлено неравенство a < c или будет установлено, что \forall n\in \mathbb {N}\cup \{ 0\} \colon a_ n=c_ n, значит a=c \Rightarrow в любом случае будет установлено, что a\leqslant c. \blacksquare

Определение 1.4. a\in E называется наибольшим (максимальным) элементом E\subset \mathbb {R}, если \forall x\in E\colon x\leqslant a. a = \max E.

Определение 1.5. a\in E называется наименьшим (минимальным) элементом E\subset \mathbb {R}, если \forall x\in E\colon x\geqslant a. a = \min E.