Otimização/Situação inicial: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Sem resumo de edição |
|||
Linha 40:
Seja <math> f: \mathbb{R}^n \mapsto \mathbb{R}; D_1, D_2 \subset \mathbb{R} </math>, tais que <math> D_2 \subset D_1 </math>.
Afirmação: <math> f(y)=\inf_{x \in D_1}f(x) \Rightarrow f(y) \le f(x), \forall \; x \in D_1</math> e <math> f(z)=\inf_{x \in D_2}f(x) \Rightarrow f(z) \le f(x), \forall \; x \in D_2</math>
Linha 46:
Prova1: Tome <math> t \in D_2 \subset D_1 \Rightarrow t \in D_1 \Rightarrow f(y) \le f(t), \forall \; t \in D_2 \Rightarrow f(y) \le f(z) </math>.
Prova2: Suponha por contradição que <math> \inf_{x \in D_2}f(x) < \inf_{x \in D_1}f(x) \Rightarrow f(z) < f(y)</math>. Mas <math> z \
Portanto, <math> \inf_{x \in D_1}f(x) \le \inf_{x \in D_2}f(x) </math>
==Exemplo 2==
Seja <math> f: \mathbb{R}^n \mapsto \mathbb{R}; D_1, D_2 \subset \mathbb{R} </math>, tais que <math> D_2 \subset D_1 </math>. Seja <math> f(\bar{x})\le f(x), \forall \; x \in D_1 </math> e <math> \bar{x} \in D_2</math>
=== Mostrar que <math> f(\bar{x})\le f(x), \forall \; x \in D_2 </math> ===
==== Fórmulas ====
<nowiki>
<math> </math>
\| \|
\bar{}
\mathbb{}
{ \over }
\Rightarrow
\Leftarrow
\Leftrightarrow
\mapsto
</nowiki>
| |||