Meromorfe functie
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/49/Gamma_abs2.png/260px-Gamma_abs2.png)
In de complexe functietheorie is een meromorfe functie op een open deelverzameling van het complexe vlak een functie, die overal op holomorf is, met uitzondering van een verzameling van geïsoleerde punten, de polen van de functie. De naam komt van het Oudgriekse meros, μέρος, wat deel betekent, dit in tegenstelling tot holos, ὅλος, wat geheel betekent.
Elke meromorfe functie op kan worden uitgedrukt als de verhouding tussen twee holomorfe functies, met de noemer niet constant 0, gedefinieerd op : de polen komen dan voor op de nulpunten van de noemer.
Intuïtief kan men een meromorfe functie dus opvatten als een breuk van twee zich "goed-gedragende" (holomorfe) functies. Een meromorfe functie zal zich nog steeds "goed gedragen", behalve op de punten waar de noemer van de breuk nul is. Daar nadert de waarde van de functie tot oneindig.
Vanuit algebraïsch oogpunt, als samenhangend is, dan is de verzameling van meromorfe functies het quotiëntenlichaam van het integriteitsdomein van de verzameling van holomorfe functies. Dit is analoog aan de relatie tussen de rationale getallen en de gehele getallen .
Eigenschappen
Aangezien de polen van een meromorfe functie geïsoleerd liggen, is er ten hoogste een telbaar aantal polen. De verzameling van polen kan aftelbaar oneindig zijn, zoals wordt geïllustreerd door de functie
Door gebruik te maken van analytische voortzetting om ophefbare singulariteiten te elimineren, kunnen meromorfe functies worden opgeteld, afgetrokken, vermenigvuldigd en kan, als is op een samenhangende open deelverzameling van , het quotiënt worden gevormd. Dus als samenhangend is, vormen de meromorfe functies een lichaam (NL) of veld(B), in feite een uitbreiding van de complexe getallen.
Meromorfe functies afgebeeld op riemann-oppervlakken
Op een riemann-oppervlak staat ieder punt een open omgeving toe die isomorf is met een open deelverzameling van het complexe vlak. Hierdoor kan de notie van een meromorfe functie voor elke riemann-oppervlak worden gedefinieerd.
Als de volledige riemann-sfeer is, dan is het lichaam/veld van de meromorfe functies gelijk aan het lichaam/veld van de rationele functies in één variabele over het complexe vlak, dit aangezien men kan bewijzen dat elke meromorfe functie op de riemann-sfeer rationeel is. Dit is een speciaal geval van het zogenaamde "GAGA"-principe.[1]
Voor elk riemann-oppervlak is een meromorfe functie hetzelfde als een holomorfe functie die afbeeldt op het riemann-oppervlak en die niet constant gelijk is aan . De polen corresponderen met die complexe getallen die zijn afgebeeld op .
Op een niet-compact riemann-oppervlak kan elke meromorfe functie worden gerealiseerd als een quotiënt van twee (globaal gedefinieerde) holomorfe functies. In tegenstelling daarmee is op een compact riemann-oppervlakte elke holomorfe functie constant, terwijl er altijd niet-constante meromorfe functies bestaan.
Meromorfe functies op een elliptische kromme staan ook bekend als elliptische functies.
Hogere dimensies
In de theorie van functies van meer complexe variabelen wordt een meromorfe functie lokaal gedefinieerd als een quotiënt van twee holomorfe functies. Bijvoorbeeld, is een meromorfe functie op de tweedimensionale complexe affiene ruimte. Hier is het niet langer waar dat iedere meromorfe functie als holomorfe functie met waarden in de riemann-sfeer kan worden beschouwd: Er is een verzameling van "onbepaaldheid" van codimensie twee (in het gegeven voorbeeld bestaat deze verzameling uit de oorsprong (0,0)).
Anders dan in één dimensie bestaan er in de hogere dimensies complexe variëteiten, waarop geen niet-constante meromorfe functies bestaan, bijvoorbeeld de meeste complexe tori.
Voorbeelden
- Elke rationale functie, zoals
- ,
- is meromorf over het gehele complexe vlak.
- Functies zoals
- en ,
- de gammafunctie en de Riemann-zèta-functie zijn meromorf over het gehele complexe vlak.
- De functie
- is gedefinieerd in het gehele complexe vlak behalve in de oorsprong. De oorsprong is echter geen pool van deze functie, maar een essentiële singulariteit. Daarom is deze functie niet meromorf in het gehele complexe vlak. Deze functie is echter wel meromorf (zelfs holomorf) op .
- Een beetje op dezelfde manier heeft de functie
- singulariteiten in alle punten van de vorm voor . Deze functie is echter niet meromorf op alle , aangezien de singulariteit op een ophefbare singulariteit is: .
- Als we dit "patchen" door te definiëren dat
- dan zou de functie alleen poolsingulariteiten hebben, en dus meromorf zijn. Wij kunnen ook simpelweg zeggen dat meromorf is op .
- De complexe logaritme functie
- is niet meromorf over het gehele complexe vlak, aangezien de functie niet op een verzameling van geïsoleerde punten na over het gehele complexe vlak kan worden gedefinieerd.
- De functie
- is niet meromorf in het gehele vlak, aangezien het punt een ophopingspunt van polen is en dus geen geïsoleerde singulariteit is.
- De functie
- is niet meromorf, aangezien ze een essentiële singulariteit op 0 heeft.