Polare Menge

Die polare Menge oder die Polare einer Menge ist ein mathematischer Begriff aus dem mathematischen Teilgebiet der Funktionalanalysis. Dabei wird einer Menge eines Vektorraums eine Menge des Dualraums zugeordnet und umgekehrt.

Definition

Ist $E$ ein normierter Raum oder allgemeiner ein lokalkonvexer Raum mit Dualraum $E'$ und ist $A\subset E$ eine Teilmenge, so nennt man

$A^{\circ }:=\{y\in E':\sup\{|y(x)|:x\in A\}\leq 1\}\subset E'$

die Polare von $A$.

Ist $B\subset E'$, so setzt man

$^{\circ }B:=\{x\in E:\sup\{|y(x)|:y\in B\}\leq 1\}\subset E$

und nennt dies die Polare von $B$. Häufig findet man auch hierfür die Schreibweise $B^{\circ }$ und nimmt die damit einhergehende Mehrdeutigkeit in Kauf, denn nach obiger Definition wäre $B^{\circ }$ eine Teilmenge des Bidualraums $E^{''}$.

Beispiele

• Die Polare der Einheitskugel eines normierten Raums ist die Einheitskugel des Dualraums.
• Ist $F\subset E$ ein Untervektorraum, so ist $F^{\circ }$ der Annullator von $F$.

Eigenschaften

Für Mengen $A,B,A_{i}\subseteq E$ gilt:

• Aus $A\subseteq B$ folgt $B^{\circ }\subseteq A^{\circ }$
• 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 \lambda \neq 0} 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 (\lambda A)^\circ = \frac{1}{\lambda}A^\circ}
• 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 (\bigcup_{i \in I} A_i)^\circ = \bigcap_{i \in I}A_i^\circ} für eine Familie 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 (A_i)_{i\in I}} von Teilmengen
• 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 A^\circ} ist absolutkonvex und schwach-*-abgeschlossen.

Anwendungen

Die wichtigsten Sätze über polare Mengen sind:

• Bipolarensatz : 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 A\subset E} , 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 ^\circ(A^\circ)} die absolutkonvexe, schwach-*-abgeschlossene Hülle 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 A} .

Ist 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 A} absolutkonvex und schwach-*-abgeschlossen, so 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 ^\circ(A^\circ) = A} . Dies kann als einfache Folge aus dem Trennungssatz angesehen werden.

• Satz von Banach-Alaoglu: Die Polare einer Nullumgebung ist schwach-*-kompakt.

Mittels polarer Mengen lassen sich einige lokalkonvexe Topologien recht einfach beschreiben:

• Die Menge aller Polaren aller endlichen Mengen des Dualraums bildet eine Nullumgebungsbasis der schwachen Topologie 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 E} .
• Die Menge aller Polaren aller endlichen Mengen des Vektorraums bildet eine Nullumgebungsbasis der schwach-*-Topologie 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 E'}
• Die Menge aller Polaren aller absolutkonvexen, schwach-*-kompakten Teilmengen des Dualraums bildet eine Nullumgebungsbasis der Mackey-Topologie 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 E} .
• Die Menge aller Polaren aller schwach-*-beschränkten Teilmengen des Dualraums bildet eine Nullumgebungsbasis der so genannten starken Topologie 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 E} .