Two applications of smoothness in C(K) spaces

Matías Raja

Displaying similar documents to “Two applications of smoothness in C(K) spaces”

Banach spaces of bounded Szlenk index II

D. Freeman, E. Odell, Th. Schlumprecht, A. Zsák (2009)

Fundamenta Mathematicae

Similarity:

For every α < ω₁ we establish the existence of a separable Banach space whose Szlenk index is $ω^{α ω + 1}$ and which is universal for all separable Banach spaces whose Szlenk index does not exceed $ω^{α ω}$ . In order to prove that result we provide an intrinsic characterization of which Banach spaces embed into a space admitting an FDD with Tsirelson type upper estimates.

On Banach spaces C(K) isomorphic to c₀(Γ)

Witold Marciszewski (2003)

Studia Mathematica

Similarity:

We give a characterization of compact spaces K such that the Banach space C(K) is isomorphic to the space c₀(Γ) for some set Γ. As an application we show that there exists an Eberlein compact space K of weight $ω_{ω}$ and with the third derived set $K^{(3)}$ empty such that the space C(K) is not isomorphic to any c₀(Γ). For this compactum K, the spaces C(K) and $c ₀ (ω_{ω})$ are examples of weakly compactly generated (WCG) Banach spaces which are Lipschitz isomorphic but not isomorphic.

On the range of the derivative of a real-valued function with bounded support

T. Gaspari (2002)

Studia Mathematica

Similarity:

We study the set f’(X) = f’(x): x ∈ X when f:X → ℝ is a differentiable bump. We first prove that for any C²-smooth bump f: ℝ² → ℝ the range of the derivative of f must be the closure of its interior. Next we show that if X is an infinite-dimensional separable Banach space with a $C^{p}$ -smooth bump b:X → ℝ such that $| | b^{(p)} {| |}_{\infty}$ is finite, then any connected open subset of X* containing 0 is the range of the derivative of a $C^{p}$ -smooth bump. We also study the finite-dimensional case which is quite different....

Estimation of the Szlenk index of Banach spaces via Schreier spaces

Ryan Causey (2013)

Studia Mathematica

Similarity:

For each ordinal α < ω₁, we prove the existence of a Banach space with a basis and Szlenk index $ω^{α + 1}$ which is universal for the class of separable Banach spaces with Szlenk index not exceeding $ω^{α}$ . Our proof involves developing a characterization of which Banach spaces embed into spaces with an FDD with upper Schreier space estimates.

Geometry of Banach spaces and biorthogonal systems

S. Dilworth, Maria Girardi, W. Johnson (2000)

Studia Mathematica

Similarity:

A separable Banach space X contains $ℓ_{1}$ isomorphically if and only if X has a bounded fundamental total $w c_{0} *$ -stable biorthogonal system. The dual of a separable Banach space X fails the Schur property if and only if X has a bounded fundamental total $w c_{0} *$ -biorthogonal system.

The Dual of a Non-reflexive L-embedded Banach Space Contains $l^{\infty}$ Isometrically

Hermann Pfitzner (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

A Banach space is said to be L-embedded if it is complemented in its bidual in such a way that the norm between the two complementary subspaces is additive. We prove that the dual of a non-reflexive L-embedded Banach space contains $l^{\infty}$ isometrically.

Estimation of the Szlenk index of reflexive Banach spaces using generalized Baernstein spaces

Ryan Causey (2015)

Fundamenta Mathematicae

Similarity:

For each ordinal α < ω₁, we prove the existence of a separable, reflexive Banach space W with a basis so that Sz(W), $S z (W *) \leq ω^{α + 1}$ which is universal for the class of separable, reflexive Banach spaces X satisfying Sz(X), $S z (X *) \leq ω^{α}$ .

A Lipschitz function which is $C^{\infty}$ on a.e. line need not be generically differentiable

Luděk Zajíček (2013)

Colloquium Mathematicae

Similarity:

We construct a Lipschitz function f on X = ℝ ² such that, for each 0 ≠ v ∈ X, the function f is $C^{\infty}$ smooth on a.e. line parallel to v and f is Gâteaux non-differentiable at all points of X except a first category set. Consequently, the same holds if X (with dimX > 1) is an arbitrary Banach space and “a.e.” has any usual “measure sense”. This example gives an answer to a natural question concerning the author’s recent study of linearly essentially smooth functions (which generalize essentially...

$P^{λ}$ -spaces and $L^{λ}$ -spaces

Nguyen To Nhu (1979)

Colloquium Mathematicae

Similarity:

On Some Properties of Separately Increasing Functions from [0,1]ⁿ into a Banach Space

Artur Michalak (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f : {[0, 1]}^{m} \to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f : {[0, 1]}^{m} \to X$ with respect to any norming subset there exists a separately increasing function $g : {[0, 1]}^{m} \to ℝ$ such that the sets of...

Spaces of operators and c₀

P. Lewis (2001)

Studia Mathematica

Similarity:

Bessaga and Pełczyński showed that if c₀ embeds in the dual X* of a Banach space X, then ℓ¹ embeds complementably in X, and $ℓ^{\infty}$ embeds as a subspace of X*. In this note the Diestel-Faires theorem and techniques of Kalton are used to show that if X is an infinite-dimensional Banach space, Y is an arbitrary Banach space, and c₀ embeds in L(X,Y), then $ℓ^{\infty}$ embeds in L(X,Y), and ℓ¹ embeds complementably in $X \otimes_{γ} Y *$ . Applications to embeddings of c₀ in various spaces of operators are given.

A note on a class of homeomorphisms between Banach spaces

Piotr Fijałkowski (2005)

Colloquium Mathematicae

Similarity:

This paper deals with homeomorphisms F: X → Y, between Banach spaces X and Y, which are of the form $F (x) : = F ̃ x^{(2 n + 1)}$ where $F ̃ : X^{2 n + 1} \to Y$ is a continuous (2n+1)-linear operator.

Embeddings of C(K) spaces into C(S,X) spaces with distortion strictly less than 3

Leandro Candido, Elói Medina Galego (2013)

Fundamenta Mathematicae

Similarity:

In the spirit of the classical Banach-Stone theorem, we prove that if K and S are intervals of ordinals and X is a Banach space having non-trivial cotype, then the existence of an isomorphism T from C(K, X) onto C(S,X) with distortion $| | T | | | | T^{- 1} | |$ strictly less than 3 implies that some finite topological sum of K is homeomorphic to some finite topological sum of S. Moreover, if Xⁿ contains no subspace isomorphic to $X^{n + 1}$ for every n ∈ ℕ, then K is homeomorphic to S. In other words, we obtain a vector-valued...

Linearization of isometric embedding on Banach spaces

Yu Zhou, Zihou Zhang, Chunyan Liu (2015)

Studia Mathematica

Similarity:

Let X,Y be Banach spaces, f: X → Y be an isometry with f(0) = 0, and $T : \bar{s p a n} (f (X)) \to X$ be the Figiel operator with $T \circ f = I d_{X}$ and ||T|| = 1. We present a sufficient and necessary condition for the Figiel operator T to admit a linear isometric right inverse. We also prove that such a right inverse exists when $\bar{s p a n} (f (X))$ is weakly nearly strictly convex.

On monotonic functions from the unit interval into a Banach space with uncountable sets of points of discontinuity

Artur Michalak (2003)

Studia Mathematica

Similarity:

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. We show that if f: [0,1] → X is an increasing function with respect to a norming subset E of X* with uncountably many points of discontinuity and Q is a countable dense subset of [0,1], then (1) $\bar{l i n f ([0, 1])}$ contains an order isomorphic copy of D(0,1), (2) $\bar{l i n f (Q)}$ contains an isomorphic copy of C([0,1]), (3) $\bar{l i n f ([0, 1])} / \bar{l i n f (Q)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

Lipschitz and uniform embeddings into $ℓ_{\infty}$

N. J. Kalton (2011)

Fundamenta Mathematicae

Similarity:

We show that there is no uniformly continuous selection of the quotient map $Q : ℓ_{\infty} \to ℓ_{\infty} / c ₀$ relative to the unit ball. We use this to construct an answer to a problem of Benyamini and Lindenstrauss; there is a Banach space X such that there is a no Lipschitz retraction of X** onto X; in fact there is no uniformly continuous retraction from $B_{X * *}$ onto $B_{X}$ .

Every separable Banach space has a basis with uniformly controlled permutations

Paolo Terenzi

Similarity:

There exists a universal control sequence ${p ̅ (m)}_{m = 1}^{\infty}$ of increasing positive integers such that: Every infinite-dimensional separable Banach space X has a biorthogonal system xₙ,xₙ* with ||xₙ|| = 1 and ||xₙ*|| < K for each n such that, for each x ∈ X, $x = \sum_{n = 1}^{\infty} x_{π (n)} * (x) x_{π (n)}$ where π(n) is a permutation of n which depends on x but is uniformly controlled by ${p ̅ (m)}_{m = 1}^{\infty}$ , that is, $n_{n = 1}^{m} \subseteq π {(n)}_{n = 1}^{p ̅ (m)} \subseteq n_{n = 1}^{p ̅ (m + 1)}$ for each m.

On the existence of non-linear frames

Shah Jahan, Varinder Kumar, S.K. Kaushik (2017)

Archivum Mathematicum

Similarity:

A stronger version of the notion of frame in Banach space called Strong Retro Banach frame (SRBF) is defined and studied. It has been proved that if $𝒳$ is a Banach space such that $𝒳^{*}$ has a SRBF, then $𝒳$ has a Bi-Banach frame with some geometric property. Also, it has been proved that if a Banach space $𝒳$ has an approximative Schauder frame, then $𝒳^{*}$ has a SRBF. Finally, the existence of a non-linear SRBF in the conjugate of a separable Banach space has been proved.

On the number of non-isomorphic subspaces of a Banach space

Valentin Ferenczi, Christian Rosendal (2005)

Studia Mathematica

Similarity:

We study the number of non-isomorphic subspaces of a given Banach space. Our main result is the following. Let be a Banach space with an unconditional basis ${(e_{i})}_{i \in ℕ}$ ; then either there exists a perfect set P of infinite subsets of ℕ such that for any two distinct A,B ∈ P, ${[e_{i}]}_{i \in A} ≇ {[e_{i}]}_{i \in B}$ , or for a residual set of infinite subsets A of ℕ, ${[e_{i}]}_{i \in A}$ is isomorphic to , and in that case, is isomorphic to its square, to its hyperplanes, uniformly isomorphic to $\oplus {[e_{i}]}_{i \in D}$ for any D ⊂ ℕ, and isomorphic to a denumerable Schauder...

On the mutually non isomorphic $l_{p} (l_{q})$

Pilar Cembranos, Jose Mendoza (2016)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

In this note we survey the partial results needed to show the following general theorem: $l_{p} (l_{q}) : 1 \leq p, q \leq + \infty$ is a family of mutually non isomorphic Banach spaces. We also comment some related facts and open problems.

Geometry of the Banach spaces C(βℕ × K,X) for compact metric spaces K

Dale E. Alspach, Elói Medina Galego (2011)

Studia Mathematica

Similarity:

A classical result of Cembranos and Freniche states that the C(K,X) space contains a complemented copy of c₀ whenever K is an infinite compact Hausdorff space and X is an infinite-dimensional Banach space. This paper takes this result as a starting point and begins a study of conditions under which the spaces C(α), α < ω₁, are quotients of or complemented in C(K,X). In contrast to the c₀ result, we prove that if C(βℕ ×[1,ω],X) contains a complemented copy of $C (ω^{ω})$ then X contains a copy...

(Non-)amenability of ℬ(E)

Volker Runde (2010)

Banach Center Publications

Similarity:

In 1972, the late B. E. Johnson introduced the notion of an amenable Banach algebra and asked whether the Banach algebra ℬ(E) of all bounded linear operators on a Banach space E could ever be amenable if dim E = ∞. Somewhat surprisingly, this question was answered positively only very recently as a by-product of the Argyros-Haydon result that solves the “scalar plus compact problem”: there is an infinite-dimensional Banach space E, the dual of which is ℓ¹, such that $ℬ (E) = (E) + ℂ i d_{E}$ . Still, ℬ(ℓ²) is...

On continuous composition operators

Wilhelmina Smajdor (2010)

Annales Polonici Mathematici

Similarity:

Let I ⊂ ℝ be an interval, Y be a normed linear space and Z be a Banach space. We investigate the Banach space Lip₂(I,Z) of all functions ψ: I → Z such that $M_{ψ} : = s u p | | [r, s, t; ψ] | | : r < s < t, r, s, t \in I < \infty$ , where [r,s,t;ψ]:= ((s-r)ψ(t)+(t-s)ψ(r)-(t-r)ψ(s))/((t-r)(t-s)(s-r)). We show that ψ ∈ Lip₂(I,Z) if and only if ψ is differentiable and its derivative ψ’ is Lipschitzian. Suppose the composition operator N generated by h: I × Y → Z, (Nφ)(t):= h(t,φ(t)), maps the set (I,Y) of all affine functions φ: I → Y into Lip₂(I,Z). We prove...

James boundaries and σ-fragmented selectors

B. Cascales, M. Muñoz, J. Orihuela (2008)

Studia Mathematica

Similarity:

We study the boundary structure for w*-compact subsets of dual Banach spaces. To be more precise, for a Banach space X, 0 < ϵ < 1 and a subset T of the dual space X* such that ⋃ B(t,ϵ): t ∈ T contains a James boundary for $B_{X *}$ we study different kinds of conditions on T, besides T being countable, which ensure that $X * = {\bar{s p a n T}}^{| | \cdot | |}$ . (SP) We analyze two different non-separable cases where the equality (SP) holds: (a) if $J : X \to 2^{B_{X *}}$ is the duality mapping and there exists a σ-fragmented map f: X → X* such that...

Multiplying balls in the space of continuous functions on [0,1]

Marek Balcerzak, Artur Wachowicz, Władysław Wilczyński (2005)

Studia Mathematica

Similarity:

Let C denote the Banach space of real-valued continuous functions on [0,1]. Let Φ: C × C → C. If Φ ∈ +, min, max then Φ is an open mapping but the multiplication Φ = · is not open. For an open ball B(f,r) in C let B²(f,r) = B(f,r)·B(f,r). Then f² ∈ Int B²(f,r) for all r > 0 if and only if either f ≥ 0 on [0,1] or f ≤ 0 on [0,1]. Another result states that Int(B₁·B₂) ≠ ∅ for any two balls B₁ and B₂ in C. We also prove that if Φ ∈ +,·,min,max, then the set $Φ^{- 1} (E)$ is residual whenever E is...

Generalized gradients for locally Lipschitz integral functionals on non- $L^{p}$ -type spaces of measurable functions

Hôǹg Thái Nguyêñ, Dariusz Pączka (2008)

Banach Center Publications

Similarity:

Let (Ω,μ) be a measure space, E be an arbitrary separable Banach space, $E *_{ω *}$ be the dual equipped with the weak* topology, and g:Ω × E → ℝ be a Carathéodory function which is Lipschitz continuous on each ball of E for almost all s ∈ Ω. Put $G (x) : = \int_{Ω} g (s, x (s)) d μ (s)$ . Consider the integral functional G defined on some non- $L^{p}$ -type Banach space X of measurable functions x: Ω → E. We present several general theorems on sufficient conditions under which any element γ ∈ X* of Clarke’s generalized gradient (multivalued...

Operator Lipschitz functions on Banach spaces

Jan Rozendaal, Fedor Sukochev, Anna Tomskova (2016)

Studia Mathematica

Similarity:

Let X, Y be Banach spaces and let (X,Y) be the space of bounded linear operators from X to Y. We develop the theory of double operator integrals on (X,Y) and apply this theory to obtain commutator estimates of the form $| | f (B) S - {S f (A) | |}_{(X, Y)} \leq c o n s t | | B S - {S A | |}_{(X, Y)}$ for a large class of functions f, where A ∈ (X), B ∈ (Y) are scalar type operators and S ∈ (X,Y). In particular, we establish this estimate for f(t): = |t| and for diagonalizable operators on $X = ℓ_{p}$ and $Y = ℓ_{q}$ for p < q. We also study the estimate above in the setting of Banach...

Banach spaces of bounded Szlenk index

E. Odell, Th. Schlumprecht, A. Zsák (2007)

Studia Mathematica

Similarity:

For a countable ordinal α we denote by $_{α}$ the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by α. We show that each $_{α}$ admits a separable, reflexive universal space. We also show that spaces in the class $_{ω^{α \cdot ω}}$ embed into spaces of the same class with a basis. As a consequence we deduce that each $_{α}$ is analytic in the Effros-Borel structure of subspaces of C[0,1].

On some properties of generalized Marcinkiewicz spaces

Evgeniy Pustylnik (2001)

Studia Mathematica

Similarity:

We give a full solution of the following problems concerning the spaces $M_{φ} (X ⃗)$ : (i) to what extent two functions φ and ψ should be different in order to ensure that $M_{φ} (X ⃗) \neq M_{ψ} (X ⃗)$ for any nontrivial Banach couple X⃗; (ii) when an embedding $M_{φ} (X ⃗) ⊊ M_{ψ} (X ⃗)$ can (or cannot) be dense; (iii) which Banach space can be regarded as an $M_{φ} (X ⃗)$ -space for some (unknown beforehand) Banach couple X⃗.

The Banach algebra of continuous bounded functions with separable support

M. R. Koushesh (2012)

Studia Mathematica

Similarity:

We prove a commutative Gelfand-Naimark type theorem, by showing that the set $C_{s} (X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space X (provided with the supremum norm) is a Banach algebra, isometrically isomorphic to C₀(Y) for some unique (up to homeomorphism) locally compact Hausdorff space Y. The space Y, which we explicitly construct as a subspace of the Stone-Čech compactification of X, is countably compact, and if...

On the Aronszajn property for integral equations in Banach space

Stanisław Szufla (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$ , belonging to the class $L^{p}(J,E)$ , $p>1$ . Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

Remarks and examples concerning distance ellipsoids

Dirk Praetorius (2002)

Colloquium Mathematicae

Similarity:

We provide for every 2 ≤ k ≤ n an n-dimensional Banach space E with a unique distance ellipsoid such that there are precisely k linearly independent contact points between and $B_{E}$ . The corresponding result holds for spaces with non-unique distance ellipsoids as well. We construct n-dimensional Banach spaces E such that one distance ellipsoid has precisely k linearly independent contact points and all other distance ellipsoids have less than k-1 such points.

On diffeomorphisms deleting weak compacta in Banach spaces

Daniel Azagra, Alejandro Montesinos (2004)

Studia Mathematica

Similarity:

We prove that if X is an infinite-dimensional Banach space with $C^{p}$ smooth partitions of unity then X and X∖ K are $C^{p}$ diffeomorphic for every weakly compact set K ⊂ X.

Reflexivity and approximate fixed points

Eva Matoušková, Simeon Reich (2003)

Studia Mathematica

Similarity:

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_{k}}$ for which $s u p_{f \in S_{X *}} l i m s u p_{k \to \infty} f (x_{n_{k}})$ is attained at some f in the dual unit sphere $S_{X *}$ . A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f \in S_{X *}$ , there exists $g \in S_{X *}$ such that $l i m s u p_{n \to \infty} f (x ₙ) < l i m i n f_{n \to \infty} g (x ₙ)$ . Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

On isometrical extension properties of function spaces

Hisao Kato (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this note, we prove that any “bounded” isometries of separable metric spaces can be represented as restrictions of linear isometries of function spaces $C (Q)$ and $C (Δ)$ , where $Q$ and $Δ$ denote the Hilbert cube ${[0, 1]}^{\infty}$ and a Cantor set, respectively.

The extension of the Krein-Šmulian theorem for order-continuous Banach lattices

Antonio S. Granero, Marcos Sánchez (2008)

Banach Center Publications

Similarity:

If X is a Banach space and C ⊂ X a convex subset, for x** ∈ X** and A ⊂ X** let d(x**,C) = inf||x**-x||: x ∈ C be the distance from x** to C and d̂(A,C) = supd(a,C): a ∈ A. Among other things, we prove that if X is an order-continuous Banach lattice and K is a w*-compact subset of X** we have: (i) $d ̂ ({\bar{c o}}^{w *} (K), X) \leq 2 d ̂ (K, X)$ and, if K ∩ X is w*-dense in K, then $d ̂ ({\bar{c o}}^{w *} (K), X) = d ̂ (K, X)$ ; (ii) if X fails to have a copy of ℓ₁(ℵ₁), then $d ̂ ({\bar{c o}}^{w *} (K), X) = d ̂ (K, X)$ ; (iii) if X has a 1-symmetric basis, then $d ̂ ({\bar{c o}}^{w *} (K), X) = d ̂ (K, X)$ .

Modifications of the double arrow space and related Banach spaces C(K)

Witold Marciszewski (2008)

Studia Mathematica

Similarity:

We consider the class of compact spaces $K_{A}$ which are modifications of the well known double arrow space. The space $K_{A}$ is obtained from a closed subset K of the unit interval [0,1] by “splitting” points from a subset A ⊂ K. The class of all such spaces coincides with the class of separable linearly ordered compact spaces. We prove some results on the topological classification of $K_{A}$ spaces and on the isomorphic classification of the Banach spaces $C (K_{A})$ .

On the Aronszajn property for integral equations in Banach space

Stanisław Szufla (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Uniqueness of unconditional basis of $ℓ_{p} (c ₀)$ and $ℓ_{p} (ℓ ₂)$ , 0 < p < 1

F. Albiac, C. Leránoz (2002)

Studia Mathematica

Similarity:

We prove that the quasi-Banach spaces $ℓ_{p} (c ₀)$ and $ℓ_{p} (ℓ ₂)$ (0 < p < 1) have a unique unconditional basis up to permutation. Bourgain, Casazza, Lindenstrauss and Tzafriri have previously proved that the same is true for the respective Banach envelopes $ℓ ₁ (c ₀)$ and ℓ₁(ℓ₂). They used duality techniques which are not available in the non-locally convex case.

Canonical Banach function spaces generated by Urysohn universal spaces. Measures as Lipschitz maps

Piotr Niemiec (2009)

Studia Mathematica

Similarity:

It is proved (independently of the result of Holmes [Fund. Math. 140 (1992)]) that the dual space of the uniform closure $C F L (_{r})$ of the linear span of the maps x ↦ d(x,a) - d(x,b), where d is the metric of the Urysohn space $_{r}$ of diameter r, is (isometrically if r = +∞) isomorphic to the space $L I P (_{r})$ of equivalence classes of all real-valued Lipschitz maps on $_{r}$ . The space of all signed (real-valued) Borel measures on $_{r}$ is isometrically embedded in the dual space of $C F L (_{r})$ and it is shown that the image...

Wijsman hyperspaces of non-separable metric spaces

Rodrigo Hernández-Gutiérrez, Paul J. Szeptycki (2015)

Fundamenta Mathematicae

Similarity:

Given a metric space ⟨X,ρ⟩, consider its hyperspace of closed sets CL(X) with the Wijsman topology $τ_{W (ρ)}$ . It is known that $⟨ C L (X), τ_{W (ρ)} ⟩$ is metrizable if and only if X is separable, and it is an open question by Di Maio and Meccariello whether this is equivalent to $⟨ C L (X), τ_{W (ρ)} ⟩$ being normal. We prove that if the weight of X is a regular uncountable cardinal and X is locally separable, then $⟨ C L (X), τ_{W (ρ)} ⟩$ is not normal. We also solve some questions by Cao, Junnila and Moors regarding isolated points in Wijsman hyperspaces. ...

Pisier's inequality revisited

Tuomas Hytönen, Assaf Naor (2013)

Studia Mathematica

Similarity:

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies $\int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} \partial_{j} f_{j} {(ε) | |}^{p} d μ (ε) \leq^{p} \int_{- 1, 1 ⁿ} \int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} δ_{j} Δ f_{j} (ε) {| |}^{p} d μ (ε) d μ (δ)$ , where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${\partial_{j}}_{j = 1}^{n}$ and $Δ = \sum_{j = 1}^{n} \partial_{j}$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by $ⁿ_{p} (X)$ , we show that $ⁿ_{p} (X) \leq \sum_{k = 1}^{n} 1 / k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...