From Vectorcalcumb

Revision as of 19:06, 11 February 2006

Vector Extreme Value Theorem

<m>F: \\bbR^n \\right \\bbR^m</m>
<m>F</m> is continuous, <m>A \\subset \\bbR^n</m> compact subset
<m>\\right F(A)</m> is compact [i.e. F is bounded and attains its 'extreme' values]

And apparently, there's no analogue to the Intermediate Value Theorem in Vector Calculus.

And then I have these scribblings:

If <m> F(A)\\subset \\bigcup{i \\in I}{}{U_i} </m> is an open covering of <m>F(A)</m>

then <m> A \\subset \\bigcup{i \\in I}{}{F^{-1}(U_i)} </m>

and since <m>F</m> is continuous, the inverse images are open sets, so we have an open covering of <m>A</m>. Since <m>A</m> is compact, there is a finite subcovering

<m> A \\subset \\bigcup{k=1}{n}{F^{-1}(U_i_k)} </m>

and therefore

<m>F(A) \\subset \\bigcup{k=1}{n}{(U_i_k)}</m> is a finite subcovering of the initial open covering.