CONTIN (1016706)
Текст из файла
2) – противоречит тому, что Р – поле, следовательно наше предположение о том, что Р=n1 n2 – ошибочно, значит Р – простое число.
Опр.: Пусть Р – поле следовательно множество Q P – подполе Р, если Q
P и Q – поле.
Пример: Q < R < C
Опр.: Поле называется простым, если оно не содержит собственных подполей, т.е. если Q<P значит Q=P (более простых полей, чем Р в нем нет).
Теорема: В каждом поле существует, причем единственное, простое подполе.
Доказательство:
Пусть Q<P. Тогда рассмотрим множество Q*=Q\0 – множество ненулевых элементов подполя Q – это мультипликативная группа, а Q* P*. Тогда Q*<P*, а е – подгруппа Q* совпадает с е в Р*, т.к. ab-1
Q*; пусть a
Q*, b=a и е=аа-1
Q*, т.е. е
Q* - единица принадлежит подполю
Qэ{0,e}, а т.к. Qэe , то 2e, 3e, …
Q – в силу замкнутости по сложению.
а т.к. (Q,+) – группа, то -е, -2е, -3е, …
Q
n
\0, (ne)-1
Q – существование обратного по умножению
m
, n
\0, (me)(ne)-1=
e
Q – в силу замкнутости по умножению
Вывод: если char P=0, то { e
Q
P, m
, n
\0}=P0, т.е. если Q – подполе, то P0
Q, для
Q<P.
Теперь покажем, что Р0 – поле:
-
ассоциативность, коммутативность следуют из ассоциативности, коммутативности Р
-
дистрибутивность
-
обратное по сложению
-
обратное по умножению
Покажем, что Р0 – простое поле: Пусть существует Q'<P0, а по доказанному P0<Q' следовательно Q'=P0 ч.т.д.
Замечание: из доказательства следует, что простое подполе поля с характеристикой равной нулю изоморфно полю рациональных чисел, т.к. {
Q
P, m
, n
\0}=P0 (е – опускаем).
2) Пусть char P=Р
а) т.к. Q<P значит e Q (было доказано выше), следовательно е,2е,…,(р-1)е, ре=0, следовательно {0, e, 2e, …, (p-1)e}=P0
(a,e)=[a]p – взаимно однозначное отображение
следовательно P0 Zp (т.е. изоморфны), значит т.к. Р0 - поле, т.к. Zp – поле.
б) Р0 – простое, т.к. Q' P0 и P0
Q' следовательно Q'=P0 ч.т.д.
Теорема: Пусть P – конечное поле, тогда существует
Р : ord
=
-1; (ord
- по умножению в мультипликативной группе Р*).
Опр.: В конечном поле элемент
с таким свойством называется примитивным
Т.е. в конечном поле существует примитивный элемент, где 0,
1,
2, …,
|P|-1 – все различные элементы поля Р
{В абелевой группе существует
: ord
=expG}
expG=min{t :
G,
t=e}
1) expP*=|P|-1
expP*/|P*|=|P|-1
Пусть expP*<|P|-1 следовательно XexpP*-1=0 – это уравнение имеет в поле Р (|P|-1)-решений, т.е. ненулевой элемент в поле – решение.
противоречие: решений > степени уравнения (что противоречит теореме Безу)
expP*<|P|-1
2) P* - абелева группа, значит существует : ord
=expP*
Из 1) и 2) следует утверждение теоремы.
Кольцо многочленов над полем
Пусть Р – поле;
Обозначим: Р - множество носителей с элементами из Р; (а0 а1 а2 … ), аj
Р
Р
: если (а0 … аn …)
, то
k : аj=0, для j
k, т.е. начиная с какого-то номера они все нули.
Определим на множестве :
+
=
, ck=ak+bk
Теорема: ( ,+,×) – коммутативное кольцо.
Доказательство: "по сложению":
1) +
, т. к. начиная с max(k, n) – все нули.
2) эта операция коммутативна
"по умножению": 1) замкнутость ×
=
max{j, aj
0}=k, max{j, bj
0}=n, тогда cn+k+1=
ajbn+k-j+1=0
0,0,….,0
a0, a1, …, ak, ….…, an+k+1
- сумма индексов в столбце всегда (n+k+1)
bn+k+1,…, bn+1,…..,b1,b0
0 ,0,……,0
при таком определении умножения мы из множества
не выходим.
2) коммутативность:
ck= ajbk-j=
bk-jaj=
bj'ak-j'=dk, где
=(
×
),
=(
×
)
3) ассоциативность: пусть ( ×
)=
, (
×
)=
и (
×
)
=
,
(
×
)=
,
тогда dk= (vjck-j)=
asbj-sck-j
вот это кольцо - кольцо многочленов над полем
Введем обозначения: × (
)=(0,а0,а1,а2, …) – такое умножение {ck=
ajbk-j=ak-1 при k-j=1
j=k-1} есть сдвиг последовательности вправо а(0,1,0,…,0)=(0,а,0,…,0);
=
(0,…,аj,0,…)=
аj(0,…,1,0,…)=
аj(0,1,0…)j={ ]x=(0,1,0,...)}=
аjxj
Опр.: Будем говорить, что многочлен a(x) делит b(x), т.е. a(x)½b(x), если существует с(х) : a(x)× c(x)=b(x)
Опр.: Степень многочлена a(x) – deg a(x) – номер наибольшего ненулевого коэффициента в представлении: a(x)= ajxj.
Если а(х)=0, то полагаем deg a(x)= -
(примечание: пусть a(x)=a0 0 тогда deg a(x)=0).
Опр.: Разделить a(x) на b(x) с остатком – значит, что b(x) можно представить в виде b(x)=q(x)a(x)+r(x), deg r(x)<deg a(x)
Утв.: Если а(х) 0, то любой многочлен над полем можно разделить с остатком на а(х) и представление b(x)=q(x)a(x)+r(x), deg r(x)<deg a(x) определено однозначно.
Доказательство:
a(x) 0 следовательно deg a(x)
0
a(x)=anxn+an-1xn-1+…+a0 (an 0)
b(x)=bmxm+bm-1xm-1+…+b0
-
m<n следовательно b(x)=0.a(x)+b(x)
-
m
n следовательно b(x)-a(x).an-1bmxm-n=bm-1(1)xm-1+…+b0(1)=b(1)(x)
{т.е. степень понизили как минимум на 1}
Если deg b(n)(x)<n, то STOP иначе понижаем степень дальше также;
b(x)-a(x)an-1bmxm-n-a(x)an-1bdeg b(')(x)(1)xdeg b(')(x)-n=r(x); deg r(x)<n
(за конечное число шагов такое неравенство обязательно получим)
значит b(x)-a(x)q(x)=r(x)
Однозначность деления: -доказательство от противного-
пусть существует: b(x)=a(x)q'(x)+r'(x) deg r'(x)<deg a(x)
b(x)=a(x)q(x)+r(x) deg r(x)<deg a(x)
Вычитаем: 0=a(x)(q'(x)-q(x))+r'(x)-r(x) следовательно
r(x)-r'(x)=a(x)(q'(x)-q(x))
deg (r(x)-r'(x))<deg a(x)
deg a(x)(q'(x)-q(x))=deg a(x)+deg (q'(x)-q(x)) deg a(x)
возникает противоречие, т.е. q'(x)-q(x)=0 следовательно q'(x)=q(x) ч.т.д.
(ab)c=a(bc); пусть (ab)=u, (bc)=v, тогда
ak-jvj=
asbj-s)ck-j=
asbj-sck-j=
asbj-sck-j={замена t=k-j
j=k-t}= =
asbk-t-sct={замена l=k-s
s=k-l}=
ak-lbl-tct
ujck-j=
ak-jvj.
Алгоритм Евклида
a(x)=b(x)q1(x)+r1(x) deg r1(x)<deg b(x)
b(x)=r1(x)q2(x)+r2(x) deg r2(x)<deg r1(x)
………………………………. …………………………….
rs(x)=rs+1(x)qr+2(x)+rs+2(x) deg rs+2(x)<deg rs+1(x)
deg b(x)=const>deg r1(x)>deg r2(x)>…>rn(x)>…
Берем первый раз, когда встречается 0: rn-2(x)=rn-1(x)qn(x)+rn(x)=0
Теорема: ] даны a(x), b(x) – ненулевые многочлены. Тогда последний ненулевой остаток при делении в алгоритме Евклида равен (a(x), b(x))
Опр.: NOD многочленов a(x), b(x) – многочлен d(x):
1) d(x)|a(x); d(x)|b(x)
2) d'(x)|a(x), d'(x)|b(x) следовательно d'(x)|d(x)
Замечание: для определенности считаем, что старший коэффициент многочлена равен 1.
Лемма: (a(x),b(x))=(a(x)-c(x)b(x),b(x)), для любого a(x),b(x),c(x)
Доказательство:
" " пусть (a(x),b(x))=d(x); d'(x)=(a(x)-c(x)b(x),b(x));
Из того что d(x)|a(x) и d(x)|b(x) следует, что a(x)=d(x)q1(x) и b(x)=d(x)q2(x)
a(x)-b(x)c(x)=d(x)(q1(x)-c(x)q2(x)) следовательно d(x)|(a(x)-c(x)b(x)) значит d(x)|d'(x)
" " Из соотношений d'(x)|(a(x)-c(x)b(x)) и d'(x)|b(x) следует, что
a(x)-c(x)b(x)=d'(x)q1(x) и b(x)=d'(x)q2(x)
a(x)-c(x)b(x)+c(x)b(x)=d'(x)q1(x)+c(x)d'(x)q2(x)=d'(x)[q1(x)+q2(x)c(x)] значит d'(x)|d(x)
т.к. d(x)|d'(x) и d'(x)|d(x) докажем, что d'(x)=d(x):
d'(x)=l(x)d(x)
d(x)=m(x)d'(x)
d(x)=l(x)m(x)d(x) следовательно d(x)(1-l(x)m(x))=0
deg d(x) 0 следовательно 1-l(x)m(x)=0;
l(x)m(x)=1, при l(x) 0, m(x)
0
deg (l(x)m(x))=deg l(x)+deg m(x)=0,
d'(x)=m(x)d(x), где m(x)=const значит m(x)=1 (см. замечание)
Доказательство теоремы:
(a(x),b(x)) = (a(x)-b(x)q1(x),b(x)) = [r1(x)=a(x)-b(x)q1(x)] = (r1(x),b(x)) = = (r1(x),b(x)-r1(x)q2(x)) = [r2(x)=b(x)-r1(x)q2(x)]=(r1(x),r2(x)) =…= (rs(x),rs+1(x)) = = (rn-2(x),rn-1(x)) = rn-1(x),
где rn-1(x) – последний ненулевой остаток;
т.к. rn(x)=0, а rn-2(x)=rn-1(x)qn(x)+rn(x), то rn-1(x)|rn-2(x) ч.т.д.
Теорема: Пусть a(x), b(x) – ненулевые многочлены над полем. Тогда существуют u(x), v(x) : u(x)a(x)+b(x)v(x)=d(x)=(a(x),b(x)).
Доказательство: пусть u0(x)=0, u1(x)=1, uk(x)=uk-2(x)-qk(x)uk-1(x),
v0(x)=1, v1(x)=-q1(x), vk(x)=vk-2(x)-qk(x)vk-1(x).
Докажем, что: rk(x)=uk(x)a(x)+vk(x)b(x);
проводим доказательство по индукции:
-
базис индукции: k=1
r1(x)=1.a(x)-q1(x)b(x) – соответствует алгоритму Евклида
-
шаг индукции: пусть выполняется для любого k<t.
Пусть k=t - проверим:
по алгоритму Евклида:
rt-2(x)=rt-1(x)qt(x)+rt(x) следовательно rt(x)=rt-2(x)-qt(x)rt-1(x);
т.к. t-2<t и t-1<t, то для них формула верна:
rt(x) = ut-2(x)a(x) + vt-2(x)b(x) - qt(x)[ut-1(x)a(x) + vt-1(x)b(x)] = a(x)(ut-2(x)-qt(x)ut-1(x)) + + b(x)(vt-2(x) - qt(x)vt-1(x)), где [ut-2(x) - qt(x)ut-1(x) = ut(x)], [vt-2(x) - qt(x)vt-1(x) = vt(x)]
выполняется для любого k
(по индукции)
а т.к. (a(x),b(x))=rn-1(x)=un-1(x)a(x)+vn-1b(x) – то построили в явном виде, где rn-1(x) – последний ненулевой остаток.
Опр.: Многочлены a(x) и b(x) называются взаимнопростыми, если их NOD = 1.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.