We generalize the notion of $M$-ideals in order smooth $\infty$-normed spaces to
"smooth $p$-order ideals" in order smooth $p$-normed spaces. We show that if $V$ is an order smooth $p$-normed space and $W$ is a closed subspace of $V$, then $W$ is a smooth $p$-order ideal in $V$ if and only if $W^{\perp}$ is a smooth $p'$-order ideal in order smooth $p'$-normed space if and only if $W^{\perp\perp}$ is a smooth $p$-order ideal in order smooth $p$-normed space $V^{**}$. We prove that every $L$-summand in order smooth $1$-normed space is a smooth $1$-order ideal. We find a condition under which every $M$-ideal in order smooth $\infty$-normed space is a smooth $\infty$-order ideal. We show that every $M$-ideal in order smooth $\infty$-normed space is smooth $\infty$-order ideal.
We introduce the notion of approximate smoothness in a normed linear space. We characterize this property and show the connections between smoothness and approximate smoothness for some spaces. As an application, we consider in particular the Birkhoff-James orthogonality and its right-additivity under the assumption of approximate smoothness.
We extend to the case of a threshold ideal our result with J. Bourgain about the essential centre of the commutant mod a diagonalization ideal for a n-tuple of commuting Hermitian operators . We also compute the $K_0$-group of the commutant mod trace-class of a unitary operator with spectrum equal to its essential spectrum. We present the problem of computing the $K_1$-group for a commutant mod trace-class in its simplest case.
We prove an analogue of the Lebesgue decomposition for continuous functionals on the commutant modulo a reflexive normed ideal of an n-tuple of hermitian operators for which there are quasicentral approximate units relative to the normed ideal. Using results of Godefroy-Talagrand and Pfitzner we derive from this strong uniqueness of the predual of such a commutant modulo a normed ideal.
We survey the operator algebras arising as commutants modulo normed ideals of finite sets of hermitian operators and connections to perturbations of operators and noncommutative geometry.
We prove a general weak existence theorem for wave operators for hybrid normed ideal perturbations. We then use this result to prove the invariance of Lebesgue absolutely continuous parts of n-tuples of commuting hermitian operators under hybrid normed ideal perturbations from a class studied in the first paper of this series.
In this note we generalize the well-known Wigner's unitary-anti\-unitary theorem. For $X$ and $Y$ smooth normed spaces and $f:X\to Y$ a surjective mapping such that $|[f(x),f(y)]|=|[x,y]|$, $x,y\in X$, where $[\cdot,\cdot]$ is the unique semi-inner product, we show that $f$ is phase equivalent to either a linear or an anti-linear surjective isometry. When $X$ and $Y$ are smooth real normed spaces and $Y$ strictly convex, we show that Wigner's theorem is equivalent to $\{\|f(x)+f(y)\|,\|f(x)-f(y)\|\}=\{\|x+y\|,\|x-y\|\}$, $x,y\in X$.
We characterize $M$-ideals in order smooth $\infty$-normed spaces by extending the notion of split faces of the state space to those of the quasi-state space. We also characterize approximate order unit spaces as those order smooth $\infty$-normed spaces $V$ that are $M$-ideals in $\tilde{V}.$ Here $\tilde{V}$ is the order unit space obtained by adjoining an order unit to $V.$ To prove these results, we develop an order theoretic version of the "Alfsen-Efffros' cone decomposition theorem" for order smooth $1$-normed spaces. (As a quick application of this result, we sharpen a result on the ext…
We look at Toeplitz operators $T_ν$ on the Fock Space (also known as the Segal-Bargmann space) which have a positive Borel measure $ν$ as a symbol. We characterize when $\left(T_ν\right)^s$ for $0<s\leq 1$ is in the symmetrically normed ideal associated with any given symmetric norming function.
We define commutants mod normed ideals associated with compact smooth manifolds with boundary. The results about the K-theory of these operator algebras include an exact sequence for the connected sum of manifolds, derived from the Mayer-Vietoris sequence. We also make a few remarks about bicommutants mod normed ideals and about the quasicentral modulus for the quasinormed p-Schatten-von Neumann classes 0 < p < 1.
The paper is concerned with compact bilinear operators on asymmetric normed spaces. The study of multilinear operators on asymmetric normed spaces was initiated by Latreche and Dahia, Colloq. Math. (2020). We go further in this direction and prove a Schauder type theorem on the compactness of the adjoint of a compact bilinear operator and study the ideal properties of spaces of compact bilinear operators. These extend some results of Ramanujan and Schock, Linear and Multilinear Algebra (1985), and Ruch, ibid. (1989), on compact bilinear operators on Banach spaces. On the space of bilinear form…
We say that a mapping $f: X \rightarrow Y$ between two real normed spaces is a phase-isometry if it satisfies the functional equation \begin{eqnarray*} \{\|f(x)+f(y)\|, \|f(x)-f(y)\|\}=\{\|x+y\|, \|x-y\|\} \quad (x,y\in X).\end{eqnarray*} A generalized Mazur-Ulam question is whether every surjective phase-isometry is a multiplication of a linear isometry and a map with range $\{-1, 1\}$. This assertion is also an extension of a fundamental statement in the mathematical description of quantum mechanics, Wigner's theorem to real normed spaces. In this paper, we show that for every space $Y$ the …
The aim of this paper is to present some results concerning the $ρ_*$-orthogonality in real normed spaces and its preservation by linear operators. Among other things, we prove that if $T\,: X \longrightarrow Y$ is a nonzero linear $(I, ρ_*)$-orthogonality preserving mapping between real normed spaces, then $$\frac{1}{3}\|T\|\|x\|\leq\|Tx\|\leq 3[T]\|x\|, \qquad (x\in X)$$ where $[T]:=\inf\{\|Tx\|: \,x\in X, \|x\|=1\}$. We also show that the pair $(X,\perp_{ρ_*})$ is an orthogonality space in the sense of Rätz. Some characterizations of smooth spaces are given based on the $ρ_*$-orthogonality.
In this paper, we generalize the concept of unbounded norm (un) convergence: let $X$ be a normed lattice and $Y$ a vector lattice such that $X$ is an order dense ideal in $Y$; we say that a net $(y_α)$ un-converges to $y$ in $Y$ with respect to $X$ if $\Bigl\lVert\lvert y_α-y\rvert \wedge x\Bigr\rVert\to 0$ for every $x\in X_+$. We extend several known results about un-convergence and un-topology to this new setting. We consider the special case when $Y$ is the universal completion of $X$. If $Y=L_0(μ)$, the space of all $μ$-measurable functions, and $X$ is an order continuous Banach function …
We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fréchet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved construction proving existence of a star-finite covering of $c_0(Γ)$ by Fréchet smooth centrally symmetric bounded convex bodies. A similar but simpler construction shows that every normed space of countabl…
Jagiellonian University（雅盖隆大学）；Pedagogical University of Cracow（克拉科夫师范大学）
We say that a smooth normed space $X$ has a property (SL), if every mapping $f:X \to X$ preserving the semi-inner product on $X$ is linear. It is well known that every Hilbert space has the property (SL) and the same is true for every finite-dimensional smooth normed space. In this paper, we establish several new results concerning the property (SL). We give a simple example of a smooth and strictly convex Banach space which is isomorphic to the space $\ell_p$, but without the property (SL). Moreover, we provide a characterization of the property (SL) in the class of reflexive smooth Banach sp…
We study the K_0 group of the commutant modulo a normed ideal of an n-tuple of commuting Hermitian operators in some of the simplest cases. In case n=1, the results, under some technical conditions are rather complete and show the key role of the absolutely continuous part when the ideal is the trace-class. For a commuting n-tuple, n>2 and the Lorentz (n, 1) ideal, we show under an absolute continuity assumption that the commutant determines a canonical direct summand in K_0. Also, certain properties involving the compact ideal, established assuming quasicentral approximate units mod the norme…
Let $X$ be a completely regular topological space. We study closed ideals $H$ of $C_B(X)$, the normed algebra of bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm, which are non-vanishing, in the sense that, there is no point of $X$ at which every element of $H$ vanishes. This is done by studying the (unique) locally compact Hausdorff space $Y$ associated to $H$ in such a way that $H$ and $C_0(Y)$ are isometrically isomorphic. We are interested in various connectedness properties of $Y$. In particular, we present necessar…
For a completely regular space $X$, let $C_B(X)$ be the normed algebra of all bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm and let $C_0(X)$ be its subalgebra consisting of mappings vanishing at infinity. For a non-vanishing closed ideal $H$ of $C_B(X)$ we study properties of its spectrum $\mathfrak{sp}(H)$ which may be characterized as the unique locally compact (Hausdorff) space $Y$ such that $H$ and $C_0(Y)$ are isometrically isomorphic. We concentrate on compactness properties of $\mathfrak{sp}(H)$ and find necess…
In this paper, we study stability of $M$-compactness for $l^p$ sum of Banach spaces for $1\leq p<\infty$. We also obtain a characterization of $M$-compact sets in terms of statistically maximizing sequence, a notion which is weaker than a maximizing sequence. Moreover, we introduce the notion of $\mathcal{I}$-$M$-compactness of a bounded subset $M$ of a normed linear space $X$ with respect to an ideal $\mathcal{I}$ and show that it is equivalent to $M$-compactness for non-trivial admissible ideals.
研究d维赋范空间中单位向量的δ-可加集的大小：任意两个向量之和的范数至多为δ。单可加集起源于寻找有限维光滑赋范空间（Z）中Steiner最小树的顶点度的上界。Füredi，J. C. Lagarias，F. Morgan，1991）。我们证明了在所有d维赋范空间上，当delta>2/3时，delta-可加集的最大尺寸在d中呈指数增长，当delta<2/3时保持有界，当delta=2/3时线性增长。此外，d维赋范空间中2/3可加集的最大大小具有d的尖锐上界，但与三维l^1空间等距的空间除外，其中存在四个单位向量的2/3可加集。
We provide a short characterization of $p$-asymptotic uniform smoothability and asymptotic uniform flatenability of operators and of Banach spaces. We use these characterizations to show that many asymptotic uniform smoothness properties pass to injective tensor products of operators and of Banach spaces. In particular, we prove that the injective tensor product of two asymptotically uniformly smooth Banach spaces is asymptotically uniformly smooth. We prove that for $1<p<\infty$, the class of $p$-asymptotically uniformly smoothable operators can be endowed with an ideal norm making this class…
Domination of operators in the non-commutative setting
我们考虑在非交换设置的优控制问题。更具体地，假设$E$和$F$是有序赋范空间（不一定是格），并且$0 \leq T \leq S :E \to F$。如果$S$属于某个理想（例如，紧算子或Dunford-Pettis算子的理想），那么是否可以推论$T$也属于那个理想？我们集中讨论$E$和$F$是$C^*$ -代数、von Neumann代数的前体或非交换函数空间的情形。特别地，我们证明了，对于$C^*$ -代数$\A$和${\mathcal{B}}$，以下是等价的：（1）两个条件中至少有一个成立：（i）$\A$是分散的，（ii）${\mathcal{B}}$是紧的;（2）如果$0 \leq T \leq S : \A \to {\mathcal{B}}$，和$S$是紧的，那么$T$是紧的。
For each ordinal $ξ$ and each $1<p<\infty$, we offer a natural, ismorphic characterization of those spaces and operators which admit an equivalent $ξ$-$p$-asymptotically uniformly smooth norm. We also introduce the notion of $ξ$-asymptotically uniformly flat norms and provide an isomorphic characterization of those spaces and operators which admit an equivalent $ξ$-asymptotically uniformly flat norm. Given a compact, Hausdorff space $K$, we prove an optimal renormong theorem regarding the $ξ$-asymptotic smoothness of $C(K)$ in terms of the Cantor-Bendixson index of $K$. We also prove that for …
The space $F^p$ ($1<p<\infty$) consists of all holomorphic functions $f$ on the open unit disk $\Bbb D$ for which $\lim_{r\to 1}(1-r)^{1/q}\log^+M_{\infty}(r,f)=0,$ where $M_{\infty}(r,f)=\max_{\vert z\vert\le r}\vert f(z)\vert$ with $0<r<1$. Stoll [5, Theorem 3.2] proved that the space $F^p$ with the topology given by the family of seminorms $\left\{\Vert \cdot\Vert_{q,c}\right\}_{c>0}$ defined for $f\in F^q$ as $\Vert f\Vert_{q,c}:=\sum_{n=0}^{\infty}\vert a_n\vert\exp\left(-cn^{1/(q+1)} \right)<\infty,$ is a countably normed Fréchet algebra. Notice that for each $p>1$, $F^p$ is the Fréchet …
We study the problem of totally smooth renormings of Banach spaces and provide such renormings for spaces which are weakly compactly generated. We also consider renormings for $(a,B,c)$-ideals.
