НОУ ИНТУИТ | Введение в компьютерную алгебру. Лекция 4: Базисы Гребнера

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

Опубликован: 04.03.2008 | Доступ: свободный | Студентов: 1645 / 58 | Оценка: 4.56 / 3.67 | Длительность: 30:07:00

ISBN: 978-5-9556-0099-4

Темы: Алгоритмы и дискретные структуры, Математика

Специальности: Программист, Математик

|

Вам нравится? Нравится 28 студентам

| Поделиться |

Поддержать курс

| Скачать электронную книгу

Аннотация: В данной лекции рассматриваются вопросы, связанные с базисами Грёбнера. Приведены практические примеры и алгоритмы, а также предоставлены задачи для самостоятельного рассмотрения

Ключевые слова: поле, ПО, класс, алгоритм, пространство, базис, отображение, прямой, пересечение, представление, доказательство, лексикографическая упорядоченность, полугруппа, множества, многочлен, место, коэффициенты, подмножество, определение, корректность, старший коэффициент, обобщенный многочлен, модуль, Произведение, терм, отношение, ранг, замыкание, функция, основание, разность, индекс, пункт, компьютерная алгебра, оптимизация, значение, минимальный базис, константы, отношение порядка, нормальная форма, метод перебора, обобщение, деление, правое деление Поммаре, левое деление Поммаре, интерпретация, подмоноид, моноид, равенство, переменная, произвольное

Определение базисов Гребнера

Следующей рассматриваемой задачей будет задача выбора канонического представления для элементов кольца регулярных на некотором алгебраическом многообразии функций. Это кольцо представляет собой факторкольцо кольца многочленов $R = K[x_1, \dots, x_n]$ , где - поле, по некоторому идеалу . Предполагаем, что идеал задан конечной системой образующих: $I = (f_1, \dots, f_m)$ . Теорема Гильберта о базисе утверждает, что таким образом может быть задан любой идеал кольца многочленов . Любой элемент факторкольца R/I - это смежный класс элементов кольца относительно идеала . При фиксированном каноническом представлении элементов кольца , задача о представлении элементов факторкольца R/I сводится к задаче выбора канонического представителя в смежном классе. Будем пытаться решить ее в следующей формулировке: в кольце многочленов $R = K[x_1, \dots, x_n]$ дано конечное множество элементов $\{f_1, \dots, f_m\}$ . Требуется построить алгоритм, который для любого многочлена $g\in R$ выбирал бы канонического представителя в соответствующем смежном классе по идеалу .

Кольцо многочленов можно рассматривать как бесконечномерное векторное пространство над полем , базис которого образует счетное множество мономов $T=\{x_1^{i_1}x_2^{i_2}\cdots x_n^{i_n} \mid i_1\ge 0,\dots,i_n\ge 0\}$ . Идеал , а, следовательно, и факторкольцо R/I , также являются векторными -пространствами. Наша задача состоит в построении отображения $i\colon R/I\to R$ , правого обратного к каноническому гомоморфизму $\pr \colon R \to R/I$ , т. е. $\pr i (x) = x$ для любого $x\in R/I$ , Таким образом, мы получаем разложение в прямую сумму векторных пространств и i(R/I) . Задачу выбора канонического представления решает тогда отображение $i\pr\colon R\to R$ , получающееся проектированием прямой суммы векторных пространств на одно из слагаемых. Достаточно выбрать новый базис кольца , рассматриваемого как векторное -пространство, пересечение которого с идеалом представляет базис векторного пространства .

8.1. ПРИМЕР. Пусть идеал является мономиальным, т. е. порожден мономами $f_1,\dots, f_m$ . Тогда $T\cap I$ является базисом векторного пространства , а $T \setminus (T\cap I)$ - базисом факторкольца R/I , рассматриваемого как векторное пространство. Каноническое представление получается, если в разложении любого многочлена по базису отбрасывать элементы, принадлежащие .

Хотя только что рассмотренный пример носит частный характер, он указывает на общий подход к решению поставленной задачи: выбрать такой базис векторного пространства , пересечение которого с идеалом представляет собой базис векторного пространства .

8.2. ПРЕДЛОЖЕНИЕ. Пусть - векторное пространство (возможно, бесконечномерное) и $M'\subseteq M$ - его подпространство. Предположим, что базис $\Gamma$ векторного пространства выбран таким образом, что $\Gamma'=\Gamma\cap M'$ представляет собой базис пространства . Тогда каноническое представление факторпространства M/M' в получается, если базис пространства M/M' отождествить с $\Gamma'' =\Gamma \setminus\Gamma'$ .

ДОКАЗАТЕЛЬСТВО получается немедленно из разложения векторного пространства в прямую сумму векторных пространств с базисами $\Gamma'$ и $\Gamma''$ , которые изоморфны пространствам и M'' соответственно.

Пусть идеал порожден многочленами $f_1, \dots, f_n$ . Обозначим $F = \{f_1, \dots, f_n\}$ . Тогда счетное множество многочленов $T\times F = \{\theta\cdot f_i \mid \theta\in T,\ f_i\in F\}$ порождает векторное пространство , однако эти многочлены не являются линейно независимыми. Наша ближайшая задача состоит в построении достаточно простого алгоритма выбора в множестве $T\times F$ линейно независимого подмножества. Для этого построим отображение $\phi: T\times F \to T$ , такое, что прообразы различных элементов из линейно независимы, и выберем в прообразе каждого элемента единственного представителя (если этот прообраз не пуст). Получим систему $\Sigma$ линейно независимых векторов в идеале , которая, однако, может не порождать идеал как векторное пространство.

Следующими задачами являются: проверка, порождает ли получившееся линейно независимое множество векторное пространство , и если ответ отрицательный, то пополнение его до базиса.

Предположим, что множество упорядочено таким образом, что:

$1 < \theta$ для любого монома $\theta \ne 1$ ;
если $\theta_1 < \theta_2$ , то $\theta_1 t < \theta_2 t$ для любого монома .

Как уже сказано в параграфе 3.1, наиболее часто используются следующие три отношения порядка:

лексикографическое упорядочение мономов, получающееся из фиксированного порядка на множестве переменных;
упорядочение мономов по степеням, а мономы одной и той же степени упорядочиваются лексикографически;
упорядочение мономов по степеням, а мономы одной и той же степени упорядочиваются в обратном лексикографическом порядке.

Отображение $\phi$ ставит в соответствие любому многочлену его старший моном (присутствующий в с ненулевым коэффициентом).

8.3. УПРАЖНЕНИЕ. Показать, что многочлены с различными старшими мономами линейно независимы.

8.4. УПРАЖНЕНИЕ. Показать, что свойство системы $\Sigma$ порождать или не порождать векторное пространство не зависит от выбора представителей в прообразах элементов из .

8.5. УПРАЖНЕНИЕ. Показать, что система $\Sigma$ порождает векторное пространство тогда и только тогда, когда полугруппа, порожденная в старшими мономами элементов множества , совпадает с полугруппой старших мономов элементов идеала .

8.6. УПРАЖНЕНИЕ. Показать, что система $\Sigma$ порождает векторное пространство тогда и только тогда, когда идеал, порожденный старшими мономами элементов множества , совпадает с ассоциированным градуированным идеалом идеала (относительно фильтрации с одномерными факторами, определяемой введенным отношением порядка).

Рассматриваемая ситуация укладывается в следующую более общую схему: имеется градуированное некоторым вполне упорядоченным множеством векторное пространство $\gr M$ с одномерными однородными компонентами. Фиксирован базис $\Gamma$ этих компонентов. На пространстве рассматривается фильтрация, совместная с градуировкой. Выбирается множество $\Gamma'$ элементов фильтрованного пространства , такое, что при переходе к градуированному пространству $\gr M$ различные элементы множества $\Gamma'$ переходят в различные элементы множества $\Gamma$ . Тогда множество $\Gamma'\cup(\Gamma \textrm{gr}\Gamma')$ является базисом пространства и определяет разложение пространства в прямую сумму подпространств и M'' , где - пространство с базисом $\Gamma'$ , а пространство M'' изоморфно факторпространству M/M' и, следовательно, определяет каноническое представление пространства M/M' в .

В случае кольца многочленов градуировка осуществляется полугруппой $\mathbb N_0^n$ , где $\mathbb N_0$ - множество неотрицательных целых чисел. В дальнейшем мы будем рассматривать также градуировку множеством $\mathbb N_0^n\times (\mathbb Z/k \mathbb Z),$ где к свободной коммутативной полугруппе добавляется конечная. Такое множество соответствует, например, свободному конечнопорожденному модулю над кольцом многочленов (не обязательно коммутативных). Конечная компонента соответствует образующим свободного модуля. Примеры упорядочений рассматривались в пункте 3.1.

Вернемся к рассмотрению полиномиальных идеалов. Как уже отмечалось, в качестве базиса $\Gamma$ выбирается множество мономов . Утверждение о том, что является градуированным векторным пространством с базисом , означает, что любой многочлен можно записать в виде $f = a_0m_0+\sum\limits_j a_jm_j$ , $j\ge1$ , где m_0>
m_j для всех $j\ge1$ . Переход от фильтрации к градуировке означает выделение старшего одночлена: $\gr(f) = a_0m_0$ .

В частности, такое представление имеет место для всех образующих f_i идеала , причем мы можем выбрать эти образующие так, чтобы старшие коэффициенты у них были равны 1, так как мы предполагаем, что - поле:

$\begin{equation} f_i=m_{i0}+\sum_ja_{ij}m_{ij},\qquad i = 1..m. \end{equation}$

( 8.1)

В качестве $\Gamma'$ можно выбрать любое подмножество $\Sigma\subset T\times F$ , где $F=\{f_1, \dots, f_m\}$ - произвольная система образующих идеала , руководствуясь двумя требованиями: во-первых, различные элементы множества $\Sigma$ должны иметь разные старшие мономы; во-вторых, система $\Sigma$ должна быть максимальна в том смысле, что для любого элемента $\xi\in T\times F$ существует элемент $\sigma\in\Sigma$ с таким же старшим мономом. Например, можно включить в $\Sigma$ множество $T\cdot f_1$ , далее добавить к нему те элементы множества $T\cdot f_2$ , старшие мономы которых отличаются от старших мономов всех элементов, уже включенных в множество $\Sigma$ и т.д.

8.7. ОПРЕДЕЛЕНИЕ. Систему образующих идеала назовем базисом Гребнера этого идеала, если подмножество $\Sigma$ , введенное выше, образует базис векторного пространства .

Из сформулированных выше упражнений следует корректность определения базиса Гребнера, т.е. независимость его от конкретного выбора множества $\Sigma$ .

8.8. ПРИМЕР. Пусть - главный идеал, порожденный многочленом . Тогда является базисом Гребнера идеала .

8.9. ПРИМЕР. Многочлены f_1= x^2- 1 и f_2= x^3- 1 не составляют базис Гребнера порождаемого ими идеала в кольце $\mathbb Q[x]$ . Доказать.

В следующих примерах рассматривается кольцо многочленов $K[x_1, \dots, x_n]$ , которое содержит идеал , заданный множеством образующих $F=\{f_1, \dots, f_m\}$ . Предполагается, что одночлены в записи элементов f_i упорядочены в соответствии с одним из введенных выше отношений порядка и нормированы таким образом, что их старшие коэффициенты равны 1.

8.10. ПРИМЕР. Если $I = K[x_1, \dots, x_n]$ , то является базисом Гребнера идеала тогда и только тогда, когда $1\in F$ .

8.11. ПРИМЕР. Если поле алгебраически замкнуто и - максимальный идеал, то $F\subset I$ является базисом Гребнера идеала тогда и только тогда, когда для любой переменной x_i найдется элемент $f(i)\in F$ со старшим мономом x_i .

8.12. ПРИМЕР. Если поле не является алгебраически замкнутым, то утверждение предыдущего примера неверно.

Следует заметить, что введенное выше определение базиса Гребнера не является конструктивным: не указано алгоритма для проверки, что некоторая система многочленов представляет базис Гребнера порождаемого ими идеала, и тем более не дан алгоритм, позволяющий для идеала, заданного некоторой системой образующих, построить его базис Гребнера.

В следующем параграфе определение базиса Гребнера будет дано в более общей ситуации, а также будут приведены алгоритмы проверки, является ли данная система образующих идеала его базисом Гребнера, и, в случае отрицательного ответа, - алгоритм, позволяющий пополнить эту систему до базиса Гребнера.

Дальше >>

Авторизоваться

Введение в компьютерную алгебру

Базисы Гребнера

Определение базисов Гребнера

Вопросы и ответы