Bases de Gröbner e Aplicações em Otimização

Universidade Federal de So Paulo
INSTITUTO DE CINCIA E TECNOLOGIA
Trabalho de Graduao
Bases
de
Grbner
e
aplicaes em otimizao
por
Leonardo Makoto Mito
Orientador:
Prof. Dr. Angelo Calil Bianchi.
So Jos dos Campos, 2015.
Sumrio
Introduo
1 Preliminares
1.1
Estruturas algbricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Espao de Trabalho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
Ordenao Monomial e Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4
Ideais Polinomiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2 Bases de Grbner
14
2.1
Algoritmo de Buchberger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
2.2
Bases de Grbner Reduzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.3
Sistemas Polinomiais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
2.4
Comandos Computacionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
3 Otimizao No Linear
26
3.1
Preldio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
3.2
Condies de Minimalidade
28
3.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.1
Problema com Restries de Igualdade
. . . . . . . . . . . . . . . . . . . . . .
3.2.2
Problema com Restries de Igualdade e Desigualdade
28
. . . . . . . . . . . . .
31
Um abordagem algbrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
3.3.1
Critrios de Factibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
3.3.2
Uma nota sobre Otimizao Multiobjetivo Sequencial . . . . . . . . . . . . . .
39
3.3.3
Complexidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
4 Otimizao Linear Inteira
42
4.1
Sistemas Lineares Inteiros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
4.2
Tratamento da Funo Objetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
Referncias Bibliogrcas
48
Agradecimentos
A Deus, por seu imenso amor, piedade e misericrdia em cada innitesimal de tempo que j vivi.
minha me Ceclia e meu pai Ezio pelos inmeros conselhos, auxlios e incentivos de todas
as formas possveis.
Ao meu irmo Masao por sempre ter sido meu irmo. Acredito que no haja melhor maneira
de expressar minha gratido.
Rayara Guedes, por ter me mostrado o verdadeiro valor das coisas; por ter me ensinado tanto
sobre minha prpria conscincia e valores pessoais; por toda a pacincia, motivao, os inmeros
gestos de carinho e pela oportunidade de fazer parte de sua vida.
Tania e Amrico Guedes, por abrirem seus coraes e me adotarem como um membro da
famlia.
minha av Toshiko e meus tios: Yuji, Srgio e Marina, por terem sido to pacientes, especialmente enquanto me acolhiam em sua casa.
minha antiga sala do ensino mdio, por me mostrar que existem vrias coisas para se fazer na
escola, alm de estudar. E aos meus professores do ensino mdio e fundamental, por me lembrarem
que estudar algo que se deve fazer na escola.
Aos meus amigos de graduao e repblica, especialmente: Catarina, Matheus Micadei, Wellinghton, Daniel Gaspar, Henrique Suetake, Chun, Maria Lvia, Joo, Gordo, Mariane, Nathan, Aline,
Fernanda, Jade, Henrique Euclides, Renan, Letcia, Fernandinho, Fbio, Nicolas, Vinicius, Karen,
Nickollas, Daniel Adamis, Calvin, Jordo, Douglas, Matheus Antunes, Guilherme, Reis, Gois e
Igor, por ajudarem a transformar at os piores dias em agradveis, e o fato do Pq. Tecnolgico ser
to longe do Satlite, em algo to bom! Fiz questo de citar alguns nomes, mas minha memria
realmente ruim.
Ao meu orientador, Angelo Bianchi, pela pacincia, conselhos, risadas e a esperana de que eu
tenha algum potencial.
Aos meus professores, especialmente: Lus Felipe, Grasiele, Gama, Pedro, Thiago, Shida, Rossano, Flvia, Camila, Ricardo, Vilhena, Juliana, Gabriel, Elizangela, Renato, Erwin, Robson, lvaro,
Vanessa, Jurandy e Reginaldo, pela humildade, por tudo o que me ensinaram, dentro e fora de sala,
pelo companheirismo, pacincia e toda a preocupao que tiveram.
A toda a irmandade, pelo enorme carinho e pelas oraes em tempos difceis.
Catarina, Matheus e Angelo novamente, pelas inmeras correes.
Bonnie, por ser a alegria dos nais de semana e no dar um nico momento de sossego; e ao
Gato, por deitar sobre os livros enquanto eu estudava.
Introduo
A teoria das Bases de Grbner foi proposta na tese de doutorado de Bruno Buchberger, em
1965, com a nalidade de fornecer uma forma prtica para a resoluo de importantes problemas
de deciso envolvendo ideais polinomiais em anis comutativos, por meio de conjuntos geradores
dotados de propriedades convenientes e calculados atravs do consagrado Algoritmo de Buchberger.
A abordagem a sistemas polinomiais atravs de ideais traz consigo um ganho algbrico inexistente
em outros mtodos, destacando-se a Teoria das Bases de Grbner, onde torna-se uma tarefa computacional a vericao da existncia de solues e o clculo efetivo destas. Isto abre uma vasta gama
de aplicaes em diversas reas.
Este trabalho voltado ao estudo e aplicao da Teoria das Bases de Grbner em alguns tipos
de problemas de otimizao polinomial, isto , que consistem em determinar os pontos que minimizam
o valor de uma funo polinomial, dadas restries tambm polinomiais. Pode ser considerado como
um caso particular, quando os polinmios associados estas restries e funo possuem apenas
coecientes inteiros no negativos.
Existem condies necessrias e sucientes para determinar se
um ponto minimizador, ditas condies de Karush-Kuhn-Tucker, popularmente conhecidas como

condies KKT, sendo que as de primeira ordem podem ser expressadas atravs de um sistema de
equaes, cujas solues so todos os pontos crticos do problema. Atravs desta abordagem algbrica,
torna-se possvel calcular todos os minimizadores locais e, consequentemente, um minimizador global.
A motivao para este trabalho vem da pouca explorao geral de mtodos que visam buscar
uma soluo global para problemas de otimizao, uma vez que as formas usuais para o clculo de
minimizadores so voltadas para solues locais, devido ao tempo de execuo computacional. De
toda forma, inevitvel em muitas situaes a aplicao de um mtodo de otimizao global e, nestes
casos, faz-se necessrio um mtodo preciso que atenda s necessidades do problema.
Captulo 1
Preliminares
Neste captulo sero denidos os objetos de estudo e os rudimentos da teoria a ser utilizada no
decorrer do texto. Os resultados a seguir foram baseados, majoritariamente, em [3].
1.1
Estruturas algbricas
Sero denidas a seguir algumas
estruturas algbricas, isto , conjuntos munidos de uma ou mais
operaes binrias, visando estabelecer o conceito de anel.
Notao 1.1.1.
Ser utilizada a notao
sobre um conjunto
(M, +)
para fazer referncia a uma estrutura algbrica
no vazio munido de uma operao binria qualquer
ambiguidade e a coerncia for mantida, a notao ser abreviada para
e, quando no houver
M.
Denio 1.1.2 (Semigrupo e Monide). Uma estrutura algbrica (M, +), dita semigrupo se, para
quaisquer
a, b, c
elementos de
M,
a + (b + c) = (a + b) + c (propriedade associativa). Um
id+ M , tal que id+ + m = m e
M , chamado monide.
vale que
semigrupo com elemento identidade (unidade ou neutro), isto ,
m + id+ = m
para todo
Denio 1.1.3
pertencente a
(M, +), um elemento u de M dito inversvel (ou

invertvel) quando existe y em M tal que y + u = id+ e u + y = id+ . Dena U (M ) como o conjunto
de todos os elementos inversveis de M e, se U (M ) = M , ento (M, +) um grupo. Se (M, +) um
grupo e a + b = b + a para quaisquer elementos a, b de M (propriedade comutativa), ento (M, +)
(Grupo)
Dado um monide
chamado de grupo abeliano.
Notao 1.1.4.
O elemento oposto (inverso relativo operao
ser denotado por
M,
x M,
se existir,
Uma estrutura algbrica
(M, +, ),
sendo
operaes binrias
chamada de anel se:
(M, +)
(M, )
de um dado
x.
Denio 1.1.5 (Anel e Corpo).

em
+)
um grupo abeliano;
um semigrupo;
Para quaisquer
a, b, c M , a (b + c) = a b + a c
(a + b) c = a c + b c
(propriedade
distributiva).
Um anel dito com identidade (ou anel com unidade) se
(M, )
um monide, e chamado anel
(M, ) abeliano. Um anel comutativo com unidade dito um domnio (de integridade)
a b = id+ a = id+ ou b = id+ . Um domnio um corpo, se (M \ {0}, ) for um grupo abeliano.
comutativo se
se
Um subconjunto de um anel que tambm anel chamado subanel, este conceito anlogo para as
outras estruturas.
CAPTULO 1.
PRELIMINARES
Notao 1.1.6.
Num anel, a operao
ser chamada de
adio
(ou soma) e a operao
ser
multiplicao (ou produto) e, quando no houver ambiguidade, por vezes

elemento neutro da adio (ou elemento nulo) ser denotado por 0 e o
elemento neutro da multiplicao, por 1.
Notao 1.1.7. Dado k N, dena Nk := {1, 2, . . . , k}.
usualmente denominada
esta ser omitida.
Segue uma proposio importante a respeito de subanis, cuja demonstrao dispensvel.
Proposio 1.1.8.
quaisquer
Se M um anel e S M ,
a, b M , a b M e ab M .
ento
S 6=
um subanel se, e somente se,
e para
Conveno 1.1.9. Daqui em diante, qualquer referncia a anel, corresponder a um anel comutativo
com unidade 1, que ser denotado por
1.2
A,
exceto quando algo diferente for explicitado.
Espao de Trabalho
O espao de interesse deste trabalho o anel de polinmios em
(K[x1 , . . . , xn ], +, ),
K.
denotado por
variveis sobre um corpo
no qual cada elemento denominado polinmio em
K,
variveis
para, em
com coecientes em
Ser introduzido a seguir o conjunto dos polinmios em
variveis sobre um anel
seguida, discutir algumas de suas propriedades.
Denio 1.2.1. O conjunto dos polinmios em n variveis sobre umPanel A, denotado A[x1 , . . . , xn ]
ou, simplesmente,
(i1 , . . . , in ) e xi
A[n]Q, a coleo de todos os objetos

= nj=1 xj ij , com ij N {0}.
da forma
r
i=0
ai x i ,
onde
r N, i =
f A[x1 , . . . , xn ], cada ai A ser chamado coeciente de f , cada xi um monmio
de f e cada ai x i , ai 6= 0, um termo de f . Dena M(f ) como o conjunto de todos os monmios

Pr
de f . Dado m M(f ), deg(m) =
k=0 k denotar o grau de m. O grau de f A[x1 , . . . , xn ]
denido como sendo deg(f ) := max{deg(m) | m M(f )} e, se deg(f ) = 1, ento f dito linear.
Existir igualdade entre dois elementos de A[x1 , . . . , xn ] quando ambos possurem todos os termos
iguais, havendo igualdade entre monmios se, e somente se, existir igualdade entre os vetores que
Dado
determinam suas potncias. Por ltimo, ser denido como
polinmio constante um elemento de
A[x1 , . . . , xn ] A.
Observao 1.2.2.
Dado
f A[n] , deg(f ) < 1
se, e somente se,
f A
(ou seja,
um polinmio
constante).
Para justicar a terminologia anel de polinmios, interessante discutir o caso do anel de polinmios em uma varivel e, indutivamente, ser construdo o anel de polinmios em vrias variveis.
Lema 1.2.3.
(A, +, ) um anel. Ento, (A[x], +, ) um anel tomando a adio f + g =

ci x , com ci = ai + bi , considerando que se n > m, ento
bm+1 = bm+2 = P= bn = 0 e
Pn+m
i
anlogo, se n 6 m, e a multiplicao denida por f g =
i=0 ci x , com ci =
j+k=i aj bk .
Pmax{n,m}
i=0
um caso
Seja
Com esse Lema em mos, possvel armar que
Teorema 1.2.4. (A[x1 , . . . , xn ], +, ) um anel com as operaes denidas de forma anloga s do

lema anterior, considerando
Demonstrao.
A[x1 , . . . , xn ] = A[x1 , . . . , xn1 ][xn ]
para
n N, n 2.
n = 1, o
A[x1 , . . . , xn1 ] um anel. Pode-se construir o conjunto
A[x1 , . . . , xn1 ], que um anel, devido ao lema anterior,
A prova feita por induo no nmero de variveis. O caso base, quando
prprio lema anterior. Agora, suponha que

dos polinmios na varivel
xn
isto conclui a demonstrao.
sobre o anel
CAPTULO 1.
PRELIMINARES
Observao 1.2.5.
Note que, de fato,
ento
f=
m
X
A[x1 , . . . , xn ] = A[x1 , . . . , xn1 ][xn ], pois se f A[x1 , . . . , xn ],
ai x1i1 . . . xnin , ai A
ij N {0},
i=1
para quaisquer
P
in
f= m
i=1 bi xn
i n1
i Nm e j Nn . Seja bi = ai x1 i1 . . . xn1
A[x1 , . . . , xn1 ], pode-se escrever
A[x1 , . . . , xn1 ][xn ]. A incluso contrria pode ser vericada analogamente.
Os teoremas a seguir fornecem dois resultados acerca dos divisores de zero e dos elementos
invertveis do anel de polinmios:
Teorema 1.2.6.
Demonstrao.
n
0
Se
(A, +, )
Como
um domnio, ento
A[x1 , . . . , xn ]
A[x1 , . . . , xn ] = A[x1 , . . . , xn1 ][xn ]
para
um domnio.
n 2,
basta provar o caso em que

P1
= 1 e oPresultado deduzido por induo no nmero de variveis. Para isso, dados f = ri=0
ai xi1 6=
r2
i
e g =
i=0 bi x1 6= 0, com r1 , r2 N, ai , bi A e ar1 , br2 6= 0, tem-se f g 6= 0, pois o coeciente do
seu monmio de maior grau
ar1 br2 6= 0.
Teorema 1.2.7.
um domnio, ento os elementos invertveis de
elementos
(A, +, )
invertveis de A.
Demonstrao.
Se
Como
A A[x1 , . . . , xn ],
ento os elementos invertveis de
A[x1 , . . . , xn ]
so os
tambm sero invert-
A[x1 , . . . , xn ]. Proceda agora por induo no nmero de variveis. Para n = 1, dado f A[x1 ]
invertvel, se f
/ A ento deg(f ) 1 e existiria g A[x1 ], tal que f g = 1. Pelo Teorema anterior,
A[x1 ] um domnio logo deg(1) = deg(f ) + deg(g) > 1, pois deg(f ) > 1 e deg(g) > 0, o que um
absurdo, pois deg(1) < 1. Agora, suponha que os nicos elementos invertveis de A[x1 , . . . , xn1 ] so
aqueles invertveis em A. Assim, se f A[x1 , . . . , xn ] \ A invertvel, ento, pela hiptese indutiva,
f A[x1 , . . . , xn ] \ A[x1 , . . . , xn1 ] e, por um raciocnio anlogo ao feito na base da induo, desta
vez para o domnio A[x1 , . . . , xn1 ], chega-se ao absurdo de que deg(1) > 1. Portanto, os nicos
elementos invertveis de A[x1 , . . . , xn ] so os elementos invertveis de A.
veis em
Para uma parte posterior do trabalho, sero necessrios alguns resultados referentes a homomorsmos entre anis.
Denio 1.2.8
(A, +1 , 1 ) e (B, +2 , 2 ) anis. Uma funo : A B

a, b A, (a 1 b) = (a) 2 (b) (multiplicatividade), (a +1 b) = (a) +2 (b) (aditividade) e (1A ) = 1B . Dene-se tambm Im() = {b B |
(a) = b para algum a A} como a imagem de e Ker() = {a A | (a) = 0} como o ncleo de
. Se for bijetora, chamada de isomorsmo.
(Homomorsmo)
Sejam
chamada homomorsmo quando, dados quaisquer
Proposio 1.2.9.
respectivamente. Alm disto,
Demonstrao.
Sejam
: A B um homomorsmo,
Ker() ideal de A.
Se
A,
so subanis de
so anis e
c, d Im(),
existem
cd = (a)(b) = (ab)
ab A
como
de
B.
Da
a, b A
e
tais que
(a) = c
ento
(b) = d,
Im()
Ker()
logo
c d = (a) (b) = (a b),
a b A, (ab) = cd Im() e (a b) = a b Im(),

mesma forma, sejam e, f Ker() logo (e) = (f ) = 0 assim
e
logo
Im()
subanel
(e f ) = (e) (f ) = 0 e (ef ) = (e)(f ) = 0,

logo
e f, ef Ker()
Ker()
subanel de
A.
a A e b Ker(). Ento, (ab) = (a)(b) = (a)0 = 0. Logo,

conclui-se que Ker() um ideal, pois na primeira parte j tnha-se Ker() como
Finalmente, sejam
ab Ker() e
subanel de A.
e conclui-se que
CAPTULO 1.
PRELIMINARES
Denio 1.2.10 (Anel Quociente).

A por
a A.
de
Sejam
todo
aR
A um anel e I A um ideal. Dene-se o Anel Quociente

A/I = {a + I | a A}, sendo a + I = {a + i | i I}, para qualquer
como o conjunto
um anel e
I R
Seja
um ideal. A funo
: R R/I ,
(a) = a + I , para
com ncleo I , chamada
denida por
facilmente vericada ser um homomorsmo sobrejetor de anis
projeo cannica ao quociente.
Teorema 1.2.11
Ento,
(Teorema do Isomorsmo)
A/Ker()
isomorfo a
Se
:AB
so anis e
um homomorsmo.
Im().
Demonstrao.
Dena : A/Ker() Im() por (x + Ker()) = (x), x A. Para ver que

est bem denida, note que a + Ker() = b + Ker(), a, b A, implica a b Ker(). Logo,
(a b) = (a) (b) = 0 e, da, (a) = (b). Com isto, (a + Ker()) = (b + Ker()). J
a sobrejetividade segue do fato de todo elemento b Im() ser imagem de algum elemento a A,
isto , existe um a A tal que (a) = b. Com isto, b = (a + Ker()). Por ltimo, para constatar
a injetividade, se (a + Ker()) = (b + Ker()), ento (a) = (b). Assim, a b Ker().
Portanto, a + Ker() = b + Ker().
1.3
Ordenao Monomial e Divisibilidade
Nesta seo ser estabelecida uma forma de ordenar elementos do anel de polinmios
K[n] ,
sendo
um corpo. Inicialmente, ser deninda uma relao de ordem, passando s ordens monomiais e, por
m, estabelecendo a divisibilidade entre polinmios.
Denio 1.3.1 (Relao de Ordem). Uma relao de ordem uma relao binria num conjunto
M 6=
1.
satisfazendo:
a a, a M
2. Se
a, b M
3. Se
a, b, c M
(reexividade).
so tais que
so tais que
Uma relao de ordem

Quando
a b,
Denio 1.3.2
ab
b a,
ab
ento
b c,
a=b
ento
(antissimetria).
ac
(transitividade).
dita total, se a b (a precede b), b a ou a = b para quaisquer a, b M .
diz-se que
precede ou igual a
(Princpio da Boa Ordenao)
b (a, b, M ).
Um conjunto
munido de uma ordem satisfaz o
Princpio da Boa Ordenao (ou Princpio da Boa Ordem) quando possui um elemento que precede
todos os outros.
Notao 1.3.3.
M
Nesta seo, o conjunto de todos os monmios de
K[x1 , . . . , xn ]
ser denotado por
Denio 1.3.4
(Ordem Monomial)
Uma ordem monomial
sobre
uma relao de ordem
total que satisfaz:

1. Se
a, b M
e so tais que
a b,
ento
a c b c, c M.
2. Vale o Princpio da Boa Ordenao.
Observao 1.3.5.
Note que:
1. Qualquer sequncia decrescente de monmios nita, isso uma consequncia do Princpio da

Boa Ordenao.
CAPTULO 1.
2. Se
PRELIMINARES
uma ordem monomial sobre
Exemplo
1.3.6
Q
(Ordem Lexicogrca)
M,
ento 1 o menor elemento de
Dados dois monmios
m, n M,
n = nj=0 xj j . dito que m L n (m precede n lexicogracamente),

k N, tal que p = 0, se p < k e k > 0. Dene-se tambm a Ordem
M.
Q
m = ni=0 xi i e
= , existe
tais que
se, denindo
Lexicogrca Graduada sendo
a ordem que ordena pelo grau do monmio e, caso dois monmios tenham graus iguais, vale a ordem
Lexicogrca. possvel denir verses reversas dessas ordens: a Ordem Lexicogrca Reversa diz
que
m LR n, se existe k N, tal que p = 0, se k < p 6 n e k > 0; a Ordem Lexicogrca Graduada
Reversa ordena pelo grau do monmio e, no caso de igualdade, vale a Lexicogrca Reversa. Estas
ordens monomiais so relaes de ordem totais.
Denio 1.3.7
mio lder de
cl(f ),
. Fixada uma ordem monomial, dado f K[x1 , . . . , xn ], o monml(f ) := max {m|m M(f )}, o coeciente lder de f , denotado por
a ml(f ) e o termo lder de f tl(f ) := ml(f ) cl(f ).
(Termos Lderes)
denido sendo
o coeciente associado
Ser denido agora o conceito de divisibilidade de polinmios, que de grande importncia

para este trabalho. Em seguida sero apresentados dois algoritmos de diviso.
Denio 1.3.8
mltiplo de
p),
(Divisibilidade)
com a notao
Observao 1.3.9.
b1
p|q ,
p, q K[x1 , . . . , xn ]. Diz-se que p divide q

t K[x1 , . . . , xn ] tal que q = p t.
Sejam
No caso de monmios, dados
bn
x1 . . . xn , com ai , bi > 0, i Nn , p divide q

t = x1 c1 . . . xn cn , com ci = bi ai > 0, i Nn .
Teorema 1.3.10
tais que
(Algoritmo da Diviso)
f =qg+r
(ou que
quando existe
p, q M,
equivalente a dizer
Dados
f, g K[n] ,
p = x1 a1 . . . xn an e q =
que existe t M na forma
tais que
com
g 6= 0,
existem nicos
q, r K[n]
ml(g) - ml(r).
Demonstrao.
Pode-se, primeiramente, vericar os casos triviais: se ml(g) - ml(f ), ento q = 0 e

r = f ; se f for nulo, ento r = q = 0 e nada mais resta a fazer. Agora, se ml(g) | ml(f ), dena
f1 = f e q1 = tl(f1 )/tl(g) e, em seguida, dena f2 = f1 q1 g . Desta forma, tl(f1 ) no termo
de f2 e, portanto, ml(f2 ) ml(f1 ). Assim, dena sequncia (fn ) em que fi+1 = fi qi g , sendo
qi = tl(fi )/tl(g), enquanto existir qi , ou seja, enquanto ml(g) | ml(fi ) e fi 6= 0. Logo, tem-se uma
sequncia decrescente de termos que, portanto, ser nita. O ltimo termo fm da sequncia ser tal
que fm = fm1 qm1 g e ml(g) - ml(fm ), pois, caso contrrio, no seria o ltimo termo. Substituindo
a recorrncia em fm1 obtm-se:
fm = fm1 qm1 g = fm2 qm2 g qm1 g

fm2 , fm3 , . . . , f2 chega-se, ao nal, em f = f1 = (q1 +q2 + +qm1 )g +fm .
q = (q1 + q2 + + qm1 ) e r = fm , ento f = q g + r.
e, fazendo o mesmo em
Da, tome
q1 , q2 , r1 , r2 K[n] sendo f = q1 g + r1 e
f = q2 g + r2 de modo que ml(g) - ml(r1 ) e ml(g) - ml(r2 ). Primeiramente, note que se ml(g) - ml(r1 ),
ento ml(g) - m para todo m M(r1 ) e o mesmo vale para r2 . Como q1 g + r1 = q2 g + r2 logo
(q1 q2 ) g = r2 r1 e isto implica em r2 = r1 , caso contrrio valeria que tl(g) | tl(r2 r1 ) e isto
seria um absurdo, j que M(r2 r1 ) M(r1 ) M(r2 ). Se r2 = r1 segue que q2 = q1 , o que encerra a
Para mostrar a unicidade, suponha que existam
demonstrao.
Denio 1.3.11.
Na notao do teorema anterior,
denotado neste trabalho por
rg (f ),
chamado de
r chamado de resto da diviso de f

quociente da diviso de f por g .
Teorema 1.3.12 (Algoritmo da Diviso Generalizado).

existem
i Nk .
a1 , a2 , . . . , ak
r K[n] ,
tais que
por
g,
f1 , . . . , fk K[n] , para cada f K[n] ,

f = a1 f1 + ... + ak fk + r e ml(r) - ml(fi ), para todo
Dados
CAPTULO 1.
Demonstrao.
10
PRELIMINARES
Dado um polinmio
f K[n] ,
a1 , r1 K[n] ,
[n]
existem a2 , r2 K
pelo teorema anterior, existem
tais que
f = f1 a1 + r1 , com tl(f1 ) - tl(r1 ). O mesmo teorema diz ainda que

tais que
r1 = f2 a2 + r2 , logo f = f1 a1 + f2 a2 + r2 . Aplicando, sucessivamente, o teorema anterior
aos restos ri dividindo-o por fi , este processo ser nito, pois a sequncia de restos decrescente.
Logo, existe m > 0 tal que tl(fk ) - tl(rm ), para todo k Nn . Assim, pode-se escrever f na forma
f = a1 f1 + a2 f2 + + ak fk + rm .
Denio 1.3.13. Na notao do Teorema anterior, r ser chamado de resto da diviso generalizada
de
por
G = {f1 , . . . , fk }
e denotado por
rG (f ).
Vale mencionar que este resto no nico e pode-se ilustrar isto atravs de um exemplo.
Exemplo 1.3.14.
f = xy 2 x, g1 = xy y e g2 = y 2 x K[x, y] e xe a ordem lexicogrca

com y x. Ao dividir f por g1 e, em seguida, por g2 , utilizando o algoritmo da diviso generalizado,
obtm-se que f = yg1 + g2 , onde o resto nulo, mas ao dividir primeiro por g2 e depois por g1 ,
2
2
pode-se obter f = xg2 + 0.g1 + x x, ou seja, deixa como resto o polinmio x x 6= 0.
1.4
Tome
Ideais Polinomiais
Ser introduzido nesta seo o conceito de ideal no anel de polinmios
K[x1 , . . . , xn ],
que ser o
principal objeto de estudo deste trabalho. Exibir-se-o tambm algumas propriedades e proposies
que fundamentaro vrios conceitos-chave para o desenvolvimento do trabalho. Sero apresentadas
proposies para anis em geral e, em seguida, resultados especcos para anis de polinmios.
Denio 1.4.1 (Ideal).

1.
0 I;
2.
a, b I
implica que
3.
aI
bA
Seja
Se
Por vezes, dados
I A. I
ser chamado ideal de
A,
se:
a b I.
um anel, ento
a1 , . . . , a s A ,
mios, que ser chamado o
um anel e
a + b I;
implica em
Observao 1.4.2.
(A, +, )
ideal gerado
{0}
so ideais de
A.
interessante denir o menor ideal que contm estes polinpor estes elementos. possvel formalizar esta ideia denindo
o que um conjunto gerado por polinmios de
A e, em seguida, provando que ele, de fato, um ideal.
natural que ele seja o menor ideal (no sentido de que qualquer outro ideal o contm) que contm
a1 , . . . , a s ,
j que qualquer outro ideal que tiver tais elementos conter tambm o ideal gerado por
eles.
Denio 1.4.3
(Conjunto Gerado)
Dados
a1 , a2 , . . . , ak A,
ser denotado por
ha1 , a2 , . . . , ak i
conjunto
{a1 b1 + a2 b2 + + ak bk | b1 , b2 , . . . , bk A},
a1 , a2 , . . . , ak .
a1 , a2 , . . . , ak .
chamado de conjunto gerado por

de todas as combinaes de
Proposio 1.4.4.
Demonstrao.
Dados
equivalente dizer que
f1 , . . . , fk A, hf1 , . . . , fk i
um ideal de
ento existem
a = f 1 a1 + + f k ak
o conjunto
A.
0 = a1 0 + + fk 0 hf1 , . . . , fk i,
a1 , . . . , ak , b1 , . . . , bk , tais que
Primeiramente, note que
a, b hf1 , . . . , fk i,
ha1 , a2 , . . . , ak i
j que
0 A.
Se
CAPTULO 1.
11
PRELIMINARES
b = f 1 b1 + + f k bk .
Logo,
a + b = f1 (a1 + b1 ) + + fk (ak + bk ),
a + b hf1 , . . . , fk i,
ou seja,
e, dado
c A,
a c = f 1 a1 c + + f k ak c
ai c A
e, como
para todo
i Nk , a c hf1 , . . . , fk i.
Por um raciocnio anlogo, pode-se denir
em
quando em
I + J,
Proposio 1.4.5.
hf1 , . . . , fk i
um ideal de
A.
que ser o maior ideal que est contido tanto
que o menor ideal que contm ambos. Formalmente:
I, J so
I + J = {a + b | a I, b J}.
Demonstrao.
I J,
Portanto,
Se
ideais de
A,
ento
IJ
I+J
tambm so ideais de
A,
sendo
I, J so ideais, ento 0 I e 0 J , o que implica em 0 I J . Dados

a, b I J , a + b I e a + b J , pois a, b I e a, b J , com I e J sendo ideais, logo a + b I J .
Da mesma forma, dado c A, a c I e a c J , logo a c I J . Portanto I J um ideal.
Similarmente, para vericar que a soma de ideais um ideal, note que, dados a, b I + J , existem
a1 , b1 I e a2 , b2 J tais que a = a1 + a2 e b = b1 + b2 . Logo,
Como
a + b = (a1 + a2 ) + (b1 + b2 ) = (a1 + b1 ) + (a2 + b2 )

I e J so ideais, a1 + b1 I e a2 + b2 J ,
a I + J e b A acarreta em a b I + J .
e, como
que
Denio 1.4.6
S
(Conjunto Gerador de um Ideal)
ou seja,
Se
a + b I + J.
SI
Um ideal de
hSi = I , ento
que I um ideal
um conjunto tal que
I . Se I admite um conjunto gerador

K[x1 , . . . , xn ] chamado ideal monomial
dito conjunto gerador de
principal.
Analogamente, verica-se
unitrio, dito
quando admite um conjunto de
geradores formado apenas por monmios.

A seguir alguns resultados bsicos sobre conjuntos geradores.
Proposio 1.4.7.
1. Se
L I,
2. Se
L M A,
ento
Demonstrao.
Seja
I,
A,
ento:
hLi I .
ento
1. Seja
pertencem a
um ideal de
pois
hLi hM i.
a hLi, possvel escrever a como combinao

L I . Logo, a I e conclui-se que hLi I .
p hLi, p pode ser escrito como combinao

M . Logo, p hM i e, portanto, hLi hM i.
2. Seja
a
dos elementos de
Proposio 1.4.8. Seja I um ideal nitamente gerado de A.

de
I,
ento existe um subconjunto nito de
Demonstrao.
{g1 , . . . , gs }
O fato de
que gera
Se
L,
de elementos de
L,
que tambm pertencem
S um conjunto innito de geradores
I.
ser nitamente gerado garante que existe pelo menos um conjunto
nito de geradores, com
gi I, i Ns .
que
Sendo
G=
um conjunto innito de geradores
como combinao nita de elementos de S , suponha que Si S seja o

gi , logo o conjunto X = si=1 Si gera todo elemento de G, que,
por sua vez, gera I . Logo, X S um conjunto gerador nito de I .
possvel escrever cada
gi
conjunto de elementos que gera cada
CAPTULO 1.
Proposio 1.4.9.
Demonstrao.
12
PRELIMINARES
Todo ideal de
Fixe
K[x]
principal.
sendo a ordem monomial dada pelo grau do polinmio.
Se
I = {0}
ou
I = K[x], no h nada a provar. Caso contrrio, escolha f I tal que deg(f ) o menor elemento
de {deg(g) | g I}. Pelo algoritmo da diviso, para cada g I existem qg , rg K[x] tal que
g = f qg + rg , com tl(g) - tl(rg ), ou seja, deg(f ) > deg(rg ). Sabe-se que rg I , pois f, qg g I .
Logo, pela minimalidade de deg(f ) e, como I 6= {0} e I 6= K[x], rg = 0. Portanto, g hf i, o que
conclui a demonstrao.
Lema de Dickson, que ser enunciado e demonstrado a seguir, representa uma ferramenta de
grande importncia na fundamentao das Bases de Grbner.
O
Teorema 1.4.10 (Lema de Dickson).
Todo ideal monomial de
K[n]
nitamente gerado por mon-
mios.
Demonstrao.
Seja
I K[n]
um ideal monomial. Para
induo no nmero de variveis no caso
I = {0} o resultado imediato.
Proceda por
I 6= {0}.
Uma vez que em K[x] todo ideal principal, o caso

[n1]
base est vericado. Suponha que todo ideal monomial em K
seja nitamente gerado (hiptese
de induo).
f1 = g1 xan1 com g1 K[n1] e a1 N o menor

possvel, ou seja, escolha f1 de modo que seu grau em xn seja o menor possvel. Se I = hf1 i, a
demonstrao acaba aqui, caso contrrio possvel escolher um monmio f2 I \ hf1 i tal que, da
a
[n1]
mesma forma, pode-se escrever f2 = g2 xn2 , g2 K
e a2 N o menor possvel. Se I = hf1 , f2 i no
a
h mais nada a demonstrar. Seno, continue a escolher monmios fr = gr xnr I \ hf1 , f2 . . . , fr1 i
tal que, para cada r N, ar seja o menor possvel entre os outros possveis fr com tal propriedade,
Seja
f1 I
um monmio tal que, pode-se escrever
de modo a formar uma sequncia.
Basta provar ento que esta sequncia nita, ou seja, que
u N tal que I = hf1 , . . . , fu i. Para isto suponha que esta sequncia innita e dena
G = {g1 , g2 , . . .}. Por hiptese de induo o ideal J = hGi K[n1] nitamente gerado por
monmios, ou seja, existe M = {m1 , . . . , ms } J tal que J = hM i. Logo possvel escrever cada
elemento de G como combinao dos elementos de M e, como so todos monmios, cada elemento de
G mltiplo de algum elemento de M e o contrrio tambm vale: cada elemento de M mltiplo de
[n1]
algum em G. Em outras palavras, possvel dizer que para todo i N existem j N e pi K
[n1]
tais que gi = pi mj e, da mesma forma, para este j existem k N e qj K
tais que mj = qj gk ,
assim gi = pi qj gk . Isto trivial se i = k . Porm i 6= k , pois se fossem iguais pi qj = 1 e, portanto,
pi K e isto implicaria no conjunto M ser innito, anal, todo elemento de G seria associado a um
elemento de M . Mas dois elementos de G no podem estar associados a um mesmo elemento de
M , pois isto faria com que eles fossem associados entre si, o que no poderia ocorrer, j que cada f
existe
foi escolhido de modo a no pertencer a ideais gerados pelos termos anteriores da sequncia. Desta
forma, para cada elemento de
existe outro distinto que o divide. Assim se
i > k,
fi = gi xani = pi qj gk xani = pi qj gk xnai ak xank = pi qj xani ak fk .

fi no pode ser mltiplo de fk se i > k , j que fi foi escolhido de forma
a no pertencer ao ideal hf1 , . . . , fk , . . . , fi1 i. O raciocnio anlogo se i < k . Portanto, conclui-se
assim que sempre possvel obter um conjunto nito de monmios geradores de I , ou seja, todo ideal
[n]
monomial de K
nitamente gerado por monmios.
Um absurdo tambm, pois
A proposio a seguir fornece uma ideia simplicada do que vir a ser chamado de
Buchberger
no prximo captulo.
Proposio 1.4.11.
somente se,
Critrio de
Um elemento
M(f ) I .
f K[n]
pertence ao ideal monomial
I = hm1 , . . . , ms i
se, e
CAPTULO 1.
13
PRELIMINARES
Demonstrao.
f
Se todos os monmios de f pertencem a I , ento claro que f tambm pertence. Se

I , existem q1 , . . . , qs K[n] tais que f = m1 q1 + + ms qs . Com uma ordenao adequada
nos ndices, suponha
ml(f ) = ml(m1 q1 + + ms qs ) = m1 q1 . Logo, ml(f ) I . Agora,

que f1 I e proceda como antes, ou seja, analisando e eliminando o
f1 = f tl(f ), note
lder de f1 . Como f tem uma quantidade
pertencem a I , isto , M(f ) I .
dena
termo
nita de termos, conclusivo que todos os monmios de
Captulo 2
Bases de Grbner
Um dos grandes problemas da lgebra comutativa como chegar uma concluso a respeito do
problema da pertinncia de um elemento a um ideal num anel de polinmios sobre um corpo. Em
apenas uma varivel, como todo ideal principal, basta utilizar o Algoritmo da Diviso para resolver
este problema. No caso de ideais monomiais, foi visto que possvel resolver este problema simplesmente vericando se todos os monmios de um dado polinmio pertencem a este ideal. Isto fornece
uma ideia intuitiva de como possvel generalizar este conceito para ideais polinomiais quaisquer,
buscando elementos geradores cujos monmios lderes possuam propriedades convenientes.
conjuntos sero chamados
Bases de Grbner.
Estes
Os resultados deste captulo foram, em sua maioria,
escritos com base em [1] e [3].
Denio 2.0.12
(Ideal Inicial)
Ser denotado como
I e chama-se ideal
in(I) = hml(I)i.
monmios lderes de um ideal
ml(I).
Em outras palavras
Denio 2.0.13
[n]
(Base de Grbner)
Fixe
. Diz-se que um subconjunto nito
existe
u ml(G)
tal que
mltiplo de
G
u.
ml(I) = {ml(f ) | f I} o conjunto

I , denotado por in(I), o ideal gerado
inicial de
uma ordem monomial em
uma Base de Grbner para
K[n] .
Seja
dos
por
um ideal de
quando, dado
v ml(I),
A seguir, h uma srie de equivalncias a respeito destes conjuntos que sero largamente utilizadas para estabelecer resultados importantes.
Teorema 2.0.14
{g1 , . . . , gp } I ,
(Teo.
2.26 de [3])
Fixe uma ordem monomial
.
Dados
I K[n]
G =
so equivalentes as seguintes armaes:
1.
2.
in(I) = hml(G)i.
3.
f I
4.
f I se, e somente se, possvel escrever f =

ml(gi )}.
se, e somente se,
com respeito a
.
rG (f ) = 0.
Ps
i=1 qi gi , sendo que
ml(f ) = max16i6s {ml(qi )
Demonstrao.
g hml(I)i um polinmio. Como
Ps todo ideal monomial nitamente gerado,
existem monmios m1 , . . . , ms ml(I) tais que g =
i=1 mi e, para todo i Ns existe um polinmio
fi I e um monmio hi K[n] tais que mi = hi ml(fi ). Como G uma Base de Grbner para I ,
se fi I existe u G tal que ml(fi ) mltiplo de ml(u), ou seja, fi hml(G)i. Consequentemente,
g hml(G)i e, portanto, hml(I)i hml(G)i. Por outro lado, como G I , ml(G) ml(I) e
hml(G)i hml(I)i.
(1
2)
Seja
14
CAPTULO 2.
15
BASES DE GRBNER
[n]
3) Seja
Ps f I . Pelo Algoritmo da Diviso Generalizado, existem q1 , q2 , . . . qs , rG (f ) K
tais que f =
i=1 gi qi +
Prs G (f ) e ml(rG (f )), no divisvel por ml(gi ) para qualquer i Ns , se
for no nulo. Dena q =
i=1 gi qi , como q combinao dos elementos de G I , ento q I e,
como f I , rG (f ) = f q I . Isto implica que ml(rG (f )) ml(I) hml(I)i = hml(G)i, ou seja,
ml(rG (f )) mltiplo de algum gi , o que ocorre somente se rG (f ) = 0. A recproca trivial, uma vez
que rG (f ) = 0 implica que f combinao dos elementos de G e, portanto, elemento de I .
(2
f I , ento rG (f ) = 0, logo fP combinao dos elementos de

PsG, ou seja,
s
[n]
existem monmios q1 , q2 . . . , qs K
tais que f =
i=1 qi gi . Logo ml(f ) = ml(
i=1 qi gi ) =
max16i6s {ml(qi ) ml(gi )}. A recproca tambm trivial.
(3
(4
ml(G),
4)
1)
ento
Se
f I , ml(f ) = max16i6s {ml(qi ) ml(gi )}

Base de Grbner para I .
Para todo
uma
mltiplo de algum elemento de
Dadas estas equivalncias, o problema da pertincia solucionado apenas utilizando o Algoritmo

da Diviso Generalizado, vericando se um elemento deixa resto zero na diviso pela Base de Grbner
de um ideal.
Proposio 2.0.15.
Demonstrao.
K[n] . Seja I K[n] um

in(I) = in(hGi) = hml(G)i.
Fixe uma ordem monomial em
I.
Nestas condies
J foi demonstrado que se
ideal e
G = {g1 , . . . , gs }
ento
in(I) = hml(I)i = hml(G)i = in(G) in(hGi),

ml(G) ml(hGi). Denindo J = hGi, J I pois G I ,
in(J) in(I). Assim foi provado que in(hGi) = in(I).
pois
Agora, como
G hGi,
ento
ml(G) ml(hGi)
o que implica em
ml(J) ml(I),
logo
logo
hml(G)i hml(hGi)i = in(hGi).

f in(hGi), f combinao dos elementos de ml(hGi) que subconjunto de ml(I), pois hGi I ,
logo f combinao de elementos de ml(I). Cada elemento de ml(I), por sua vez, mltiplo de
algum em ml(G), pois G Base de Grbner, logo f combinao de elementos de ml(G), ou seja,
f hml(G)i e foi provado que in(hGi) = hml(G)i.
Seja
Como consequncia direta da proposio seguinte, possvel concluir que uma Base de Grbner
, de fato, um conjunto gerador para seu ideal.
Proposio 2.0.16.
Se
in(I) = in(J),
Demonstrao.
uma ordem monomial em K[n] .

I = J.
Fixe
ento
I, J K[n]
ideais tais que
J I.
I \ J 6= . Como satisfaz o Princpio da Boa Ordenao I \ J

tem menor elemento, ou seja, existe f I \ J cujo termo lder tl(f ) precede todos os outros. Como
f I , ml(f ) ml(I), logo ml(f ) in(I) = in(J). Mas como f 6 J e in(I) = in(J), existe g J tal
que tl(g) = tl(f ), assim tl(f g) tl(f ) e, como f o mnimo em I \ J , logo f g J , mas g J ,
ento (f g) + g = f J , o que um absurdo. Portanto I = J .
Se
I 6= J ,
Sejam
Corolrio 2.0.17.
gerador de
Seja
ento
I K[n]
um ideal.
Se
I,
ento
um
I.
Demonstrao.
G I uma Base de Grbner, denindo J = hGi I , vale

I = J , pela proposio anterior. Portanto G um gerador de I .
Como
hml(G)i = in(J)
logo
que
in(I) =
Um dos resultados mais importantes que fundamentam a teoria a existncia das Bases de
K[n] .
Grbner para qualquer ideal de
CAPTULO 2.
16
BASES DE GRBNER
Teorema 2.0.18.
Todo ideal no nulo de
K[n]
possui uma Base de Grbner com respeito a uma
ordem monomial xada.
Demonstrao.
I K[n]
J = in(I). Pelo Lema de Dickson, todo ideal monomial

m1 , . . . , ms J tais que J = hm1 , . . . , ms i. Para
todo f I tem-se que ml(f ) ml(I) J , ento ml(f ) mltiplo de algum mi e isto implica que
possvel construir G = {f1 , . . . , fs }, onde cada fi tal que ml(fi ) = mi , i Ns . Por construo, G
uma Base de Grbner para I .
Seja
um ideal e
nitamente gerado por monmios, logo existem
Com este teorema em mos, possvel obter uma demonstrao alternativa de um caso particular do famoso Teorema da base de Hilbert, que foi provado inicialmente em 1888, pelo matemtico
alemo David Hilbert.
Corolrio 2.0.19 (Teorema das bases de Hilbert).
Todo ideal de
K[n]
admite uma quantidade nita
de geradores.
Demonstrao.
Fixada uma ordem monomial, todo ideal possui, com respeito a esta ordem, uma
Base de Grbner
2.1
G,
que um conjunto nito.
Algoritmo de Buchberger
Ser estabelecida nesta seo uma forma de calcular efetivamente uma Base de Grbner, a partir
de qualquer conjunto nito de geradores de um ideal
I.
Esta forma conhecida como
Buchberger, mas antes preciso formalizar o conceito de S-Polinmio.
Denio 2.1.1 (Mnimo Mltiplo Comum). Dados dois monmiosQ

m1 =
M, o mnimo mltiplo comum (MMC) de m1 e m2 mmc(m1 , m2 ) =

para todo i Nn .
Denio 2.1.2
S-polinmio de
(S-polinmio)
e
g,
Fixe uma ordem monomial em
denotado por
S(f, g),
Exemplo 2.1.4.
xy y e g2 = y x
Dados
f, g K[n] ,
dene-se o
f
tl(f )
mmc(ml(f ), ml(g))
g
tl(g)
O S-polinmio de elementos de um ideal tambm pertence a este ideal.
Fixe a ordem lexicogrca em
Qn bi
ai
,
m
=
x
2
i
i=1 xi
i=1
n
ci
,
sendo
c
=
max{a
x
i
i , bi },
i=1 i
Qn
como:
S(f, g) := mmc(ml(f ), ml(g))
Observao 2.1.3.
M.
Algoritmo de
K[x, y]
com
y x.
Considere os polinmios
g1 =
do Exemplo 1.3.14. Ento,
S(g1 , g2 ) = (xy 2 )
xy y
y2 x
(xy 2 )
= y(xy y) x(y 2 x) = x2 y 2 .
xy
y2
A seguir, duas proposies que auxiliaro na construo de resultados essenciais para dar continuidade ao trabalho.
Proposio 2.1.5 (Ex.

f, g K[x1 , . . . , xn ],
1.
2.35 de [3])
Fixada uma ordem monomial em
vlido que:
S(f, g) = S(g, f ).
2. Se
m1 , m2 M,
ento
S(m1 , m2 ) = 0.
3.
f
ml(mmc(ml(f ), ml(g)) tl(f
) = mmc(ml(f ), ml(g)).
)
4.
ml(S(f, g)) mmc(ml(f ), ml(g)).
K[x1 , . . . , xn ], para quaisquer
CAPTULO 2.
17
BASES DE GRBNER
Demonstrao.
1.
f
S(f, g) = mmc(ml(f ), ml(g)) ( tl(f
2.
m1
S(m1 , m2 ) = mmc(ml(f ), ml(g)) ( tl(m

1)
3. Escreva
mmc(ml(f ),ml(g))
. Se
tl(f )
q=
g
)
tl(g)
ml(f ) =
Qp
g
= mmc(ml(f ), ml(g)) ( tl(g)
m2
)
tl(m2 )
i=1
xi ai
f
)
tl(f )
1
= mmc(ml(f ), ml(g)) ( m
m1
mmc(ml(f ), ml(g)) =
ml(g) =
p
Y
Qp
i=1
xi b i ,
= S(g, f ).
m2
)
m2
= 0.
segue que
xi max{ai ,bi } .
i=1
ml(q f ) = q ml(f ) =
mmc(ml(f ), ml(g)).
Logo,
4.
Qp
i=1
xi i ,
onde
i = (ci ai ) + ai = ci .
Portanto,
ml(q f ) =
f
g
mmc(ml(f ), ml(g)) tl(g)
)
ml(S(f, g)) = ml(mmc(ml(f ), ml(g)) tl(f
)
max{ml(f ), ml(g)} mmc(ml(f ), ml(g)).
Note que, pelo item 4, calcular

polinmios, de modo que
ml(S(f, g))
S(f, g)
uma forma de eliminar o termo lder destes dois
precede o mximo entre
ml(f )
ml(g).
Eis o Critrio de Buchberger:
Teorema 2.1.6
(Critrio de Buchberger)
[n]
[Prop.
K , um conjunto G = {g1 , . . . , gs } uma

rG (S(gi , gj )) = 0, para quaisquer gi , gj G.
em
Demonstrao.
G,
2.36 de [3]] Fixada uma ordem monomial
Base de Grbner para o ideal
G uma Base de Grbner para I , ento gerador de I

S(g1 , g2 ) I , em outras palavras, rG (S(g1 , g2 )) = 0.
Se
verdade que
se, e somente se,
e dados quaisquer
g1 , g2
f I e suponha que o S-Polinmio de quaisquer elementos de G deixa

G. necessrio provar que existe g G tal que ml(g) | ml(f ). Sabendo
[n]
que existem h1 , h2 , . . . , hs K
tal que f = h1 g1 + ... + hs gs , dena L = hl gl = max(ml(hi gi ) |
i Ns ). Suponha tambm que foi escolhida a representao de f que faz L ser o mnimo possvel.
Se L = ml(f ), ento gl | ml(f ) e o teorema estaria provado, logo ser considerado apenas o caso
em que L 6= ml(f ), mais precisamente, em que ml(f ) L, j que no possvel o contrrio, pois
se fosse, existiria algum k Ns , tal que ml(hk gk ) = ml(f ) L. Denote por H o conjunto de
todos os ndices dos elementos da representao de f , cujos monmios lderes so iguais a L, ou seja,
H = {i | ml(hi gi ) = L} e suponha tambm que foi escolhida a representao de f de modo a tornar
a cardinalidade de H mnima. H tem pelo menos dois elementos, pois seno L = ml(f ) e, devido
escolha da representao de f , a cardinalidade de H 2, ento represente os polinmios associados
a estes dois ndices como h1 g1 e h2 g2 . possvel fazer
Por outro lado, seja
resto zero na diviso por
h1 g1 + h2 g2 = tl(h1 ) g1 + tl(h2 ) g2 + (h1 tl(h1 )) g1 + (h2 tl(h2 )) g2

e como
tl(h1 g1 ) = tl(tl(h1 ) g1 ),
possvel armar que
ml((h1 tl(h1 )) g1 ) = ml(h1 g1 tl(h1 ) g1 ) L,

continue sabendo que
tl(h1 ) g1 + tl(h2 ) g2 = tl(h1 g1 ) (

Supondo, sem perda de generalidade, que
forma
tl(h1 ) g1 tl(h2 ) g2
+
).
tl(h1 g1 ) tl(h2 g2 )
tl(h1 g1 ) = tl(h2 g2 ),
obtm-se a equao anterior da
CAPTULO 2.
18
BASES DE GRBNER
tl(h1 )g1
tl(h1 ) g1 + tl(h2 ) g2 = tl(h1 g1 ) ( tl(h
+
1 g1 )
g1
= tl(h1 g1 ) ( tl(g
+
1)
tl(h1 g1 )
mmc(ml(g1 ),ml(g2 ))
S(g1 , g2 ).
rG (S(g1 , g2 )) = 0, possvel escrever S(g1 , g2 ) como combinao dos elementos

p1 , . . . , ps K[n] , tem-se a seguinte escrita de f , ainda como combinao
Mas como
G,
g2
)
tl(g2 )
tl(h2 )g2
)
tl(h2 g2 )
ento para alguns
elementos de
de
de
G:
s
X
X
tl(h1 g1 )
pi gi + (h1 tl(h1 )) g1 + (h2 tl(h2 )) g2 +
f=
hi gi .
mmc(ml(g1 ), ml(g2 )) i=1
i=3
Como
ml((h1 tl(h1 )) g1 ) L
e, alm disso,
ml(h1 g1 )
)L
mmc(ml(g1 ), ml(g2 ))
ml(S(g1 , g2 )
ento, pela forma como
ml((h2 tl(h2 )) g2 ) L
L foi denido, certamente existe algum termo hj gj
de
tal que
ml(hj gj ) = L
e que, claro, diferente dos que foi exibido at o momento, mas alm disso outro ter que existir
ml(f ) L e ento essas duas parcelas pertenceriam a H e so diferentes dos termos

j contados em H , o que um absurdo, pois foi feita a escolha da representao de f , tal que H tem
apenas dois elementos. Portanto ml(f ) = L e, conforme constatado anteriormente, isto implica que
G uma Base de Grbner para I .
tambm, pois
Com o toque de simplicidade e genialidade que o Critrio de Buchberger oferece, intuitivo

construir um conjunto gerador
onde os S-Polinmios calculados com todos os elementos de
deixam resto nulo na diviso pelo prprio conjunto, o que implicaria que este uma Base de Grbner.
Disso surge o Algoritmo de Buchberger, que visa incluir os restos da diviso dos S-Polinmios cujos
restos na diviso por
so no nulos no prprio conjunto
Algoritmo de Buchberger.
de calcular uma Base de Grbner
1.
Faa
2.
Enquanto
3.
Incio do lao de repetio
G=S
dena
P 6= ,
Sejam
um ideal de
a partir de
culminando em uma Base de Grbner:
SI
nito tal que
hSi = I .
Uma maneira
P = {(g, g 0 ) | g, g 0 G, g 6= g 0 }
faa :
4.
Escolha
um par de polinmios
5.
Calcule
r = rG (S(g, g 0 ))
6.
Se
r 6= 0,
K[n]
G,
ento faa
7.
Fim do lao de repetio
8.
Retorne
(g, g 0 ) P
G = G {r}
remova-o
de
P = P {(g, r) | g G}
Note que, se em algum momento P = , isso signica que para qualquer par de polinmios
(g, g 0 ) G seu S-Polinmio deixa resto nulo na diviso por G e, portanto, G uma Base de Grbner,
isto j justica sua corretude. Resta ento vericar se o algoritmo nito, o que pode ser feito uma
[n]
vez vericada a
em K . Quando esta vlida, diz-se que o anel
Noetheriano.
Condio da Cadeia Ascendente
Lema 2.1.7 (Condio da Cadeia Ascendente).

N,
ento existe
m N,
tal que
Im = Im+j ,
Ii K[n] , i N ideais tais que Ii Ii+1 , i

j N.
Sejam
para todo
CAPTULO 2.
Demonstrao.
19
BASES DE GRBNER
I = iN Ii , como 0 Ii I para todo i, ento 0 I . Se f, g I , ento

para algum i e algum j em N, sabe-se que f Ii e g Ij . Se i = j , ento como Ii um ideal,
f + g Ii f + g I , mas se i 6= j , suponha i > j , ento f Ij , pois Ii Ij e, portanto
f + g Ij I . O contrrio anlogo. Da mesma forma, se f I , ento dado qualquer a K[n] ,
como existe i tal que f Ii , que um ideal, ento af Ii I , logo I um ideal tambm. Tendo isso
em mos, pelo Teorema da base de Hilbert, ele nitamente gerado, ou seja, existem f1 , . . . , fr I
tais que hf1 , . . . , fr i = I . Mas como cada fk pertence a algum Ij , suponha que f1 Ij1 , . . . , fr Ijr
pode-se denir m = max{jk | k Nr }, assim {f1 , . . . , fr } Im , logo
Seja
hf1 , . . . , fr i = I Im I,
ento como para qualquer
j , I Im Im+j I ,
conclui-se que
Im = Im+j ,
para todo
j N.
G, no caso, os restos das divises

r1 , r2 , . . . , com os ndices relativos ordem
O Algoritmo de Buchberger sempre acrescenta elementos a

dos S-Polinmios no divisveis por
G.
Chamando-os de
com os quais foram adicionados ao conjunto, pode-se denir a sequncia, com os ndices respectivos
G1 = G e Gi+1 = Gi {ri }, i N. Assim, se Ii = hGi i, Ii Ii+1 , pois Gi Gi+1 ,

i N, logo, pela Condio da Cadeia Ascendente, para todo d N, existe j N, tal
que Ij = Ij+d , isto signica que Gj = Gj+d , ou seja, todos os restos so nulos nas divises de todos
os S-Polinmios de Gj pelos elementos de Gj , logo esta uma Base de Grbner de I . Isto justica
a nitude do algoritmo, pois em algum momento ter-se- P = , j que a cada repetio do lao
elementos sero removidos de P e nenhum ser acrescentado.
aos dos restos:
para todo
Exemplo 2.1.8. Fixe a ordem lexicogrca com y x em K[x, y].
O conjunto S = {g1 = xyy, g2 =

y 2 x} no uma Base de Grbner para o ideal I = hSi, pois no Exemplo 1.3.14 foi vericado que
f = xy 2 x I , mas rS (f ) no nico. Tambm pode-se constatar que S no Base de Grbner
para I pelo Critrio de Buchberger, j que calculando o S-Polinmio
S(g1 , g2 ) = (xy 2 )
y2 x
xy y
(xy 2 )
= y(xy y) x(y 2 x) = x2 y 2 ,
xy
y2
rS (S(g1 , g2 )) = x2 + x 6= 0.
G = {g1 , g2 , g3 }. Calculando os S-Polinmios
verica-se que
S(g1 , g2 ) = g3 ,
logo
Pelo Algoritmo de Buchberger, dena

de todos os elementos de
G,
g3 = x2 + x
obtm-se:
rG (S(g1 , g2 )) = 0;
2
S(g1 , g3 ) = (x2 y) xyy

(x2 y) x xx
= x(xyy)y(x2 x) = xy+yx = 0, logo rG (S(g1 , g3 )) = 0;
2
xy
2
S(g2 , g3 ) = (x2 y 2 ) x xx
(x2 y 2 ) y yx
= y 2 (x2 x) x2 (y 2 x) = x3 xy 2 = xg3 xg2
2
2
portanto, rG (S(g2 , g3 )) = 0.
Logo,
2.2
e,
I.
Bases de Grbner Reduzidas
Sabendo como calcular Bases de Grbner a partir de qualquer conjunto nito de geradores, outro
problema pode ser encontrado: a Base de Grbner
resultante do algoritmo a menor possvel em
algum sentido? Os resultados seguintes fornecem uma boa maneira de denir este sentido.
Proposio 2.2.1.
ml(g) | ml(h),
ento
I K[n] um ideal e G I uma Base de Grbner

H = G \ {h} tambm uma Base de Grbner para I .
Seja
para
I.
Se
g, h G
CAPTULO 2.
Demonstrao.
20
BASES DE GRBNER
f I e g, h G, tais que ml(g) | ml(h). Como G Base

existe p G, tal que ml(p) | ml(f ). Se p H , nada mais resta a demonstrar.
ml(g) | ml(h) e, como ml(p) = ml(h) | ml(f ), ento ml(g) | ml(f ), o que prova
g H . Portanto H tambm uma Base de Grbner para I .
Seja
Denio 2.2.2 (Base de Grbner Mnima).

para
I.
Diz-se
Seja
I K[n]
um ideal e
GI
de Grbner, ento
Seno
p = h,
mas
a proposio, pois
uma Base de Grbner
uma Base de Grbner mnima quando:
1. Todo elemento de
2. Dados quaisquer
Exemplo 2.2.3.
mnico;
g1 , g2 G
distintos,
ml(g1 ) - ml(g2 ).
G = {g1 = x y y, g2 = y 2 x, g3 = x2 + x}, obtida no

I = hg1 , g2 i, j que g1 , g2 e g3 so todos mnicos e tl(g1 ) = x y
A Base de Grbner
Exemplo 2.1.8, mnima para o ideal

2
2
no divide tl(g2 ) = x nem tl(g3 ) = x e o mesmo ocorre com os termos lderes dos outros elementos
de
G.
A proposio a seguir til para demonstrar um importante resultado sobre unicidade e tambm
justica o uso do termo mnima.
Proposio 2.2.4.
Seja
I K[n]
um ideal,
G I
H I
Bases de Grbner mnimas para
I.
Ento,
1.
tm a mesma cardinalidade;
2. possvel reordenar os elementos de
G ou H
de modo que
ml(hi ) = ml(gi ), para i = 1, . . . , #G
Demonstrao.
1. Tanto
quanto
so Bases de Grbner mnimas para o mesmo ideal.
Suponha que as
#G = s < t = #H , ento pelo

menos um elemento g1 ml(G) divide dois elementos diferentes h1 e h2 de ml(H), por outro
lado, existe h3 em ml(H) que divide g1 e, por consequncia, divide h1 e h2 . Isto um absurdo,
pois ento h3 = h1 = h2 . Portanto #G = #H .
cardinalidades so diferentes e, sem perda de generalidade, que
h1 H tal que ml(g1 ) | ml(h1 ), pois H Base de Grbner. Pode-se

ml(h1 ) | ml(g1 ) pois, caso contrrio, existiria outro elemento h H , cujo
monmio lder dividiria ml(g1 ), que teria como divisor o monmio lder de outro elemento g G
e ml(g) | ml(h) | ml(g1 ), ou seja, um absurdo. Sendo assim, possvel dizer que ml(g1 ) = ml(h1 ).
plausvel dizer que, procedendo da mesma forma com g2 G, g2 6= g1 , chegar-se-ia mesma
concluso. Portanto, G e H com seus elementos ordenados conforme foram escolhidos nesta
2. Dado
g1 G,
existe
tambm armar que
demonstrao admitem a propriedade buscada.
Denio 2.2.5 (Base de Grbner Reduzida). Seja I K[n] um ideal e G I uma Base de Grbner
para
1.
I. G
G
uma Base de Grbner reduzida quando:
uma Base de Grbner mnima;
2. Dado
g G,
para todo
h G \ {g}, rh (g) = g .
Neste caso, nenhum elemento de
G no pode ser escrito em funo dos outros de forma alguma,
o que mais restrito que no ser divisvel. Para obter uma Base de Grbner reduzida a partir de
uma mnima, pode-se simplesmente trocar todo elemento de
G pelo seu resto na diviso por G \ {g},
assim garantido que o conjunto resultante respeita a segunda propriedade de uma Base de Grbner
reduzida.
CAPTULO 2.
21
BASES DE GRBNER
Proposio 2.2.6.
K[n] e G uma Base de Grbner mnima em I , para uma dada

ordem monomial xa. Assim P = {ml(g) + rG (g ml(g)) | g G} uma Base de Grbner reduzida
de I e a maneira de se obter este conjunto trocar todos os elementos de G por seu respectivo resto
na diviso por G \ {g}.
Demonstrao.
Seja
Seja
um ideal de
g G.
rH (g). Supondo que G tem

q1 , . . . , qm1 K[n] tais que
termo de
existem
g por H = G \ {g}, como G mnima, o termo lder de g

m N elementos, H ter m 1, sendo estes g1 , g2 , . . . , gm1
Ao dividir
g=
m1
X
gi qi + rH (g),
i=1
pelo Algoritmo da Diviso Generalizado, sendo
o termo (mnico) lder de
g.
rH (g) = ml(g)+rH (g ml(g)), pois este resto incluir
Desta forma
rH (g) = g
m1
X
gi qi = ml(g) + rH (g ml(g)),
i=1
I , possui resto igual a ele mesmo na diviso por H , j que, novamente pelo Algoritmo
da Diviso, nenhum elemento de H divide rH (g ml(g)) e, por G ser base mnima, nenhum elemento
divide ml(g), como vale esse mesmo raciocnio para todo elemento de
que pertence a
Q = {ml(g) + rH (g ml(g)) | g H},

isso faz com que
Q = P,
logo
seja uma Base de Grbner reduzida de
uma base reduzida para
I,
mas como
g - rH (g ml(g)),
ento
I.
Exemplo 2.2.7. A Base de Grbner G = {g1 = xy y, g2 = y2 x, g3 = x2 +x} tambm reduzida

I = hg1 , g2 i,
para o ideal
pois mnima, como conrmado no Exemplo 2.2.3 e pode-se facilmente
vericar que o resto da diviso de cada elemento
Proposio 2.2.8.
gi
de
Fixada uma ordem monomial em
pelos outros
K[n] ,
todo ideal
gi .
I K[n]
possui uma nica
Base de Grbner reduzida.
Demonstrao.
{h1 , . . . , hk },
Sejam Bases de Grbner Reduzidas para
os conjuntos
que tm a mesma cardinalidade, pois so mnimas.
G = {g1 , . . . , gk }
H =
Suponha estes dois conjuntos
ml(hi ) = ml(gi ), i Nk , o que possvel fazer. Agora escolha um elemento

gi G. O resto da diviso de gi por qualquer outro elemento de G o prprio gi , o mesmo
vale para hi e qualquer outro elemento de H . Se gi 6= hi , ento, sem perda de generalidade, suponha
que gi hi . Como rH (gi ) = 0, para todo monmio de M(gi ), existe um elemento de ml(H) que o
divide, pois H Base de Grbner, mas este elemento claramente no ml(hi ), pois gi hi , ento
denote-o por ml(hp ). Para este tambm existe ml(gj ) que o divide e, portanto divide ml(gi ), assim
rgj (gi ) 6= gi , o que uma contradio se j 6= i, pois G uma Base Reduzida. Se j = i, vale que
ordenados de forma que
qualquer
ml(gj ) = ml(gi ) | ml(hp ) | ml(gi ) ml(hi ) = ml(gi ) = ml(hp ),

o que tambm um absurdo, pois
que
gi = hi ,
ento
H=G
ml(hp ) 6= ml(hi ).
Portanto, foi escolhido
i Nk
qualquer e provadp
e a demonstrao est completa.
Obtendo a informao sobre a unicidade das Bases de Grbner Reduzidas, possvel estabelecer
um resultado til a respeito da igualdade entre dois ideais, que segue como corolrio da proposio
anterior.
Corolrio 2.2.9.
so iguais.
Dois ideais de
K[n]
so iguais se, e somente se, suas Bases de Grbner reduzidas
CAPTULO 2.
22
BASES DE GRBNER
Demonstrao.
Se dois ideais so iguais, ento suas Bases de Grbner reduzidas so iguais, devido
[n]
sua unicidade. Por outro lado, se dois ideais I, J K
possuem uma mesma Base de Grbner
reduzida
G,
ento
J = hGi = I .
Observao 2.2.10.
Fazendo referncia a sistemas polinomiais, uma observao interessante a ser
feita que calcular Bases de Grbner Reduzidas pode ser visto como uma espcie de generalizao
da Eliminao de Gauss para sistemas polinomiais no lineares.
Exemplo 2.2.11. Considere o seguinte sistema polinomial e a ordem lexicogrca em C[x, y, z], com
z y x.
2
x yz = 3,
y 2 xz = 4,
2
z xy 5.
Calculando a Base de Grbner reduzida do conjunto
S = {x2 yz 3, y 2 xz 4, z 2 xy 5}
fazendo a devida associao s suas equaes polinomiais, obtm-se o seguinte sistema:
13x + 11z = 0,
13y z = 0,
36z 2 = 169.
Este sistema mais simples em termos de grau e, assim como na Eliminao de Gauss, uma parte do
sistema de fcil resoluo, no caso, a terceira equao de uma varivel apenas e obter os valores
de
suciente para resolver as duas primeiras equaes.
2.3
Sistemas Polinomiais
Agora ser feita a interpretao de resultados a respeito de sistemas polinomiais e suas solues em
[n]
termos de ideais. Ser feita livre associao entre um polinmio f K
e sua funo polinomial
n
n
homnima associada f : K K. Um elemento p K chamado de
ou
do polinmio f
n
quando f (p) = 0. Num sistema de equaes polinomiais, pode-se dizer que q K uma
raiz
deste, se
zero em comum
zero
soluo
entre os polinmios associados s equaes deste sistema. Os resultados
desta seo sero rmados sobre o corpo
dos nmeros complexos, o qual algebricamente fechado
e vale o seguinte teorema:
Teorema Fundamental da lgebra.

razes em
Todo polinmio de
C[z]
com grau maior ou igual a 1 tem
C.
Observao 2.3.1.
Este teorema pode ser extendido para polinmios em
C[n]
de modo que, sem
f C[x1 , . . . , xn ] tal que degxn (f ) > 1 (grau de f na varivel xn ) e

xados x1 , . . . , xn1 , o polinmio na varivel xn possui razes em C devido ao Teorema Fundamental
da lgebra. Para cada valor xado de x1 , . . . , xn1 tem-se uma outra raiz distinta, implicando ento
[n]
que todo polinmio em C
possui innitas razes. Esta extenso ser utilizada no decorrer do texto
perda de generalidade, dado
quando for necessrio referir-se ao Teorema Fundamental da lgebra.

O objetivo desta seo estabelecer uma condio, em termos de ideais, para vericar se um
dado sistema de equaes possui ou no soluo. O Lema a seguir fornece uma pequena noo da
condio a ser estabelecida. Em seguida ser enunciado o
Lema 2.3.2.
tal que
Um polinmio
p q = 1.
p C[n]
Teorema dos Zeros de Hilbert.
no tem razes se, e somente se, existe um polinmio
q C[n]
CAPTULO 2.
Demonstrao:
23
BASES DE GRBNER
p no tem razes, ento deg(p) < 1. Caso contrrio, teria razes devido ao Teorema
1
Fundamental da lgebra. Da p C, logo existe q = , tal que q p = 1. Vale ressaltar que, como
p
p no tem razes, p no o polinmio nulo. E como C um corpo, ento p tem inverso. Por outro
lado, se existe q , tal que p q = 1, suponha que p tenha pelo menos uma raiz, ou seja, que exista
u Cn , tal que p(u) = 0. Como p(z) q(z) = 1 para todo z Cn , ento signica que, como C[n]
n
um domnio, para todo z C , p(z) 6= 0 e q(z) 6= 0, o que um absurdo pois u raiz de p.
Se
Proposio 2.3.3
[n]
(Teo. 6 de [4]) Fixe uma ordem monomial em C . Um conjunto nito de
[n]
polinmios p1 , p2 , . . . , pm C
no tm razes em comum se, e somente se, existem polinmios
[n]
q1 , . . . , qm C , tais que p1 q1 + + pm qm = 1.
Isto pode ser traduzido em termos de ideais como: um sistema de equaes polinomiais em
vrias variveis com coecientes complexos no possui soluo se, e somente se, 1 pertence ao ideal
gerado pelos polinmios que formam o sistema, o que fornece uma maneira de vericar se um sistema
no possui soluo. Este resultado conhecido como
dos Zeros de Hilbert.
Proposio 2.3.4.
weak nullstellensatz
ou
verso fraca do Teorema
Sp um sistema de equaes polinomiais, com polinmios associados

s1 , . . . , sr K , e I = hs1 , . . . , sr i. Se G = {g1 , . . . , gt } uma Base de Grbner (para uma ordem monomial xada), ento o sistema de equaes associadas aos elementos de G, denotado por
Gp , equivalente a Sp .
Sejam
[n]
Demonstrao.
z Kn , tal que
seja, uma soluo de Sp . Seja g um
Pr
Pr si (z) = 0, i Nr , ou
[n]
elemento qualquer de I , ento g =
i=1 ai (z) si (z) = 0, o
i=1 ai si , com ai K . Logo, g(z) =
que mostra, em particular, que z soluo de Gp tambm. Analogamente, as solues de Gp tambm
so solues de Sp . Portanto, os dois sistemas so equivalentes.
Seja
A m de resolver um sistema de equaes polinomiais, isto , encontrar todas as suas solues,

possvel utilizar o
Teorema da Eliminao,
o qual ser enunciado a seguir, mas a demonstrao,
feita usualmente por induo e muita tcnica, ser omitida.
Teorema 2.3.5
I K[x1 , . . . , xn ] um ideal e G uma Base de Grbner para

Ij = I K[x1 , . . . , xnj ], j N, chamado o
j-simo ideal de eliminao de I . Nestas condies, Gj = G K[x1 , . . . , xnj ] uma Base de Grbner
para o ideal Ij .
I,
(Eliminao)
Sejam
de acordo com uma ordem monomial xada. Dena
Isto signica que, num sistema de equaes polinomiais, se houver soluo e parte do sistema
for de fcil resoluo, possvel estender suas solues para o sistema completo.
A seguir, dois
exemplos que ilustram isto:
Exemplo 2.3.6.
Fixe a ordem lexicogrca em K[x, y] com y x. O sistema formado pela Base de

2
2
Grbner reduzida G = {g1 = x y y, g2 = y x, g3 = x x} do ideal hg1 , g2 i (obtida no Exemplo
2.2.7) equivalente ao formado por
x = 1,
estendendo estas para
so para
g1 .
encontram-se
g3 = 0 obtm-se como solues x = 0

(0, 0), (1, 1) e (1, 1) como solues, que tambm
Resolvendo
e
o
Assim, todas as solues do sistema original foram obtidas.
Exemplo 2.3.7.
2
g2
{g1 , g2 }.
yz 3, y xz
2
Considere o mesmo sistema do Exemplo 2.2.11, formado pelo conjunto S = {x
2
4, z xy 5}, e a ordem lexicogrca em C[x, y, z], com z y x. O sistema
formado pela Base de Grbner reduzida :
13x + 11z = 0,
13y z = 0,
36z 2 = 169.
CAPTULO 2.
24
BASES DE GRBNER
um caso ideal para aplicar a Eliminao, pois so conhecidos os valores possveis da varivel
13
13
so z =
e z = , logo possvel elimin-la e resolver outros dois sistemas da forma:
6
6
Assim, podem ser encontrados
Observao 2.3.8.
z , que
13x = 11 ( 13
),
6
13
13y = 6 .
, 1 , 13 )
( 11
6 6 6
( 11
, 61 , 13
),
6
6
que so as duas solues possveis.
Apesar dos resultados desta seo terem sido desenvolvidos para o corpo
pode-se, de certa forma, puxar os resultados para o corpo

fechado, subcorpo de
C.
C,
R, que, apesar de no ser algebricamente
Assim, ao deparar-se com sistemas polinomiais com coecientes reais,
possvel resolv-lo por meio dos mtodos deduzidos at este ponto e, eventualmente, obter solues
reais, ignorando as que so complexas.
Tambm existe o interesse em saber se o sistema admite nitas solues ou no, caso tenha ao
menos uma soluo. Para isto faz-se necessrio ter em mos um resultado conhecido como a
forte Teorema dos Zeros de Hilbert, enunciado a seguir:
Teorema 2.3.9.
de
Sejam
f, f1 , f2 , . . . , fm C[x1 , . . . , xn ]. Os zeros em comum de f1 , . . . , fm

s N \ {0} tal que f s I = hf1 , . . . , fm i.
verso
so zeros
se, e somente se, existe
Demonstrao.
g = 1 yf C[x1 , . . . , xn , y] e considere o ideal J =

hf1 , . . . , fm , gi deste mesmo anel, considerando a incluso natural C[x1 , . . . , xn ] C[x1 , . . . , xn , y]. Se
f tem como razes todos os zeros em comum dos elementos de C = {f1 , . . . , fm }, ento T = C {g}
n+1
no tm zeros em comum. Pois, se existisse = (1 , . . . , n , y ) C
tal que f1 () = f2 () =
= fm () = g() = 0, ento f () = 0 e 1 y f () = g() = 1 e isto seria um absurdo. Pelo
Teorema 2.3.3, 1 hT i e, por isso, existem h, h1 , . . . , hm C[x1 , . . . , xn , y] tais que
Seja
uma varivel auxiliar,
1 = h(1 yf ) + h1 f1 + + hm fm
e, em particular, para
y = 1/f
1=
(formal),
m
X
hi (x1 , . . . , xn , 1/f )fi (x1 , . . . , xn , 1/f ).
i=1
s N \ 0 escolhido convenientemente
g1 , . . . , gm C[x1 , . . . , xn ] tais que
Logo, existe
polinmios
f =
m
X
tal que, ao multiplicar a equao por
fs
obtm-se
gi (x1 , . . . , xn )fi (x1 , . . . , xn ),
i=1
s
o que conclui a demonstrao pois, desta forma, f I . A recproca trivial, j que toda raiz comum
s
de f1 , . . . , fm ser tambm raiz de f e, consequentemente, de f .
Como uma consequncia direta dos passos utilizados na demonstrao anterior, pode-se enunciar, em termos de ideais, que
possui todas as razes em comum de
f1 , . . . , f m
se, e somente se,
1 hf1 , . . . , fm , 1 yf i.
O resultado a seguir fornece um critrio para saber se a quantidade de solues de um sistema
polinomial nita ou no.
Teorema 2.3.10. Fixe a ordem lexicogrca em C[x1 , . . . , xn ] com xn x1 .

C[x1 , . . . , xn ].
Sejam
f1 , . . . , f m
O sistema de equaes associadas a estes polinmios admite nitas solues se, e

i
somente se, existe i N \ {0}, tal que xi ml(I), para todo i Nn , com I = hf1 , . . . , fm i.
CAPTULO 2.
25
BASES DE GRBNER
Demonstrao.
i
Suponha que, para todo i Nn , existe i N \ {0} tal que xi ml(I). Ento,
existe gn I de modo que ml(gn ) = xnn . Logo, gn C[xn ], pela ordem lexicogrca xada. O
nmero de solues da equao gn = 0 limitado superiormente por degxn (gn ) = n (sendo este o
n1
grau de gn referente varivel xn ). Da mesma forma, existe gn1 I tal que ml(gn1 ) = xn1 e
gn1 C[xn1 , xn ] pois xn xn1 . Para cada soluo zn de gn = 0, o nmero de solues da equao
gn1 (xn1 , zn ) = 0 limitado por n1 , logo o nmero de solues do sistema gn = gn1 = 0 limitado
superiormente por n n1 . Prosseguindo com argumentos anlogos para i = 1, 2, . . . , n 2, possvel
concluir que o nmero de solues do sistema g1 = g2 = = gn = 0 limitado por 1 2 . . . n . Todas
as solues de f1 = f2 = = fm = 0 so tambm solues de g1 = g2 = = gn = 0 e este possui
nitas solues, portanto, o mesmo ocorre com o sistema original. Reciprocamente, se f1 , . . . , fm
possuem uma quantidade nita de zeros em comum, denote-os por l1 = (z11 , . . . , zn1 ), . . . , lk =
Q
(z1k , . . . , znk ). Construa hi = kj=1 (xi zij ) C[xi ] C[x1 , . . . , xn ], com i Nn e k N, e tem-se
k
que ml(hi ) = xi para todo i. Note que l1 , . . . , lk so razes de hi para todo i Nn . Logo, pelo
ksi
s1
s
teorema anterior, existem s1 , . . . , sn tais que {h1 , . . . , hnn } I , logo ml(hi ) = xi
ml(I) para todo
i Nn .
possvel trabalhar com os resultados exibidos nesta seo utilizando uma linguagem mais
enxuta para representar o conjunto de solues de um sistema polinomial.
Uma vez denido o
espao am, que o domnio das funes polinomiais que foi utilizado at este momento,
ser explicitado o que vem a ser uma variedade de um ideal.
conceito de
Denio 2.3.11
ai K, i Nn }
(Espao Am)
chamado de
Seja
n-simo
um corpo. Para
n N,
o conjunto
Kn = {(a1 , . . . , an ) |
espao am.
Note que, no presente ambiente de trabalho, as solues de qualquer sistema polinomial so

elementos de um espao am.
Denio 2.3.12
(Variedade Am)
Sejam
f1 , . . . , fn K[n]
I K[n]
o ideal gerado por estes
polinmios. Fazendo a devida associao destes polinmios com suas funes polinomiais, dene-se
n
a variedade am de I como o conjunto V (I) = {a K | f (a) = 0, f I}.
[n]
Para determinar a variedade am de um ideal I K
basta saber quais os elementos do
n
espao am K que anulam um conjunto gerador de I . Quando a cardinalidade de V (I) for nita,
zero-dimensional. Como contraposto ao conceito de variedade, pode-se denir o ideal

de aniquilao de um conjunto W como I(W ) = {f K[n] | f (a) = 0, a W }. Claramente
diz-se que
I I(V (I)) e, em geral, I(V (I)) 6= I (o Teorema 2.3.9 acerta sobre o ideal I(V (I)) coincidir com o
radical de I , isto , o ideal dos elementos que possuem alguma potncia em I , mas isto foge do escopo
deste trabalho). Por vezes ser utilizada esta linguagem, mas, na maior parte do texto, predominar
uma abordagem mais rstica, assim como a que veio sendo utilizada at ento.
2.4
Comandos Computacionais
software Maple 2010 possui um pacote para o clculo de Bases de Grbner a partir de qualquer conjunto G de polinmios e uma ordem monomial desejada. Aps carregar o pacote com With(Groebner),
o comando Basis(J :=hGi, Ordem Monomial(x1 , x2 , . . . , xn )) fornece a Base de Grbner reduzida B
O
do ideal
J = hGi
segundo a ordem monomial escolhida sobre
clculo implementado nesta verso do
software
Faugre F4
C[x1 , . . . , xn ].
O algoritmo para o
(cf. [8]). possvel tambm veri-
IsProper(J) e,
quantidade de solues nita com IsZeroDimensional(J). O comando Solve(G)
car se o sistema
G=0
o sistema denido por

dades de
V (J).
possui ou no soluo com o comando
caso positivo, se a
simplica e resolve
atravs de fatoraes polinomiais das suas equaes e computa subvarie-
Para computar o resto da diviso de um polinmio
NormalForm(f,G,Ordem Monomial(x1 , x2 , . . . , xn )).
por
G,
utiliza-se o comando
Captulo 3
Otimizao No Linear
Ser discutida neste captulo uma forma para se aplicar a Teoria das Bases de Grbner na resoluo
de problemas de otimizao.
3.1
Preldio
Esta seo ser aberta denindo o que um problema de otimizao, deixando implcita a relao
[n]
entre polinmios em R
e suas funes polinomiais homnimas associadas ao longo do texto.
Problema 3.1.1.
Sejam
polinomiais homnimas a
f, g1 , g2 , . . . , gp , h1 , . . . , hq R[n] , com n, p, q N. Considere as funes

n
n
n
cada um f : R R, gi : R R, i Np e hj : R R, j Nq , e o
seguinte problema:
min f (x1 , . . . , xn ),
sujeito a
gi 6 0, i Np
hj = 0, j Nq .
restrio
de igualdade e um ponto que satisfaz todas as restries do problema dito vivel ou factvel.
Neste problema, cada
gi
recebe o nome de
restrio de desigualdade
(P1)
e cada
hi
chamada
Para resolv-lo, sero necessrios alguns resultados do Clculo que, a priori, no sero propostos
formalmente, resumindo-se apenas a discusses.
Sero denidos supercialmente os conceitos de
limite e derivada para uma nica varivel e, em seguida, estes conceitos sero comentados em vrias
variveis.
Denio 3.1.2
(Limite). Sejam I R um intervalo, f : I R uma funo e z I . L R ser

f (x) quando x tende a z se, para todo > 0, existe > 0 tais que 0 < |x z| <
|f (x) L| < . Neste contexto, deota-se L = limxz f (x).
dito o limite de
implica em
As proposies a seguir so clssicas e sero omitidas as suas demonstraes.
Proposio 3.1.3.
Dadas
f, g : I R R
cujos limites existem em
1.
limxz (f + g)(x) = limxz f (x) + limxz g(x);
2.
limxz (f g)(x) = limxz f (x) limxz g(x).
26
z I,
ento:
CAPTULO 3.
27
OTIMIZAO NO LINEAR
Denio 3.1.4
(Derivada)
Seja
derivvel (ou diferencivel) em
I R
um intervalo,
f :I R
uma funo e
z I. f
dita
quando existe o limite
lim
xz
f (x) f (z)
.
xz
f (z)
. Uma funo que
x
0
derivel em todo ponto de seu domnio ser dita derivvel (ou diferencivel). A funo f : I R
Se existir, o limite chamado derivada de
que associa cada ponto de
tambm denir o operador
em
e denotado por
f 0 (z)
ou
derivada de f neste mesmo ponto dita funo derivada de f . Pode-se
como sendo aquele que associa cada funo diferencivel sua funo
x
derivada.
Observao 3.1.5. A derivada da derivada de uma funo f (chamada tambm de segunda derivada)
f 00
ser denotada por

nf
.
xn
Proposio 3.1.6.
a, b R,
ou
2f
. De forma anloga, a
x2
O operador
nx
derivada pode ser denotada por
linear, ou seja, dadas funes diferenciveis

x
f (n)
ou
f, g : I R R
ento
f
g
(a f + b g)
=a
+b
.
x
x
x
Exemplo 3.1.7.
n1
n-sima
n
0
A derivada de uma funo constante zero e a derivada de f (x) = x f (x)
N. Em particular, se f (x) = an xn + + a1 x + a0 , ento a derivada de f (x)
f 0 (x) = n an xn1 + + 2 a2 x + a1 .
Proposio 3.1.8
Dom(f ).
Ento,
Denio 3.1.9
(Regra da Cadeia)
0
0
(f (g(x))) = f (g(x))
(Mnimo e Mximo)
Sejam
g 0 (x).
Seja
f, g : R R
funes diferenciveis tais que
Im(g)
f : I R R uma funo. Um elemento a I

f se existe uma vizinhana V de a tal que
chamado ponto de mnimo (ou minimizador) local de
f (a) 6 f (x) para todo x V , com x 6= a.

a dito mnimo local estrito. Pode-se denir
Se no existe a igualdade nesta vizinhana, ento

analogamente os conceitos de maximizador local e
maximizador local estrito. Se esta vizinhana pode ser o prprio domnio
I,
ento o ponto dito ser
de mnimo/mximo global.
Denio 3.1.10 (Ponto Crtico).

crtico de
um elemento
Proposio 3.1.11.
2
aI
Seja f : I R
f (a)
= 0.
tal que
x
uma funo diferencivel. chamado ponto
Seja a um ponto crtico de uma funo f : I R

2 f (a)
f (a)
diferencivel. Se
> 0, ento a ponto de mnimo local; se x
<
2
x2
2 f (a)
= 0, de inexo.
x2
Trabalhando com vrias variveis, possvel denir o conceito de
R pelo menos duas vezes

0, de mximo local; e se
derivada parcial
ou
direcional
derivando em uma nica varivel, tratando as demais como constantes. Dada uma funo derivvel
f : I Rn R nas variveis x1 , . . . , xn , pode-se denotar sua derivada parcial em relao varivel
. Em uma varivel, o sinal da derivada indica a direo de
xi , i Nn , num ponto z I por fx(z)
i
crescimento da funo, em vrias variveis o sinal de cada derivada parcial um componente da
direo de crescimento da funo. Ser denida formalmente a generalizao deste conceito.
Denio 3.1.12 (Matriz Jacobiana).
fi : I Rn R funes diferenciveis em z I , com

i Nm , m N, e considere a funo F : I Rn Rm que associa z ao ponto (f1 (z), . . . , fm (z))
Rm . A Matriz Jacobiana de F (x1 , . . . , xn ) em z denida por
f1 (z)
. . . fx1 (z)
x1
n
.
.
JF (z) =
,
.
Sejam
fm (z)
x1
...
fm (z)
xn
e dene-se aqui tambm o operador jacobiano, que relaciona um vetor de funes diferenciveis
sua Matriz Jacobiana.
CAPTULO 3.
Denio 3.1.13 (Vetor Gradiente).

gradiente de
28
OTIMIZAO NO LINEAR
no ponto
z,
Dada uma funo
denotado por
f (z),
f : I Rn R
derivvel em
a Matriz Jacobiana de
em
z I,
o vetor
transposta, isto ,
f (z)
f (z) =
x1
.
. ,
.
f (z)
xn
e seu sentido e direo indicam o crescimento da funo, como o nome sugere. Dene-se aqui tambm
o operador gradiente, que associa uma funo diferencivel ao seu vetor gradiente.
Assim como em uma varivel, podem ser denidos pontos crticos como sendo aqueles em que
a derivada zero em todas as direes, ou seja, em que o gradiente nulo. Pode-se tambm extender
a regra da cadeia para funes de vrias variveis por meio do jacobiano.
Denio 3.1.14
(Matriz Hessiana)
Seja
f : I R R
uma funo derivvel em
z I.
Um
2
conceito anlogo ao de segunda derivada em vrias variveis a Matriz Hessiana, denotada por f ,
que o resultado da aplicao do operador jacobiano ao gradiente de
2 f (z)
...
x21
2 f (z)
x x . . .
2 1
2 f (z) =
.
.
.
2 f (z)
...
xn x1
Denio 3.1.15.
f.
Explicitamente,
2 f (z)
x1 xn
2 f (z)
x2 xn
2 f (z)
x2n
M = (aij ) Mn (R) dita denida positiva se o

determinante de todas as matrizes menores principais lderes de M positivo, isto , das submatrizes
ao longo da diagonal principal com a entrada a11 em comum.
Dado
Observao 3.1.16.
n N,
uma matriz
Uma concluso direta que qualquer soluo do sistema de restries, que
zero do gradiente da funo objetivo e cuja Matriz Hessiana neste ponto denida positiva, uma
soluo local de (P1). De fato, pontos que satisfazem tais condies so minimizadores locais, o que
tambm um resultado generalizado do Clculo. Estes conceitos fornecem a ideia para decidir quando
um ponto soluo local de um problema de otimizao, que tambm ser livremente chamado de
mnimo local.
3.2
Condies de Minimalidade
Esta seo dedicada ao estabelecimento de algumas condies necessrias e sucientes para que um
ponto seja mnimo local e foi baseada em [5].
Sabe-se que um ponto crtico vivel um candidato a mnimo local (Proposio 3.1.11), mas
existe a possibilidade de no existirem pontos crticos na regio vivel, neste caso devem-se estabelecer
condies tambm para que um ponto ordinrio seja candidato a mnimo.
Observao 3.2.1.
Ao longo desta seo ser pressuposto que as funes envolvidas so pelo menos
duas vezes continuamente diferenciveis.
3.2.1
Problema com Restries de Igualdade
Sero construdas condies de minimalidade partindo de casos particulares, por exemplo, quando o
problema conta apenas com restries de igualdade. Neste caso, a interseo de todas as restries
resulta ou no conjunto vazio, que no interessa no momento; ou em uma superfcie de dimenso igual
ou inferior do domnio da funo objetivo, que ser chamada de
problema da forma
regio factvel.
Tem-se ento um
CAPTULO 3.
29
OTIMIZAO NO LINEAR
min f (x)
sujeito a h(x) = 0,
com
x Rn , f : Rn R
h = (h1 , . . . , hq ) : Rn Rq ,
S = {x Rn | hi (x) = 0, i Nq }
Se
possvel descrever diversos
com
(P2)
q N.
a regio factvel, ento por cada ponto de
arcos factveis, isto , curvas que podem ser descritas por parametrizaes
contnuas em uma certa vizinhana, do tipo
x : I R S , de modo que
disso, para cada t I , a coleo
(x1 (t), . . . , xn (t)) S para cada t I . Alm

(x01 (t), . . . , x0n (t)) de cada arco factvel, tangentes
ao arco, dene uma
x(t) =
0
de vetores x (t) =
superfcie tangente a S .
para todo
x S e um arco factvel em x dado por uma parametrizao

t I , h(x(t)) = 0 e, pela regra da cadeia, Jh (x(t))x0 (t) = 0. Ou seja,
Observe que, xado um ponto

contnua
x : I S,
para todo
necessrio que a tangente a cada arco factvel seja ortogonal aos gradientes das restries. Logo, a
superfcie tangente dada pelas derivadas dos arcos factveis. Mas pode acontecer de no existirem
arcos factveis em nenhum ponto da regio factvel, o que no interessante neste contexto, logo a
existncia de arcos factveis mais uma hiptese a se trabalhar.
Denio 3.2.2 (Ponto Regular).

em
Um ponto factvel
regular quando os gradientes das restries
so linearmente independentes.
Observao 3.2.3. Sempre possvel caracterizar arcos factveis diferenciveis em pontos regulares.
O teorema a seguir resume o que foi discutido anteriormente.
Teorema 3.2.4
S
em
(Teo. 12.1 de [5]) Se x um ponto regular em

n
dada por T = {y R | Jh (x)y = 0}.
Observao 3.2.5.
com o
ncleo
Pode-se armar tambm que, em
do jacobiano das restries,
Ker(Jh (z))
z Rn ,
S,
ento a superfcie
a superfcie tangente de
tangente a
coincide
(este conceito de ncleo anlogo ao exibido
para homomorsmos). Isto pode ser melhor visualizado com restries lineares, a ento seria um
problema de minimizar
f (x)
restries a prpria matriz
Ax = b. Neste caso, o jacobiano das

A formado pelos vetores solues de Ax = 0. Logo,
Ker(A) coincide com T .
dentre as solues do sistema
e o ncleo de
pelo teorema anterior, possvel ver que
Agora que foi proporcionada uma caracterizao da superfcie tangente, pode-se especular que,
num ponto de mnimo, o gradiente da funo objetivo ortogonal ao plano tangente regio factvel.
Isto tem sentido porque, se assim no fosse, haveria uma direo vivel em que a funo objetivo
assume valor menor, j que a superfcie das direes de descida cortaria a superfcie vivel neste
ponto. Isto no acontece se sua fronteira coincidir com a superfcie tangente. Pode-se formalizar o
que foi discutido neste pargrafo por:
Teorema 3.2.6.
Seja
um minimizador local regular de (P2). Ento, existem
que
f (z) =
q
X
1 , . . . , q R
tais
i hi (z).
i=1
Demonstrao.
x : I R S,
(s) = f (x(s)) em que s?
Para uma parametrizao qualquer
equivalente ao problema de minimizar

problema irrestrito,
s?
se
z = x(s? ),
ento (P2)
soluo e, como este novo
raiz de
0 (s) = Jf (x(s))x0 (s) = t f (x(s))x0 (s).

f deve ser ortogonal a qualquer vetor tangente a qualquer
f (z) ortogonal ao plano tangente T regio S . Pode-se
armar tambm que f (z) ortogonal a Ker(Jh (z)), o que implica em f (z) Im(Jh (z)), logo
q
t
existe R tal que f (z) = Jh (z) .
Isto signica que, em
z,
o gradiente de
arco factvel que passa por
z,
ou seja,
CAPTULO 3.
30
OTIMIZAO NO LINEAR
multiplicadores de Lagrange e o Teorema 3.2.4 estabelece uma condio

necessria de primeira ordem para a minimalidade de um ponto.
Estes
so chamados
Denio 3.2.7 (Funo Lagrangeana). Sobre o problema de otimizao (P2), dene-se como funo
lagrangeana
a funo
L(x, ) = f (x) + t h(x).
Reformulando a condio necessria de primeira ordem em termos da funo lagrangeana, temt

t
t
se: um ponto ser mnimo local do problema implica em JL (x, ) = Jf (x) + Jh (x) . Reescrevendo,
t
x L(x, ) = f (x) + Jh (x) e, portanto, a condio se resume a x L(x, ) = 0.
x L(x, ), um bom palpite que se poderia dar

2
segunda ordem que x L(x, ) seja denida positiva. De fato, isto ser
2
algo importante a ressaltar que x L(x, ) no necessita ser denida
Se um ponto mnimo do problema raiz de

para condio necessria de
demonstrado a seguir, mas
positiva no espao de trabalho todo, mas apenas no plano tangente regio vivel.
Teorema 3.2.8.
Se
um ponto regular minimizador de (P2), ento existe
f (z) + Jht (z) = 0

sendo
o plano tangente regio factvel
Demonstrao.
y t 2x L(z, ) y > 0
no ponto
Rq
para todo
tal que
y T,
z.
A primeira parte o teorema anterior: trata-se da condio necessria de primeira
ordem para minimalidade.
x : I R S , com z = x(s? ),
qual s? soluo. Sabe-se que
Para a segunda parte, considere uma parametrizao qualquer

o que leva ao problema irrestrito de minimizar
(s) = f (x(s))
no
0 (s? ) = Jf (x(s? )) x0 (s? ) = t f (x(s? )) x0 (s? )).

Logo, essencialmente, pela regra da cadeia e a regra do produto para derivadas,
00 (s? ) = x0 (s? )t 2 f (x(s? )) x0 (s? ) + t f (x(s? )) x00 (s? ).

Para qualquer
Rm ,
denindo
(s) = t h(x(s)),
mesma forma,
(s? ) =
q
X
como
vivel, ento
t h(x(s? )) = 0
e, da
i t hi (x(s? )) x0 (s? ) = 0,
i=1
e, tambm,
00
(s? ) =
q
X
i [x0 (s? ) 2 hi (x(s? )) x0 (s? )] + t hi (x(s? )) x00 (s? )] = 0.
i=1
Utilizando as relaes obtidas, tem-se
00
(s? ) = x (s? ) [ f (x(s? )) +
q
X
i hi (x(s? ))] x (s? ) + [f (x(s? )) +
i=1
Se
q
X
i hi (x(s? ))]t x00 (s? ).
i=1
mnimo, ento vale a condio necessria de primeira ordem, que permite considerar
como
sendo o vetor de multiplicadores de Lagrange das restries e
00
(s? ) = x (s? ) [ f (x(s? )) +
q
X
i 2 hi (x(s? ))] x0 (s? ) > 0,
i=1
onde a no negatividade decorre do fato de que
de
T,
s?
mnimo. Sabendo que
e que
2x L(z, )
= f (z) +
q
X
i=1
conclui-se que
2z L(z, )
y >0
para qualquer
y T.
i 2 hi (z),
x0 (s? )
qualquer vetor
CAPTULO 3.
31
OTIMIZAO NO LINEAR
possvel contar, ento, com condies necessrias de minimalidade de primeira e segunda

ordem. Uma questo natural se estas condies so sucientes para vericar se um ponto mnimo
local estrito ou no. De fato, possvel concluir que sim, como formaliza o teorema a seguir:
Teorema 3.2.9 (Teo.

Se
12.4 de [5])
Sejam
um ponto regular em
o plano tangente
em
z.
tal que
f (z) + Jht (z) = 0

ento
y t 2z L(z, ) y > 0
para todo
y T \ {0},
ponto de mnimo local estrito.
Observao 3.2.10.
Podem-se estabelecer condies para existncia dos Multiplicadores de La-
grange, mas no cabe a este trabalho.
3.2.2
Problema com Restries de Igualdade e Desigualdade
O objetivo agora estabelecer condies similares s da subseo anterior, mas para problemas
envolvendo restries de desigualdade. Em outras palavras, o foco estar no problema:
min f (x)
sujeito a
sendo
f : I Rn R, hi : I R, i Np
gj (x) 6 0, j Nq ,
hi (x) = 0, i Np ,
gj : I R, j Nq
(P3)
funes e
n, p, q N.
Tratando o caso com restries de desigualdade, se dentro da regio vivel existir algum ponto
crtico de
f,
ento este ser, claro, um candidato a mnimo local, bastando apenas vericar se a
Matriz Hessiana em tal ponto denida positiva. Caso contrrio, um candidato a mnimo local
certamente estar em uma das fronteiras da regio, pois se
direo oposta de
f (z)
seria de descida e factvel, portanto,
no poderia ser um mnimo local.
Ou seja, algumas das restries sero satisfeitas com igualdade e estas sero chamadas de
ativas
em
fosse um ponto interior no crtico, a
restries
z.
Assim como foi feito com o Problema (P2), que possua restries somente de igualdade, podese deduzir algo semelhante para um problema com ambos os tipos de restries e estabelecer algumas
condies necessrias e sucientes para minimalidade de um ponto. Considere ento
z factvel e, se z
hi (x) = 0, i Np , j Nq }, possvel
Problema (P3). Observe que
se encontra em uma das fronteiras de
gj (x) 6 0
considerar as restries ativas em
z soluo do
S = {x I |
como restries
de igualdade e especular que existem multiplicadores de Lagrange para elas. Formalmente:
Teorema 3.2.11.
Seja z I um ponto factvel e regular. Considere Wg (z)

g := (g1 , . . . , gq ) : I Rq considerando somente as restries ativas em z ,
a Matriz Jacobiana de
ou seja, removendo as
linhas correspondentes s derivadas das restries no ativas. Considere tambm que o nmero de
p
restries ativas em z s(z) e a funo h := (h1 , . . . , hp ) : I R . Se z mnimo local de (P3), ento
q
s(z)
t
t
existem R , R
tais que f (z) + Jh (z) + Wg (z) = 0 e k > 0 para todo k Ns(z) .
A ideia para validar este teorema a mesma de quando isto foi feito para restries de igualdade,
tomando o cuidado de considerar apenas as restries ativas e garantir que o ponto seja vivel
quanto s outras restries. Isto envolve o uso um pouco mais delicado dos arcos factveis e existe
a necessidade de
ser positivo. Esta a condio necessria de primeira ordem de minimalidade

p
para este problema. Pode-se escrev-la de forma equivalente, considerando R e as entradas i
referentes s restries no ativas nulas. Assim a condio reescrita como
f (z) + Jht (z) + Jgt (z) = 0,
CAPTULO 3.
32
OTIMIZAO NO LINEAR
i gi (z) = 0,
Redena a funo lagrangeana como
primeira ordem novamente se resumir
Np ,
se
com
i > 0,
para todo
i Np .
L(x, , ) = f (x) + h(x) + t g(x), fazendo a condio de

a L(z, , ) = 0 e i gi (z) = 0, com i > 0, para todo i
for mnimo local. Alm disso, pode-se tambm denir condies de segunda ordem.
Teorema 3.2.12.
Se
um minimizador local do Problema (P3), ento existem
Rq
Rs(z)
tais que
f (z) + Jht (z) + Wgt (z) = 0

e
k > 0
para todo
k Ns(z) .
Alm disso
y t 2z L(z, , ) y > 0,
sendo
Wg
para todo
y T = {y Rn | Jh (z) y = 0
Wg (z) y = 0},
denida como antes.
A demonstrao deste semelhante feita anteriormente para quando o problema contava

apenas com restries de igualdade, com a diferena que a Matriz Hessiana deve ser denida
positiva no ncleo das restries ativas, alm das de igualdade. A prova, portanto, ser omitida, mas
faz uso da relao do Clculo a seguir, que tambm ser apenas enunciada.
Proposio 3.2.13. 2x L(x, , ) = 2 f (x) +
Pq
i=1
i 2 hi (x) +
Pp
j=1
j 2 gj (x).
Com isso todas as condies necessrias de minimalidade, de primeira e segunda ordem, foram estabelecidas.
Assim como antes, estas condies so tambm sucientes para um ponto ser
minimizador local. Formalmente:
Teorema 3.2.14.
com
i > 0
para
Seja
z S,
i Ns(z) ,
regular em suas restries ativas, tal que existem
Rq
Rs(z) ,
satisfazendo
f (z) + Jht (z) + Wgt (z) = 0

e
y t 2z L(z, , ) y > 0,
sendo
Wg
denidos como antes, ento
para todo
y T,
um mnimo local estrito de (P3).
Denio 3.2.15. As condies necessrias (Teorema 3.2.12) e sucientes (Teorema 3.2.14) chamamse
Condies de Karush-Kuhn-Tucker (KKT).
3.3
Um abordagem algbrica
Neste ponto o objetivo exibir uma forma de abordar problemas de otimizao polinomial no linear
utilizando a teoria algbrica desenvolvida neste trabalho.
Existem diversos problemas ao se fazer
isto, por exemplo, a presena de restries de desigualdade e dos multiplicadores de Lagrange. A

forma geral do problema :
Problema 3.3.1. Considere f, g1 , g2 , . . . , gp , h1 , . . . , hq R[n] , com n, p, q N, as funes polinomiais

homnimas a cada um
f : Rn R, gi : Rn R, i Np
hj : Rn R, j Nq
min f (x1 , . . . , xn )
sujeito a
gi 6 0, i Np ,
hj = 0, j Nq .
Existe mais de uma maneira de reduzir este problema num sistema polinomial.
agora apresentar uma destas e vericar sua funcionalidade, vantagens e desvantagens.
(P4)
A inteno
CAPTULO 3.
33
OTIMIZAO NO LINEAR
Variveis de Folga
1
No caso em que todos os polinmios envolvidos so lineares, de grande interesse converter o
Problema (P4) num outro constitudo apenas por restries de igualdade. Isto ser feito inserindo
variveis de folga
nas restries de desigualdade a m de torn-las igualdades, isto , so variveis
cujos valores so positivos e assumem a "diferena at a igualdade".

Usualmente, alm das variveis de folga, so acrescentadas restries para induzir a positividade
das variveis. Isto seria inconveniente, logo a soluo encontrada ser acrescentar variveis de folga
quadrticas. O Problema (P4) reformulado seria da seguinte forma:
Problema 3.3.2.
Considere
n, p, q N
f, g1 , g2 , . . . , gp , h1 , . . . , hq R[n+p]
e o seguinte problema:
min f (x1 , . . . , xn , . . . , xn+p ),
g1 + x2n+1 =: g1? = 0,
...
sujeito a
gp + x2n+p =: gp? = 0,
hj = 0, j Nq .
(P5)
claro que qualquer soluo do Problema (P5) deve, ao menos, ser soluo do sistema de
restries e os valores das variveis de folga na verdade no fazem diferena num mbito geral, desde
que seu quadrado seja positivo. Contudo isto no um problema, j que solues cujos valores das
variveis de folga forem complexos sero ignoradas, ressaltando que o sistema KKT resolvido em
e restringe-se apenas s solues em
R.
Sabe-se que todas as solues de (P5) so solues do sistema
f (z) + Jgt (z) + Jht (z) = 0,
i gi (z) = 0,
g ? (z) = 0,
h(z) = 0,
sendo
z = (x1 , . . . , xn , . . . , xn+p )
em
Rn+p , Rq , Rp ,
que so as condies KKT de primeira
ordem para um ponto ser crtico em problemas de igualdade.
Note que as variveis de folga no
esto sendo consideradas no clculo dos gradientes e ainda mantm-se a condio da nulidade dos
multiplicadores em restries ativas. vivel calcular a Base de Grbner Reduzida do ideal gerado
pelos polinmios associados cada equao do sistema considerando
e como vetores de variveis,

C \ R e os que no
utilizar o Teorema da Eliminao e ignorar, dentre os pontos obtidos, aqueles em

satisfazem as condies de segunda ordem. A seguir, um exemplo:
Exemplo 3.3.3.
Considere o problema
min f (z) = 9x21 + x22 + 9x23
g1 (z) = 1 x1 x2 6 0,
g2 (z) = 1 x2 6 0,
sujeito a
g3 (z) = x3 1 6 0.
Pode-se vericar se este problema factvel pelo critrio estabelecido no Teorema 2.3.3, ou seja,
vericando se 1 pertence ao ideal gerado pelos polinmios do sistema de restries, j inseridas as
1A
abordagem feita desta maneira foi inspirada em [7], porm com modicaes. O crdito pela sugesto de utilizar
de variveis de folga quadrticas para lidar com desigualdades deve-se a Lus Felipe Bueno.
CAPTULO 3.
variveis de folga.
retorna
34
OTIMIZAO NO LINEAR
O Maple possui o comando
true, ou seja, verdadeiro.
Seu sistema KKT, considerando
y1 , y2 , y3
IsProper
que verica justamente isto, neste caso,
multiplicadores de Lagrange, e
z1 , z2 , z3
as variveis
de folga, dado por:
18x1 y1 x2 = 0,
2x2 y1 x1 y2 = 0,
18x3 + y3 = 0,
y1 (1 x1 x2 ) = 0,
y2 (1 x2 ) = 0,
y3 (x3 1) = 0,
1 x1 x2 + z12 = 0,
1 x2 + z22 = 0,
x3 1 + z32 = 0.
Computando a base de Grbner reduzida para o ideal
J C[x1 , x2 , x3 , y1 , y2 , y3 , z1 , z2 , z3 ]
gerado
pelos polinmios associados estas equaes, considerando a ordem lexicogrca graduada com
z1 z2 z3 y1 y2 y3 x1 x2 x3 ,
obtm-se o seguinte sistema equivalente:
18x3 + y3 = 0,
18 y3 + 18z32 = 0,
1 x2 + z22 = 0,
y32 + 18y3 = 0,
2y2 + y22 + y2 y1 = 0,
36 + y12 + 2y2 y22 36z12 = 0,
y2 + y2 x2 = 0,
y1 x2 18x1 = 0,
2x22 y2 y1 = 0,
18y2 x1 2y2 + y22 = 0,
2x2 + y1 x1 + y2 = 0,
1 + x1 x2 z12 = 0,
18x21 y1 = 0,
16y2 + y22 + 18y2 z12 = 0,
32y2 + 14y22 + y23 = 0,
y1 z12 = 0,
16y2 + y22 + 36x2 z12 = 0,
x1 z12 = 0,
z12 + z14 = 0.
Este sistema essencialmente mais simples, apesar de maior. Vericando o critrio estabelecido pelo
Teorema 2.3.10, atravs do comando
IsZeroDimensional
do
Maple,
o retorno positivo. Logo, o
problema admite uma quantidade nita de solues. Sabendo isso possvel determinar todas estas
solues utilizando o comando
Solve
do
Maple.
As solues deste problema so:
p1 = ( 3/3, 3, 0, 6, 0, 0, 0,p 3 1, 1),
p2 = ( 3/3, 3, 0, 6, 0, 0, 0, p3 1, 1),
p3 = ( 3/3, 3, 1, 6, 0, 18, 0,
3 1, 0),
p4 = (1, 1, 0, 18, 16, 0, 0, 0, 1),
p5 = (1, 1, 0, 18, 16, 0, 0, 0, 1),
p6 = (1, 1, 1, 18, 16, 18, 0, 0, 0).
CAPTULO 3.
35
OTIMIZAO NO LINEAR
p1
e p2 so basicamente os mesmos pontos e o mesmo ocorre entre p4 e p5 . Os pontos
( 3/3, 3, 0), ( 3/3, 3, 1), (1, 1, 0) e (1, 1, 1) so crticos. A partir daqui podem-se vericar as
Observe que
condies de segunda ordem para estes quatro pontos ou simplesmente avaliar o valor da funo
z = ( 3/3, 3, 0)
objetivo em todos eles, donde obtm-se
3.3.1
como minimizador global, com
f (z) = 6.
Critrios de Factibilidade
Alm
de resoluo direta como um mtodo, outra forma de aplicar Bases de Grbner a problemas de
a
otimizao estabelecendo alguns critrios para pr-avaliao da coleo de restries e do prprio
conjunto de solues. Isto o que foi feito no Exemplo 3.3.3, onde utilizou-se o Teorema 2.3.3 para
vericar a factibilidade das restries. A inteno desta proposta auxiliar a execuo de mtodos
populares de otimizao. Fazendo esta anlise prvia possvel prevenir, por exemplo, a execuo de
um mtodo iterativo que no convergir, vericando se
1 pertence ao ideal I
gerado pelos polinmios
associados s restries. Pode-se tambm saber se o problema (no caso, o sistema KKT associado ao
problema) possui nitas solues vericando se alguma potncia de cada uma das variveis pertence
a
ml(I)
(Teorema 2.3.10).
Caso possua, pode-se determinar todas utilizando algum algoritmo de
otimizao global, por exemplo, o que foi feito no m do Exemplo 3.3.3, caso exista uma regio
crtica, possvel determinar as equaes que descrevem esta regio. O exemplo a seguir um caso
em que existem innitas solues e ilustra que possvel determinar a regio tima, ou seja, alm de
resolver o problema globalmente, se houverem mltiplas solues, todas podem ser determinadas.
Exemplo 3.3.4.
Considere o problema
min f (z) = x21 + x22 + x23

sujeito a
g1 (z) = x21 + x22 + x23 4 = 0,

g2 (z) = x21 + x22 (x3 1)2 = 0.
O objetivo encontrar o ponto na interseo de um cone com centro em

raio
centrada em
(0, 0, 0)
(0, 0, 1)
que est mais prximo da origem. Intuitivamente, pode-se avaliar que
existem dois crculos como regio crtica e um destes crculos a regio tima.
1 6 hg1 , g2 i
(via
Maple,
e uma esfera de
Constatando que
por exemplo) sabe-se que o problema factvel e, para resolv-lo, calcula-se
o seu sistema KKT, com
y1 , y2 R
multiplicadores de Lagrange, e obtm-se:
2x1 (y1 + y2 + 1) = 0,
2x2 (y1 + y2 + 1) = 0,
2x3 (y1 y2 + 1) 2y2 = 0,
x21 + x22 + x23 4 = 0,
2
x1 + x22 (x3 1)2 = 0.
Vericando se o problema possui nitas solues (pelo Teorema 2.3.10), obtm-se a resposta esperada:
no. possvel resolver o problema por completo, calculando a Base de Grbner reduzida do ideal
gerado por este sistema em
C[x1 , x2 , x3 , y1 , y2 ]
com
y 1 y 2 x1 x2 x3
e, cujo sistema associado
1 + y1 = 0,
y2 = 0,
x3 + x21 + x22 = 5/2,
2
x3 x3 = 3/2.
2O
crdito pela sugesto de estabelecer critrios para pr-utilizao de um mtodo clssico de otimizao deve-se
a Angelo Calil Bianchi.
CAPTULO 3.
36
OTIMIZAO NO LINEAR
Somando as duas ltimas equaes e substituindo na terceira, observa-se que as regies crticas so
3
a interseo da esfera de raio 2 centrada na origem com um dos planos em R determinados por
(+)
x3 = (1 7)/2, ou seja, dois crculos paralelos ao plano xy centrados no eixo z em alturas x3 e
()
x3 . Deduz-se que a regio
correspondente menor altura, ou seja, a regio descrita
tima2 aquela
2
por S := {(x1 , x2 , (1
7)/2) | x1 + x2 = 2 + 7/2}.
Note que o problema deste exemplo foi inteiramente resolvido, diferindo dos mtodos clssicos,
que resultariam apenas em um dos pontos de
S.
Esta uma notvel vantagem. Alm disso, note
que a soluo foi obtida com exatido (no uma aproximao).

No entanto, existe uma diculdade na obteno da soluo quando se tem a presena de restries de desigualdade, como esperado. O prximo exemplo ilustra isto:
Exemplo 3.3.5.
Considerando o mesmo problema do Exemplo 3.3.4, pode-se construir outro equi2

2
2
2
2
2
valente substituindo a restrio g1 (z) = x1 + x2 + x3 4 = 0 por g11 (z) = x1 + x2 + x3 4 6 0 e
2
2
2
g12 (z) = x1 x2 x3 + 4 6 0. O objetivo vericar como a soluo se comporta perante isso.
Verica-se, como antes, que o problema continua factvel. O sistema KKT, com
multiplicador de Lagrange e
y3
sendo um novo
z1 , z2 variveis de folga :
2x1 (y1 + y2 y3 + 1) = 0,
2x2 (y1 + y2 y3 + 1) = 0,
2x3 (y1 y2 y3 + 1) 2y2 = 0,
y1 (x21 + x22 + x23 4) = 0,

y3 (x21 + x22 + x23 4) = 0,
x21 + x22 + x23 4 + z12 = 0,
x2 x2 x23 + 4 + z22 = 0,
2 1 2 2
x1 + x2 (x3 1)2 = 0.
Claro que este problema modicado tambm no possui uma quantidade nita de solues. Para
este sistema, a Base de Grbner reduzida do ideal
J C[x1 , x2 , x3 , y1 , y2 , y3 , z1 , z2 ]
gerado pelos
polinmios associados s suas equaes, considerando a ordem lexicogrca graduada com
z1 z2
y1 y2 y3 x1 x2 x3 :
2
z1 + z22 = 0,
y1 y2 = 0,
4y2 + 12y22 11 11y1 + 11y3 + 2z12 = 0,
y1 y12 + y1 y3 = 0,
y2 y3 = 0,
y1 y3 + y32 y12 ,
x1 y1 x1 y2 + x1 y3 x1 = 0,
2 y1 x2 y2 + x2 y3 x2 = 0,
2x1 + 2x22 5 + z12 + 2x3 = 0,

4 + z12 y2 + 3x3 y2 4y1 + 4y3 = 0,
3x3 + 4y2 3x3 y1 + 4 z12 + 4y1 4y3 + 3x3 y3 = 0,
3 2x3 + 2x23 + z12 = 0,
y1 z12 = 0,
y3 + 1 z12 5y2 + y1 + 3y2 z12 = 0,
y3 z12 = 0,
3x1 y2 + 2x1 z12 = 0,
3x2 y2 + 2x2 z12 = 0,
13 13y1 + 13y3 16y2 + z12 + 6x3 z12 = 0,
47 + 47y1 47y3 35z12 + 8y2 + 6z14 = 0.

Por meio do comando
Solve,
expressam subvariedades de
obtm-se uma fatorao de cada equao deste sistema, cujos fatores
V (J),
cada uma representando uma regio crtica do problema inicial:
CAPTULO 3.
37
OTIMIZAO NO LINEAR
z1 = 0,
y12 + y32 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 + 2x22 = 0,
z2 = 0.
z1 = 0,
y1 = 0,
y3 + 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 + 2x22 = 0,
z2 = 0.
z1 = 0,
y1 = 0,
y3 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 + 2x22 = 0,
z2 = 0.
z1 = 0,
y12 + 1 = 0,
y3 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 + 2x22 = 0,
z2 = 0.
z1 = 0,
2y12 + 1 = 0,
1 + 2y32 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 + 2x22 = 0,
z2 = 0.
z1 = 0,
y12 + y32 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
x1 = 0,
5 + 2x3 + 2x22 = 0,
z2 = 0.
(R1)
(R2)
(R3)
(R4)
(R5)
(R6)
z1 = 0,
y12 + y32 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 = 0,
x = 0,
2
z2 = 0.
(R7)
2
2z1 3 = 0,
y1 = 0,
y3 = 0,
1 + y22 = 0,
1 + 2x3 = 0,
9 + 4x21 + 4x22 = 0,
3 + 2z22 = 0.
(R8)
z1 = 0,
y1 = 0,
y3 + 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
x1 = 0,
5 + 2x3 + 2x22 = 0,
z2 = 0.
(R9)
z1 = 0,
y1 = 0,
y3 + 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 = 0,
x = 0,
2
z2 = 0.
(R10)
z1 = 0,
y1 = 0,
y3 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
x1 = 0,
5 + 2x3 + 2x22 = 0,
z2 = 0.
(R11)
z1 = 0,
y1 = 0,
y3 1 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 = 0,
x = 0,
2
z2 = 0.
(R12)
CAPTULO 3.
38
OTIMIZAO NO LINEAR
z1 = 0,
y12 + 1 = 0,
y3 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
x1 = 0,
5 + 2x3 + 2x22 = 0,
z2 = 0.
z12 = 0,
y1 + 1 = 0,
y3 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 = 0,
x = 0,
2
z2 = 0.
z1 = 0,
2y12 + 1 = 0,
1 + 2y32 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
x1 = 0,
5 + 2x3 + 2x22 = 0,
z2 = 0.
z1 = 0,
2y1 + 1 = 0,
1 + 2y32 = 0,
y2 = 0,
3 2x3 + 2x23 = 0,
5 + 2x3 + 2x21 = 0,
x = 0,
2
z2 = 0.
3 + z12 = 0,
y1 = 0,
y3 = 0,
1 + 2y22 = 0,
x3 1 = 0,
x1 = 0,
x = 0,
2 2
3 + z2 = 0.
(R13)
2
2z1 3 = 0,
y1 = 0,
y3 = 0,
1 + y22 = 0,
1 + 2x3 = 0,
x1 = 0,
2x 3 = 0,
2 2
3 + 2z2 = 0.
(R18)
(R14)
2
2z1 3 = 0,
y1 = 0,
y3 = 0,
1 + y22 = 0,
1 + 2x3 = 0,
x1 = 0,
2x + 3 = 0,
2 2
3 + 2z2 = 0.
(R19)
2
2z1 3 = 0,
y1 = 0,
y3 = 0,
1 + y22 = 0,
1 + 2x3 = 0,
2x1 3 = 0,
x = 0,
2
3 + 2z22 = 0.
(R20)
2
2z1 3 = 0,
y1 = 0,
y3 = 0,
1 + y22 = 0,
1 + 2x3 = 0,
2x1 + 3 = 0,
x = 0,
2
3 + 2z22 = 0.
(R21)
(R15)
(R16)
(R17)
So descartadas as regies no inteiramente reais, isto , as regies dadas pelos sistemas: (R4),
(R5), (R8), (R13), (R14), (R15), (R16), (R17), (R18), (R19), (R20) e (R21). Dentre as restantes,
aquelas que diferem apenas pelos valores dos multiplicadores de Lagrange e variveis de folga so as
mesmas, ou seja, os sistemas: (R1), (R2), (R3), (R6), (R7), (R9), (R10), (R11) e (R12) so solues
equivalentes e, pode ser representada por:
x23 x3 = 3/2,
x3 + x21 + x22 = 5/2,
CAPTULO 3.
39
OTIMIZAO NO LINEAR
que, como o esperado, a mesma soluo obtida anteriormente. A diferena neste caso so diferentes
multiplicadores de Lagrange que se relacionam mesma soluo e o tamanho da Base de Grbner.
Observao 3.3.6.
Pde-se vericar uma desvantagem do mtodo ao inserir restries de desigual-
dade redundantes, uma vez que a Base de Grbner reduzida do problema inicial do exemplo anterior
era constituda de um nmero muito menor de polinmios que a do problema modicado. Porm,
a soluo atravs de um sistema que determinado por uma Base de Grbner reduzida mais
alcanvel computacionalmente.
3.3.2
Uma nota sobre Otimizao Multiob jetivo Sequencial
Quando o problema possui mais de uma funo objetivo ele recebe o nome de
multiobjetivo.
Se
existir uma relao de precedncia entre as funes objetivo, ento o problema ser chamado, neste
texto, de
sequencial.
Por exemplo, se existe interesse em minimizar uma funo
dado conjunto de restries cuja regio vivel

que maximiza uma funo
g(x)
f (z)
sujeita a um
e, dentre as melhores solues, a desejada aquela
dado um novo conjunto de restries
H,
ento o que se tem um
problema multiobjetivo sequencial (tambm conhecido como problema de otimizao multinvel). Ao
G do ideal I , gerado pelo sistema KKT associado ao primeiro

S ), obtm-se equaes que descrevem todos os pontos crticos que podem
problema, que se torna minimizar g em H G. Assim, possvel obter
calcular a Base de Grbner reduzida

problema (minimizar
em
ser inseridos no segundo
os melhores pontos para o segundo problema, dado que so os melhores no primeiro.

computacional aparentemente no aumenta tanto para o segundo problema, uma vez que
uma Base de Grbner reduzida para
I J,
sendo
O custo
j ser
o ideal gerado pelo sistema KKT do segundo
problema. O exemplo a seguir ilustra esta abordagem.
Exemplo 3.3.7. Considere

o mesmo problema do Exemplo 3.3.4, onde obteve-se uma regio tima
2
2
dada por
x3 = (1
7)/2
x1 + x2 = 2 +
7/2.
Agora o objetivo : na mesma regio do Exemplo
3.3.4, dentre os pontos mais prximos da origem, determinar aquele mais prximo do ponto
(1, 0, 0).
Tem-se ento o problema:
min g(z) = (x1 1)2 + x22 + x23 ,

min f (z) = x21 + x22 + x23 ,
sujeito a
g1 (z) = x21 + x22 + x23 4 = 0,

g2 (z) = x21 + x22 (x3 1)2 = 0,
f (z)
Este equivalente ao problema de minimizar

que a regio tima para
f (x).
precede
g(z)
g(z).
sujeito a
x21 + x22 = 2 +
7/2, x3 = (1
Como foi vericado anteriormente, factvel e, considerando
7)/2,
y1 , y2
multiplicadores de Lagrange, o sistema KKT associado dado por:
2(x1 1) + 2x1 y1 = 0,
2x2 (1 + y1 ) = 0,
y2 = 0,
2
2
x
+
x
=
2
+
7/2,
1
2
x3 = (1 7)/2,
e o sistema associado Base de Grbner reduzida sobre
x3
C[x1 , x2 , x3 , y1 , y2 ]
com
y1 y2 x1 x2
CAPTULO 3.
40
OTIMIZAO NO LINEAR
y2 = 0,
2x1 + (4 7)y1 = 4 + 7,
x2 = 0,
2x3 = 1 7,
2y1 + y12 = 71
,
9
7,
0,
1/2(1/2)
7, 4/3+
z
=
(1/2+(1/2)
1
(1/3) 7, 0) e z2 = (1/2 (1/2) 7, 0, 1/2 (1/2) 7, 2/3 (1/3) 7, 0). Um deles o ponto de
mximo e o outro, de mnimo. Como g(z1 ) = 0.11992 e g(z2 ) = 7.4116, conclui-se que a soluo do
problema z1 .
o qual zero-dimensional, isto conrma duas solues:
3.3.3
3
Complexidade
O objetivo desta seo fornecer uma ideia acerca da complexidade do mtodo de otimizao
apresentado neste captulo, pois de grande importncia, ao tratar de um mtodo computacional,

saber o nmero de operaes que o algoritmo seria levado a fazer no pior caso. Para isto, ser denido
o conceito de complexidade de um algoritmo.
Denio 3.3.8.
Dada uma funo
f : N R,
considere
relaciona um parmetro de entrada de um algoritmo

que a complexidade de
f (x))
t:NR
como sendo uma funo que
com seu tempo total de execuo. dito
A O(f (x)) (ou que o tempo de execuo de A limitado superiormente por
se
t O(f (x)) = {g : N R | r, N N, k > N rf (k) > g(k)},

em que
que representa o limitante superior de t, caso o problema seja computvel, dada em funo
dos dados de entrada.

interessante tambm saber quais os fatores predominantes neste clculo, embora seja natural
imaginar que o grau dos polinmios envolvidos afeta diretamente no tempo de execuo, bem como
o nmero de variveis e restries, uma vez que estes fatores usualmente tm muita relevncia na
complexidade de algoritmos clssicos para resolver problemas de otimizao. O resultado a seguir
compe a parte principal desta seo, dando a complexidade do clculo de uma Base de Grbner
referente algoritmos clssicos para tal.
Teorema 3.3.9
(Teo.
q, f1 , . . . , fp Q[n] cujos graus sejam,

p N, 0 < p < n. A complexidade do clculo de uma
1.1 de [6])
Sejam
respectivamente,
d0 > 0, d1 > 1, . . . , dp > 1 e

Base de Grbner
para I = hq, f1 , . . . , fp i com respeito alguma ordem lexicogrca limitada superiormente por
O(log(A)/log(G)) , ou seja, o tempo de execuo limitado a ser uma potncia de por uma funo da
log(A)
(n). Sendo A a mdia aritmtica e G a mdia geomtrica dos elementos do conjunto
classe de
log(G)
{d0 , d1 , . . . , dp , max (di 1), . . . , max (di 1)}
16i6p
16i6p
|
{z
}
np vezes
p
Y
= ( di )
i=1
chamado o grau de
(d0 1)i0 . . . (dp 1)ip
i0 ++ip =np
e igual ao nmero de razes complexas comuns entre os polinmios em
I.
Pode-se concluir que, de fato, o nmero de variveis, de restries e solues afetam diretamente
na complexidade. Embora isto tenha sido feito para polinmios sobre o corpo
3 Credito
a Lus Felipe Bueno, por indicar a referncia [6], na qual esta seo foi baseada.
Q,
as solues reais
CAPTULO 3.
41
OTIMIZAO NO LINEAR
encontram-se em uma extenso do corpo racional, de grau
(Spaenlehauer [6]).
Reescrevendo o
teorema anterior, considerando que
6 D (D 1)
np

n
6 (2D)n = DO(n) ,
p
obtm-se:
Corolrio 3.3.10
(Cor. 3.7 de [6])
Seja
D = max{deg(f1 ), . . . , deg(fp ), deg(q)},
com
D > 1.
complexidade de se computar uma Base de Grbner com respeito a alguma ordem lexicogrca
O(n)
limitada superiormente por D
.
Isto razovel, uma vez que no se distancia muito dos outros mtodos exatos para resolver a
mesma classe de problemas globalmente (Spaenlehauer [6]). Com isto, tem-se um limitante para a
complexidade de mtodos usuais para computar Bases de Grbner. Para ser feita uma anlise completa do mtodo para otimizao discutido no incio deste captulo necessrio levar em considerao
o tempo necessrio para se computar gradientes, inserir variveis de folga e resolver um sistema no
linear utilizando o Teorema 2.3.5. De toda forma, como a operao que demanda mais tempo de
todo o mtodo o clculo de uma Base de Grbner, isto faz com que este limitante determine o do
mtodo, ou seja, os tempos das outras operaes no exercem tanta inuncia no desempenho do
mtodo, quanto o do clculo da Base de Grbner.
No foi comparado o tempo de execuo da utilizao de Bases de Grbner com outros mtodos
exatos de otimizao global. Isso se deve ao uso de um
software
de linguagem algbrica, ou seja,
muitas operaes foram feitas por meio da interface do programa e no como linha de comando.
Sendo assim, apesar de todas elas estarem implementadas, a passagem entre uma e outra deve ser
feita manualmente, seja digitando ou selecionando um comando.
Captulo 4
Otimizao Linear Inteira
No captulo anterior, foi vista uma forma prtica e notavelmente exata para a resoluo de problemas de otimizao polinomial no linear. O objetivo desta seo exibir uma maneira de abordar
problemas de otimizao linear inteira atravs do uso de Bases de Grbner.
Esta parte do texto foi baseada em [9] e [10], sem muitas modicaes.
Considere o seguinte problema:
Problema
4.0.11.
P
n
j=1
hi =
aij xj ,
d, h1 , . . . , hq Z[x1 , . . . , xn ], ci > 0 Z com n, q N, j Nq ,

aij N {0}, i Nq , j Nn {0} e considere o seguinte problema:
Sejam
com
tais que
min d(x1 , . . . , xn ) = b1 x1 + + bn xn ,
sujeito a
Observao 4.0.12.
hi =
Pn
aij xj = ci , i Nq .
j=1
(P6)
Neste texto, sero trabalhados apenas problemas cujos polinmios possuem
coecientes no negativos inteiros e contam apenas com restries de igualdade. Outros casos exigem
mais cuidados.
4.1
Sistemas Lineares Inteiros
O primeiro passo para se abordar (P6) reduz-lo a um problema de polinmios, cujo mtodo de
resoluo conhecido.
no anel
Isto ser feito lidando primeiro com o sistema de restries, trabalhando
K[y1 , . . . , yq ] (K
um corpo algebricamente fechado de caracterstica zero) associando cada
equao a uma varivel:
Pn
yi
para
i Nq
j=1
aij xj
= yici ,
e, para tratar do sistema inteiro, pode-se represent-lo por completo utilizando apenas
uma equao, no caso,
Pn
j=1
y1
Observe que, considerando ainda
a1j xj
Pn
. . . yq
x1 , . . . , x n
j=1
aqj xj
= y1c1 . . . yqcq .
(4.1.1)
como variveis, (4.1.1) equivalente ao sistema de res-
tries de (P6). Agrupando todos os fatores que possuem
xj , j N n
em comum,
(y1a11 y2a21 . . . yqaq1 )x1 . . . (y1a1n y2a2n . . . yqaqn )xn = y1c1 . . . yqcq .
Agora, denindo o homomorsmo
: K[z1 , . . . , zn ] K[y1 , . . . , yq ]
tal que
(zi ) = mi = y1a1i . . . yq qi
e notando que ele inteiramente denido pela imagem em cada varivel, devido s suas propriedades
multiplicativa e aditiva, pode-se representar
Im() = K[m1 , . . . , mn ].
Tem-se a seguir um critrio
para determinar quando um sistema linear inteiro da classe das restries de (P6) tem soluo:
42
CAPTULO 4.
43
OTIMIZAO LINEAR INTEIRA
Proposio 4.1.1.
cq
c1
se, y1 . . . yq
de (P6).
n
Existe uma soluo em Z>0 para o sistema de restries de (P6) se, e somente
cq
c1
Im(). Alm disso, se y1 . . . yq = (z1s1 . . . znsn ), ento x = (s1 , . . . , sn ) ponto vivel
Demonstrao.
Suponha que existe uma soluo
(v1 , . . . , vn ) Zn>0
para o sistema de restries de
(P6), logo
(y1a11 y2a21 . . . yqaq1 )v1 . . . (y1a1n y2a2n . . . yqaqn )vn = y1c1 . . . yqcq
e, como
um homomorsmo, multiplicativa, logo
((z1 ))v1 . . . ((zn ))vn = (z1v1 ) . . . (znvn ) = (z1v1 . . . znvn ) = y1c1 . . . yqcq
c
z1v1 . . . znvn K[z1 , . . . , zn ], isto implica que y1c1 . . . yqq Im(). Para a recproca, suponha
cq
c1
que exista u K[z1 , . . . , zn ] tal que (u) = y1 . . . yq . Note que u deve ser um monmio, logo pode
s1
s
ser escrito como u = z1 . . . znn , para alguns si Z>0 , i Nn logo
e, como
(u) = (z1s1 ) . . . (znsn ) = (y1a11 y2a21 . . . yqaq1 )s1 . . . (y1a1n y2a2n . . . yqaqn )sn = y1c1 . . . yqcq
e, portanto,
(s1 , . . . , sn ) Zn>0
ponto vivel de (P6).
cq
c1
De acordo com este Teorema, se y1 . . . yq Im(), procurado o elemento h K[z1 , . . . , zn ]
cq
c1
tal que (h) = y1 . . . yq . Para obter um tal candidato, pode-se proceder estabelecendo o isomorsmo
natural entre Im() e K[z1 , . . . , zn ]/Ker(), a m de estabelecer um critrio de no pertinncia de
um candidato a
Ker().
Pelo Teorema do Isomorsmo, obtm-se a seguinte proposio:
Proposio 4.1.2.
a K[z1 , . . . , zn ],
A funo
: K[z1 , . . . , zn ]/Ker() Im() tal que (a + Ker()) = (a), para
um isomorsmo.
Com este isomorsmo, basta ento calcular uma Base de Grbner para
o problema de pertinncia.
Ker(),
para resolver
que determinar uma forma de se fazer isso.
Lema 4.1.3.
Z>0 ,
Ker()
Os teoremas a seguir integram um resultado muito importante sobre
Sejam A um anel comutativo e a1 , . . . , an , b1 , . . . , bn

a1 1 . . . ann b1 1 . . . bnn ha1 b1 , . . . , an bn i.
A.
Para quaisquer
1 , . . . , n
vlido que
Agora, como decorrncia deste lema, segue:
Teorema 4.1.4 (Teo.

mi K[y1 , . . . , yq ]
2.4.2 de [9])
Seja
J = hz1 m1 , . . . , zn mn i em K[z1 , . . . , zn , y1 , . . . , yq ], com

i Nn . Ento Ker() = J K[z1 , . . . , zn ].
(denido anteriormente),
G para J , com respeito

a uma ordem monomial que considere as variveis zi , i Nn , sucedendo yj , j Nq , pelo Teorema
?
da Eliminao 2.3.5, G = G K[z1 , . . . , zn ] uma Base de Grbner para Ker(). Assim, est
estabelecido um critrio para decidir se um dado elemento pertence imagem de ou no.
Observe com este teorema que, encontrando uma Base de Grbner
Sabendo que
f Im()
se, e somente se, existe
h K[z1 , . . . , zn ]
tal que
(h) = f ,
se
f 6= 0,
ento corresponde a alguma classe h + Ker() diferente de zero, pois h 6 Ker(). Logo, pode-se
Ps
?
?
?
?
dizer que f = h+
i=1 gi ti , onde G = {g1 , . . . , gs } uma Base de Grbner para Ker() (calculada a
partir de G, que uma Base de Grbner para J ) e ti K[z1 , . . . , zn ], i Ns . Para isto, necessrio e
suciente que
rG (f ) = h, o que revela uma ideia intuitiva de como calcular efetivamente uma soluo
de um sistema linear inteiro.
Isto formalizado no teorema a seguir, que no ser demonstrado
formalmente.
Teorema 4.1.5
(Teo.
2.4.4 de [9])
G uma Base de Grbner para J ,

f K[y1 , . . . , yq ] est em Im() se, e
e
Seja
J K[z1 , . . . , zn , y1 , . . . , yq ]
denido como previamente
z y.
rG (f ) = h.
considerando uma ordem monomial em que

somente se, existe
h K[z1 , . . . , zn ]
tal que
Ento
CAPTULO 4.
44
Foi obtido agora com um algoritmo para calcular solues inteiras no negativas para sistemas
lineares com coecientes inteiros: primeiro compute uma Base de Grbner G para J , considerando
cq
c1
uma ordem monomial em que z y ; em seguida calcule h = rG (y1 . . . yq ). Se h 6 K[z1 , . . . , zn ],
x1
x
ento o sistema no possui soluo inteira no negativa. Caso contrrio, se h = z1 . . . znn , ento
(x1 , . . . , xn ) soluo do sistema. Isto pode ser ilustrado isso com um exemplo.
Exemplo 4.1.6.
Considere o sistema:
x1 + x2 + x3 = 3,
3x1 + 5x2 + 2x3 = 10.
A equao que representa o sistema
y1x1 +x2 +x3 y23x1 +5x2 +2x3 = y13 y210 ,

que pode ser escrita como
(y1 y23 )x1 (y1 y25 )x2 (y1 y22 )x3 = y13 y210 .
m1 = y1 y23 , m2 = y1 y25 e m3 = y1 y22 e J = hz1 y1 y23 , z2 y1 y25 , z3 y1 y22 i. Computando a Base
Grbner reduzida de J com respeito ordem lexicogrca graduada com z3 z2 z1 y2 y1 ,
Logo,
de
obtm-se
G = {z3 y2 z1 , z3 z1 + z2 y1 , z32 z2 + z13 , z12 y2 z3 z2 , z1 y22 z2 , z33 + z12 y1 , z1 y1 y2 z32 , z3 + y1 y22 }.

Com o comando
NormalForm
3 10
constata-se que rG (y1 y2 )
4.2
do Maple, que pode calcular o resto da diviso de
= z3 z1 z2 .
Portanto,
(x1 , x2 , x3 ) = (1, 1, 1)
y13 y210
por
G,
soluo do sistema.
Tratamento da Funo Ob jetivo
J foi deduzido um mtodo para calcular uma soluo de um sistema linear inteiro.
No existe
problema algum quando esta soluo nica, referente ao sistema de restries, mas quando no ,
precisa-se decidir de alguma forma qual(is) minimiza(m) a funo objetivo. Diferente da abordagem
feita para otimizao no linear, esta no calcula toda a regio vivel. Desde que a ordem monomial
considerada satisfaa
z y,
sendo estas variveis como anteriormente, qualquer ordem vlida, mas
cada ordem (em termos da relao de precedncia entre as variveis) pode resultar em uma Base
de Grbner diferente, logo o que deve-se fazer incorporar a funo objetivo na ordem monomial
utilizada. A seguir um exemplo de quando a soluo no nica:
Exemplo 4.2.1.
Considere o problema:
max
d(x1 , x2 , x3 ) = 3x1 + x2 + 2x3

sujeito a
x1 + x2 + x3 = 4,
x1 + x2 + 2x3 = 5.
Para resolv-lo, escreva-o na forma
y1x1 +x2 +x3 y2x1 +x2 +2x3 = y14 y25 ,

novamente reorganizando,
(y1 y2 )x1 (y1 y2 )x2 (y1 y22 )x3 = y14 y25 .

Computando a Base de Grbner com respeito ordem lexicogrca graduada com z3
y2 y1 obtido G = {z1 z2 , y2 z2 z3 , y1 z3 + z22 , z2 + y2 y1 } e rG (y14 y25 ) = z3 z23 , logo
z2 z1
(x1 , x2 , x3 ) =
(0, 3, 1) um ponto vivel. Trocando a ordem entre as variveis z3 e z1 na ordem monomial, resulta na
2
4 5
3
Base de Grbner H = {z1 + z2 , y1 z3 z1 , z1 y2 z3 , z1 + y2 y1 } e rH (y1 y2 ) = z1 z3 , logo (x1 , x2 , x3 ) =
(3, 0, 1) outro ponto vivel.
CAPTULO 4.
45
Dentre os dois pontos viveis calculados no exemplo anterior,
d(3, 0, 1) = 11
d(0, 3, 1) = 5,
(3, 0, 1) o melhor, pois verica-se
mas num problema com muitas restries e variveis pode-se tornar
difcil obter todos os pontos viveis, o que faz necessrio estabelecer a melhor ordem monomial,
no sentido de ser compatvel com a funo objetivo.
O natural seria denir uma ordem na qual
monmios que representam pontos viveis do sistema de restries acompanhem a mesma relao de
precedncia de seus respectivos valores associados na funo objetivo.
Denio 4.2.2
(Compatibilidade, cf.
[9])
d sobre as variveis zi , i
x?
x?
(z1x1 . . . znxn ) = (z1 1 . . . znn ) e
Uma ordem monomial
Nn dita compatvel com a funo objetivo c e com quando

x?
x?
d(x1 , . . . , xn ) < d(x?1 , . . . , x?n ) implica em z1x1 . . . znxn d z1 1 . . . znn .
Pode-se, nalmente, concluir:
Teorema 4.2.3
para
(Prop.
2.8.8 de [9])
Se G uma Base de Grbner

d que seja compatvel com a funo objetivo, com
z y , ento rG (z1c1 . . . zncn ) = z1x1 . . . zn xn implica que
Considere o Problema (P6).
com respeito a uma ordem monomial
(denida como anteriormente)

(x1 , . . . , xn ) soluo de (P6).
e considere
Ao trabalhar com coecientes inteiros no negativos, uma ordem monomial que satisfaz os
critrios do teorema anterior a ordenao pelos coecientes da funo objetivo (Adams [9]). Isto ,
tomando como maior varivel em
aquela que possui maior (menor) coeciente associado em
x,
se
a inteno for minimizar (resctivamente, maximizar).

Pode-se resolver o Exemplo 4.2.1 utilizando a ordem monomial mencionada.
Exemplo 4.2.4.
J.
z1 z3
De fato o , pois d(0, 3, 1) = 5, d(1, 2, 1) =
Considere o mesmo problema do Exemplo 4.2.1, bem como o mesmo ideal
Calculando a Base de Grbner reduzida considerando a ordem lexicogrca graduada com
z2 y2 y1 , obtm-se que (3, 0, 1) soluo do problema.

6 e d(2, 1, 1) = 8.
Observao 4.2.5. A teoria desenvolvida para tratar de problemas inteiros muito bonita em certos
aspectos. Embora nada tenha sido propriamente demonstrado neste captulo, somente os resultados e
a forma como a teoria foi construda so impressionantes. O modo como o problema foi interpretado
em linguagem algbrica simplesmente genial.
Histrico
As metas propostas para o Trabalho de Graduao II foram atendidas.
Julho
Parte 1
Agosto
Setembro
Outubro
Novembro
Parte 2
Parte 3
Parte 1:
Estudar a aplicao da teoria das Bases de Grbner em Sistemas Polinomiais.
Parte 2:
Estudo de problemas de otimizao nos quais possvel aplicar a teoria.
Parte 3:
Implementao e testes em problemas estudados na segunda parte.
Embora algumas demonstraes tenham sido omitidas, o contedo envolvido foi mais extenso do que
o planejado inicialmente, resultando numa boa amplitude terica. Isto ocorreu devido s sugestes
de algumas pessoas e ideias do autor.
Quanto abordagem dos problemas de otimizao no linear, uma das ideias iniciais era partir
de uma boa sugesto:
utilizar variveis de folga e resolver um problema qualquer como um de
igualdades como se faz com problemas lineares; outra era resolver o sistema KKT e depois eliminar
os pontos inviveis, estratgia de Lindberg, Hagglof e Svensson [7], apresentando assim duas maneiras
de abordar o mesmo problema. Mas, como as duas abordagens eram complementares, foi feita uma
s englobando as duas tcnicas. Outra boa sugesto foi a de estabelecer condies que caracterizem o
tipo de problema dado, antes de aplicar qualquer mtodo para resoluo, e exibir a complexidade do
clculo de uma Base de Grbner e isto foi feito. Uma ideia do autor foi aplicar a estratgia utilizada
em problemas com mais de uma funo objetivo com ordens de precedncia, uma vez que pode-se
obter toda a regio tima utilizando as tcnicas discutidas isto tambm foi feito. A aplicao em
otimizao inteira era opcional, mas tambm foi realizada e mostrou-se particularmente bela sem
arrependimentos quanto a isso.
46
Consideraes Finais
Em termos do contedo, pode-se concluir que a teoria das Bases de Grbner conta com imenso
potencial para aplicao, no s em problemas que se resumem a sistemas polinomiais, mas tambm
abordando-os diretamente atravs da questo de pertinncia. Por exemplo, o que foi visto no Captulo
4, onde o problema foi traduzido para linguagem algbrica e a soluo era dada nas potncias de um
monmio provido por uma Base de Grbner.
Em particular, quanto aplicao em otimizao pode-se dizer que, embora o seu uso no
seja to eciente computacionalmente (ou seja, no existe uma forma de se calcular uma Base de
Grbner em tempo polinomial), no ca muito distante de outros mtodos exatos para resolver
globalmente a mesma classe de problemas no lineares e inteiros. A estratgia mais comum dentre os
mtodos exatos existentes para otimizaao global envolve executar um mtodo de otimizao local
(por exemplo, Lagrangeano Aumentado) diversas vezes e, para programao inteira, o mesmo ocorre,
um dos mtodos mais famosos (Branch and Bound) envolve executar um mtodo de programao
linear (por exemplo, o Simplex) a cada iterao. Isso torna estes algoritmos pouco ecientes, pois
cada um destes mtodos clssicos que so executados vrias vezes tem complexidade no polinomial.
O clculo de uma Base de Grbner tambm tem complexidade no polinomial, porm feito uma
nica vez durante a execuo do mtodo.
Um ponto que se mostrou especialmente interessante a respeito desta tcnica a exatido com
a qual pode-se obter as solues, sendo localmente menos suscetvel a erros numricos, pois, se for o
caso, pode retornar as equaes que descrevem a regio tima, sendo esta contnua ou discreta; outro
ponto a se destacar a resoluo algbrica de um tipo de problema que originalmente no formulado
utilizando uma linguagem de fcil manipulao, sendo um dos poucos mtodos conhecidos capazes
disso. A possibilidade de se resolver problemas com mais de uma funo objetivo globalmente com
total preferncia para uma delas tambm algo cuja meno vlida, j que no se encontra sobre
isto na literatura tradicional. A simplicidade da teoria a torna quase bsica, sendo este outro ponto
de grande destaque, pois admite tanto as mais simples e diretas aplicaes, quanto algumas mais
complexas e elaboradas.
Quanto experincia, possvel dizer que a execuo deste trabalho foi de grande importncia
para o desenvolvimento do autor, tanto por fornecer uma boa base torica, apesar de introdutria,
sobre temas atuais, como por proporcionar um bom perodo de estudo dirigido e dar a chance do
autor exercitar sua criatividade, buscando aplicaes para uma teoria to verstil. Apesar de no ser
to recomendvel devido ao baixo nvel de conhecimento provido da graduao, durante a execuo
deste trabalho o autor evitou se vincular a um texto, buscando concluir, propor e demonstrar por
conta prpria alguns resultados.
Apesar de ser um estudo concludo, tudo o que foi feito aqui apenas introdutrio e tem
potencial para melhor desenvolvimento, seria interessante transformar um problema de otimizao
no linear polinomial (ou talvez at no polinomial, aproximando por sries de potncias, embora
isto acarrete na perda da vantagem relacionada preciso da soluo) num equivalente em linguagem
algbrica, assim como foi feito no Captulo 4. Isto tiraria todas as desvantagens de se basear nas
condies KKT, como, por exemplo, a piora de desempenho devido presena de vrias solues
iguais com multiplicadores de Lagrange diferentes.
47
Referncias Bibliogrcas
[1] COUTINHO, S. C., Polinmios e Computao Algbrica. Coleo Matemtica e Apicaes.
Universidade Federal do Rio de Janeiro, 2009.
[2] COX, D., LITTLE, J. e O'SHEA, D., Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, Second Edition, Springer-Verlag,
1997.
[3] HERNANDES, M. E.,
[4] MANETTI, M.,
Sistemas Polinomiais, Mapas e Origamis. Notas de Curso, 2010.
Nullstellensatz per tutti.
Ricordando Franco Conti, Pubbl. Cent. Ric. Mat.
Ennio Giorgi, Scuola Norm. Sup., Pisa, 2004. Online em:

http://www.crm.sns.it/media/publication/162/nustella.pdf.
[5] FRIEDLANDER, A., Elementos de Programao No-Linear, Editora UNICAMP, 1994. Online
em: http://www.ime.unicamp.br/ friedlan/livro.pdf.
[6] SPAENLEHAUER, P.
On the Complexity of Computing Critical Points With Grbner Bases,
SIAM J. Optm., Vol. 24, No. 3, pp. 1382-1401. 2014.

[7] HAGGLOF, K., LINDBERG, P. O., SVENSSON, L.
Computing Global Minima to Polynomial
Optimization Problems Using Grbner Basis, J. of Global Optm. 7:
115 - 125, Kluwer Academic
Publishers. Stockholm, Sweden, 1995.

[8] FAUGRE, J.
A New Ecient Algorithm for Computing Grbner Basis, J. of Pure and Applied
Algebra 139, 61-88, Elsevier, 1999.

[9] ADAMS, W. W., LOUSTAUNAU, P. An Introduction to Groebner Bases (Graduate Studies in
Mathematics, Vol. 3), American Mathematical Society, 1994.
[10] WENDLER, C.
Groebner Bases with and Application to Integer Programming, Senior Exercise
Papers, Kenyon College, 2004.
48

Bases de Gröbner e Aplicações em Otimização

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Bases de Gröbner e Aplicações em Otimização

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de So Paulo

INSTITUTO DE CINCIA E TECNOLOGIA

Leonardo Makoto Mito

Prof. Dr. Angelo Calil Bianchi.

So Jos dos Campos, 2015.

Ordenao Monomial e Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . .

Bases de Grbner Reduzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Problema com Restries de Igualdade

Problema com Restries de Igualdade e Desigualdade

Uma nota sobre Otimizao Multiobjetivo Sequencial . . . . . . . . . . . . . .

4 Otimizao Linear Inteira

Sistemas Lineares Inteiros

Tratamento da Funo Objetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Existem condies necessrias e sucientes para determinar se

um ponto minimizador, ditas condies de Karush-Kuhn-Tucker, popularmente conhecidas como

Sero denidas a seguir algumas

estruturas algbricas, isto , conjuntos munidos de uma ou mais

operaes binrias, visando estabelecer o conceito de anel.

Ser utilizada a notao

para fazer referncia a uma estrutura algbrica

no vazio munido de uma operao binria qualquer

ambiguidade e a coerncia for mantida, a notao ser abreviada para

semigrupo com elemento identidade (unidade ou neutro), isto ,

(M, +), um elemento u de M dito inversvel (ou

chamado de grupo abeliano.

O elemento oposto (inverso relativo operao

ser denotado por

Uma estrutura algbrica

chamada de anel se:

Denio 1.1.5 (Anel e Corpo).

um monide, e chamado anel

Num anel, a operao

(ou soma) e a operao

multiplicao (ou produto) e, quando no houver ambiguidade, por vezes

Segue uma proposio importante a respeito de subanis, cuja demonstrao dispensvel.

um subanel se, e somente se,

exceto quando algo diferente for explicitado.

O espao de interesse deste trabalho o anel de polinmios em

variveis sobre um corpo

no qual cada elemento denominado polinmio em

Ser introduzido a seguir o conjunto dos polinmios em

variveis sobre um anel

seguida, discutir algumas de suas propriedades.

A[n]Q, a coleo de todos os objetos

f A[x1 , . . . , xn ], cada ai A ser chamado coeciente de f , cada xi um monmio

de f e cada ai x i , ai 6= 0, um termo de f . Dena M(f ) como o conjunto de todos os monmios

determinam suas potncias. Por ltimo, ser denido como

polinmio constante um elemento de

f A[n] , deg(f ) < 1

se, e somente se,

(A, +, ) um anel. Ento, (A[x], +, ) um anel tomando a adio f + g =

Com esse Lema em mos, possvel armar que

Teorema 1.2.4. (A[x1 , . . . , xn ], +, ) um anel com as operaes denidas de forma anloga s do

A[x1 , . . . , xn ] = A[x1 , . . . , xn1 ][xn ]

A prova feita por induo no nmero de variveis. O caso base, quando

prprio lema anterior. Agora, suponha que

isto conclui a demonstrao.

Note que, de fato,

A[x1 , . . . , xn ] = A[x1 , . . . , xn1 ][xn ], pois se f A[x1 , . . . , xn ],

A[x1 , . . . , xn ] = A[x1 , . . . , xn1 ][xn ]

basta provar o caso em que

seu monmio de maior grau

um domnio, ento os elementos invertveis de

ento os elementos invertveis de

Existem condies necessrias e sucientes para determinar se

Sero denidas a seguir algumas

Denio 1.1.5 (Anel e Corpo).

f A[x1 , . . . , xn ], cada ai A ser chamado coeciente de f , cada xi um monmio

de f e cada ai x i , ai 6= 0, um termo de f . Dena M(f ) como o conjunto de todos os monmios

determinam suas potncias. Por ltimo, ser denido como

Com esse Lema em mos, possvel armar que

Teorema 1.2.4. (A[x1 , . . . , xn ], +, ) um anel com as operaes denidas de forma anloga s do

chamada homomorsmo quando, dados quaisquer

Denio 1.2.10 (Anel Quociente).

A um anel e I A um ideal. Dene-se o Anel Quociente

facilmente vericada ser um homomorsmo sobrejetor de anis

Dena : A/Ker() Im() por (x + Ker()) = (x), x A. Para ver que

dita total, se a b (a precede b), b a ou a = b para quaisquer a, b M .

1. Qualquer sequncia decrescente de monmios nita, isso uma consequncia do Princpio da

n = nj=0 xj j . dito que m L n (m precede n lexicogracamente),

Lexicogrca Graduada sendo

m LR n, se existe k N, tal que p = 0, se k < p 6 n e k > 0; a Ordem Lexicogrca Graduada

Ser denido agora o conceito de divisibilidade de polinmios, que de grande importncia

Pode-se, primeiramente, vericar os casos triviais: se ml(g) - ml(f ), ento q = 0 e

f = xy 2 x, g1 = xy y e g2 = y 2 x K[x, y] e xe a ordem lexicogrca

Denio 1.4.1 (Ideal).

Por um raciocnio anlogo, pode-se denir

Proposio 1.4.8. Seja I um ideal nitamente gerado de A.