Mergelyan Teoremi

[SaNcArHaN]

Matematiğin bir dalı olan karmaşık analizde Mergelyan teoremi, Ermeni matematikçi Sergei Nikitoviç Mergelyan tarafından 1951'de kanıtlanmış ve Mergelyan'a ithafen isimlendirilmiş bir matematiksel sonuçtur. Mergelyan teoremi şunu ifade etmektedir:
K karmaşık düzlem C 'nin tıkız bir altkümesi olsun öyle ki C \ K 'de bağlantılı olsun. Bu halde, bir f: K->C fonksiyonu K üzerinde sürekliyse ve f 'nin K 'nin iç bölgesindeki sınırlaması olan f|int(K) holomorfikse; f, K üzerinde polinomlarla düzgün yakınsanabilir. (Burada int(K) ifadesi K kümesinin içini (iç bölge) temsil etmektedir.)
Mergelyan teoremi, Stone-Weierstrass teoreminin ve Runge teoreminin en son gelişmiş ve genelleştirilmiş halidir. Bir klasik olan polinomlarla yaklaşma problemine tam bir çözüm vermektedir.
C \ K bağlantılı olmadığı zaman, başlangıçtaki yaklaşım problemindeki polinomlar yerini rasyonel fonksiyonlara bırakırlar. Bu daha ileriki rasyonel yaklaşım probleminin çözümünün önemli bir adımı da ayrıca S. N. Mergelyan tarafından 1952'de ileri sürülmüştür. Rasyonel yaklaşımdaki daha derin sonuçlar özellikle A. G. Vituşkin'e aittir.
Mergelyan teoreminin tarihi 1951 iken, Weierstrass ve Runge teoremleri 1885'te ileri sürülmüştür. Aradaki bu uzun zaman farkı aslında çok da sürpriz değildir çünkü Mergelyan teoremi Mergelyan tarafından yaratılmış yeni güçlü metodları kullanmaktadır. Weierstrass ve Runge'den sonra özellikle Walsh, Keldysh, Lavrentiev gibi matematikçileri de içeren birçok matematikçi de aynı problem üzerinde çalışıyordu. Mergelyan tarafından ileri sürülen kanıtın metodu yapısaldır ve sonucun bilinen tek yapısal kanıtıdır.