Операции над многочленами

Сложение многочленов

Определение. Пусть даны многочлены $$u\left(x\right)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots+a_{2}x^{2}+a_{1}x+a_{0},$$ $$v\left(x\right)=b_{m}x^{m}+b_{m-1}x^{m-1}+\ldots+b_{2}x^{2}+b_{1}x+b_{0}.$$ Будем считать, что $n\geqslant m.$ Тогда их суммой является многочлен $$s\left(x\right)=u\left(x\right)+v\left(x\right)=c_{n}x^{n}+c_{n-1}x^{n-1}+\ldots+c_{2}x^{2}+c_{1}x+c_{0},$$ каждый коэффициент $c_{i}$ которого получается сложением соответствующих коэффициентов $a_{i}$ и $b_{i},$ $\left(i = 0, 1, \ldots, n-1, n\right).$ Причём, если $n\geqslant i>m,$ то считаем, что $b_{i}=0.$

Замечание. Можно определить и вычитание многочленов, как сложение с противоположным. «Нулём» будет выступать нулевой многочлен $\left(0\right),$ а противоположный данному многочлен получается заменой всех коэффициентов на противоположные: $$u\left(x\right)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots+a_{2}x^{2}+a_{1}x+a_{0},$$ $$-u\left(x\right)=-a_{n}x^{n}-a_{n-1}x^{n-1}-\ldots-a_{2}x^{2}-a_{1}x-a_{0}.$$

Основные свойства сложения

1. Степень суммы. Степень суммы двух многочленов меньше либо равна наибольшей из степеней слагаемых. (Лемма)

2. Коммутативность: $u\left(x\right)+v\left(x\right)=v\left(x\right)+u\left(x\right).$

Пусть $$u\left(x\right)+v\left(x\right)=s_{1}\left(x\right),\; v\left(x\right)+u\left(x\right)=s_{2}\left(x\right).$$ Рассмотрим коэффициенты $s_{1}\left(x\right)$ и $s_{2}\left(x\right).$ Они равны в силу коммутативности сложения чисел $\left(a_{i}+b_{i}=b_{i}+a_{i}\right),$ а значит, $s_{1}\left(x\right)=s_{2}\left(x\right),$ что доказывает коммутативность сложения многочленов.

3. Ассоциативность: $\left(u\left(x\right)+v\left(x\right)\right)+w\left(x\right)=u\left(x\right)+\left(v\left(x\right)+w\left(x\right)\right).$

Пусть коэффициенты $u\left(x\right),$ $v\left(x\right)$ и $w\left(x\right)$ равны $a_{i},$ $b_{i},$ и $c_{i}$ соответственно. Зададим их суммы: $$\left(u\left(x\right)+v\left(x\right)\right)+w\left(x\right)=f\left(x\right),$$ $$u\left(x\right)+\left(v\left(x\right)+w\left(x\right)\right)=g\left(x\right).$$ Для доказательства ассоциативности, докажем равенство $f\left(x\right)$ и $g\left(x\right).$ Рассмотрим общие формулы их коэффициентов: $$f_{i}=\left(a_{i}+b_{i}\right)+c_{i},$$ $$g_{i}=a_{i}+\left(b_{i}+c_{i}\right).$$ Аналогично коммутативности, равенство этих двух многочленов следует из ассоциативности операции сложения для чисел, из чего и следует ассоциативность сложения многочленов.

Умножение многочленов

Определение. Пусть даны многочлены $$u\left(x\right)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots+a_{2}x^{2}+a_{1}x+a_{0},$$ $$v\left(x\right)=b_{m}x^{m}+b_{m-1}x^{m-1}+\ldots+b_{2}x^{2}+b_{1}x+b_{0}.$$ Тогда их произведением является многочлен $$p\left(x\right)=u\left(x\right)\cdot v\left(x\right)=c_{n+m}x^{n+m}+c_{n+m-1}x^{n+m-1}+\ldots+c_{2}x^{2}+c_{1}x+c_{0},$$ образующийся в результате простого умножения $u\left(x\right)\cdot v\left(x\right)$ и приведения подобных членов. Таким образом, каждый коэффициент произведения $$\displaystyle c_{i}=\sum_{\alpha+\beta=i}^{}a_{\alpha}b_{\beta},\; \left(i = 0, 1, \ldots, n+m-1, n+m\right).$$

Замечание. Для многочленов операция обратная умножению (деление) не определена. Однако, существует алгоритм деления с остатком.

Основные свойства умножения

1. Степень произведения. Степень произведения двух многочленов равна сумме степеней множителей. (Лемма)

2. Коммутативность: $u\left(x\right)\cdot v\left(x\right)=v\left(x\right)\cdot u\left(x\right).$

Рассмотрим многочлены $u\left(x\right)$ и $v\left(x\right)$ из определения произведения. Пусть $$f\left(x\right)=u\left(x\right)\cdot v\left(x\right)=c_{n+m}x^{n+m}+c_{n+m-1}x^{n+m-1}+\ldots+c_{2}x^{2}+c_{1}x+c_{0},$$ $$g\left(x\right)=v\left(x\right)\cdot u\left(x\right)=d_{n+m}x^{n+m}+d_{n+m-1}x^{n+m-1}+\ldots+d_{2}x^{2}+d_{1}x+d_{0}.$$ Тогда, коэффициенты многочлена $f\left(x\right)$ равны $\displaystyle c_{i}=\sum_{\alpha+\beta=i}^{}a_{\alpha}b_{\beta},$ а многочлена $g\left(x\right)$ — $\displaystyle d_{i}=\sum_{\alpha+\beta=i}^{}b_{\beta}a_{\alpha}.$ Из очевидного равенства этих сумм вытекает равенство $f\left(x\right)$ и $g\left(x\right),$ а значит, $u\left(x\right)\cdot v\left(x\right)=v\left(x\right)\cdot u\left(x\right)$ и коммутативность доказана.

3. Ассоциативность: $\left(u\left(x\right)\cdot v\left(x\right)\right)\cdot w\left(x\right)=u\left(x\right)\cdot \left(v\left(x\right)\cdot w\left(x\right)\right).$

Пусть коэффициенты $u\left(x\right),$ $v\left(x\right)$ и $w\left(x\right)$ равны $a_{i},$ $b_{i},$ и $c_{i}$ соответственно, а именно: $$u\left(x\right)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots+a_{2}x^{2}+a_{1}x+a_{0},$$ $$v\left(x\right)=b_{m}x^{m}+b_{m-1}x^{m-1}+\ldots+b_{2}x^{2}+b_{1}x+b_{0},$$ $$w\left(x\right)=c_{s}x^{s}+c_{s-1}x^{s-1}+\ldots+c_{2}x^{2}+c_{1}x+c_{0}.$$ Теперь, зададим их произведения в нужном порядке: $$f\left(x\right)=u\left(x\right)\cdot v\left(x\right)=d_{n+m}x^{n+m}+d_{n+m-1}x^{n+m-1}+\ldots+d_{2}x^{2}+d_{1}x+d_{0},$$ $$g\left(x\right)=v\left(x\right)\cdot w\left(x\right)=r_{m+s}x^{m+s}+r_{m+s-1}x^{m+s-1}+\ldots+r_{2}x^{2}+r_{1}x+r_{0},$$ $$h\left(x\right)=\left(u\left(x\right)\cdot v\left(x\right)\right)\cdot w\left(x\right)=k_{n+m+s}x^{n+m+s}+\ldots+k_{2}x^{2}+k_{1}x+k_{0},$$ $$l\left(x\right)=u\left(x\right)\cdot \left(v\left(x\right)\cdot w\left(x\right)\right)=p_{n+m+s}x^{n+m+s}+\ldots+p_{2}x^{2}+p_{1}x+p_{0}.$$ Для доказательства ассоциативности, докажем равенство многочленов $h\left(x\right)$ и $l\left(x\right).$ Рассмотрим общую формулу коэффициента $h\left(x\right):$ $$\displaystyle k_{i}=\sum_{q+\gamma =i}d_{q}c_{\gamma }=\sum_{q+\gamma =i}\left( \sum_{\alpha +\beta =q}^{}\left(a_{\alpha }b_{\beta }\right)\cdot c_{\gamma }\right) = \sum_{\alpha +\beta +\gamma=i}a_{\alpha }b_{\beta }c_{\gamma }.$$ Теперь покажем, что общую формулу коэффициента $l\left(x\right)$ можно привести к такому же виду: $$\displaystyle p_{i}=\sum_{\alpha+q=i}a_{\alpha}r_{q}=\sum_{\alpha+q=i}\left( a_{\alpha}\cdot \sum_{\beta+\gamma=q}b_{\beta}c_{\gamma} \right)= \sum_{\alpha +\beta +\gamma=i}a_{\alpha }b_{\beta }c_{\gamma }.$$ Из равенства коэффициентов следует равенство многочленов, что и доказывает ассоциативность.

Примеры решения задач

Читателю предлагается решить эти примеры и сравнить своё решение с приведённым.

  1. Сложить многочлены $3x^4+2x^3-4x^2-8x+10$ и $8x^3-4x^2-9x-10.$

    Решение

    Воспользуемся определением суммы многочленов: $$\left(3x^4+2x^3-4x^2-8x+10\right)+\left(8x^3-4x^2-9x-10\right)=$$ $$=\left(3+0\right)x^4+\left(2+8\right)x^3+\left(-4+\left(-4\right)\right)x^2+\left(-8+\left(-9\right)\right)x+\left(10-10\right)=$$ $$=3x^4+10x^3-8x^2-17x.$$

  2. Найти разность $7x^7+10x^6-20x^5+10x^4-13x^3+8x^2+11x+19$ и $5x^7-10x^5+7x^4+x^3+11x^2+20x+11.$

    Решение

    Сложим первый многочлен с противоположным второму: $$7x^7+10x^6-20x^5+10x^4-13x^3+8x^2+11x+19 +$$ $$+\left(-5x^7+10x^5-7x^4-x^3-11x^2-20x-11\right)=$$ $$=\left(7-5\right)x^7+\left(10+0\right)x^6+\left(-20+10\right)x^5+\left(10-7\right)x^4+$$ $$+\left(-13-1\right)x^3+\left(8-11\right)x^2+\left(11-20\right)x+\left(19-11\right)=$$ $$=2x^7+10x^6-10x^5+3x^4-14x^3-3x^2-9x+8.$$

  3. Найти произведение $2x^2+5x-1$ и $4x^2-x+3.$

    Решение

    Умножим два многочлена и приведём подобные: $$\left(2x^2+5x-1\right)\cdot \left(4x^2-x+3\right)=$$ $$=8x^4-2x^3+6x^2+20x^3-5x^2+15x-4x^2+x-3=$$ $$=8x^4+\left(20-2\right)x^3+\left(6-5-4\right)x^2+\left(15+1\right)x-3=$$ $$=8x^4+18x^3-3x^2+16x-3.$$

  4. Найти произведение $-3x^2+7x+9$ и $6x^2+2x+8.$

    Решение

    На этот раз, воспользуемся общей формулой коэффициента из определения произведения многочленов. Тогда: $$u\left(x\right)=-3x^2+7x+9,\;a_{2}=-3,a_{1}=7,a_{0}=9,$$ $$v\left(x\right)=6x^2+2x+8,\;b_{2}=6,b_{1}=2,b_{0}=8,$$ $$p\left(x\right)=u\left(x\right)\cdot v\left(x\right)=c_{4}x^4+c_{3}x^3+c_{2}x^2+c_{1}x+c_{0}.$$ По определению, $\displaystyle c_{i}=\sum_{\alpha+\beta=i}^{}a_{\alpha}b_{\beta},$ $\left(i=0,1,2,3,4\right).$ Вычислим их. $$c_{0}=\sum_{\alpha+\beta=0}^{}a_{\alpha}b_{\beta}=a_{0}b_{0}=9\cdot 8=72,$$ $$c_{1}=\sum_{\alpha+\beta=1}^{}a_{\alpha}b_{\beta}=a_{0}b_{1}+a_{1}b_{0}=9\cdot 2 + 7\cdot 8=74,$$ $$c_{2}=\sum_{\alpha+\beta=2}^{}a_{\alpha}b_{\beta}=a_{0}b_{2}+a_{1}b_{1}+a_{2}b_{0}=9\cdot 6+7\cdot 2+\left(-3\right)\cdot 8=44,$$ $$c_{3}=\sum_{\alpha+\beta=3}^{}a_{\alpha}b_{\beta}=a_{1}b_{2}+a_{2}b_{1}=7\cdot 6+\left(-3\right)\cdot 2=36,$$ $$c_{4}=\sum_{\alpha+\beta=4}^{}a_{\alpha}b_{\beta}=a_{2}b_{2}=-3\cdot 6=-18.$$ Имеем: $$p\left(x\right)=u\left(x\right)\cdot v\left(x\right)=-18x^4+36x^3+44x^2+74x+72.$$

Смотрите также

  1. А.Г. Курош Курс высшей алгебры. — Издание девятое. — Москва: Наука, 1968. — 431с. (c. 130-134)
  2. К.Д. Фадеев Лекции по алгебре. — Москва: Наука, 1984. — 416с. (c. 54-55)
  3. А.И. Кострикин Введение в алгебру. Основы алгебры. — Москва: Физматлит, 1994. -320с. (с. 211-212)
  4. Белозёров Г.С. Конспект лекций.

Операции над многочленами

Этот тест призван проверить Ваши знания по теме «Операции над многочленами».

Группы. Примеры групп. Простейшие следствия из аксиом.

Определение

Пусть $G\ne \varnothing$, $»*»$ — БАО на $G.$ Тогда $(G, *)$ называется группой, если выполняются следующие три аксиомы.

  • 1. Ассоциативность. $\forall a, b, c\in G~$ $~ (a*b)*c=$$a*(b*c).$
  • 2. Нейтральный элемент. $\exists e\in G ,\forall a\in G~a*e=$$e*a=a.$
  • 3. Симметрический элемент. $\forall a\in G,\exists a^{‘}\in G$$ a*a^{‘}=a^{‘}*a=e.$

Если, кроме этих трех условий выполняется условие коммутативности $\forall a, b \in G~a*b=b*a,$ то такая группа называется абелевой.

Примеры

  • 1.) $(\mathbb Z, +), (\mathbb Q^{*}, +),(\mathbb R, +)$ — аддитивные группы (по сложению всякое кольцо является абелевой группой).
  • 2.) $(\mathbb Q^{*}, \cdot), (\mathbb R^{+}, \cdot),(\mathbb R^{*}, \cdot)$ — мультипликативные группы(совокупность отличных от нуля элементов любого поля является абелевой группой).
  • 3.) $ (\mathbb C_{[-1;1]}, +) $ — множество непрерывных вещественных функций определенных на $[-1;1].$
  • 4.) $(\mathbb R^{2}, +), (a, b)+(c, d)=$$(a+c, b+d).$
  • 5.) $G_{2n},$ где $n$ — простое. Возможно по крайней мере 2 группы: Циклическая группа $ C_{2n}$ и диэдр $D_{n}$
  • grafik1grafik1

Простейшие следствия из аксиом

  • 1. Нейтральный элемент — единственный.

Доказательство. Предположим противное. Пусть $\exists e^{‘},$ так как $e^{‘}$ — нейтральный элемент, то $e^{‘}e=e^{‘}$, но $e$ тоже нейтральный элемент, а значит $e^{‘}e=e \Longrightarrow e=e^{‘}. $

  • 2. $\forall a\in G~ \exists! a^{‘},a^{‘}a=e$

Доказательство. Предположим противное. Пусть $\exists a^{»},a^{»}a=aa^{»}=e,$$ a^{‘}a=aa^{‘}=e,$$ a^{‘}aa^{»}=(a^{‘}a)a^{»}=ea^{»}=a^{»},$ $a^{‘}(aa^{»})=a^{‘}e=a^{‘} \Longrightarrow $$a^{‘}=a^{»} $

  • 3. $a*x=b,(x*b=a)$, решение единственно.

Доказательство.

Единственность.

$x_{0}$ — решение. $ax_{0}=b, a^{‘}(ax_{0})=a^{‘}b,$$ (a^{‘}a)x_{0}=a^{‘}b$, $ex_{0}=a^{‘}b, x_{0}=a^{‘}b$

Существование.

$x_{0}=a^{‘}b, a(a^{‘}b)=$$(aa^{‘})b=eb=b$

  • 4. $(a^{‘})^{‘}=a, \forall a\in G$

Доказательство. По третьей аксиоме $a^{‘}(a^{‘})^{‘}=e, a^{‘}a=e \Longrightarrow$
$a^{‘}(a^{‘})^{‘}=a^{‘}a\Longrightarrow (a^{‘})^{‘}=a$.

  • 5. $(ab)^{‘}=b^{‘}a^{‘}$

Доказательство.
$(ab)(ab)^{‘}=e, aa^{‘}=e$, $bb^{‘}=e \Longrightarrow (aa^{‘})(bb^{‘})=$$(bb^{‘})(aa^{‘})=ee \Longrightarrow $$ (bb^{‘})(aa^{‘})=e \Longrightarrow$ $(ab)(ab)^{‘}=(bb^{‘})(aa^{‘}) \Longrightarrow$ $(ab)(ab)^{‘}=(ab)b^{‘}a^{‘} \Longrightarrow$$ (ab)^{‘}=b^{‘}a^{‘}$

  • 6. $\forall n\in \mathbb N$$ a^{n}=\underset{n}{\underbrace{aa..a}}$

Доказательство.

База индукции.

$a^{1}=a$.

Предположение индукции.

Пусть $n=k, a^{k}=\underset{k}{\underbrace{aa..a}}.$

Шаг индукции.

Пусть $n=k+1, a^{k}a^{1}=a(aa..a),$ $a^{k+1}=\underset{k+1}{\underbrace{aa..a}}$.

  • 7. $\forall n, m\in \mathbb N, a^{n}a^{m}=a^{n+m}$

Доказательство.

$a^{m}=\underset{m}{\underbrace{aa..a}}, a^{n}=\underset{n}{\underbrace{aa..a}}$

$a^{n}a^{m}=\underset{n}{\underbrace{aa..a}} \cdot \underset{m}{\underbrace{aa..a}} \Longrightarrow$ $a^{n}a^{m}=\underset{n+m}{\underbrace{aa..a}}$, $\underset{n+m}{\underbrace{aa..a}}=a^{n+m} \Longrightarrow$ $a^{n+m}=a^{n}a^{m}$

 

  • 8. $\forall n, m\in \mathbb N, (a^{n})^{m}=a^{nm}$

 

Доказательство.

$(a^{n})^{m}=\underset{n}{\underbrace{(aa..a)^{m}}} \Longrightarrow$ $(a^{n})^{m}=\underset{n\cdot m}{\underbrace{(aa..a)}} \Longrightarrow$ $(a^{n})^{m}=\underset{n}{\underbrace{(aa..a)}}\cdot \underset{m}{\underbrace{(aa..a)}} $

$\underset{n}{\underbrace{(aa..a)}}=a^{n}$, $\underset{m}{\underbrace{(aa..a)}}=a^{m} \Longrightarrow$ $(a^{n})^{m}=a^{n}a^{m}$

 

  • 9. $\forall n\in \mathbb N, (a^{n})^{‘}=(a^{‘})^{n}$

 

Доказательство.

$a^{n}(a^{n})^{‘}=e, (a^{‘})^{n}=$$\underset{n}{\underbrace{(a^{‘}a^{‘}..a^{‘})}},$

$\underset{n}{\underbrace{(aa..a)}} \cdot \underset{n}{\underbrace{(a^{‘}a^{‘}..a^{‘})}}=e \Longrightarrow$ $a^{n}(a^{‘})^{n}=e \Longrightarrow$ $a^{n}(a^{‘})^{n}=a^{n}(a^{n})^{‘} \Longrightarrow$ $(a^{‘})^{n}=(a^{n})^{‘}.$
Литература

 

 

Тесты

Группы. Примеры групп. Простейшие следствия из аксиом.

Группы. Примеры групп. Простейшие следствия из аксиом.


Таблица лучших: Группы. Примеры групп. Простейшие следствия из аксиом.

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

Свойства замкнутых множеств

Теорема. Пусть [latex](X,\tau)[/latex] — произвольное топологическое пространство. Тогда  система всех его замкнутых множеств имеет такие свойства:

  1. Множества [latex]X[/latex] и [latex]\varnothing[/latex] будут замкнутыми;
  2. Произвольная система замкнутых множеств в пересечении дает замкнутое множество;
  3. Произвольная конечная система замкнутых множеств в объединении дает замкнутое множество;

Доказательство

  1. Обозначим через [latex](X,\tau)[/latex] произвольное топологическое пространство. В таком случае, [latex]X[/latex] и [latex]\varnothing[/latex] являются замкнутыми множествами (в то же время и открытыми по 3-ей аксиоме топологического пространства), так как [latex]X\setminus\varnothing=X[/latex] — открытое множество и [latex]X\setminus X=\varnothing[/latex] — также открытое множество.
  2. Обозначим через [latex]\left\{ F_{\alpha} \right\}[/latex] систему замкнутых множеств. Следовательно, с учетом того факта, что замкнутое множество есть дополнение открытого, получаем [latex]\bigcap_{\alpha} F_{\alpha} = \bigcap_{\alpha}(X \setminus G_{\alpha}) = X \setminus \bigcup_{\alpha}G_{\alpha}[/latex], так как. объединение открытых множеств есть множество открытое, а его дополнение — замкнуто, то множество [latex]X \setminus \bigcup_{\alpha}G_{\alpha}[/latex] замкнуто.
  3. Аналогично попробуем найти объединение конечной системы замкнутых множеств: [latex]\bigcup_{n=1}^{k} F_{n} = \bigcup_{n=1}^{k}(X \setminus G_{n}) = X \setminus \bigcap_{n=1}^{k}G_{n}[/latex] , так как пересечение конечного числа открытых множеств [latex]G_k[/latex] будет открытым множество, то [latex]X \setminus \bigcap_{n=1}^{k}G_{n}[/latex] замкнуто.

Вышеперечисленные свойства систем замкнутых множеств, однозначно их характеризуют, поэтому не исключается подход, при котором эти свойства принимаются за систему аксиом, определяющих топологическое пространства. Следовательно, имеет место следующая
Теорема. Если [latex]X[/latex] — произвольное множество и [latex]\lambda[/latex] семейство его подмножеств, обладающее следующими свойствами:

  1. [latex] X, \varnothing \in \lambda [/latex]
  2. Пересечение множеств любой подсистемы в [latex]\lambda[/latex] принадлежит [latex]\lambda[/latex]
  3. Объединение множеств любой конечной подсистемы в [latex]\lambda[/latex] принадлежит [latex]\lambda[/latex]

Предположим, что [latex]\upsilon[/latex] — семейство дополнений всех различных множеств из [latex]\lambda[/latex]. В таком случае [latex]\upsilon[/latex] будет топологией на [latex]X[/latex], а [latex]\lambda[/latex] — системой замкнутых множеств топологического пространства [latex](X,\upsilon)[/latex].

Литература:

Свойства замкнутых множеств

Тест по теме «Свойства замкнутых множеств»

Таблица лучших: Свойства замкнутых множеств

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

Открытые множества и их свойства

Открытые множества

Определение. Множество всех точек $x$пространства $\mathbb{R}^n$, таких, что $| x- x_0| < \rho, \rho > 0$, называется открытым шаром с центром в точке $x_0$ и радиусом $\rho$. Этот шар также называется $\rho$-окрестностью точки $x_0$ и обозначается $B(x_0,\rho)$.

Определение. Зададим подмножество $E$ пространства $\mathbb{R}^n$. Точка $x_0$ множества $E$ называется внутренней точкой множества, если существует $B(x_0,\rho)$, содержащийся в $E$. Иными словами, $x_0$ является внутренней точкой множества $E$, если она входит в $E$ вместе с некоторой окрестностью.

Определение. Множество $E \subset \mathbb{R}^n$ называется открытым, если любая его точка будет внутренней в $E$. Условимся также считать пустое множество $\varnothing$ открытым.

Свойства открытых множеств

Обозначим через $A$ множество индексов, и каждому элементу $\alpha \in A$ поставим в соответствие множество $E_{\alpha}$. Тогда $\left\{E_{\alpha}\right\}_{\alpha \in A}$ называется семейством множеств

Теорема. Открытые множества в пространстве $\mathbb{R}^n$ обладают такими свойствами:

  1. Пустое множество $\varnothing$ и всё пространство $\mathbb{R}^n$ открыты;
  2. Пересечение всякого конечного числа открытых множеств также открыто;
  3. Объединение всякого семейства $\left\{G_{\alpha}\right\}_{\alpha \in A}$ открытых множеств также открыто

Доказательство.

  1. Пустое множество $\varnothing$ является открытым по определению, а пространство $\mathbb{R}^n$, очевидно, открыто, так как всякий шар содержится в $\mathbb{R}^n$.
  2. Пусть $E_1,…,E_n$ – открытые множества,$E=\bigcap _{ i=1 }^{ n }{E}_{i} $. Предположим, что $x \in E$. Тогда $x \in E_i$ для любого $i=1,…,n$. Но все множества $E_i$ являются открытыми, так что для любого $i=1,…,n$ найдется открытый шар $B(x,\rho_i) \subset E_i$. Среди всех этих шаров выберем шар с наименьшим радиусом $B(x,\rho)$, где $r=min(\rho_1,…,\rho_n)$. Тогда $E(x,\rho) \subset E_i$ при каждом $i=1,…,n$, а значит, $B(x,\rho) \subset E$, и тем самым доказано, что множество $E$ открыто.
  3. Пусть $E=\bigcup_{\alpha \in A}E_{\alpha}$, где все множества $E_{\alpha}$ открыты. Докажем, что множество $E$ также открыто. Предположим, что $x \in E$. Тогда $x$ принадлежит хотя бы одному из множеств ${E}_{{\alpha}_{0}}$. Так как это множество ${E}_{{\alpha}_{0}}$ открыто, то найдется окрестность $B(x,\rho) \subset {E}_{{\alpha}_{0}} \subset E$. Таким образом, $E$ – открытое множество.$\square$

Замечание. Пересечение бесконечного семейства открытых множеств не обязательно будет открытым. К примеру, пусть $B_k$ – открытый шар с центром в нуле и радиусом $\frac{1}{k}(k=1,2,…)$. Тогда $\bigcap_{k=1}^{\infty}B_k = \left\{0\right\}$. Но множество $\left\{0\right\}$, состоящее из одной точки, не является открытым, поскольку оно не содержит в себе ни одного шара.

Литература:

Открытые множества и их свойства

Тест по теме «Открытые множества и их свойства»


Таблица лучших: Открытые множества и их свойства

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

Открытые множества и их свойства

ОТКРЫТЫЕ МНОЖЕСТВА

Определение. Множество всех точек [latex]x[/latex]пространства [latex]mathbb{R}^n[/latex], таких, что [latex]| x- x_0| < rho, rho > 0[/latex], называется открытым шаром с центром в точке [latex]x_0[/latex] и радиусом [latex]rho[/latex]. Этот шар также называется [latex]rho[/latex]-окрестностью точки [latex]x_0[/latex] и обозначается [latex]B(x_0,rho)[/latex].

Определение. Зададим подмножество [latex]E[/latex] пространства [latex]mathbb{R}^n[/latex]. Точка [latex]x_0[/latex] множества [latex]E[/latex] называется внутренней точкой множества, если существует [latex]B(x_0,rho)[/latex], содержащийся в [latex]E[/latex]. Иными словами, [latex]x_0[/latex] является внутренней точкой множества [latex]E[/latex], если она входит в [latex]E[/latex] вместе с некоторой окрестностью.

Определение. Множество [latex]E subset mathbb{R}^n[/latex] называется открытым, если любая его точка будет внутренней в [latex]E[/latex]. Условимся также считать пустое множество [latex]varnothing[/latex] открытым.

СВОЙСТВА ОТКРЫТЫХ МНОЖЕСТВ

Обозначим через [latex]A[/latex] множество индексов, и каждому элементу [latex]alpha in A[/latex] поставим в соответствие множество [latex]E_{alpha}[/latex]. Тогда [latex]left{E_{alpha}right}_{alpha in A}[/latex] называется семейством множеств

Теорема. Открытые множества в пространстве [latex]mathbb{R}^n[/latex] обладают такими свойствами:

  1. Пустое множество [latex]varnothing[/latex] и всё пространство [latex]mathbb{R}^n[/latex] открыты;
  2. Пересечение всякого конечного числа открытых множеств также открыто;
  3. Объединение всякого семейства [latex]left{G_{alpha}right}_{alpha in A}[/latex] открытых множеств также открыто

Доказательство.

  1. Пустое множество [latex]varnothing[/latex] является открытым по определению, а пространство [latex]mathbb{R}^n[/latex], очевидно, открыто, так как всякий шар содержится в [latex]mathbb{R}^n[/latex].
  2. Пусть [latex]E_1,…,E_n[/latex] – открытые множества,[latex]E = bigcap_{i=1}^{n}[/latex]. Предположи, что [latex]x in E[/latex]. Тогда [latex]x in E_i[/latex] для любого [latex]i=1,…,n[/latex]. Но все множества [latex]E_i[/latex] являются открытыми, так что для любого [latex]i=1,…,n[/latex] найдется открытый шар [latex]B(x,rho_i) subset E_i[/latex]. Среди всех этих шаров выберем шар с наименьшим радиусом [latex]B(x,rho)[/latex], где [latex]r=min(rho_1,…,rho_n)[/latex]. Тогда [latex]E(x,rho) subset E_i[/latex] при каждом [latex]i=1,…,n[/latex], а значит, [latex]B(x,rho) subset E[/latex], и тем самым доказано, что множество [latex]E[/latex] открыто.
  3. Пусть [latex]E=bigcup_{alpha in A}E_{alpha}[/latex], где все множества [latex]E_{alpha}[/latex] открыты. Докажем, что множество [latex]E[/latex] также открыто. Предположим, что [latex]x in E[/latex]. Тогда [latex]x[/latex] принадлежит хотя бы одному из множеств [latex]E_{alpha_0}[/latex]. Так как это множество [latex]E_{alpha_0}[/latex] открыто, то найдется окрестность [latex]B(x,rho) subset E_{alpha_0} subset E[/latex]. Таким образом, [latex]E[/latex] – открытое множество.

[latex]square[/latex]

Замечание. Пересечение бесконечного семейства открытых множеств не обязательно будет открытым. К примеру, пусть [latex]B_k[/latex] – открытый шар с центром в нуле и радиусом [latex]frac{1}{k}(k=1,2,…)[/latex]. Тогда [latex]bigcap_{k=1}^{infty}B_k = left{0right}[/latex]. Но множество [latex]left{0right}[/latex], состоящее из одной точки, не является открытым, поскольку оно не содержит в себе ни одного шара.

Литература:

Открытые множества и их свойства

Тест по теме «Открытые множества и их свойства»


Таблица лучших: Открытые множества и их свойства

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