arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1502.04104math.FA
收藏

可测算子对称空间中的k-极值点

k-Extreme Points in Symmetric Spaces of Measurable Operators

Małgorzata M. Czerwińska, Anna Kamińska

摘要:

设$\mathcal{M}$是一个具有忠实正规半有限迹的半有限von Neumann代数,$τ$是$[0,τ(1))$上的强对称Banach函数空间.我们证明了$E\left(\mathcal{M},τ\right)$的单位球面中的算子$x$是$k$ -极值,$k\in\mathbb N$,只要它的奇异值函数$μ(x)$是$k$ -极值,并且下列条件之一成立(i)$μ(\infty,x)=\lim_{t\to\infty}μ(t,x)=0$或(ii)$n(x)\mathcal{M} n(x^*)=0$和$|x|\geq μ(\infty,x)s(x)$,其中$n(x)$和$s(x)$分别为零和支持$x$的投影.只要$\mathcal{M}$是非原子的,则反之亦然。全局$k$ -rotundity属性如下,即如果$\mathcal{M}$是非原子的,则$E$是$k$ -rotund当且仅当$E\left(\mathcal{M},τ\right)$是$k$ -rotund。作为非交换结果的结果,我们得到了$f$是强对称函数空间$E$的单位球的$k$ -极值点当且仅当它的递减重排$μ(f)$是$k$ -极值和$|f|\geq μ(\infty,f)$ .我们得出了轨道$Ω(g)$和$Ω'(g)$的推论。我们得到$f$是轨道$Ω(g)$,$g\in L_1+L_{\infty}$或$Ω'(g)$,$g\in L_1[0,α)$,$α<\infty$的一个$k$ -极值点,当且仅当$μ(f)=μ(g)$和$|f|\geq μ(\infty,f)$ .由此得到Marcinkiewicz空间中$k$ -极值点的一个特征.

英文摘要:

Let $\mathcal{M}$ be a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$ and $E$ be a strongly symmetric Banach function space on $[0,τ(1))$. We show that an operator $x$ in the unit sphere of $E\left(\mathcal{M},τ\right)$ is $k$-extreme, $k\in\mathbb N$, whenever its singular value function $μ(x)$ is $k$-extreme and one of the following conditions hold (i) $μ(\infty,x)=\lim_{t\to\infty}μ(t,x)=0$ or (ii) $n(x)\mathcal{M} n(x^*)=0$ and $|x|\geq μ(\infty,x)s(x)$, where $n(x)$ and $s(x)$ are null and support projections of $x$, respectively. The converse is true whenever $\mathcal{M}$ is non-atomic. The global $k$-rotundity property follows, that is if $\mathcal{M}$ is non-atomic then $E$ is $k$-rotund if and only if $E\left(\mathcal{M},τ\right)$ is $k$-rotund. As a consequence of the noncommutive results we obtain that $f$ is a $k$-extreme point of the unit ball of the strongly symmetric function space $E$ if and only if its decreasing rearrangement $μ(f)$ is $k$-extreme and $|f|\geq μ(\infty,f)$. We conclude with the corollary on orbits $Ω(g)$ and $Ω'(g)$. We get that $f$ is a $k$-extreme point of the orbit $Ω(g)$, $g\in L_1+L_{\infty}$, or $Ω'(g)$, $g\in L_1[0,α)$, $α<\infty$, if and only if $μ(f)=μ(g)$ and $|f|\geq μ(\infty,f)$. From this we obtain a characterization of $k$-extreme points in Marcinkiewicz spaces.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑