Pontrjagin-Dualität

Die Pontrjagin-Dualität, benannt nach Lew Semjonowitsch Pontrjagin, ist ein mathematischer Begriff aus der harmonischen Analyse. Einer lokalkompakten abelschen Gruppe wird eine weitere lokalkompakte abelsche Gruppe als Dualgruppe zugeordnet, derart dass die Dualgruppe zur Dualgruppe wieder die Ausgangsgruppe ist. Diese Konstruktion spielt eine wichtige Rolle in der abstrakten Fourier-Transformation und der Strukturtheorie der lokalkompakten abelschen Gruppen.

Pontrjagin-Dualität

Die Kreislinie ${\mathbb {T} }=\{z\in {\mathbb {C} };|z|=1\}$ ist mit der Multiplikation als Gruppenverknüpfung eine kompakte Gruppe.

Ist G eine lokalkompakte abelsche Gruppe, so heißt ein stetiger Gruppenhomomorphismus $\chi :G\rightarrow {\mathbb {T} }$ ein Charakter von G. Die Dualgruppe ${\hat {G}}$ von G ist die Menge aller Charaktere von G. Mit der Multiplikation $(\chi \cdot \psi )(a):=\chi (a)\psi (a)$ wird ${\hat {G}}$ zu einer abelschen Gruppe, und die Topologie der kompakten Konvergenz macht ${\hat {G}}$ zu einer lokalkompakten Gruppe, d. h. zu einer topologischen Gruppe, deren Topologie lokalkompakt ist.

Ist $\varphi \colon G\rightarrow H$ ein stetiger Homomorphismus, so ist ${\hat {\varphi }}:{\hat {H}}\rightarrow {\hat {G}},\,{\hat {\varphi }}(\chi ):=\chi \circ \varphi$ ebenfalls ein stetiger Homomorphismus, der zu $\varphi$ duale Homomorphismus.

Beispiele

• Die Charaktere der Restklassengruppe ${\mathbb {Z} }/n{\mathbb {Z} }$ haben die Form $\chi _{m}:{\mathbb {Z} }/n{\mathbb {Z} }\rightarrow {\mathbb {T} },\,\chi _{m}([k])=e^{2\pi ikm/n}$, wobei $m\in {\mathbb {Z} }$. Es gilt $\chi _{m_{1}}=\chi _{m_{2}}$, falls $m_{1}+n{\mathbb {Z} }=m_{2}+n{\mathbb {Z} }$, und damit ${\widehat {{\mathbb {Z} }/n{\mathbb {Z} }}}\cong {\mathbb {Z} }/n{\mathbb {Z} }$.
• Jeder Charakter von ${\mathbb {T} }$ hat die Form $\chi _{n}(z)=z^{n}$ für ein $n\in {\mathbb {Z} }$. Identifiziert man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_n} mit n, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{\mathbb T} \cong {\mathbb Z}} .
• Die Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathbb Z}} hat die Charaktere Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_z:{\mathbb Z}\rightarrow {\mathbb T}} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_z(n) = z^n} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z\in{\mathbb T}} . Die Zuordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_z \mapsto z} liefert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{\mathbb Z} \cong {\mathbb T}} .
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb R} mit der Addition als Verknüpfung und der euklidischen Topologie ist eine lokalkompakte abelsche Gruppe. Jeder Charakter Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi:{\mathbb R}\rightarrow {\mathbb T}} hat die Gestalt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_z(x) = e^{i x z}} für ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z\in {\mathbb R}} . Identifiziert man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_z} mit z, so hat man also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{\mathbb R} \cong {\mathbb R}} zunächst als Mengen. Dabei gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\chi_z\cdot \chi_w)(x)= \chi_{z+w}(x)} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\in {\mathbb R}} und die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z\mapsto\chi_z} ist ein Homöomorphismus, also hat man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathbb R} \cong \hat{\mathbb R}} auch als lokalkompakte abelsche Gruppen.

Produkte von Gruppen

Sind G und H lokalkompakte abelsche Gruppen, so auch deren kartesisches Produkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G \times H } . Dann definiert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\chi, \psi)\in\hat{G}\times \hat{H}} einen Charakter auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G \times H} , wenn man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\chi, \psi)(x,y) = \chi(x)\cdot\psi(y)} setzt. Auf diese Weise erhält man einen Gruppenhomöomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{G\times H} \cong \hat{G}\times \hat{H}} .

Damit hat man viele weitere Beispiele:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}\cong G} für jede endliche abelsche Gruppe G, denn eine solche ist endliches Produkt von Gruppen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathbb Z}/n{\mathbb Z}} (siehe dazu: Endlich erzeugte abelsche Gruppe).
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{{\mathbb Z}^n} \cong {\mathbb T}^n} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{{\mathbb T}^n} \cong {\mathbb Z}^n} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{{\mathbb R}^n} \cong {\mathbb R}^n}

Dualitätssatz von Pontrjagin

Man hat eine natürliche Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi: G\rightarrow \hat{\hat{G}},\, (\Phi(x))(\chi) := \chi(x) } . Der Satz von Pontrjagin besagt, dass diese Abbildung stets ein topologischer Gruppenisomorphismus ist. Das rechtfertigt die Bezeichnung Dualgruppe von G, denn nach obigem Satz kann man G aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} durch erneute Dualgruppenbildung zurückgewinnen.

Beziehungen zwischen Gruppe und Dualgruppe

Auf Grund der Pontrjagin-Dualität erwartet man eine Reihe von Beziehungen zwischen einer lokalkompakten abelschen Gruppe G und ihrer Dualgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} . Dabei findet man Beziehungen zwischen algebraischen und topologischen Eigenschaften. Exemplarisch gilt:

• G ist diskret Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Leftrightarrow} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} ist kompakt.
• G ist kompakt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Leftrightarrow} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} ist diskret.

Für eine kompakte Gruppe sind folgende Aussagen äquivalent:

• G ist zusammenhängend.
• G ist teilbar.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} ist torsionsfrei.

Eine weitere Zusammenhangseigenschaft führt zu folgender Äquivalenz:

• Eine kompakte Gruppe G ist genau dann total unzusammenhängend, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}} eine teilbare Gruppe ist.

Ein stetiger Homomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi: G\rightarrow H} heißt strikt, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} als Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G\rightarrow \varphi(G)} offen ist, d. h. das Bild jeder offenen Menge ist relativ offen im Bild von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} . Eine Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ldots \rightarrow G \rightarrow H \rightarrow\ldots } von Homomorphismen heißt strikt, wenn jeder Homomorphismus strikt ist. Bezeichnet man schließlich die einelementige Gruppe mit 1 und beachtet Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{1}\cong 1} , so gilt folgender Satz:

• Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 \rightarrow U \rightarrow G \rightarrow H \rightarrow 1} eine Folge stetiger Homomorphismen zwischen lokalkompakten abelschen Gruppen. Dann sind folgende Aussage äquivalent:
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 \rightarrow U \rightarrow G \rightarrow H \rightarrow 1} ist eine strikte und exakte Folge.
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 \rightarrow \hat{H} \rightarrow \hat{G} \rightarrow \hat{U} \rightarrow 1} ist eine strikte und exakte Folge.

Daraus zieht man weitere Folgerungen:

• Ein stetiger Homomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi: G\rightarrow H} ist genau dann strikt, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{\varphi}: \hat{H}\rightarrow \hat{G}} strikt ist.
• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\subset G} eine abgeschlossene Untergruppe, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{G/U} \cong \ker(\hat{G}\rightarrow \hat{U}) = \{\chi\in \hat{G}; \chi|_U = 1\}} . Dabei ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}\rightarrow \hat{U}} die zur Inklusion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\subset G} duale Abbildung.

Kompakt erzeugte Gruppen

Die Pontrjagin-Dualität ist ein wichtiges Hilfsmittel in der Strukturtheorie für lokalkompakte abelsche Gruppen. Eine lokalkompakte Gruppe heißt kompakt erzeugt, wenn es eine kompakte Teilmenge von G gibt, die G als Gruppe erzeugt. Eine diskrete Gruppe ist genau dann kompakt erzeugt, wenn sie endlich erzeugt ist.

Für eine lokalkompakte abelsche Gruppe sind äquivalent:

• G ist kompakt erzeugt.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G\cong {\mathbb R}^m\times {\mathbb Z}^n \times K} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m, n\in {\mathbb N}_0} und K eine kompakte Gruppe ist.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat{G}\cong {\mathbb R}^m\times {\mathbb T}^n \times D} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m, n\in {\mathbb N}_0} und D eine diskrete Gruppe ist.

Zusatz: Dabei sind die Zahlen m und n eindeutig durch G bestimmt und K ist die größte kompakte Untergruppe von G.

Gelfand-Transformation

Wie im Artikel Harmonische Analyse erläutert, tritt die Dualgruppe einer lokalkompakten abelschen Gruppe G in der Gelfand-Transformation der Faltungsalgebra über G auf.

Pontrjagin-Dualität als Funktor

Die Pontrjagin-Dualität, d. h. die oben beschriebenen Zuordnungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G\mapsto\hat{G}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi\mapsto\hat{\varphi}} von lokalkompakten abelschen Gruppen und stetigen Homomorphismen, ist offenbar ein kontravarianter Funktor. Die zweifache Hintereinanderausführung dieses Funktors führt zum identischen Funktor (genauer: zu einer natürlichen Äquivalenz zum identischen Funktor).

Literatur

• Lynn H. Loomis: An Introduction to Abstract Harmonic Analysis, D. van Nostrand Co, 1953
• Walter Rudin: Fourier Analysis on Groups, 1962
• E. Hewitt, K. Ross: Abstract Harmonic Analysis I, II, Springer (1963), (1970).