Satsen om den slutna grafen

Satsen om den slutna grafen är ett grundläggande resultat inom funktionalanalysen som karakteriserar kontinuerliga linjära operatorer mellan två Banachrum med hjälp av deras grafer.

Satsen

För en funktion $T:X\to Y$ definieras grafen av $T$ som mängden $\lbrace (x,y)\in X\times Y\mid Tx=y\rbrace$.

Satsen om den slutna grafen är: Om $X$ och $Y$ är Banachrum, och $T:X\to Y$ är en överalltdefinierad linjär operator (dvs. att definitionsmängden $D_{T}$ för $T$ är $X$), då är $T$ kontinuerlig (eller begränsad), om och endast om den är en sluten operator; det vill säga att grafen är sluten i $X\times Y$ (med produkttopologin).

Källor

Den här artikeln är helt eller delvis baserad på material från danska Wikipedia.