Funktionenraum

In d​er Mathematik i​st ein Funktionenraum e​ine Menge v​on Funktionen,[1] d​ie alle denselben Definitionsbereich besitzen. Allerdings k​ann der Begriff Funktionenraum ähnlich w​ie der mathematische Begriff Raum n​icht scharf abgegrenzt werden.

Meist i​st ein Funktionenraum m​it einer Vektoraddition u​nd Skalarmultiplikation versehen, s​o dass e​r einen Vektorraum bildet, d​ann spricht m​an von e​inem linearen Funktionenraum.[2] Viele wichtige lineare Funktionenräume s​ind unendlichdimensional. Diese bilden e​inen wichtigen Untersuchungsgegenstand d​er Funktionalanalysis. Lineare Funktionenräume werden häufig m​it einer Norm versehen, sodass e​in normierter Raum o​der – i​m Falle d​er Vollständigkeit – s​ogar ein Banachraum entsteht. In anderen Fällen werden lineare Funktionenräume d​urch Definition e​iner Topologie z​u einem topologischen Vektorraum o​der einem lokalkonvexen Raum.

Begrifflichkeit

Funktionenräume s​ind im Bereich d​er linearen Algebra Vektorräume, d​eren Elemente a​ls Funktionen aufgefasst werden. Hauptsächlich werden Funktionenräume allerdings i​m Bereich d​er Funktionalanalysis betrachtet. Hier w​ird unter e​inem Funktionenraum e​in Vektorraum m​it einer topologischen Struktur verstanden, dessen Elemente a​ls Funktionen aufgefasst werden.

In der linearen Algebra

Addition im Funktionenraum: Die Summe der Sinusfunktion und der Exponentialfunktion ist mit

Sei eine nichtleere Menge und ein Vektorraum über einem Körper , dann bezeichnet (auch oder [3]) die Menge aller Funktionen von nach . Die Menge wird für und für Skalare durch die folgenden beiden Verknüpfungen zu einem Vektorraum:

  • Addition:
  • Skalarmultiplikation

Dieser Vektorraum und die Untervektorräume von werden im Bereich der linearen Algebra als linearer Funktionenraum bezeichnet.

In der Topologie

In der Topologie versteht man unter einem Funktionenraum einen topologischen Raum, dessen Elemente Funktionen von einer Menge oder einem topologischen Raum in einen topologischen Raum sind und dessen Topologie von der Topologie von und und eventuellen Zusatzstrukturen, wie zum Beispiel einer Metrik oder einer uniformen Struktur, abgeleitet ist. Häufig wird die Kompakt-Offen-Topologie verwendet.

In der Funktionalanalysis

Sei eine nichtleere Menge, ein topologischer Vektorraum (oftmals ein Banachraum oder lokalkonvexer Vektorraum) und der Vektorraum aller Abbildungen von nach . Ein linearer Funktionenraum im Bereich der Funktionalanalysis ist ein Untervektorraum von , der mit einer von abgeleiteten topologischen Struktur versehen ist.

Geschichte

Die Geschichte der Funktionenräume kann in drei Phasen unterteilt werden. Die erste Phase begann etwa zu Anfang des zwanzigsten Jahrhunderts und dauerte bis in die Mitte der 1930er-Jahre. In dieser Zeit entstanden die Funktionenräume der -mal stetig-differenzierbaren Funktionen, genauso wie die klassischen Lebesgue-Räume der -integrierbaren Funktionen. Außerdem werden noch die Räume der hölderstetigen Funktionen und die klassischen Hardy-Räume zu dieser Phase gerechnet.[4]

Die zweite, d​ie konstruktive Phase, begann m​it den Veröffentlichungen v​on Sergei Lwowitsch Sobolew a​us den Jahren 1935 b​is 1938, i​n denen e​r die h​eute nach i​hm benannten (ganzzahligen) Sobolew-Räume einführte. Die Theorie d​er Distributionen entstand u​nd neue Techniken, w​ie zum Beispiel Einbettungssätze, wurden z​um Lösen partieller Differentialgleichungen entwickelt. In dieser Phase wurden Funktionenräume m​it Normen beziehungsweise Quasi-Normen ausgestattet. Wichtige neuentwickelte Räume dieser Zeit s​ind die Zygmund-Räume (oder Klassen), d​ie Slobodeckij-Räume, d​ie klassischen Besov-Räume u​nd die Bessel-Potential-Räume. In d​en 1960er-Jahren wurden außerdem d​er BMO-Raum v​on Fritz John u​nd Louis Nirenberg u​nd die reellen Hardy-Räume v​on Elias Stein u​nd Guido Weiss eingeführt.[4]

Die dritte Phase, welche als systematische Phase bezeichnet wird, begann in den 1960er-Jahren und überschnitt sich klar mit der konstruktiven Phase. Hier wurden die Techniken der Fourier-Analysis weiterentwickelt und sogenannte Maximalungleichungen untersucht. Mit Hilfe dieser Werkzeuge wurden die Besov-Lebesgue-Räume und die Lizorkin-Triebel-Räume entwickelt. Diese beiden Räume lassen sich in den Raum der temperierten Distributionen einbetten. Wie ihre Definitionen vermuten lassen, sind diese Räume sehr eng mit Fourier-Analysis verflochten.[4] Ein ähnliches Konzept, allerdings mit kongruenten statt dyadischen Überdeckungen verfolgen die Modulationsräume.

Beispiele

Topologie

  • Sind und topologische Räume, so schreibt man für die Menge der stetigen Funktionen .
  • Ist auf eine Metrik gegeben, dann kann man sinnvoll von der Menge der beschränkten Funktionen sprechen (auch ohne Topologie auf ). Für diese Abbildungsmenge wird unter anderem die Notation verwendet. Ist auch auf eine Topologie definiert, schreibt man für die Menge der beschränkten stetigen Funktionen. Auf diesen Räumen wird durch
eine Metrik definiert. Alternativ ist auch die Metrik
möglich. Diese beiden Metriken erzeugen aber dieselben offenen Mengen, sodass sie äquivalent behandelt werden können.
  • Sind die Topologien auf und durch eine Pseudometrik oder eine Metrik gegeben, dann schreibt man für die Menge der gleichmäßig stetigen Funktionen. Sind und uniforme Räume, dann bezeichnet diese Notation die Menge der uniform-stetigen Funktionen, das heißt jener Funktionen, die die uniformen Strukturen respektieren.
  • Ist der Körper der reellen Zahlen oder der komplexen Zahlen und ist aus dem Zusammenhang klar, in welchen Körper die Funktionen abbilden, wird dieser bei der Notation meist weggelassen, und man schreibt dann kurz , bzw. .

Funktionalanalysis

Die meisten Funktionenräume werden in der Funktionalanalysis untersucht. Die folgende Liste ist eine Auswahl der dort untersuchten Räume. Sei die Definitionsmenge der untersuchten Funktionen. Dann ist

  • der Raum der -fach stetig differenzierbaren Funktionen mit . Falls kompakt ist, ist der Raum für p=0 bezüglich der üblichen Norm
ein Banachraum.[5] Siehe Differentiationsklasse.
  • der Raum der -fach stetig differenzierbaren Funktionen, die hölderstetig mit Exponenten sind. Ist kompakt, so ist versehen mit der Norm
ein Banachraum, wobei ein Multiindex ist. wird auch als Raum der lipschitzstetigen Funktionen bezeichnet.
  • , oder der Raum der Testfunktionen. Er enthält alle glatten Funktionen mit kompaktem Träger und ist mit der Topologie versehen, welche durch den Konvergenzbegriff induziert wird. Eine Folge konvergiert in gegen , wenn es ein Kompaktum gibt mit für alle j, und
für alle Multiindizes gilt.
  • der Raum der -fach Lebesgue-integrierbaren Funktionen (siehe Lp). Dieser Raum besteht nicht aus einzelnen Funktionen, sondern aus Äquivalenzklassen von Funktionen, welche sich nur auf einer Lebesgue-Nullmenge unterscheiden. Aus diesem Grund ist für auch die -Norm
positiv definit und damit wirklich eine Norm. Bezüglich dieser Norm ist der -Raum auf kompakten Mengen ebenfalls ein Banachraum. Der Spezialfall L2 ist sogar ein Hilbertraum. Dieser Raum wird in der Quantenmechanik häufig benutzt. Es ist der Raum der Wellenfunktionen. Für kann man die -Räume analog definieren, jedoch sind diese keine normierten Räume.
  • der Raum der lokal integrierbaren Funktionen. Sei eine messbare Funktion. Lokal integrierbar bedeutet, dass für alle kompakten Teilmengen das Integral
endlich ist. Genauso wie die -Räume besteht der Raum aus Äquivalenzklassen von Funktionen. Insbesondere sind stetige Funktionen und Funktionen aus lokal integrierbar. Der Raum wird bei der Betrachtungen regulärer Distributionen benötigt.
  • der Raum der schwach differenzierbaren Funktionen. Er trägt den Namen Sobolew-Raum. Dieser Raum wird oft als Ansatzraum zum Lösen von Differentialgleichungen benutzt. Denn jede stetig differenzierbare Funktion ist auch schwach differenzierbar.
  • Indem man reelle oder komplexe Zahlenfolgen als Abbildungen von nach bzw. auffasst, kann man auch jeden Vektorraum von Folgen als Funktionenraum verstehen.
  • ist der Raum der holomorphen Funktionen. Diese Funktionen sind beliebig oft differenzierbar, und ihre Taylor-Reihe konvergiert gegen die Ausgangsfunktion. Oftmals nennt man holomorphe Funktionen auch analytisch. Manchmal notiert man diesen Raum auch mit .
  • ist der Raum der holomorphen, integrierbaren Funktionen, er heißt Hardy-Raum und ist ein Analogon zum -Raum. Üblicherweise wird als Definitionsmenge die Einheitssphäre verwendet.

Funktionenräume in der theoretischen Informatik

Hier werden insbesondere Funktionenräume im Zusammenhang mit Modellen des Lambda-Kalküls verwendet. Dessen Objekte treten gleichermaßen als Funktionen, aber auch als deren Argumente und Resultate auf. Wünschenswert ist daher ein Gegenstandsbereich , dessen Funktionenraum isomorph zu selbst ist, was aus Kardinalitätsgründen aber nicht möglich ist. Dana Scott konnte dieses Problem 1969 durch Einschränkung von auf stetige Funktionen bzgl. einer geeigneten Topologie auf lösen.[6] Bezeichnet die stetigen Funktionen einer vollständigen Halbordnung, dann ist . Diese Form von Funktionenräumen ist heute Gegenstand der Bereichstheorie. Später konnte ein ebenfalls geeigneter Funktionenraum als Retraktion eines Objekts in einer kartesisch abgeschlossenen Kategorie gefunden werden.

Literatur

  • Hans Triebel: Theory of function spaces. Birkhäuser Verlag, 1983, ISBN 3-7643-1381-1.

Einzelnachweise

  1. J. Naas, H. L. Schmid: Mathematisches Wörterbuch. B.G. Teubner, Stuttgart 1979, ISBN 3-519-02400-4.
  2. H. Heuser: Lehrbuch der Analysis Teil 1. 5. Auflage. Teubner-Verlag, 1988, ISBN 3-519-42221-2.
  3. Boto von Querenburg: Mengentheoretische Topologie. Springer-Verlag, Berlin/ Heidelberg/ New York 1976, ISBN 3-540-06417-6, S. 160.
  4. Hans Triebel: Theory of function spaces. Birkhäuser Verlag, 1983, ISBN 3-7643-1381-1, S. 33–35.
  5. Otto Forster, Thomas Szymczak: Übungsbuch zur Analysis 2. Aufgaben und Lösungen. 7. Auflage. 2011, ISBN 978-3-8348-1253-7, S. 5 und 39 f. (Beweis nur für ).
  6. H. P. Barendregt: The Lambda Calculus. Elsevier, 1984, ISBN 0-444-87508-5, S. 86.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.