Açık gönderim teoremi (karmaşık analiz)

Karmaşık analizde açık gönderim teoremi, U, karmaşık düzlem C 'nin bağlantılı açık bir altkümesiyse ve f : U → C sabit olmayan holomorf bir fonksiyonsa, o zaman f 'nin açık gönderim olduğunu ifade eder (yani U 'nun açık altkümelerini C 'nin açık altkümelerine gönderir).

Açık gönderim teoremi, holomorfluk ve gerçel türevlenebilirlik arasındaki keskin farkı ortaya koyar. Mesela, gerçel sayılar üzerinde, f(x) = x² türevlenebilir fonksiyonu açık bir gönderim değildir çünkü (-1,1) açık aralığının görüntüsü [0,1) yarıaçık aralığıdır.

Teorem, örneğin, sabit olmayan bir holomorf fonksiyonun açık bir diski bir doğrunun parçasına örten bir şekilde gönderemeyeceğini gösterir.

Kanıt

Mavi noktalar g(z) 'nin sıfırlarını göstermektedir. Sivri siyah şekiller kutupları temsil etmektedir. U açık kümesinin sınırı kesik çigilerle gösterilmektedir. Burada bütün kutuplar açık kümenin dışındadır. Daha küçük olan kırmızı çember kanıtta kurulan B kümesidir.

f:U → C sabit olmayan holomorf bir fonksiyon olsun ve $U$ karmaşık düzlemin bağlantılı bir açık altkümesi olsun. $f(U)$ 'daki her noktanın $f(U)$ 'nun bir iç noktası olduğunu göstermeliyiz; yani $f(U)$ içindeki her noktanın $f(U)$ içinde yer alan bir diskin içinde olduğunu göstermeliyiz.

$U$ içinde rastgele bir $z_{0}$ noktasını alalım. U açık olduğu için, bir $d>0$ bulabiliriz öyle ki z₀ etrafında, d yarıçaplı $B$ kapalı diski tamamen U içinde yer alır. U bağlantılı olduğu ve f, U üzerinde sabit olmadığı için, f 'nin B üzerinde sabit olmadığını biliyoruz. Görüntü noktası $w_{0}=f(z_{0})$ 'ı ele alalım. $f(z_{0})-w_{0}=0$ olur ve $z_{0}$ , $g(z)=f(z)-w_{0}$ fonksiyonunun kökü olur.

g(z) 'nin sabit olmadığını biliyoruz ve d yi daha da azaltarak g(z) 'nin B içinde tek bir kökü olmasını sağlayabiliriz; çünkü, sabit olmayan holomorf fonksiyonların kökleri izoledir yani yalıktıktır. e, B 'nin sınırındaki z değerleri için |g(z)| 'nin minimum değeri olsun (pozitif sayı). (B 'nin sınırı çemberdir ve bu yüzden tıkız kümedir. |(g(z)| sürekli fonksiyondur. Böylece, ekstremum değer teoremi bu minimumun varlığını kanıtlar.) $w_{0}$ etrafındaki $e$ yarıçaplı diski $D$ ile gösterelim. Rouché teoremi, $w_{0}$ 'a uzaklığı $e$ 'den az olan her $w$ için $g(z)=f(z)-w_{0}$ ve $f(z)-w$ 'nin B içinde aynı sayıda köke sahip olacağını ifade eder. Bu yüzden, $D$ içindeki her $w$ için, $B$ 'de $f(z_{1})=w$ olacak şekilde sadece bir tane $z_{1}$ vardır. Bu da, D diskinin $f(U)$ 'nun altkümesi olan f(B) 'de yer aldığı anlamına gelir.

Kaynakça

Rudin, Walter (1966), Real & Complex Analysis, McGraw-Hill, ISBN 0-07-054234-1

İlgili Araştırma Makaleleri

Matematikte cebirin temel teoremi karmaşık değişkenli polinomların köklerinin varlığıyla ilgili temel bir sonuçtur. D'Alembert-Gauss teoremi olarak da anılmaktadır.

Karmaşık analiz ya da başka bir deyişle kompleks analiz, bir karmaşık değişkenli fonksiyonları araştıran bir matematik dalıdır. Bir değişkenli karmaşık analize ya da çok değişkenli karmaşık analizle beraber tümüne karmaşık değişkenli fonksiyonlar teorisi de denilir.

Matematiğin bir alanı olan karmaşık analizde, karmaşık değişkenli ve karmaşık değerler alan bir f fonksiyonu

bir a noktasında holomorfsa, a noktası etrafındaki açık bir komşuluk içindeki her noktada türevlenebilirdir. Aynı zamanda ters ifade de doğrudur: fonksiyon a noktası etrafındaki bir açık komşuluk içindeki her noktada türevlenebilir ise, fonksiyon a noktasında holomorftur.
bir a noktası etrafında yakınsak bir kuvvet serisi olan

\text{[math]}

Karmaşık analizde holomorf fonksiyonlar için özdeşlik teoremi, bağlantılı açık bir D kümesi üzerinde verilmiş olan f ve g gibi iki holomorf fonksiyon D içindeki bir z noktasının komşuluğunun üzerinde eşit olursa, o zaman bu iki fonksiyonun D üzerinde eşit olduklarını ifade eder. Bu yüzden, holomorf bir fonksiyon tamamıyla, D içinde muhtemelen çok küçük bir komşuluktaki değerleriyle belirlenir. Bu durum, gerçel türevlenebilir fonksiyonlar için doğru değildir. Karşılaştırıldığında, holomorfluk veya karmaşık türevlenebilirlik, daha esnek olmayan bir fikirdir.

Matematiğin bir dalı olan karmaşık analizde, Giacinto Morera'nın ardından adlandırılan Morera teoremi, bir fonksiyonun holomorf olduğunu kanıtlamak için kullanılan temel bir sonuçtur. İtalyan matematikçi Giacinto Morera'nın adını taşımaktadır.

Matematikte Laplace denklemi, özellikleri ilk defa Pierre-Simon Laplace tarafından çalışılmış bir kısmi diferansiyel denklemdir. Laplace denkleminin çözümleri, elektromanyetizma, astronomi ve akışkanlar dinamiği gibi birçok bilim alanında önemlidir çünkü çözümler bilhassa elektrik ve yerçekim potansiyeli ile akışkan potansiyelinin davranışını açıklar. Laplace denkleminin çözümlerinin genel teorisi aynı zamanda potansiyel teorisi olarak da bilinmektedir.

Matematiğin matematiksel fizik alanında ve rassal süreçler teorisinde bir harmonik fonksiyon, Rⁿ'nin U gibi açık bir kümesi üzerinde f : U → R şeklinde tanımlı, Laplace denklemini, yani

\text{[math]}

Matematiğin bir dalı olan karmaşık analizde, Augustin Louis Cauchy'nin ismine atfedilen Cauchy integral teoremi, karmaşık düzlemdeki holomorf fonksiyonların çizgi integralleri hakkında önemli bir teoremdir.

Karmaşık analizde kutup ya da doğru bir söylemle bir meromorf fonksiyonun kutbu, 1/zⁿ 'nin z = 0 noktasındaki tekilliği gibi davranan matematiksel bir tekilliktir. Bu özellikle şu anlama gelir: Bir f(z) fonksiyonun z = a noktasındaki kutbu, z noktası a noktasına yaklaştıkça f(z)'yi sonsuza düzgün bir şekilde yaklaştıran noktadır.

Matematikte, Augustin Louis Cauchy'nin adıyla adlandırılan Cauchy integral formülü karmaşık analizde merkezi bir ifadedir. Bir disk üzerinde tanımlanmış holomorf bir fonksiyonun tamamen, fonksiyonun disk sınırındaki değerleri tarafından belirlendiğini ifade eder. Ayrıca, holomorf bir fonksiyonun tüm türevleri için formül elde etmekte de kullanılabilir. Cauchy formülünün analitik önemi karmaşık analizde "türev alma integral almaya denktir" ifade etmesidir: Bu yüzden karmaşık türevlilik, integral alma gibi, gerçel analizde olmayan düzgün limitler altında iyi davranma özelliğine sahiptir.

Matematikte karmaşık düzlem, gerçel eksen ve ona dik olan sanal eksen tarafından oluşturulmuş, karmaşık sayıların geometrik bir gösterimidir. Karmaşık sayının gerçel kısmının x-ekseni boyuncaki yer değiştirmeyle, sanal kısmının ise y-eksenindeki yer değiştirmeyle temsil edildiği değiştirilmiş bir Kartezyen düzlem olarak düşünülebilir.

Karmaşık analizde Charles Émile Picard'ın ismine atfedilen Picard teoremi analitik bir fonksiyonun görüntü kümesiyle ilişkin ayrı ayrı ama yine de birbirine bağlı iki teoremdir.

Matematiğin bir alt dalı olan karmaşık analizde, Liouville teoremi tam fonksiyonların sınırlılığıyla ilgili temel bir teoremdir.

Karmaşık analizde, bir kaldırılabilir tekillik veya daha düzgün bir söylemle, bir holomorf fonksiyonun kaldırılabilir tekilliği, fonksiyonun görünüşte holomorf olmadığı; ancak daha yakın bir incelemeden sonra fonksiyonun tanım kümesinin bu tekilliği de içerecek şekilde genişletilebileceği bir noktadır.

Matematikte açıkorur gönderim ya da açıkorur dönüşüm tanımlı olduğu kümenin her noktasında yerel olarak açıları koruyan bir fonksiyona verilen addır. Bu tanımı haliyle, açıkorur gönderimlerin her zaman uzunlukları koruması ya da yönleri koruması beklenmez.

Matematiğin bir alt dalı olan karmaşık analizde Hurwitz teoremi, matematikçi Adolf Hurwitz'in ispatladığı ve bu yüzden onun ismini almış önemli bir sonuçtur. Genel bir şekilde ifade etmek gerekirse, Hurwitz teoremi karmaşık düzlemdeki bir bölge üzerinde tanımlı bir holomorf fonksiyonlar dizisinin sıfırları ile bu dizinin limiti olan fonksiyonun sıfırlarını ilişkilendirir.

Matematiğin bir alt dalı olan karmaşık analizde, holomorf bir f fonksiyonunun sıfırı veya kökü f(a) = 0 eşitliğini sayılan karmaşık a sayısına verilen bir addır. Başka bir deyişle, holomorf fonksiyonların sıfır değerini aldığı karmaşık sayılara o fonksiyonun sıfırları adı verilir.

Matematiğin bir alt dalı olan karmaşık analizde maksimum ilkesi veya maksimum modülüs prensibi veya en büyük mutlak değer teoremi holomorf bir $\text{[math]}$ fonksiyonunun tanım kümesi olan bir bölgede fonksiyonun mutlak değeri olan $\text{[math]}$ 'nin yerel bir maksimuma sahip olamayacağını belirten önemli bir sonuçtur.

Matematikte Hardy teoremi, karmaşık analizde holomorf fonksiyonların büyüme davranışlarıyla ilgili bir sonuçtur.

Karmaşık analizde Casorati-Weierstrass teoremi, holomorf fonksiyonların esaslı tekillikler civarındaki olağanüstü davranışlarını açıklayan bir ifadedir. Teorem, Karl Theodor Wilhelm Weierstrass ve Felice Casorati'ye atfen isimlendirilmiştir.

Bu sayfa, bu Vikipedi makalesine dayanmaktadır.
Metin, CC BY-SA 4.0 lisansı altında mevcuttur; ek koşullar uygulanabilir.
Görseller, videolar ve sesler kendi lisansları altında mevcuttur.