Vector Extreme Value Theorem
From Vectorcalcumb
Revision as of 19:06, 11 February 2006 by 71.192.72.43 (Talk)
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.