Spaces of orders and their Turing degree spectra

We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of G, which is left-invariant under the group operation. Right orders and bi-orders are defined similarly. In particular, we study groups for which the spaces of left orders are homeomorphic to the Cantor set, and their Turing degree spectra contain certain upper cones of degrees. Our approach unifies and extends Sikora’s (2004) [28] investigation of orders on groups in topology and Solomon’s (2002) [31] investigation of these orders in computable algebra. Furthermore, we establish that a computable free group F_n of rank n>1 has a bi-order in every Turing degree.     

Distortion and stability of the fixed point property for non-expansive mappings

Let X be a Banach space. We say that X satisfies the fixed point property (weak fixed point property) if every non-expansive mapping defined from a convex closed bounded (convex weakly compact) subset of X into itself has a fixed point. We say that X satisfies the stable fixed point property (stable weak fixed point property) if the same is true for every equivalent norm which is close enough to the original one. Denote by P(X) the set formed by all equivalent norms with the topology of the uniform convergence on the unit ball of X. We prove that the subset of P(X) formed by the norms failing the fixed point property is dense in P(X) when X is a non-distortable space which fails the fixed point property. In particular, no renorming of ?₁ can satisfy the stable fixed point property. Furthermore, we show some examples of distortable spaces failing the weak fixed point property, which can be renormed to satisfy the stable weak fixed point property. As a consequence we prove that every separable Banach space can be renormed to satisfy the stable weak fixed point property.     

Approximation of the limit distance function in Banach spaces

In this paper we study the behavior of the limit distance function d(x)=limdist(x,Cn) defined by a nested sequence (Cn) of subsets of a real Banach space X. We first present some new criteria for the non-emptiness of the intersection of a nested sequence of sets and of their ε-neighborhoods from which we derive, among other results, Dilworth's characterization [S.J. Dilworth, Intersections of centred sets in normed spaces, Far East J. Math. Sci. (Part II) (1988) 129-136 (special volume)] of Banach spaces not containing c₀ and Marino's result [G. Marino, A remark on intersection of convex sets, J. Math. Anal. Appl. 284 (2003) 775-778]. Passing then to the approximation of the limit distance function, we show three types of results: (i) that the limit distance function defined by a nested sequence of non-empty bounded closed convex sets coincides with the distance function to the intersection of the weak^∗-closures in the bidual; this extends and improves the results in [J.M.F. Castillo, P.L. Papini, Distance types in Banach spaces, Set-Valued Anal. 7 (1999) 101-115]; (ii) that the convexity condition is necessary; and (iii) that in spaces with separable dual, the distance function to a weak^∗-compact convex set is approximable by a (non-necessarily nested) sequence of bounded closed convex sets of the space.     

On local convexity of nonlinear mappings between Banach spaces

We find conditions for a smooth nonlinear map f: U → V between open subsets of Hilbert or Banach spaces to be locally convex in the sense that for some c and each positive ? < c the image f(B _?(x)) of each ?-ball B _?(x) ? U is convex. We give a lower bound on c via the second order Lipschitz constant Lip₂(f), the Lipschitz-open constant Lip_o(f) of f, and the 2-convexity number conv₂(X) of the Banach space X.     

Remotality of Closed Bounded Convex Sets in Reflexive Spaces

Let X be a Banach space and E be a closed bounded subset of X. For x ? X, we define D(x, E) = sup{‖ x ? e‖:e ? E}. The set E is said to be remotal (in X) if, for every x ? X, there exists e ? E such that D(x, E) = ‖x ? e‖. The object of this paper is to characterize those reflexive Banach spaces in which every closed bounded convex set is remotal. Such a result enabled us to produce a convex closed and bounded set in a uniformly convex Banach space that is not remotal. Further, we characterize Banach spaces in which every bounded closed set is remotal.     

The Bishop-Phelps-Bollobás theorem for operators

We prove the Bishop-Phelps-Bollobás theorem for operators from an arbitrary Banach space X into a Banach space Y whenever the range space has property β of Lindenstrauss. We also characterize those Banach spaces Y for which the Bishop-Phelps-Bollobás theorem holds for operators from ?₁ into Y. Several examples of classes of such spaces are provided. For instance, the Bishop-Phelps-Bollobás theorem holds when the range space is finite-dimensional, an L₁(μ)-space for a σ-finite measure μ, a C(K)-space for a compact Hausdorff space K, or a uniformly convex Banach space.     

Uniqueness of complex structure and real hereditarily indecomposable Banach spaces

There exists a real hereditarily indecomposable Banach space X=X(C) (respectively X=X(H)) such that the algebra L(X)/S(X) is isomorphic to C (respectively to the quaternionic division algebra H).Up to isomorphism, X(C) has exactly two complex structures, which are conjugate, totally incomparable, and both hereditarily indecomposable. So there exist two Banach spaces which are isometric as real spaces but totally incomparable as complex spaces. This extends results of J. Bourgain and S. Szarek [J. Bourgain, Real isomorphic complex Banach spaces need not be complex isomorphic, Proc. Amer. Math. Soc. 96 (2) (1986) 221-226; S. Szarek, On the existence and uniqueness of complex structure and spaces with “few” operators, Trans. Amer. Math. Soc. 293 (1) (1986) 339-353; S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444], and proves that a theorem of G. Godefroy and N.J. Kalton [G. Godefroy, N.J. Kalton, Lipschitz-free Banach spaces, Studia Math. 159 (1) (2003) 121-141] about isometric embeddings of separable real Banach spaces does not extend to the complex case.The quaternionic example X(H), on the other hand, has unique complex structure up to isomorphism; other examples with a unique complex structure are produced, including a space with an unconditional basis and non-isomorphic to l₂. This answers a question of S. Szarek in [S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444].     

Orthogonal sequences and regularity of embeddings into finite-dimensional spaces

This paper focuses on the regularity of linear embeddings of finite-dimensional subsets of Hilbert and Banach spaces into Euclidean spaces. We study orthogonal sequences in a Hilbert space H, whose elements tend to zero, and similar sequences in the space c₀ of null sequences. The examples studied show that the results due to Hunt and Kaloshin (Regularity of embeddings of infinite-dimensional fractal sets into finite-dimensional spaces, Nonlinearity 12 (1999) 1263-1275) and Robinson (Linear embeddings of finite-dimensional subsets of Banach spaces into Euclidean spaces, Nonlinearity 22 (2009) 711-728) for subsets of Hilbert and Banach spaces with finite box-counting dimension are asymptotically sharp. An analogous argument allows us to obtain a lower bound for the power of the logarithmic correction term in an embedding theorem proved by Olson and Robinson (Almost bi-Lipschitz embeddings and almost homogeneous sets, Trans. Amer. Math. Soc. 362 (1) (2010) 145-168) for subsets X of Hilbert spaces when X−X has finite Assouad dimension.     

A class of Banach spaces with few non-strictly singular operators

We construct a family (X_γ) of reflexive Banach spaces with long (countable as well as uncountable) transfinite bases but with no unconditional basic sequences. The method we introduce to achieve this allows us to considerably control the structure of subspaces of the resulting spaces as well as to precisely describe the corresponding spaces on non-strictly singular operators. For example, for every pair of countable ordinals γ,β, we are able to decompose every bounded linear operator from X_γ to X_β as the sum of a diagonal operator and an strictly singular operator. We also show that every finite-dimensional subspace of any member X_γ of our class can be moved by and (4+?)-isomorphism to essentially any region of any other member X_δ or our class. Finally, we find subspaces X of X_γ such that the operator space L(X,X_γ) is quite rich but any bounded operator T from X into X is a strictly singular pertubation of a scalar multiple of the identity.     

Weighted pseudo almost periodic mild solutions of semilinear evolution equations with nonlocal conditions

In this paper, applying the theory of semigroups of operators to evolution families and Banach fixed point theorem, we prove the existence and uniqueness of the weighted pseudo almost periodic mild solution of the semilinear evolution equation x^′(t)=A(t)x(t)+f(t,x(t)) with nonlocal conditions x(0)=x₀+g(x) in Banach space X under some suitable hypotheses.     

Nordhaus-Gaddum results for the convex domination number of a graph

The distance d _G (u, v) between two vertices u and v in a connected graph G is the length of the shortest uv-path in G. A uv-path of length d _G (u, v) is called a uv-geodesic. A set X is convex in G if vertices from all ab-geodesics belong to X for any two vertices a, b ?? X. The convex domination number ??_con(G) of a graph G equals the minimum cardinality of a convex dominating set. In the paper, Nordhaus-Gaddum-type results for the convex domination number are studied.     

Algebraic properties of compatible Poisson brackets

We discuss algebraic properties of a pencil generated by two compatible Poisson tensors A(x) and B(x). From the algebraic viewpoint this amounts to studying the properties of a pair of skew-symmetric bilinear forms A and B defined on a finite-dimensional vector space. We describe the Lie group G _P of linear automorphisms of the pencil P = {A + λB}. In particular, we obtain an explicit formula for the dimension of G _P and discuss some other algebraic properties such as solvability and Levi-Malcev decomposition.     

Martingales with values in uniformly convex spaces

Using the techniques of martingale inequalities in the case of Banach space valued martingales, we give a new proof of a theorem of Enflo: every super-reflexive space admits an equivalent uniformly convex norm. Letr be a number in ]2, ∞[; we prove moreover that if a Banach spaceX is uniformly convex (resp. ifδ _x(?)/? ^r when? → 0) thenX admits for someq<∞ (resp. for someq<r) an equivalent norm for which the corresponding modulus of convexity satisfiesδ(?)/? ^q → ∞ when? → 0. These results have dual analogues concerning the modulus of smoothness. Our method is to study some inequalities for martingales with values in super-reflexive or uniformly convex spaces which are characteristic of the geometry of these spaces up to isomorphism.     

Well-posedness of a class of perturbed optimization problems in Banach spaces

Let X be a Banach space and Z a nonempty subset of X. Let J:Z→R be a lower semicontinuous function bounded from below and p?1. This paper is concerned with the perturbed optimization problem of finding z₀∈Z such that ‖x−z₀p^‖+J(z₀)=infz∈Z{‖x−zp^‖+J(z)}, which is denoted by minJ(x,Z). The notions of the J-strictly convex with respect to Z and of the Kadec with respect to Z are introduced and used in the present paper. It is proved that if X is a Kadec Banach space with respect to Z and Z is a closed relatively boundedly weakly compact subset, then the set of all x∈X for which every minimizing sequence of the problem minJ(x,Z) has a converging subsequence is a dense Gδ-subset of X?Z₀, where Z₀ is the set of all points z∈Z such that z is a solution of the problem minJ(z,Z). If additionally p>1 and X is J-strictly convex with respect to Z, then the set of all x∈X for which the problem minJ(x,Z) is well-posed is a dense Gδ-subset of X?Z₀.     

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Let G be a connected simple graph, let X?V (^G) and let f be a mapping from X to the set of integers. When X is an independent set, Frank and Gyárfás, and independently, Kaneko and Yoshimoto gave a necessary and sufficient condition for the existence of spanning tree T in G such that d _T (x) for all x ∈ X, where d _T (x) is the degree of x and T. In this paper, we extend this result to the case where the subgraph induced by X has no induced path of order four, and prove that there exists a spanning tree T in G such that d _T (x) ≥ f(x) for all x ∈ X if and only if for any nonempty subset S ? X, |N _G (S) ? S| ? f(S) + 2|S| ? ω _G (S) ≥, where ω _G (S) is the number of components of the subgraph induced by S.     

On operator valued sequences of multipliers and R-boundedness

In recent papers (cf. [J.L. Arregui, O. Blasco, (p,q)-Summing sequences, J. Math. Anal. Appl. 274 (2002) 812-827; J.L. Arregui, O. Blasco, (p,q)-Summing sequences of operators, Quaest. Math. 26 (2003) 441-452; S. Aywa, J.H. Fourie, On summing multipliers and applications, J. Math. Anal. Appl. 253 (2001) 166-186; J.H. Fourie, I. Röntgen, Banach space sequences and projective tensor products, J. Math. Anal. Appl. 277 (2) (2003) 629-644]) the concept of (p,q)-summing multiplier was considered in both general and special context. It has been shown that some geometric properties of Banach spaces and some classical theorems can be described using spaces of (p,q)-summing multipliers. The present paper is a continuation of this study, whereby multiplier spaces for some classical Banach spaces are considered. The scope of this research is also broadened, by studying other classes of summing multipliers. Let E(X) and F(Y) be two Banach spaces whose elements are sequences of vectors in X and Y, respectively, and which contain the spaces c₀₀(X) and c₀₀(Y) of all X-valued and Y-valued sequences which are eventually zero, respectively. Generally spoken, a sequence of bounded linear operators (un)⊂L(X,Y) is called a multiplier sequence from E(X) to F(Y) if the linear operator from c₀₀(X) into c₀₀(Y) which maps (xi)∈c₀₀(X) onto (unxn)∈c₀₀(Y) is bounded with respect to the norms on E(X) and F(Y), respectively. Several cases where E(X) and F(Y) are different (classical) spaces of sequences, including, for instance, the spaces Rad(X) of almost unconditionally summable sequences in X, are considered. Several examples, properties and relations among spaces of summing multipliers are discussed. Important concepts like R-bounded, semi-R-bounded and weak-R-bounded from recent papers are also considered in this context.     

A note on the weakly convex and convex domination numbers of a torus

The distanced_G(u,v) between two vertices u and v in a connected graph G is the length of the shortest (u,v) path in G. A (u,v) path of length d_G(u,v) is called a (u,v)-geodesic. A set X⊆V is called weakly convex in G if for every two vertices a,b∈X, exists an (a,b)-geodesic, all of whose vertices belong to X. A set X is convex in G if for all a,b∈X all vertices from every (a,b)-geodesic belong to X. The weakly convex domination number of a graph G is the minimum cardinality of a weakly convex dominating set of G, while the convex domination number of a graph G is the minimum cardinality of a convex dominating set of G. In this paper we consider weakly convex and convex domination numbers of tori.     

Strong homology and dimension

We show that strong homology groups H̄_p(X; G) of a space X vanish if p is greater than the shape dimension sd X. For p=sd X, H̄_p(X; G) coincides with the Čech homology groups Ȟ_p(X; G). We also show that there exist 1-dimensional spaces, which do not admit 1-dimensional ANR-resolutions. Therefore, the vanishing of H̄_p(X; G) for p>dim X is a nontrivial fact.     

On linear selections of convex set-valued maps

We study continuous subadditive set-valued maps taking points of a linear space X to convex compact subsets of a linear space Y. The subadditivity means that φ(x ₁ + x ₂) ⊂ φ(x ₁) + φ(x ₂). We characterize all pairs of locally convex spaces (X, Y) for which any such map has a linear selection, i.e., there exists a linear operator A: X → Y such that Ax ∈ φ(x), x ∈ X. The existence of linear selections for a class of subadditive maps generated by differences of a continuous function is proved. This result is applied to the Lipschitz stability problem for linear operators in Banach spaces.     

Ideal convergence of continuous functions

For a given ideal I⊆P(ω), IC(I) denotes the class of separable metric spaces X such that whenever is a sequence of continuous functions convergent to zero with respect to the ideal I then there exists a set of integers {m₀<m₁<?} from the dual filter F(I) such that limi→∞fmi(x)=0 for all x∈X. We prove that for the most interesting ideals I, IC(I) contains only singular spaces. For example, if I=Id is the asymptotic density zero ideal, all IC(Id) spaces are perfectly meager while if I=Ib is the bounded ideal then IC(Ib) spaces are σ-sets.