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 |
Sem resumo de edição |
||
Linha 36:
:se <math> f(\bar{x}) \ge f(x), \forall \; x \in D \cap B_\epsilon (\bar{x})</math> onde <math> B_\epsilon (\bar{x}) = \{ x \in D ; \; \| x - \bar{x} \| < \epsilon \}</math>
}}
===Exemplo===
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>.
a)Mostrar que <math> \inf_{x \in D_1}f(x) \le \inf_{x \in D_2}f(x) </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>
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) \le f(x), \forall \; x \in D_1 \Rightarrow </math>
<math> \Rightarrow f(z) < f(x), \forall \; x \in D_1 </math>. Mas <math> z \in D_2 \subset D_1 \Rightarrow z \in D_1 \Rightarrow f(y) \le f(z) </math>. Logo <math> f(z) < f(y) \le f(z) </math>. Contradição! (está quase pronta a demonstração)
== Fórmulas ==
<nowiki>
<math> </math>
\| \|
\bar{}
\mathbb{}
{ \over }
\Rightarrow
\Leftarrow
\Leftrightarrow
\mapsto
</nowiki>
| |||