Mergelyan 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 Function (mathematics), functions of complex numbers. It is helpful in many branches of mathemati ...
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, structure, space, models, and change. History On ...
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 the ...
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 In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
''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 logi ...
''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 derivativ ...
, can be approximated
uniformly Uniform distribution may refer to: * Continuous uniform distribution * Discrete uniform distribution * Uniform distribution (ecology) * Equidistributed sequence In mathematics, a sequence (''s''1, ''s''2, ''s''3, ...) of real numbers is said to be ...
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 exa ...
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 versio ...
: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 vers ...
''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-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variable ...
), 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 rat ...
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. 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 Walsh may refer to: People and fictional characters * Walsh (surname), including a list of people and fictional characters with the surname Places * Fort Walsh, one of the first posts of the Royal Canadian Mounted Police * Walsh, Ontario, Norfolk ...
, Keldysh, Lavrentyev, Hartogs, and
Rosenthal Rosenthal is a German and Jewish surname meaning "rose valley". Notable people with the name include: A * Abe M. Rosenthal (1922–2006), ''New York Times'' editor and columnist *Albert Rosenthal (1863–1939), American portrait artist * Albert ...
) 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 In mathematics, Arakelyan's theorem is a generalization of Mergelyan's theorem from compact subsets of an open subset of the complex plane to relatively closed subsets of an open subset. Theorem Let Ω be an open subset of \Complex and ''E'' a re ...
*
Hartogs–Rosenthal theorem In mathematics, the Hartogs–Rosenthal theorem is a classical result in complex analysis on the uniform approximation of continuous functions on compact subsets of the complex plane by rational functions. The theorem was proved in 1931 by the Germ ...
*
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 sta ...


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 fo ...
, ''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