In der Mathematik ist ein Funktionsraum eine Menge von Funktionen zwischen zwei festen Mengen. Häufig haben die Domäne und/oder die Co- Domäne eine zusätzliche Struktur, die vom Funktionsraum geerbt wird. Zum Beispiel hat die Menge von Funktionen aus einer beliebigen Menge X in einen Vektorraum eine natürliche Vektorraumstruktur, die durch punktweise Addition und Skalarmultiplikation gegeben ist. In anderen Szenarien kann die Funktion Raum eine erben topologischen oder metrische Struktur, daher der Name Funktion Raum.
Inhalt 1 In linearer Algebra 2 Beispiele 3 Funktionsanalyse 4 Norm 5 Literaturverzeichnis 6 Siehe auch 7 Fußnoten In der linearen Algebra Siehe auch:
Vektorraum § Funktionsräume Addition von Funktionen: Die Summe aus Sinus- und Exponentialfunktion ist mit
{\displaystyle \sin +\exp:\mathbb{R} \to\mathbb{R}} ( Sünde + exp ) ( x ) = Sünde ( x ) + exp ( x )
{\displaystyle (\sin +\exp)(x)=\sin(x)+\exp(x)} Sei V ein Vektorraum über einem Körper F und X eine beliebige Menge. Den Funktionen X → V kann die Struktur eines Vektorraums über F gegeben werden, wobei die Operationen punktweise definiert sind, d. h. für jedes f , g : X → V , jedes x in X und jedes c in F , definiere
( f + G ) ( x ) = f ( x ) + G ( x ) ( c ⋅ f ) ( x ) = c ⋅ f ( x )
{\displaystyle {\begin{ausgerichtet}(f+g)(x)amp;=f(x)+g(x)\\(c\cdot f)(x)amp;=c\cdot f(x)\end {ausgerichtet}}} Wenn der Bereich X eine zusätzliche Struktur hat, könnte man stattdessen die Teilmenge (oder Unterraum ) all dieser Funktionen betrachten, die diese Struktur respektieren. Wenn beispielsweise X auch ein Vektorraum über F ist , bilden die linearen Abbildungen X → V mit punktweisen Operationen einen Vektorraum über F (oft als Hom ( X , V ) bezeichnet). Ein solcher Raum ist der Dualraum von V : die Menge der linearen Funktionale V → F mit punktweise definierter Addition und skalarer Multiplikation. Beispiele Funktionsräume kommen in verschiedenen Bereichen der Mathematik vor:
In der Mengenlehre kann die Menge der Funktionen von X bis Y mit X → Y oder Y X bezeichnet werden . Als Sonderfall kann die Potenzmenge einer Menge X mit der Menge aller Funktionen von X bis {0, 1} identifiziert werden, die mit 2 X bezeichnet wird . Die Menge der Bijektionen von X nach Y wird bezeichnet. Die faktorielle Schreibweise X ! kann für Permutationen eines einzelnen Satzes X verwendet werden. {\displaystyle X\leftrightarrow Y} In der Funktionsanalyse sieht man das gleiche für kontinuierliche lineare Transformationen, einschließlich Topologien auf den Vektorräumen oben, und viele der wichtigsten Beispiele sind Funktionsräume, die eine Topologie tragen ; die bekanntesten Beispiele sind Hilbert-Räume und Banach-Räume . In der Funktionalen Analysis wird die Menge aller Funktionen von den natürlichen Zahlen bis zu einer Menge X als Folgenraum bezeichnet . Sie besteht aus der Menge aller möglichen Folgen von Elementen von X. In der Topologie kann man versuchen, eine Topologie auf den Raum stetiger Funktionen von einem topologischen Raum X zu einem anderen Y zu setzen, mit Nutzen abhängig von der Natur der Räume. Ein häufig verwendetes Beispiel ist die kompakt-offene Topologie , zB Loopspace . Ebenfalls verfügbar ist die Produkttopologie auf dem Raum mengentheoretischer Funktionen (dh nicht unbedingt stetiger Funktionen) Y X . In diesem Zusammenhang wird diese Topologie auch als Topologie der punktweisen Konvergenz bezeichnet . In der algebraischen Topologie ist das Studium der Homotopietheorie im Wesentlichen das von diskreten Invarianten von Funktionsräumen; In der Theorie der stochastischen Prozesse besteht das grundlegende technische Problem darin, ein Wahrscheinlichkeitsmaß auf einem Funktionsraum von Prozesspfaden (Zeitfunktionen) zu konstruieren ; In der Kategorientheorie wird der Funktionsraum als Exponentialobjekt oder Kartenobjekt bezeichnet . Es erscheint auf eine Weise als der kanonische Bifunktor der Repräsentation ; aber als (einzelner) Funktor vom Typ [ X, -] erscheint er als adjungierter Funktor zu einem Funktor vom Typ (-× X ) auf Objekten; In der funktionalen Programmierung und der Lambda-Kalküle werden Funktionstypen verwendet, um die Idee von Funktionen höherer Ordnung auszudrücken. In der Domänentheorie besteht die Grundidee darin, Konstruktionen aus Teilordnungen zu finden, die die Lambda-Kalküle modellieren können, indem eine kartesische geschlossene Kategorie mit gutem Verhalten erstellt wird. In der Darstellungstheorie endlicher Gruppen kann man bei zwei endlichdimensionalen Darstellungen V und W einer Gruppe G eine Darstellung von G über den Vektorraum linearer Abbildungen Hom( V , W ) bilden, die Hom-Darstellung genannt wird . Funktionsanalyse Die Funktionsanalyse ist um adäquate Techniken herum organisiert, um Funktionsräume als topologische Vektorräume in Reichweite der Ideen zu bringen, die für normierte Räume endlicher Dimension gelten würden. Hier verwenden wir die reelle Gerade als Beispieldomäne, aber die Räume darunter existieren auf geeigneten offenen Teilmengen {\displaystyle \Omega\subseteq\mathbb{R}^{n}}
{\displaystyle C(\mathbb{R})} stetige Funktionen mit einheitlicher Normtopologie {\displaystyle C_{c}(\mathbb{R})} durchgängige Funktionen mit kompakter Unterstützung {\displaystyle B(\mathbb{R})} beschränkte Funktionen {\displaystyle C_{0}(\mathbb{R})} stetige Funktionen, die im Unendlichen verschwinden {\displaystyle C^{r}(\mathbb{R})} stetige Funktionen mit stetigen ersten r Ableitungen. {\displaystyle C^{\infty}(\mathbb{R})} reibungslose Funktionen {\displaystyle C_{c}^{\infty}(\mathbb{R})} reibungslose Funktionen mit kompakter Unterstützung {\displaystyle C^{\omega}(\mathbb{R})} echte analytische Funktionen {\displaystyle L^{p}(\mathbb{R})} Für ist der L p Raum von meßbaren Funktionen, deren p -Norm ist finite {\displaystyle 1\leq p\leq \infty} ‖ f ‖ p = ( ∫ R | f | p ) 1 / p
{\textstyle \|f\|_{p}=\left(\int_{\mathbb{R}}|f|^{p}\right)^{1/p}} {\displaystyle {\mathcal{S}}(\mathbb{R})} , der Schwartz-Raum der schnell abnehmenden glatten Funktionen und seine stetigen dualen, temperierten Verteilungen {\displaystyle {\mathcal{S}}'(\mathbb{R})} {\displaystyle D(\mathbb{R})} kompakte Unterstützung in Grenztopologie {\displaystyle W^{k,p}} Sobolev-Raum von Funktionen, deren schwache Ableitungen bis zur Ordnung k sind in {\displaystyle L^{p}} {\displaystyle {\mathcal {O}}_{U}} holomorphe Funktionen lineare Funktionen stückweise lineare Funktionen kontinuierliche Funktionen, kompakte offene Topologie alle Funktionen, Raum punktweiser Konvergenz Robuster Raum Hölder Raum Càdlàg- Funktionen, auch bekannt als Skorokhod- Raum {\displaystyle {\text{Lip}}_{0}(\mathbb{R})} , der Raum aller Lipschitz- Funktionen auf diesem verschwinden bei Null. {\displaystyle\mathbb{R}} Norm Wenn Y ein Element der Funktionsfläche ist alle stetigen Funktionen , die auf einem definierten geschlossenes Intervall [ a, b ], die Norm definierter ist der maximale Absolutwert von y ( x ) für ein ≤ x ≤ b, {\displaystyle {\mathcal {C}}(a,b)} {\displaystyle \|y\|_{\infty}} {\displaystyle {\mathcal {C}}(a,b)}
‖ ja ‖ ∞ ≡ max ein ≤ x ≤ b | ja ( x ) | wo ja ∈ C ( ein , b )
{\displaystyle \|y\|_{\infty}\equiv \max _{a\leq x\leq b}|y(x)|\qquad {\text{wo}}\ \ y\in {\mathcal {Taxi)} heißt einheitliche Norm oder höchste Norm ('sup-Norm').
Literaturverzeichnis Kolmogorov, AN, amp; Fomin, SV (1967). Elemente der Funktionstheorie und Funktionalanalysis. Courier Dover Veröffentlichungen. Stein, Elias; Shakarchi, R. (2011). Funktionsanalyse: Eine Einführung in weitere Themen der Analysis. Princeton University Press. Siehe auch Fußnoten
Contacts: mail@wikibrief.org
Der Inhalt ist unter der CC BY-SA 3.0-Lizenz verfugbar (sofern nicht anders angegeben).