nckg писал(а):
Здравствуйте!
Не встречал ли кто теоремы об общем виде линейного непрерывного функционала в
![$B(X,Y)$ $B(X,Y)$](https://dxdy-02.korotkov.co.uk/f/9/1/0/91012cfec1ae58161cca48b2880ee81382.png)
,
где
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
и
![$Y$ $Y$](https://dxdy-02.korotkov.co.uk/f/9/1/a/91aac9730317276af725abd8cef04ca982.png)
--- банаховы пространства, а
![$B(X,Y)$ $B(X,Y)$](https://dxdy-02.korotkov.co.uk/f/9/1/0/91012cfec1ae58161cca48b2880ee81382.png)
--- пространство линейных непрерывных операторов из
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
в
![$Y$ $Y$](https://dxdy-02.korotkov.co.uk/f/9/1/a/91aac9730317276af725abd8cef04ca982.png)
?
Ясно, что для любых
![$\varphi \in Y^*$ $\varphi \in Y^*$](https://dxdy-04.korotkov.co.uk/f/b/3/3/b339ef215f2c1012845a35083258634882.png)
и
![$x \in X$ $x \in X$](https://dxdy-03.korotkov.co.uk/f/e/f/2/ef2a9dc0d2e528efe607b65aaed5584582.png)
функционал
![$\psi(A) = \varphi(Ax)$ $\psi(A) = \varphi(Ax)$](https://dxdy-02.korotkov.co.uk/f/5/5/6/556ec2e33757e382d9bfe4f752839f2782.png)
будет линейным и непрерывным, но можно ли утверждать, что для любого
линейного и непрерывного функционала
![$\psi \in B(X,Y)^*$ $\psi \in B(X,Y)^*$](https://dxdy-01.korotkov.co.uk/f/0/a/b/0abe45168eb086c8bf459d20a50336d282.png)
существуют
такие
![$\varphi \in Y^*$ $\varphi \in Y^*$](https://dxdy-04.korotkov.co.uk/f/b/3/3/b339ef215f2c1012845a35083258634882.png)
и
![$x \in X$ $x \in X$](https://dxdy-03.korotkov.co.uk/f/e/f/2/ef2a9dc0d2e528efe607b65aaed5584582.png)
, что
![$\psi(A) = \varphi(Ax)$ $\psi(A) = \varphi(Ax)$](https://dxdy-02.korotkov.co.uk/f/5/5/6/556ec2e33757e382d9bfe4f752839f2782.png)
?
это неверно даже в конечномерном случае, ибо
![$\dim B(\mathbb{R}^3,\mathbb{R}^3)^*=9$ $\dim B(\mathbb{R}^3,\mathbb{R}^3)^*=9$](https://dxdy-04.korotkov.co.uk/f/b/3/2/b32fe680059378ace99057a38dc5cc2082.png)
а
не 6, как это было бы если б лин. функционал на
![$B(\mathbb{R}^3,\mathbb{R}^3)$ $B(\mathbb{R}^3,\mathbb{R}^3)$](https://dxdy-04.korotkov.co.uk/f/f/1/c/f1cd05777b3b80a5dd6963c31638ab9e82.png)
определялся определялся трехмерными вектором и ковектором