Computing the complexity of the relation of isometry between separable Banach spaces
Julien Melleray
本文利用Gao，Kechris和Weaver的结果，计算了可分巴拿赫空间之间等距关系的Borel复杂性.
We compute here the Borel complexity of the relation of isometry between separable Banach spaces, using results of Gao, Kechris and Weaver.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove the existence of a separable approximately ultra-homogeneous Banach lattice $\mathfrak{BL}$ that is isometrically universal for separable Banach lattices. This is done by showing that the class of Banach lattices has the Amalgamation Property, and thus finitely generated Banach lattices form a metric Fraïssé class. Some additional results about the structural properties of $\mathfrak{ BL}$ are also proven.
We show that if $T$ is an isometry (as metric spaces) between the invertible groups of unital Banach algebras, then $T$ is extended to a surjective real-linear isometry up to translation between the two Banach algebras. Furthermore if the underling algebras are closed unital standard operator algebras, $(T(e_A))^{-1}T$ is extended to a surjective real algebra isomorphism; if $T$ is a surjective isometry from the invertible group of a unital commutative Banach algebra onto that of a unital semisimple Banach algebra, then $(T(e_A))^{-1}T$ is extended to a surjective isometrical real algebra isom…
We study problems of maximal symmetry in Banach spaces. This is done by providing an analysis of the structure of small subgroups of the general linear group GL(X), where X is a separable reflexive Banach space. In particular, we provide the first known example of a Banach space X without any equivalent maximal norm, or equivalently such that GL(X) contains no maximal bounded subgroup. Moreover, this space X may be chosen to be super-reflexive.
Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes
本文研究了可分Banach空间的等距和同构类在Banach空间Polish空间中的复杂性，证明了无限维可分Hilbert空间的等距类和同构类的特性，并探讨了其他自然Banach空间类的复杂性。
In this paper, we prove the existence of a common fixed point in $C(K)$, the Chebyshev center of K, for a left reversible semigroup of isometry mappings. This existence result improves the results obtained by Lim et al. and Brodskii and Milman.
The complexity of classifying separable Banach spaces up to isomorphism
证明了可分巴拿赫空间之间的同构关系是完全解析的等价关系，因此，直到同构的可分巴拿赫空间为大量直到它们相应的同构概念的数学结构提供了完全不变量。这同样适用于（1）直到一致同胚的完全可分度量空间，（2）直到Lipschitz同构的可分巴拿赫空间，（3）直到（可补）双嵌入性，（4）直到拓扑同构的波兰群，（5）直到置换等价的Schauder基.一些构造依赖于最近由S. Argyros和P. Dodos。
On classes of Banach spaces admitting "small" universal spaces
我们刻画了可分巴拿赫空间的类$\ccc$，它允许一个可分的泛空间$Y$（即，一个空间$Y$包含，直到同构，$\ccc$的所有成员），它对所有可分的巴拿赫空间不是泛的。该特征是一个副产品的事实，证明了在该文件中，类$\mathrm{NU}$的非通用可分巴拿赫空间是强有界的。这肯定地解决了主要的猜想形式\cite{AD}。我们的方法是基于$\llll_\infty$ -空间的构造，由于J. Bourgain和G.皮西尔因此，我们表明，存在一个家庭$\{Y_ξ:ξ<ω_1\}$的可分的，非普遍的，$\llll_\infty$ -空间一致用尽所有可分的巴拿赫空间。一些其他自然类的可分巴拿赫空间被证明是强有界的。
We prove that any isometry between the unit spheres of $C^2$-smooth (more generally, absolutely smooth) smooth Banach spaces extends to a linear isometry of the Banach spaces. This answers the famous Tingley's problem in the class of absolutely smooth $2$-dimensional Banach spaces.
On the complexity of the uniform homeomorphism relation between separable Banach spaces
在解析等价关系的Borel约化层次中，考虑了可分巴拿赫空间之间一致同胚关系的复杂性的判定问题.我们证明了完全$K_σ$等价关系是Borel可约的一致同胚关系，并且我们还确定了该关系在某些小类巴拿赫空间上的可能复杂性.此外，我们确定了巴拿赫空间之间的局部等价关系的精确复杂性，即它是用$K_σ$双可约的。最后，我们构造了一类相互一致同胚的巴拿赫空间，使得实数可数集的相等关系可Borel约化为该类上的同构关系.
Some equivalence relations which are Borel reducible to isomorphism between separable Banach spaces
我们将有关可分巴拿赫空间之间同构关系复杂性的已知结果改进为Borel可约性，并且我们使用经典空间$c_0$、$\ell_p$和$L_p$、$1 \leq p <2$实现了这一点。更准确地说，我们表明，关系$E_{K_σ}$是Borel可约同构和补充双嵌入之间的$c_0$或$\ell_p, 1 \leq p <2$的子空间。我们证明了关系$E_{K_σ} \otimes =^+$是Borel可约的同构，补双嵌入，和Lipschitz等价的子空间之间的$L_p, 1 \leq p <2$。
Non-separable combinatorial Banach spaces
本文研究不可数密度的组合Banach空间，刻画其包含长$c_0$与长$\u2113_1$副本的条件，讨论固定基数无条件基范畴中的万有空间，并证明Suslin树生成的空间不含不可数等边集。
We prove that an onto isometry between unit spheres of finite-dimensional polyhedral Banach spaces extends to a linear isometry of the corresponding spaces.
We prove that if $ C $ is a family of separable Banach spaces which is analytic with respect to the Effros-Borel structure and none member of $ C $ is isometrically universal for all separable Banach spaces, then there exists a separable Banach space with a monotone Schauder basis which is isometrically universal for $ C $ but still not for all separable Banach spaces. We also establish an analogous result for the class of strictly convex spaces.
We show in this paper that every bijective linear isometry between the continuous section spaces of two non-square Banach bundles gives rise to a Banach bundle isomorphism. This is to support our expectation that the geometric structure of the continuous section space of a Banach bundle determines completely its bundle structures. We also describe the structure of an \emph{into} isometry from a continuous section space into an other. However, we demonstrate by an example that a non-surjective linear isometry can be far away from a subbundle embedding.
Polish spaces of separable Banach lattices
研究可分巴拿赫格类的描述复杂性，引入两种波兰空间编码，证明相关空间是波兰子空间，还证明理想编码上的弗雷姆林射影张量积运算的可测性及图的性质。
Non dentable sets in Banach spaces with separable dual
构造了一个非RNP巴拿赫空间E，使得$E^{*}$是可分的，且RNP在E的子集上等价于PCP.
In this note, we provide a starlike and normal tiling in any separable Banach space. That means, there are positive constants r and R (not depending on the separable Banach space) such that every tile of this tiling is starlike, contains a ball of radius r and is contained in a ball of radius R.
We introduce and study the notion of overcomplete set in a Banach space, that subsumes and extends the classical concept of overcomplete sequence in a (separable) Banach space. We give existence and non-existence results of overcomplete sets for a wide class of (non-separable) Banach spaces and we study to which extent properties of overcomplete sequences are retained by every overcomplete set.
We prove in this short report that for arbitrary weak converging sequence of sigma-finite Borelian measures in the separable Banach space there is a compact embedded separable subspace such that this measures not only are concentrated in this subspace but weak converge therein.
Paley-Wiener theorem for frames for Hilbert spaces, Banach frames, Schauder frames and atomic decompositions for Banach spaces are known. In this paper, we derive Paley-Wiener theorem for p-approximate Schauder frames for separable Banach spaces. We show that our results give Paley-Wiener theorem for frames for Hilbert spaces.
How incomputable is the separable Hahn-Banach theorem?
我们确定了Hahn-Banach扩张定理的计算复杂性。为了做到这一点，我们研究了逆向数学和可计算分析之间的一些基本联系。特别是，我们使用弱Konig引理的框架内的可计算分析分类的不可计算的功能的低复杂度。通过定义多值函数Sep和多值函数约简的自然概念，得到了二阶算术子系统WKL_0的计算对应。研究了WKL_0与SEP-可计算多值函数类的相似性和区别。推广了Brattka的工作，证明了与Hahn-Banach延拓定理相关的自然多值函数是Sep-complete的.
More on Property($M$) in separable Banach spaces: Revised
本文探讨了可分Banach空间中可与Property($M$)及Property($M^*$)相关联的Banach空间性质，深化了度量不动点理论的研究。
We prove that every isometry between the unit spheres of 2-dimensional Banach spaces extends to a linear isometry of the Banach spaces. This resolves the famous Tingley's problem in the class of 2-dimensional Banach spaces.
We show that any non-zero Banach space with a separable dual contains a totally disconnected, closed and bounded subset S of Hausdorff dimension 1 such that every Lipschitz function on the space is Fréchet differentiable somewhere in S.
This paper deals with the problem of when, given a collection $\mathcal C$ of weakly compact operators between separable Banach spaces, there exists a separable reflexive Banach space $Z$ with a Schauder basis so that every element in $\mathcal C$ factors through $Z$ (or through a subspace of $Z$). A sample result is the existence of a reflexive space $Z$ with a Schauder basis so that for each separable Banach space $X$, each weakly compact operator from $X$ to $L_1$ factors through $Z$. We also prove the following descriptive set theoretical result: Let $\mathcal L$ be the standard Borel spac…
We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(κ)$, for $κ$ an uncountable cardinal.
We show that if $T$ is an isometry (as metric spaces) from an open subgroup of the invertible group $A^{-1}$ of a unital Banach algebra $A$ onto an open subgroup of the invertible group $B^{-1}$ of a unital Banach algebra $B$, then $T$ is extended to a real-linear isometry up to translation between these Banach algebras. We consider multiplicativity or unti-multiplicativity of the isometry. Note that a unital linear isometry between unital semisimple commutative Banach algebra need be multiplicative. On the other hand, we show that if $A$ is commutative and $A$ or $B$ are semisimple, then $(T(…
On unconditionally saturated Banach spaces
证明了一类无条件饱和可分巴拿赫空间的一个结构性质。我们表明，特别是，对于每一个解析集$\aaa$，在Effros-Borel空间的$C[0,1]$的子空间，无条件饱和可分的巴拿赫空间，存在一个无条件饱和的巴拿赫空间$Y$，与Schauder基，包含同构副本的每一个空间$X$类$\aaa$。
A separable L-embedded Banach space has property (X) and is therefore the unique predual of its dual
在这个注记中，证明了以下内容。可分的L-嵌入空间-即可分的巴拿赫空间，它们在其双线性中是可补的，使得两个互补子空间之间的范数是可加的-具有性质（X），根据Goaly和Talagrand的结果，该性质（X）使得空间作为预对偶是唯一的。
This paper considers explicit constructions of Auerbach bases in separable Banach spaces. Answering the question of A. Pełczy{ń}ski, we prove by construction the existence of Auerbach basis in arbitrary subspace of $c_0$ of finite codimension and in the space $C(K)$ for $K$ compact countable metric space.
Some strongly bounded classes of Banach spaces
证明了可分自反巴拿赫空间和具有可分对偶的空间类是强有界的。这对E. Odell和Th. Schlumprecht，断言存在一个可分自反Banach空间，它包含每个可分一致凸巴拿赫空间的同构副本。
In this note we show that, if $\mcB$ is separable Banach space, then there is a biorthogonal system $\{x_n, x_n^*\}$ such that, the closed linear span of $\{x_n\},\bar{\left\langle {\{x_n\}}\right\rangle}=\mcB$ and $\left\| {x_n} \right\|\left\| {x_n^*} \right\| = 1$ for all $n$.
A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without model theory) of the fact that every finitely determined space $X$ (isometrically) contains every (separable) space $Y$ which is finitely representable in $X$. We also point out how a similar argument proves the Krivine-Maurey theorem on stable Banach spaces, and give the model theoretic interpretations of some results.
Concepts of g-fusion frame and gf-Riesz basis in a Hilbert to a Banach space is being presented. Some properties of g-fusion frame and gf-Riesz basis in Banach space have been developed. We discuss perturbation results of g-fusion frame in a Banach space. Finally, we construct g-p-fusion frames in Cartesian product of Banach spaces and tensor product of Banach spaces.
A Banach space $X$ is elastic if there is a constant $K$ so that whenever a Banach space $Y$ embeds into $X$, then there is an embedding of $Y$ into $X$ with constant $K$. We prove that $C[0,1]$ embeds into separable infinite dimensional elastic Banach spaces, and therefore they are universal for all separable Banach spaces. This confirms a conjecture of Johnson and Odell. The proof uses incremental embeddings into $X$ of $C(K)$ spaces for countable compact $K$ of increasing complexity. To achieve this we develop a generalization of Bourgain's basis index that applies to unconditional sums of …
A display of a topological group G on a Banach space X is a topological isomorphism of G with the isometry group Isom(X,||.||) for some equivalent norm ||.|| on X, where the latter group is equipped with the strong operator topology. Displays of Polish groups on separable real spaces are studied. It is proved that any closed subgroup of the infinite symmetric group S_\infty containing a non-trivial central involution admits a display on any of the classical spaces c0, C([0,1]), lp and Lp for 1 <=p <\infty. Also, for any Polsih group G, there exists a separable space X on which {-1,1} x G has a…
Using a variation of the Murphy-Varopoulos Theorem, we give a new proof of the following R.J.Loy Theorem: Let A be a separable Banach*-algebra with center Z such that ZA has at most countable codimension, then every positive linear functional on A is continuous.
Duals of separable Banach Spaces as Calkin Algebras and Universal Ideal Quotients
本文通过oracle相对的双类型有限扩张构造，证明每个可分Banach空间的对偶可实现为可分Banach空间的Calkin代数，且存在泛型理想商覆盖所有可分空间。
Let $X$ be a Banach space with a separable dual $X^{*}$. Let $Y\subset X$ be a closed subspace, and $f:Y\to\mathbb{R}$ a $C^{1}$-smooth function. Then we show there is a $C^{1}$ extension of $f$ to $X$.
This paper deals with the extension of a classical theorem by R. Phelps on the Gâteaux differentiability of Lipschitz functions on separable Banach spaces to the non-separable case. The extension of the theorem is not possible for general non-separable Banach spaces, as shown by Larman. Therefore, we will work on some important non-separable spaces. We consider a norm of the non-separable space $\ell^{\infty}(\mathbb{R})$, showing that it complies with the aforementioned theorem thesis. We also consider other examples as $L^{\infty}(\mathbb{R})$ and $NBV[a,b]$, showing in all cases their sets …
We provide a complete description of those Banach algebras that are generated by an invertible isometry of an $L^p$-space together with its inverse. Examples include the algebra $PF_p(\mathbb{Z})$ of $p$-pseudofunctions on $\mathbb{Z}$, the commutative $C^*$-algebra $C(S^1)$ and all of its quotients, as well as uncountably many `exotic' Banach algebras. We associate to each isometry of an $L^p$-space, a spectral invariant called `spectral configuration', which contains considerably more information than its spectrum as an operator. It is shown that the spectral configuration describes the isom…
In this paper, we prove that the existence of an $\varepsilon$-isometry from a separable Banach space $X$ into $Y$ (the James space or a reflexive space) implies the existence of a linear isometry from $X$ into $Y$. Then we present a set valued mapping version lemma on non-surjective $\varepsilon$-isometries of Banach spaces. Using the above results, we also discuss the rotundity and smoothness of Banach spaces under the perturbation by $\varepsilon$-isometries.
In this paper, we study the descriptive complexity of some inevitable classes of Banach spaces. Precisely, as shown in [Go], every Banach space either contains a hereditarily indecomposable subspace or an unconditional basis, and, as shown in [FR], every Banach space either contains a minimal subspace or a continuously tight subspace. In these notes, we study the complexity of those inevitable classes as well as the complexity of containing a subspace in any of those classes.
Recent developments in Banach space theory provided unexpected examples of unital Banach algebras that are isomorphic to Calkin algebras of Banach spaces, however no example of a unital Banach algebra that cannot be realised as a~Calkin algebra has been found so far. This naturally led to the question of possible limitations of such assignments. In the present note we provide examples of unital Banach algebras meeting the necessary density condition for being the Calkin algebra of a separable Banach space that are not isomorphic to Calkin algebras of such spaces, nonetheless. The examples may …
We construct Zachary space in $\R^\infty$ and find that this is a Banach space of functions of bounded mean oscillation with order $p, 1\leq p \leq \infty$ containing the function of bounded mean oscillation $BMO[\R_I^\infty]$ as a dense continuous embedding. As an application of $\R_I^\infty$ we construction $\mcB,$ where $\mcB $ is separable Banach space and finally we construct $\mcZ^p[\mcB]$.
We classify the closed ideals of bounded operators acting on the Banach spaces $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{c_0} \oplus c_0(Γ)$ and $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{\ell_1} \oplus \ell_1(Γ)$ for every uncountable cardinal $Γ$.
Let X be a separable real Banach space having a k-times continuously Fréchet differentiable (i.e. C^k-smooth) norm where k=1,...,\infty. We show that any equivalent norm on X can be approximated uniformly on bounded sets by C^k-smooth norms.
The Separable Quotient Problem and the Lotz Property in Banach Spaces
本文为可分商问题建立新条件，并证明缺乏Lotz性质的无限维Banach空间存在可分商，揭示SQP与半群理论的联系。
Some results about the Schroeder-Bernstein Property for separable Banach spaces
我们构造了一个相互非同构的可分巴拿赫空间的连续统，这些空间是互补的。因此，这些空间的Schroeder-Bernstein指数都是$2^{\aleph_0}$。我们的构造是基于W. T. Gowers和B. 1997年，莫雷。我们还使用经典的描述集合论方法，如在V. Ferenczi和C. Rosendal等人的一些结果。Casazza和N. J. Kalton关于具有无条件有限维Schauder分解的空间的Schroeder-Bernstein性质。
For a constant $K\geq 1$ let $\mathfrak{B}_K$ be the class of pairs $(X,(\mathbf e_n)_{n\inω})$ consisting of a Banach space $X$ and an unconditional Schauder basis $(\mathbf e_n)_{n\inω}$ for $X$, having the unconditional basic constant $K_u\leq K$. Such pairs are called $K$-based Banach spaces. A based Banach space $X$ is rational if the unit ball of any finite-dimensional subspace spanned by finitely many basic vectors is a polyhedron whose vertices have rational coordinates in the Schauder basis of $X$. Using the technique of Fraïssé theory, we construct a rational $K$-based Banach space $…
While the classic separable quotient problem remains open, we survey general results related to this problem and examine the existence of a particular infinitedimensional separable quotient in some Banach spaces of vector-valued functions, linear operators and vector measures. Most of the results presented are consequence of known facts, some of them relative to the presence of complemented copies of the classic sequence spaces c_0 and l_p, for 1 <= p <= \infty. Also recent results of Argyros - Dodos - Kanellopoulos, and Sliwa are provided. This makes our presentation supplementary to a previo…
Isometric embeddings of separable Banach spaces into $(\ell^\infty \setminus c)\cup\{0\}$
该研究证明可分Banach空间可等距嵌入到与收敛序列空间$c$仅交于原点的$\ell^\infty$子集中，且相关可分子空间可保避开$c$的性质扩展为包含任意可分Banach空间等距副本的子空间，推广了经典嵌入结论。
We construct a family of separable Hilbertian operator spaces, such that the relation of complete isomorphism between the subspaces of each member of this family is complete $\ks$. We also investigate some interesting properties of completely unconditional bases of the spaces from this family. In the Banach space setting, we construct a space for which the relation of isometry of subspaces is equivalent to equality of real numbers.
It is shown that every separable reflexive Banach space is a quotient of a reflexive Hereditarily Indecomposable space, which yields that every separable reflexive Banach is isomorphic to a subspace of a reflexive Indecomposable space. Furthermore, every separable reflexive Banach space is a quotient of a reflexive complementably $\ell_p$ saturated space with $1<p<\infty$ and of a $c_0$ saturated space.
This paper contains a study of the separable form $J_s(\cdot)$ of the classical Jung constant. We first establish, following Davis \cite{davis}, that a Banach space $X$ is $1$-separably injective if and only if $J_s(X)=1$. This characterization is then used for the understanding of new $1$-separably injective spaces. The last section establishes the inequality $\frac{1}{2}K(Y)J_s(X)\leq e(Y,X)$ connecting the separable Jung constant, Kottman's constant and the extension constant for Lipschitz maps, which is then used to obtain a simple proof of the equality $K(X,c_0)=e(X,c_0)$ of Kalton and a …
Support of Borelian Measures in Separable Banach Spaces
本文证明了可分巴拿赫空间中的每一Borelian测度，例如随机变量的分布，都有一个紧的嵌入Banach子空间的支撑，并证明了如果随机变量的范数属于某个指数Orlicz空间，则可以选择新的子空间使得该变量在新空间中的范数也属于另一个指数Orlicz空间.
Famous Naimark-Han-Larson dilation theorem for frames in Hilbert spaces states that every frame for a separable Hilbert space $\mathcal{H}$ is image of a Riesz basis under an orthogonal projection from a separable Hilbert space $\mathcal{H}_1$ which contains $\mathcal{H}$ isometrically. In this paper, we derive dilation result for p-approximate Schauder frames for separable Banach spaces. Our result contains Naimark-Han-Larson dilation theorem as a particular case.
A Separable Banach Space with a Schauder Basis Which Is Not a Lipschitz Retract of Its Bidual
构造具有绍德尔基的可分巴拿赫空间\(X\)，证明\(B_X\)不是\(B_{X^{**}}\)的一致连续收缩核，得出\(X\)不是\(X^{**}\)的利普希茨收缩核的结论。
The Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient space, has remained unsolved for 85 years, but has been answered in the affirmative for special cases such as reflexive Banach spaces. It is also known that every infinite-dimensional non-normable Fréchet space has an infinite-dimensional separable quotient space, namely $\mathbb{R}^ω$. It is proved in this paper that every infinite-dimensional Fréchet space (including every infinite-dimensional Banach space), indeed every locally convex space which has a subspace whic…
A Banach space $X$ has the $Mazur$-$Ulam$ $property$ if any isometry from the unit sphere of $X$ onto the unit sphere of any other Banach space $Y$ extends to a linear isometry of the Banach spaces $X,Y$. A Banach space $X$ is called $smooth$ if the unit ball has a unique supporting functional at each point of the unit sphere. We prove that each non-smooth 2-dimensional Banach space has the Mazur-Ulam property.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。