Komplexwertige Funktion

Eine komplexwertige Funktion ist in der Mathematik eine Funktion, deren Funktionswerte komplexe Zahlen sind. Eng damit verwandt ist der Begriff der komplexen Funktion, der in der Literatur aber nicht eindeutig verwendet wird. Komplexwertige Funktionen werden in der Analysis und in der Funktionentheorie untersucht und haben vielfältige Anwendungen wie zum Beispiel in der Physik und der Elektrotechnik, wo sie beispielsweise zur Beschreibung von Schwingungen dienen.

Definition

Komplexwertige Funktion

Eine komplexwertige Funktion ist eine Funktion

$f\colon D\to \mathbb {C}$ ,

bei der die Zielmenge die Menge der komplexen Zahlen ist. An die Definitionsmenge sind keine Anforderungen gestellt.

Komplexe Funktion

Wie auch bei reellwertigen und reellen Funktionen ist die Verwendung des Begriffes einer komplexen Funktion in der Literatur nicht eindeutig. Teilweise wird er synonym mit einer komplexwertigen Funktion verwendet, teilweise wird er auch nur für komplexwertige Funktionen einer komplexen Variablen verwendet, also Funktionen

$f\colon D\to \mathbb {C}$ ,

bei denen $D\subseteq \mathbb {C}$ ist.

Spezialfälle

Manchmal wird der komplexwertigen Funktion ein Zusatz angehängt, um zu präzisieren, welche Struktur die Definitionsmenge hat. So heißt beispielsweise eine Funktion $f\colon D\to \mathbb {C}$

komplexwertige Funktion einer reellen Variablen, wenn $D\subseteq \mathbb {R}$ ist,
komplexwertige Funktion mehrerer reeller Variablen, wenn $D\subseteq \mathbb{R} ^{n}$ mit ist,
komplexwertige Funktion einer komplexen Variablen, wenn $D\subseteq \mathbb {C}$ ist,
komplexwertige Funktion mehrerer komplexer Variablen, wenn $D\subseteq \mathbb {C} ^{n}$ mit ist.

Wenn Teilmenge eines komplexen Vektorraums ist, dann wird eine Funktion $f\colon D\to \mathbb {C}$ auch (komplexwertiges) Funktional genannt.

Beispiele

Die Funktion $f\colon \mathbb {R} \to \mathbb {C}$ definiert durch

$f(x)=\exp({\mathrm {i}}x)=\cos(x)+{\mathrm {i}}\sin(x)$

ist eine komplexwertige Funktion einer reellen Variable. Sie ist genau die Eulersche Formel.

Mit $z=x+{\mathrm {i}}y$ ist die Exponentialfunktion

$\exp(z)=\exp(x+{\mathrm {i}}y)=\exp(x)\left(\cos(y)+{\mathrm {i}}\sin(y)\right)$

eine komplexwertige Funktion einer komplexen Variable.

Die Funktion $f\colon \mathbb {R} ^{2}\to \mathbb {C}$ definiert durch

$f(x_{1},x_{2})=x_{1}+{\mathrm {i}}x_{2}$

ist eine komplexwertige Funktion von zwei reellen Variablen.

Aufgrund der Einbettung der reellen Zahlen in die komplexen Zahlen lassen sich alle reellwertigen Funktionen auch als komplexwertige Funktionen auffassen.

Eigenschaften

Algebraische Eigenschaften

Die Menge aller komplexwertigen Funktionen über einer gegebenen Menge bildet einen komplexen Vektorraum, der mit $F(D,\mathbb {C} )$ , $\operatorname {Abb} (D,\mathbb {C} )$ oder $\mathbb {C} ^{D}$ bezeichnet wird. Die Summe zweier komplexwertiger Funktionen und ist dabei definiert durch

für alle $x\in D$ und das Produkt einer komplexwertigen Funktion mit einer komplexen Zahl $c\in \mathbb {C}$ durch

$(c\cdot f)(x)=c\cdot f(x)$

für alle $x\in D$ . Diese Vektorräume werden als komplexe Funktionenräume bezeichnet. Sie spielen eine wichtige Rolle in der linearen Algebra und der Analysis. Mit der Addition und der punktweisen Multiplikation definiert durch

$(f\cdot g)(x)=f(x)\cdot g(x)$

für alle $x\in D$ bilden die komplexwertigen Funktionen über der Menge einen kommutativen Ring. Mit allen drei Verknüpfungen bilden die komplexwertigen Funktionen eine komplexe Algebra.

Analytische Eigenschaften

Eine komplexwertige Funktion $f\colon D\to \mathbb {C}$ heißt beschränkt, falls eine Schranke existiert, sodass

$|f(x)|\leq M$

für alle $x\in D$ ist. Die Menge der beschränkten komplexwertigen Funktionen $B(D,\mathbb {C} )$ bildet mit der Supremumsnorm

$\|f\|_{\infty }:=\sup _{{x\in D}}|f(x)|$

einen normierten Raum. Da die komplexen Zahlen vollständig sind, handelt es sich hierbei sogar um einen Banachraum. Eine Folge komplexwertiger Funktionen $(f_{1},f_{2},\ldots )$ mit $f_{n}\colon D\to \mathbb {C}$ für $n=1,2,\ldots$ heißt gleichmäßig beschränkt, wenn jedes Folgenglied eine beschränkte Funktion ist und die Folge

$(\|f_{1}\|_{\infty },\|f_{2}\|_{\infty },\ldots )$

eine beschränkte Folge komplexer Zahlen ist. Eine Folge komplexwertiger Funktionen heißt punktweise beschränkt, wenn für alle $x\in D$ die komplexe Zahlenfolge

$(f_{1}(x),f_{2}(x),\ldots )$

beschränkt ist. Eine gleichmäßig beschränkte Folge komplexwertiger Funktionen ist stets auch punktweise beschränkt, die Umkehrung muss jedoch nicht gelten. Eine Folge komplexwertiger Funktionen heißt gleichmäßig konvergent gegen eine komplexwertige Funktion $f\colon D\to \mathbb {C}$ , wenn

$\lim _{{n\to \infty }}\|f_{n}-f\|_{\infty }=0$

gilt. Entsprechend heißt eine Folge komplexwertiger Funktionen punktweise konvergent gegen eine komplexwertige Funktion $f\colon D\to \mathbb {C}$ , wenn für alle $x\in D$

$\lim _{{n\to \infty }}(f_{n}(x)-f(x))=0$

gilt. Auch hier folgt aus der gleichmäßigen Konvergenz die punktweise Konvergenz, jedoch nicht die Umkehrung. Weitergehende analytische Eigenschaften, wie Stetigkeit, Differenzierbarkeit oder Integrierbarkeit, erfordern auf der Definitionsmenge zumindest eine topologische, metrische oder maßtheoretische Struktur.

Verallgemeinerungen

Eine Verallgemeinerung bilden die komplex-vektorwertigen Funktionen, diese bilden in den $\mathbb {C} ^{n}$ ab. Noch allgemeiner sind vektorwertige Funktionen, deren Bildraum ein beliebiger Vektorraum ist.

Literatur

Konrad Königsberger: Analysis 1. 6., durchgesehene Auflage. Springer-Verlag, Berlin Heidelberg New York 2004, ISBN 3-540-40371-X.

Basierend auf einem Artikel in:

Wikipedia.de