Mergelyan's theorem
Mergelyan's theorem is a famous result from complex analysis proved by the Armenian mathematician Sergei Nikitovich Mergelyan in 1951. It states the following:
Let K be a compact subset of the complex plane C such that C∖K is connected. Then, every continuous function f : K→{displaystyle to }
Mergelyan's theorem is the ultimate development and generalization of the Weierstrass approximation theorem and Runge's theorem. It gives the complete solution of the classical problem of approximation by polynomials.
In the case that C∖K is not connected, in the initial approximation problem the polynomials have to be replaced by rational functions. An important step of the solution of this further rational approximation problem was also suggested by Mergelyan in 1952. Further deep results on rational approximation are due to, in particular, A. G. Vitushkin.
Weierstrass and Runge's theorems were put forward in 1885, while Mergelyan's theorem dates from 1951. This rather large time difference is not surprising, as the proof of Mergelyan's theorem is based on a new powerful method created by Mergelyan. After Weierstrass and Runge, many mathematicians (in particular Walsh, Keldysh, and Lavrentyev) had been working on the same problem. The method of the proof suggested by Mergelyan is constructive, and remains the only known constructive proof of the result.
See also
- Arakelyan's theorem
- Hartogs–Rosenthal theorem
References
Lennart Carleson, Mergelyan's theorem on uniform polynomial approximation, Math. Scand., V. 15, (1964) 167–175.- Dieter Gaier, Lectures on Complex Approximation, Birkhäuser Boston, Inc. (1987), .mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
ISBN 0-8176-3147-X. - W. Rudin, Real and Complex Analysis, McGraw–Hill Book Co., New York, (1987),
ISBN 0-07-054234-1. - A. G. Vitushkin, Half a century as one day, Mathematical events of the twentieth century, 449–473, Springer, Berlin, (2006),
ISBN 3-540-23235-4/hbk.
External links
Hazewinkel, Michiel, ed. (2001) [1994], "Mergelyan theorem", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
