Difference between revisions of "Minimizing sequence"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||
Line 1: | Line 1: | ||
− | + | <!-- | |
+ | m0640101.png | ||
+ | $#A+1 = 13 n = 0 | ||
+ | $#C+1 = 13 : ~/encyclopedia/old_files/data/M064/M.0604010 Minimizing sequence | ||
+ | Automatically converted into TeX, above some diagnostics. | ||
+ | Please remove this comment and the {{TEX|auto}} line below, | ||
+ | if TeX found to be correct. | ||
+ | --> | ||
− | + | {{TEX|auto}} | |
+ | {{TEX|done}} | ||
− | + | A sequence of elements $ y _ {n} $ | |
+ | from a set $ M $ | ||
+ | for which the corresponding sequence of function values $ \phi ( y _ {n} ) $ | ||
+ | tends to the greatest lower bound of $ \phi $ | ||
+ | on $ M $, | ||
+ | that is, | ||
− | + | $$ | |
+ | \lim\limits _ {n \rightarrow \infty } \phi ( y _ {n} ) = \ | ||
+ | \inf _ {y \in M } \phi ( y) . | ||
+ | $$ | ||
− | + | The compactness of a minimizing sequence, that is, the existence of a subsequence converging to an element of $ M $, | |
+ | in combination with the lower semi-continuity of $ \phi $, | ||
+ | guarantees the existence of an optimal element | ||
− | + | $$ | |
+ | y ^ {n} \in M ,\ \phi ( y ^ {n} ) = \min _ { | ||
+ | y \in M } \phi ( y) . | ||
+ | $$ | ||
+ | |||
+ | In approximation theory, a minimizing sequence $ \{ y _ {n} \} \in M $ | ||
+ | for a given element $ x $ | ||
+ | of a metric space $ X = ( X , \rho ) $ | ||
+ | is a sequence for which | ||
+ | |||
+ | $$ | ||
+ | \rho ( x , y _ {n} ) \rightarrow \rho ( x , M ) = \inf \ | ||
+ | \{ {\rho ( x , y ) } : {y \in M } \} | ||
+ | . | ||
+ | $$ | ||
See [[Approximately-compact set|Approximately-compact set]]. | See [[Approximately-compact set|Approximately-compact set]]. |
Latest revision as of 08:00, 6 June 2020
A sequence of elements $ y _ {n} $
from a set $ M $
for which the corresponding sequence of function values $ \phi ( y _ {n} ) $
tends to the greatest lower bound of $ \phi $
on $ M $,
that is,
$$ \lim\limits _ {n \rightarrow \infty } \phi ( y _ {n} ) = \ \inf _ {y \in M } \phi ( y) . $$
The compactness of a minimizing sequence, that is, the existence of a subsequence converging to an element of $ M $, in combination with the lower semi-continuity of $ \phi $, guarantees the existence of an optimal element
$$ y ^ {n} \in M ,\ \phi ( y ^ {n} ) = \min _ { y \in M } \phi ( y) . $$
In approximation theory, a minimizing sequence $ \{ y _ {n} \} \in M $ for a given element $ x $ of a metric space $ X = ( X , \rho ) $ is a sequence for which
$$ \rho ( x , y _ {n} ) \rightarrow \rho ( x , M ) = \inf \ \{ {\rho ( x , y ) } : {y \in M } \} . $$
Minimizing sequence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Minimizing_sequence&oldid=47850