16.04.2013 Views

Ricardo Nicasso Benito A Reduç˜ao de Liapunov-Schmidt ... - Unesp

Ricardo Nicasso Benito A Reduç˜ao de Liapunov-Schmidt ... - Unesp

Ricardo Nicasso Benito A Reduç˜ao de Liapunov-Schmidt ... - Unesp

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Apêndice B<br />

Resultados e Conceitos Básicos.<br />

Neste Capítulo vamos apenas enunciar alguns conceitos fundamentais da Análise<br />

e<br />

Álgebra Linear. Tais conceitos são <strong>de</strong> extrema importância para o <strong>de</strong>-<br />

senvolver <strong>de</strong>sta dissertação tais como o Teorema da Função Implícita e as<br />

<strong>de</strong>finições <strong>de</strong> Espaços <strong>de</strong> Banach e <strong>de</strong> Hilbert.<br />

Teorema B.1 (Teorema da Função Implícita). Sejam D ⊂ R n+m um<br />

aberto, f : D −→ R m uma aplicação <strong>de</strong> classe C 1 , e (p0, q0) ∈ D, com<br />

f(p0, q0) = 0; se a matriz ∂f<br />

∂q (p0,<br />

<br />

∂f<br />

q0) = (p0, q0) é não-singular, então<br />

∂xn+j<br />

existem abertos V ⊂ R n contendo p0 e W ⊂ R m contendo q0, tal que para cada<br />

p ∈ V , existe um único φ(p) ∈ W com f(p, φ(p)) = 0. A função φ : V −→ W<br />

é <strong>de</strong> classe C 1 e<br />

Jφ(p) =<br />

−1 ∂f<br />

(p, φ(p))<br />

∂q<br />

· ∂f<br />

(p, φ(p)), ∀p ∈ V.<br />

∂p<br />

Definição B.2 (Espaço <strong>de</strong> Banach). Um Espaço <strong>de</strong> Banach é um espaço<br />

vetorial normado (E, || · ||) que é completo com respeito à métrica d induzida<br />

por sua norma, ou seja, d(v, w) := ||v − w||.<br />

Definição B.3 (Espaço <strong>de</strong> Hilbert). Um Espaço <strong>de</strong> Hilbert é um espaço<br />

vetorial com um produto interno (H, < ·, · >), que é completo com a métrica<br />

d induzida pelo produto interno, ou seja, d(v, w) = √ < v − w, v − w >.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!