Stożek (analiza funkcjonalna)

Stożek – uogólnienie pojęcia stożka (nieograniczonego) znanego ze stereometrii na przestrzenie liniowo-topologiczne (najczęściej przestrzenie Banacha). Stożek w przestrzeni unormowanej jest szczególnym przypadkiem tzw. klinu. Kliny / stożki wyznaczają w pewien naturalny sposób praporządek / porządek w przestrzeni, przez co znajdują zastosowanie w teorii równań różniczkowych w przestrzeniach Banacha.

Definicja

W niniejszym artykule $X$ oznaczać będzie zawsze rzeczywistą przestrzeń liniowo-topologiczną.

Niepusty zbiór domknięty $K\subseteq X$ nazywamy klinem (w przestrzeni $X$), gdy dla każdych $x,y\in K$ oraz $\alpha ⩾0$

$x+y\in K$

oraz

$\alpha x\in K.$

Ponadto, klin nazywamy stożkiem, gdy spełniony jest warunek

$z\in K\wedge -z\in K⟺z=0.$

Przestrzenie liniowo-topologiczne uporządkowane przez stożki

Jeśli $K$ jest klinem w przestrzeni $X,$ to relacja $⩽$ dana warunkiem

$x⩽y⟺y-x\in K$

jest praporządkiem. Ponadto, $⩽$ jest porządkiem częściowym wtedy i tylko wtedy, gdy $K$ jest stożkiem. Praporządek $⩽$ wyznaczony przez klin $K$ ma dodatkowo następujące własności:

1. $x,y,z\in X,x⩽y\Rightarrow x+z⩽y+z,$
2. $x,y\in X,\alpha ⩾0\Rightarrow \alpha x⩽\alpha y,$
3. $x,y,x_n,y_n\in X,n\in \mathbb{N},x_n⩽y_n,x_n\to x,y_n\to y\Rightarrow x⩽y.$

Przykłady

• Zbiór $\{0\}$ jest stożkiem.
• Jeśli $K\ne \{0\}$ jest domkniętą podprzestrzenią liniową przestrzeni $X,$ to jest ona klinem, ale nie jest stożkiem.
• Jeżeli $x^{*}$ jest funkcjonałem liniowym i ciągłym na przestrzeni $X,$ to zbiór $K=\{x\in X:x^{*}x⩾0\}$ jest klinem.
• Część wspólna dowolnej rodziny klinów (w danej przestrzeni) jest klinem.
• Przypomnijmy, że jeżeli $A$ jest zbiorem niepustym, to symbolem ${\ell }^{\mathrm{\infty }}(A)$ oznaczamy przestrzeń wszystkich ograniczonych odwzorowań $f:A\to ℝ$ z normą supremum. Zbiór $({\ell }^{\mathrm{\infty }}(A){)}^{+},$ zdefiniowany niżej, jest stożkiem w tej przestrzeni:

$({\ell }^{\mathrm{\infty }}(A){)}^{+}=\{f\in {\ell }^{\mathrm{\infty }}(A):f(x)⩾0,x\in A\}.$

• Jeżeli $B\subseteq X$ jest niepustym, domkniętym, ograniczonym zbiorem wypukłym takim, że $0\notin B,$ to zbiór $K=\{\alpha b:\alpha ⩾0,b\in B\}$ jest stożkiem o niepustym wnętrzu.

Bibliografia

• Jonathan M. Borwein; James V. Burke; Adrian S. Lewis: Differentiability of cone-monotone functions on separable Banach space, Proc. Amer. Math. Soc. 132 (2004), s. 1067–1076 [1].
• Karol Baron, Peter Volkmann: Characterization of the absolute value of complex linear functionals by functional equations, 10 pp., 2006-11-03.