Riemann yüzeyi

Matematikte Riemann yüzeyi, özellikle karmaşık analizde bahsi geçen tek boyutlu karmaşık bir manifolddur. Bu yüzey(ler) ilk olarak Bernhard Riemann tarafından incelenmiş ve isimlendirilmiş. Riemann yüzeyleri, karmaşık düzlemin deforme olmuş versiyonları olarak düşünülebilir: her noktanın yakınında karmaşık düzlemin yerel olarak yamaları gibi görünürler, ama topolojisi oldukça farklı olabilmektedir.

Riemann yüzeylerindeki ana ilgi, holomorfik fonksiyonların aralarında tanımlanabilmesidir. Riemann yüzeyleri günümüzde bu fonksiyonların global davranışı, özellikle de karekök ve diğer cebirsel fonksiyonlar veya logaritma gibi çok değerli fonksiyonların incelenmesi için doğal ortam olarak kabul edilmektedir. Her Riemann yüzeyi iki boyutlu gerçek bir analitik manifolddur (yani bir yüzey), ama holomorfik fonksiyonların kesin tanımı için gerekli olan bir alt yapı (karmaşık bir yapı) içerir. İki boyutlu bir gerçek manifold, yönlendirilebilir ve ölçülebilir ise bir Riemann yüzeyine dönüştürülebilir. Dolayısıyla küre ve simit formunda karmaşık yapıları kabul eder, fakat Möbius şeridi, Klein şişesi ve gerçek yansıtmalı düzlem bunu yapmaz.

Bir x Riemann yüzeyi, karmaşık bir boyuta ve bağlantıya sahip bir manifolddur. Bu, xin karmaşık düzlemin açık birim diskine bir çizelge atlası ile donatılmış bağlı bir Hausdorff alanı olduğu anlamına gelir: her x ∈ X noktası için, kompleksin açık birim diskine homeomorfik olan bir x komşuluğu vardır. Düzlem ve örtüşen iki harita arasındaki geçiş haritalarının holomorfik olması gerekir.

Riemann yüzeyi, iki boyutlu yönlendirilmiş bir manifolddur. Yine, manifold, xin herhangi bir x noktasında, uzayın gerçek düzlemin bir alt kümesine homeomorfik olduğu anlamına gelir. "Riemann" eki, xin manifold üzerinde açı ölçümüne izin veren ek bir yapıya, yani Riemann metriklerinin bir eşdeğerlik sınıfına sahip olduğunu belirtir. Ölçtükleri açılar aynıysa, bu tür iki metrik eşdeğer kabul edilir. x üzerinde bir eşdeğerlik metrik sınıfı seçmek, uyumlu yapının ek verisidir.

Karmaşık manifoldlar arasında bulunan herhangi bir haritada olduğu gibi iki Riemann yüzeyi, M ve N arasındaki bir f: M → N fonksiyonuna holomorfiktir, eğer M atlasındaki her g tablosu ve N atlasındaki her h grafiği için h ∘ f ∘ g−1 haritası, tanımlandığı her yerde holomorfiktir (Cden Cye giden bir fonksiyon olarak). İki holomorfik haritanın bileşimi holomorfiktir. Mden Nye giden fonksiyonun tersi de holomorfik olan bijektif bir holomorfik fonksiyondur. Varsa iki Riemann yüzeyi M ve N, biholomorfik (veya konformal bakış açısını vurgulamak için uyumlu olarak eşdeğer) olarak isimlendirilir (ikinci koşulun otomatik olduğu ve bu nedenle ihmal edilebilir). Uyumlu olarak birbirine eşdeğer iki Riemann yüzeyi, tüm pratik amaçlar için aynıdır.

Karmaşık bir manifold olan her Riemann yüzeyi, gerçek bir manifold olarak yönlendirilebilir. h = f(g−1 (z)) geçiş fonksiyonuna sahip karmaşık grafikler f ve g için h, z noktasındaki Jacobi'nin sadece gerçek doğrusal harita olduğu R2den R2ye uzanan bir harita olarak düşünülebilir. h(z) karmaşık sayısıyla çarpma. Bununla birlikte, karmaşık bir α sayısı ile çarpmanın gerçek determinantı |α|2ye eşittir. Bu nedenle, Jakobiyen h'nin pozitif determinantı vardır. Sonuç olarak, karmaşık atlas yönlendirilmiş bir atlastır.

Kompakt olmayan her Riemann yüzeyi, sabit olmayan holomorfik fonksiyonları kabul eder (Cdeki değerlerle). Aslında, kompakt olmayan her Riemann yüzeyi bir Stein manifoldudur.

Buna karşılık, kompakt bir Riemann yüzeyinde X, C değerlerine sahip her holomorfik fonksiyon maksimum prensibi nedeniyle sabittir. Bununla birlikte, her zaman sabit olmayan meromorfik fonksiyonlar vardır (Riemann küresi C ∪ {∞} değerlerine sahip holomorf fonksiyonlar). Daha kesin olarak, Xin fonksiyon alanı, C'''(t'')nin sonlu bir uzantısıdır, bir değişkendeki fonksiyon alanı, yani herhangi iki meromorfik fonksiyon cebirsel olarak bağımlıdır. Bu ifade daha yüksek boyutlara genelleme yapar. Meromorfik fonksiyonlar, Riemann teta fonksiyonları ve yüzeyin Abel-Jacobi haritası açısından oldukça açık bir şekilde verilebilir.