Let $Λ$ be a finite set of nonnegative integers, and let $\mathcal P(Λ)$ be the linear hull of the monomials $z^k$ with $k\inΛ$, viewed as a subspace of $L^1$ on the unit circle. We characterize the extreme and exposed points of the unit ball in $\mathcal P(Λ)$.
We use the classical Fourier analysis to introduce analytic families of weighted differential operators on the unit sphere. These operators are polynomial functions of the usual Beltrami-Laplace operator. New inversion formulas are obtained for totally geodesic Funk transforms on the sphere and the correpsonding lambda-cosine transforms.
Let $Γ$ be an infinite set equipped with the discrete topology. We prove that the space $\ell_{\infty}(Γ),$ of all complex-valued bounded functions on $Γ$, satisfies the Mazur-Ulam property, that is, every surjective isometry from the unit sphere of $\ell_{\infty}(Γ)$ onto the unit sphere of an arbitrary complex Banach space $X$ admits a unique extension to a surjective real linear isometry from $\ell_{\infty}(Γ)$ to $X$.
In this paper, we consider the CQ projection method and the shrinking projection method given by a finite family of nonexpansive mappings of the unit sphere of a real Hilbert space, and prove strong convergence theorems to common fixed points of the mappings.
We prove that every surjective isometry from the unit sphere of a rank-2 Cartan factor $C$ onto the unit sphere of a real Banach space $Y$, admits an extension to a surjective real linear isometry from $C$ onto $Y$. The conclusion also covers the case in which $C$ is a spin factor. This result closes an open problem and, combined with the conclusion in a previous paper, allows us to establish that every JBW$^*$-triple $M$ satisfies the Mazur--Ulam property, that is, every surjective isometry from its unit sphere onto the unit sphere of a arbitrary real Banach space $Y$ admits an extension to a…
We characterise the class of those Banach spaces in which every convex combination of slices of the unit ball intersects the unit sphere as the class of those spaces in which every convex combination of slices of the unit ball contains two points at distance exactly two. Also, we study when the convex combinations of slices of the unit ball are relatively open or has non-empty relative interior for different topologies, studying the relationship between them and studying these properties for $L_{\infty}$-spaces and preduals of $L_1$-spaces.
Let $S$ denote the unit sphere of a real normed space. We show that the intrinsic metric on $S$ is strongly equivalent to the induced metric on $S$. Specifically, for all $x,y\in S$, \[ \|x-y\|\leq d(x,y)\leq\sqrt{2}π\|x-y\|, \] where $d$ denotes the intrinsic metric on $S$.
We prove that every surjective isometry from the unit sphere of the space $K(H),$ of all compact operators on an arbitrary complex Hilbert space $H$, onto the unit sphere of an arbitrary real Banach space $Y$ can be extended to a surjective real linear isometry from $K(H)$ onto $Y$. This is probably the first example of an infinite dimensional non-commutative C$^*$-algebra containing no unitaries and satisfying the Mazur--Ulam property. We also prove that all compact C$^*$-algebras and all weakly compact JB$^*$-triples satisfy the Mazur--Ulam property.
We prove that every JBW$^*$-triple $M$ with rank one or rank bigger than or equal to three satisfies the Mazur--Ulam property, that is, every surjective isometry from the unit sphere of $M$ onto the unit sphere of another Banach space $Y$ extends to a surjective real linear isometry from $M$ onto $Y$. We also show that the same conclusion holds if $M$ is not a JBW$^*$-triple factor, or more generally, if the atomic part of $M^{**}$ is not a rank two Cartan factor.
Rigidity of unit spheres in finite-dimensional real normed spaces
Department of Applied Mathematics, Graduate School of Science, Tokyo University of Science(东京理科大学理工学研究科应用数学系);Katsushika Division, Institute of Arts and Sciences, Tokyo University of Science(东京理科大学理工学院葛饰校区)
Let $f: S(E) \to S(B)$ be a surjective isometry between the unit spheres of two weakly compact JB$^*$-triples not containing direct summands of rank smaller than or equal to 3. Suppose $E$ has rank greater than or equal to 5. Applying techniques developed in JB$^*$-triple theory, we prove that $f$ admits an extension to a surjective real linear isometry $T: E\to B$. Among the consequences, we show that every surjective isometry between the unit spheres of two compact C$^*$-algebras $A$ and $B$ (and in particular when $A=K(H)$ and $B=K(H')$) extends to a surjective real linear isometry from $A$…
Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry $f: S(B(K)) \to S(B(H))$ admits an extension to a surjective complex linear or conjugate linear isometry $T: B(K)\to B(H)$. This provides a positive answer to Tingley's problem in the setting of $B(H)$ spaces.
We study the problem of recovering an atomic measure on the unit 2-sphere $\mathbb{S}^2$ given finitely many moments with respect to spherical harmonics. The analysis relies on the formulation of this problem as an optimization problem on the space of bounded Borel measures on $\mathbb{S}^2$ as it was considered by Y. de Castro & F. Gamboa and E. Candés & C. Fernandez-Granda. We construct a dual certificate using a kernel given in an explicit form and make a concrete analysis of the interpolation problem. Numerical examples are provided and analyzed.
We prove the symmetric version of Kottman's theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset $A$ with the property that $\|x\pm y\| > 1$ for distinct elements $x,y\in A$, thereby answering a question of J. M. F. Castillo. In the case where $X$ contains an infinite-dimensional separable dual space or an unconditional basic sequence, the set $A$ may be chosen in a way that $\|x\pm y\| \geqslant 1+\varepsilon$ for some $\varepsilon > 0$ and distinct $x,y\in A$. Under additional structural properties of $X$, such as no…
We will introduce a new geometric constant GL(X) based on the constant H(X) proposed by Gao. We first further survey the constant H(X) and discuss some of the properties of this constant that have not yet been discovered. Next, we focus on a new constant GL(X) along with some of its basic properties. In addition, we show some relations between the well-known geometric constants and GL(X) through some inequalities. Finally, we characterize some generalized forms of the constant GL(X).
Given a C$^*$-algebra $A$, let $S(A^+)$ denote the set of those positive elements in the unit sphere of $A$. Let $H_1$, $H_2,$ $H_3$ and $H_4$ be complex Hilbert spaces, where $H_3$ and $H_4$ are infinite-dimensional and separable. In this note we prove a variant of Tingley's problem by showing that every surjective isometry $Δ: S(B(H_1)^+)\to S(B(H_2)^+)$ or (respectively, $Δ: S(K(H_3)^+)\to S(K(H_4)^+)$) admits a unique extension to a surjective complex linear isometry from $B(H_1)$ onto $B(H_2))$ (respectively, from $K(H_3)$ onto $B(H_4)$). This provides a positive answer to a conjecture po…