Mergelyan's Approximation Theorem
   HOME

TheInfoList



OR:

Mergelyan's theorem is a result from approximation by polynomials in
complex analysis Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebra ...
proved by the
Armenian Armenian may refer to: * Something of, from, or related to Armenia, a country in the South Caucasus region of Eurasia * Armenians, the national people of Armenia, or people of Armenian descent ** Armenian Diaspora, Armenian communities across the ...
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
Sergei Mergelyan in 1951.


Statement

:Let ''K'' be a
compact subset In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
of the
complex plane In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by th ...
C such that C∖''K'' is
connected Connected may refer to: Film and television * ''Connected'' (2008 film), a Hong Kong remake of the American movie ''Cellular'' * '' Connected: An Autoblogography About Love, Death & Technology'', a 2011 documentary film * ''Connected'' (2015 TV ...
. Then, every continuous function ''f'' : ''K''\to C, such that the
restriction Restriction, restrict or restrictor may refer to: Science and technology * restrict, a keyword in the C programming language used in pointer declarations * Restriction enzyme, a type of enzyme that cleaves genetic material Mathematics and log ...
''f'' to int(''K'') is
holomorphic In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex de ...
, can be approximated
uniformly Uniform distribution may refer to: * Continuous uniform distribution * Discrete uniform distribution * Uniform distribution (ecology) * Equidistributed sequence See also * * Homogeneous distribution In mathematics, a homogeneous distribution is ...
on ''K'' with
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An ex ...
s. Here, int(''K'') denotes the
interior Interior may refer to: Arts and media * ''Interior'' (Degas) (also known as ''The Rape''), painting by Edgar Degas * ''Interior'' (play), 1895 play by Belgian playwright Maurice Maeterlinck * ''The Interior'' (novel), by Lisa See * Interior de ...
of ''K''. Mergelyan's theorem also holds for open
Riemann surfaces In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...
:If ''K'' is a compact set without holes in an open
Riemann surface In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed ve ...
''X'', then every function in \mathcal (K) can be approximated uniformly on K by functions in \mathcal(X). Mergelyan's theorem does not always hold in higher dimensions (spaces of
several complex variables The theory of functions of several complex variables is the branch of mathematics dealing with complex number, complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several ...
), but it has some consequences.


History

Mergelyan's theorem is a generalization of the
Weierstrass approximation theorem Karl Theodor Wilhelm Weierstrass (german: link=no, Weierstraß ; 31 October 1815 – 19 February 1897) was a German mathematician often cited as the "father of modern analysis". Despite leaving university without a degree, he studied mathematics ...
and
Runge's theorem In complex analysis, Runge's theorem (also known as Runge's approximation theorem) is named after the German mathematician Carl Runge who first proved it in the year 1885. It states the following: Denoting by C the set of complex numbers, let ''K ...
. In the case that C∖''K'' is ''not'' connected, in the initial approximation problem the polynomials have to be replaced by
rational function In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be ...
s. 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 Anatoli Georgievich Vitushkin (russian: Анато́лий Гео́ргиевич Виту́шкин) (June 25, 1931 – May 9, 2004) was a Soviet mathematician noted for his work on analytic capacity and other parts of mathematical analysis. E ...
. Weierstrass and Runge's theorems were put forward in 1885, while Mergelyan's theorem dates from 1951. After Weierstrass and Runge, many mathematicians (in particular Walsh, Keldysh,
Lavrentyev Lavrentyev or Lavrentiev (russian: Лаврентьев) and Lavrentyeva (russian: Лаврентьева; feminine) is a common Russians, Russian surname. People with this surname include: * Arseniy Lavrentyev (born 1983), Russian-born Portuguese ...
, Hartogs, and Rosenthal) 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 *
Oka–Weil theorem In mathematics, especially the theory of several complex variables, the Oka–Weil theorem is a result about the uniform convergence of holomorphic functions on Stein spaces due to Kiyoshi Oka and André Weil. Statement The Oka–Weil theorem stat ...


References

*
Lennart Carleson Lennart Axel Edvard Carleson (born 18 March 1928) is a Swedish mathematician, known as a leader in the field of harmonic analysis. One of his most noted accomplishments is his proof of Lusin's conjecture. He was awarded the Abel Prize in 2006 ...
, ''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), . * W. Rudin, '' Real and Complex Analysis'', McGraw–Hill Book Co., New York, (1987), . * A. G. Vitushkin, ''Half a century as one day'', Mathematical events of the twentieth century, 449–473, Springer, Berlin, (2006), /hbk.


Inline citation


External links

* {{springer, title=Mergelyan theorem, id=p/m063450 Theorems in complex analysis Theorems in approximation theory