Изменения

Если А и В {{---}} произвольные множества, и между ними можно установить биекцию, что то они '''равномощны''': <tex> |A| = |B| </tex>

{{Определение|definition=[[Множества|Множество]] называется ''конечным'', если его элементы можно пересчитать, иначе его оно называется ''бесконечным''.}}

<tex> A = \{a_1, a_2, ... \dots , a_n \dots \} </tex> {{--- }} счетное множество.

<tex> a_1 \in A \Rightarrow A \backslash \{ a_1 \} = A_1 </tex> {{- --}} бесконечное множество.

<tex> a_2 \in A_1 \Rightarrow A_1 \backslash \{ a_2 \} = A_2 </tex> {{- --}} также бесконечное множество.

Продолжаем этот процесс далее, пока не останется до бесконечности. Тогда мы получим <tex> B = \{a_1, a_2, \dots , a_n \dots \} \subset A </tex> {{--- }} счетное множество. (ЩИТО? У кого есть что-нибудь адекватное насчет этого, исправьте, пожалуйста.)

Если <tex> \{ a_1, a_2, ... , a_n, ... \} </tex> {{- --}} совокупность попарно различных элементов, то это {{--- }} счетное множество.

Для счетных множеств часто применяется следующий важный факт:

Не более чем счетное объединение не более, чем счетных множеств, не более, чем счетно, то есть, другими словами:

Пусть Если все <tex> A_n </tex> {{- --}} счетное/конечное множество., то <tex>\ \ | \bigcup\limits_n A_n | = |\mathbb N| </tex>

Тогда: <tex> | \bigcup\limits_n A_n | proof= |\mathbb N| </tex>

Выпишем все элементы этих множеств в таблицу: <tex>\ |proof=|a^i_j||</tex>, где <tex>\ a^i_j \in A_i,\ i, j \in \mathbb N </tex>

<tex> A_n = \begin{ a_{n1pmatrix}, a_ a^1_1 & a^1_2 & a^1_3 & \cdots \\ \\ a^2_1 & a^2_2 & a^2_3 & \cdots \\ \\ a^3_1 & a^3_2 & a^3_3 & \cdots \\ \\\vdots &\vdots &\vdots &\ddots \end{n2}, ... \pmatrix} </tex>.

TODOБудем нумеровать их по диагоналям: А вот тут должна какая-то биекция, доказывающая это утверждение.<tex> \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ a^1_1 & a^2_1 & a^1_2 & a^3_1 & a^2_2 & a^1_3 & \cdots \end{pmatrix} </tex>

Таким образом мы установили биекцию между <tex> \begin{pmatrix} a_{11} & a_{12} & a_{13} & mathbb N </tex> и <tex>\cdots \bigcup\ a_{21} & a_{22} & \cdots \\ a_{31} & limits_n A_n </tex>, то есть <tex>\cdots \| \ bigcup\cdots limits_n A_n | = |\end{pmatrix} mathbb N| </tex>, что и требовалось доказать.

Множество <tex> Множество I = [0, 1] </tex> называется ''континииумомконтинуумом''.

<tex> I </tex> {{- --}} несчетное множество.

Пусть <tex> I = \{ x_1, x_2, ... , x_n , ... \} </tex>

<tex> x \leftrightarrow (x * \cdot \pi) - \frac {\pi}{2} </tex>

Между счетными множествами можно установить биекцию: <tex> B \leftrightarrow A \Rightarrow (0, 1) \backslash A = \leftrightarrow [0, 1] \backslash B \Rightarrow (0, 1) = \leftrightarrow [0, 1] \Rightarrow |(0, 1)| = |[0, 1]| </tex>

Так как <tex> \mathbb Q </tex> {{- --}} счетно. <tex> |\mathbb R \backslash \mathbb Q| = |I| \Rightarrow </tex> иррациональных чисел по мощности континииум. [[Категория:Математический анализ 1 курс]]