Definition
Ein Dualitätsprinzip, das jeder lokal-kompakten abelschen (LCA) topologischen Gruppe G ihre Charaktergruppe G^ (die Gruppe der stetigen Homomorphismen G → Kreisgruppe) zuordnet und G natürlich mit dem Doppeldual G^^ durch das Auswertungspaar identifiziert.

Prinzip

Prinzip
Stetige Charaktere in die Kreisgruppe trennen Punkte von LCA-Gruppen, und die Auswertung liefert ein kanonisches Isomorphismus zwischen einer LCA-Gruppe und dem Doppeldual ihrer Charaktergruppe; Dualisierung kehrt Pfeile um und wandelt Produkte in Koprodukte in der Kategorie der LCA-Gruppen.

Demonstration

Demonstration
Z (diskret) hat als Dual die Kreisgruppe T; R^n ist über die Fourier-Transformation selbstdual; eine endliche abelsche Gruppe A stimmt mit Hom(A,S^1) überein und das Doppeldual rekonstruiert A — diese Beispiele zeigen, wie Charaktere und Auswertung die kanonische Identifikation herstellen.

Fehlanwendung

Fehlanwendung
Die Pontryagin-Dualität auf beliebige (nichtabelsche oder nicht lokalkompakte) topologische Gruppen anzuwenden oder rein algebraische Charaktergruppen ohne Topologie zu verwenden führt zu falschen Identifikationen und Verlust stetiger Struktur.

Konsequenz

Konsequenz
Richtig angewandt begründet die Pontryagin-Dualität die harmonische Analyse auf LCA-Gruppen, liefert Kategorienequivalenzen zwischen LCA-Gruppen und ihren Dualen und erklärt Umkehrformeln der Fourier-Transformation sowie die Plancherel-Theorie im entsprechenden Rahmen.

Umkehrung

Umkehrung
Umkehrend zu behaupten, jede Gruppe von Homomorphismen nach S^1 stamme von einer zugrundeliegenden LCA-Gruppe, ohne Topologie oder Abelscheidung zu prüfen, ist falsch und macht deutlich, wie wesentlich Stetigkeit und lokale Kompaktheit sind.

Abgrenzung

Abgrenzung
Gilt nur für lokal-kompakte abelsche topologische Gruppen und stetige Charaktere in die Kreisgruppe; schließt nichtabelsche Gruppen, Gruppen ohne geeignete Topologie und Dualbildungen mit nichtkompakten Zielgruppen aus.

Semantische Spannung

Semantische Spannung
Steht in Spannung zu rein algebraischen Dualbegriffen (z. B. Dualräume von Vektorräumen oder Dualität bei endlichen Gruppen), die die Topologie außer Acht lassen und nur in speziellen diskreten/kompakten Fällen zusammenfallen; die Spannung ist Kontinuität versus algebraische Struktur.

Synthese

Synthese
Die Pontryagin-Dualität ist die topologische Identifikation einer LCA-Gruppe mit dem Doppeldual ihrer stetigen Charaktergruppe und ordnet die harmonische Analyse dadurch, dass Gruppen in Räume stetiger Phasenfunktionen verwandelt und über Auswertung wiedergewonnen werden.