Otimização/Situação inicial

Fonte: testwiki
Revisão em 23h05min de 15 de março de 2011 por imported>He7d3r.bot (Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes.)
(dif) ← Revisão anterior | Revisão atual (dif) | Revisão seguinte → (dif)
Saltar para a navegação Saltar para a pesquisa


Embora se possa trabalhar com mínimos e máximos, ao longo dos próximos capítulos só trabalharemos com mínimos, pois achar o máximo de uma função f é equivalente a achar o mínimo da função f.

Mínimo global

Sejam Dn e f:D. Para encontrarmos o mínimo global, devemos encontrar o minf(x),xD.

Predefinição:Definição

Máximo global

Seja Dn e f:D. Para encontrarmos o máximo global, devemos encontrar o maxf(x),xD.

Predefinição:Definição

Mínimo local

Seja Dn e f:D. Para encontrarmos o mínimo local, devemos encontrar o minf(x),xDBϵ(x¯).

Predefinição:Definição

Máximo local

Seja Dn e f:D. Para encontrarmos o máximo local, devemos encontrar o maxf(x),xDBϵ(x¯).

Predefinição:Definição

Exemplos

Seja f:n;D1,D2, tais que D2D1.

Exemplo 1

Mostrar que infxD1f(x)infxD2f(x).

Afirmação: f(y)=infxD1f(x)f(y)f(x),xD1 e f(z)=infxD2f(x)f(z)f(x),xD2.

Prova1: Tome tD2D1tD1f(y)f(t),tD2f(y)f(z).

Prova2: Suponha por contradição que infxD2f(x)<infxD1f(x)f(z)<f(y). Mas zD2D1zD1f(y)f(z). Logo f(z)<f(y)f(z). Contradição! A contradição foi supor que infxD2f(x)<infxD1f(x).

Portanto, infxD1f(x)infxD2f(x).

Exemplo 2

Seja f:n;D1,D2, tais que x¯D2D1. Seja f(x¯)f(x),xD1.

Mostrar que f(x¯)f(x),xD2.

Suponha por contradição que zD2 tal que f(z)<f(x¯). Por zD2D1f(x¯)f(z). Logo f(z)<f(x¯)f(z). Contradição! A contradição foi supor que zD2 tal que f(z)<f(x¯). Portanto f(x¯)f(x),xD2.


Predefinição:AutoCat