Showing 1–44 of 44 results for author: Leung, D H

Banach lattices with upper $p$-estimates: free and injective objects

Authors: E. García-Sánchez, D. H. Leung, M. A. Taylor, P. Tradacete

Abstract: We study the free Banach lattice $FBL^{(p,\infty)}[E]$ with upper $p$-estimates generated by a Banach space $E$. Using a classical result of Pisier on factorization through $L^{p,\infty}(μ)$ together with a finite dimensional reduction, it is shown that the spaces $\ell^{p,\infty}(n)$ witness the universal property of $FBL^{(p,\infty)}[E]$ isomorphically. As a consequence, we obtain a functional r… ▽ More We study the free Banach lattice $FBL^{(p,\infty)}[E]$ with upper $p$-estimates generated by a Banach space $E$. Using a classical result of Pisier on factorization through $L^{p,\infty}(μ)$ together with a finite dimensional reduction, it is shown that the spaces $\ell^{p,\infty}(n)$ witness the universal property of $FBL^{(p,\infty)}[E]$ isomorphically. As a consequence, we obtain a functional representation for $FBL^{(p,\infty)}[E]$. More generally, our proof allows us to identify the norm of any free Banach lattice over $E$ associated with a rearrangement invariant function space. After obtaining the above functional representation, we take the first steps towards analyzing the fine structure of $FBL^{(p,\infty)}[E]$. Notably, we prove that the norm for $FBL^{(p,\infty)}[E]$ cannot be isometrically witnessed by $L^{p,\infty}(μ)$ and settle the question of characterizing when an embedding between Banach spaces extends to a lattice embedding between the corresponding free Banach lattices with upper $p$-estimates. To prove this latter result, we introduce a novel push-out argument, which when combined with the injectivity of $\ell^p$ allows us to give an alternative proof of the subspace problem for free $p$-convex Banach lattices. On the other hand, we prove that $\ell^{p,\infty}$ is not injective in the class of Banach lattices with upper $p$-estimates, elucidating one of many difficulties arising in the study of $FBL^{(p,\infty)}[E]$. △ Less

Submitted 29 February, 2024; originally announced February 2024.

Comments: 37 pages

MSC Class: 46B42; 06B25; 47B60

A Deep Learning Inference Scheme Based on Pipelined Matrix Multiplication Acceleration Design and Non-uniform Quantization

Authors: Yuyang Zhang, Dik Hin Leung, Min Guo, Yijia Xiao, Haoyue Liu, Yunfei Li, Jiyuan Zhang, Guan Wang, Zhen Chen

Abstract: Matrix multiplication is the bedrock in Deep Learning inference application. When it comes to hardware acceleration on edge computing devices, matrix multiplication often takes up a great majority of the time. To achieve better performance in edge computing, we introduce a low-power Multi-layer Perceptron (MLP) accelerator based on a pipelined matrix multiplication scheme and a nonuniform quantiza… ▽ More Matrix multiplication is the bedrock in Deep Learning inference application. When it comes to hardware acceleration on edge computing devices, matrix multiplication often takes up a great majority of the time. To achieve better performance in edge computing, we introduce a low-power Multi-layer Perceptron (MLP) accelerator based on a pipelined matrix multiplication scheme and a nonuniform quantization methodology. The implementation is running on Field-programmable Gate Array (FPGA) devices and tested its performance on handwritten digit classification and Q-learning tasks. Results show that our method can achieve better performance with fewer power consumption. △ Less

Submitted 10 October, 2021; originally announced October 2021.

Do law-invariant linear functionals collapse to the mean?

Authors: Shengzhong Chen, Niushan Gao, Denny H. Leung, Lei Li

Abstract: In this note, we show that, on a wide range of rearrangement-invariant spaces, a law-invariant bounded linear functional is a scalar multiple of the expectation. We also construct a rearrangement-invariant space on which this property fails. In this note, we show that, on a wide range of rearrangement-invariant spaces, a law-invariant bounded linear functional is a scalar multiple of the expectation. We also construct a rearrangement-invariant space on which this property fails. △ Less

Submitted 12 November, 2021; v1 submitted 23 July, 2021; originally announced July 2021.

MSC Class: 46E30; 60E05

The order-type Banach-Saks properties

Authors: Made Tantrawan, Denny H. Leung, Niushan Gao

Abstract: The study of the Banach-Saks property in Banach spaces has a long and illustrious history. Of late, motivated by applications in financial mathematics, interest has arisen in the Banach-Saks type properties with respect to order convergence. This paper presents a study of order Banach-Saks properties in Banach function spaces, and in particular in rearrangement invariant spaces. Among the results… ▽ More The study of the Banach-Saks property in Banach spaces has a long and illustrious history. Of late, motivated by applications in financial mathematics, interest has arisen in the Banach-Saks type properties with respect to order convergence. This paper presents a study of order Banach-Saks properties in Banach function spaces, and in particular in rearrangement invariant spaces. Among the results obtained, we provide some sufficient conditions for the (weak) order Banach-Saks property. We also characterize the (weak) order Banach-Saks property in Orlicz spaces. It is also shown that the (weak) order Banach-Saks property is equivalent to its hereditary version. △ Less

Submitted 16 May, 2022; v1 submitted 11 October, 2020; originally announced October 2020.

Comments: 19 pages

MSC Class: 46B42; 46E30

Nonlinear biseparating maps

Authors: Xianzhe Feng, Denny H. Leung

Abstract: An additive map $T$ acting between spaces of vector-valued functions is said to be biseparating if $T$ is a bijection so that $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. Note that an additive bijection retains $\mathbb{Q}$-linearity. For a general nonlinear map $T$, the definition of biseparating given above turns out to be too weak to determine the structure of $T$. In thi… ▽ More An additive map $T$ acting between spaces of vector-valued functions is said to be biseparating if $T$ is a bijection so that $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. Note that an additive bijection retains $\mathbb{Q}$-linearity. For a general nonlinear map $T$, the definition of biseparating given above turns out to be too weak to determine the structure of $T$. In this paper, we propose a revised definition of biseparating maps for general nonlinear operators acting between spaces of vector-valued functions, which coincides with the previous definition for additive maps. Under some mild assumptions on the function spaces involved, it turns out that a map is biseparating if and only if it is locally determined. We then delve deeply into some specific function spaces -- spaces of continuous functions, uniformly continuous functions and Lipschitz functions -- and characterize the biseparating maps acting on them. As a by-product, certain forms of automatic continuity are obtained. We also prove some finer properties of biseparating maps in the cases of uniformly continuous and Lipschitz functions. △ Less

Submitted 24 September, 2020; originally announced September 2020.

MSC Class: 46E15; 46E40; 47B38; 47H30; 53E35

On local convexity in $\mathbb{L}^0$ and switching probability measures

Authors: Niushan Gao, Denny H. Leung, Foivos Xanthos

Abstract: In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in $\mathbb{L}^1(\mathbb{Q})$. Specifically, let $\mathcal{K}$ be a convex bounded positive set in $\mathbb{L}^1(\mathbb{P})$. Kardaras [6] asked the following two… ▽ More In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in $\mathbb{L}^1(\mathbb{Q})$. Specifically, let $\mathcal{K}$ be a convex bounded positive set in $\mathbb{L}^1(\mathbb{P})$. Kardaras [6] asked the following two questions: (1) If the relative $\mathbb{L}^0(\mathbb{P})$-topology is locally convex on $\mathcal{K}$, does there exist $\mathbb{Q}\sim \mathbb{P}$ such that the $\mathbb{L}^0(\mathbb{Q})$- and $\mathbb{L}^1(\mathbb{Q})$-topologies agree on ${\mathcal{K}}$? (2) If $\mathcal{K}$ is closed in the $\mathbb{L}^0(\mathbb{P})$-topology and there exists $\mathbb{Q}\sim \mathbb{P}$ such that the $\mathbb{L}^0(\mathbb{Q})$- and $\mathbb{L}^1(\mathbb{Q})$-topologies agree on $\mathcal{K}$, does there exist $\mathbb{Q}'\sim \mathbb{P}$ such that $\mathcal{K}$ is $\mathbb{Q}'$-uniformly integrable? In the paper, we show that, no matter $\mathcal{K}$ is positive or not, the first question has a negative answer in general and the second one has a positive answer. In addition to answering these questions, we establish probabilistic and topological characterizations of existence of $\mathbb{Q}\sim\mathbb{P}$ satisfying these desired properties. We also investigate the peculiar effects of $\mathcal{K}$ being positive. △ Less

Submitted 19 August, 2019; v1 submitted 3 February, 2019; originally announced February 2019.

On closedness of law-invariant convex sets in rearrangement invariant spaces

Authors: Made Tantrawan, Denny H. Leung

Abstract: This paper presents relations between several types of closedness of a law-invariant convex set in a rearrangement invariant space $\mathcal{X}$. In particular, we show that order closedness, $σ(\mathcal{X},\mathcal{X}_n^\sim)$-closedness and $σ(\mathcal{X},L^\infty)$-closedness of a law-invariant convex set in $\mathcal{X}$ are equivalent, where $\mathcal{X}_n^\sim$ is the order continuous dual o… ▽ More This paper presents relations between several types of closedness of a law-invariant convex set in a rearrangement invariant space $\mathcal{X}$. In particular, we show that order closedness, $σ(\mathcal{X},\mathcal{X}_n^\sim)$-closedness and $σ(\mathcal{X},L^\infty)$-closedness of a law-invariant convex set in $\mathcal{X}$ are equivalent, where $\mathcal{X}_n^\sim$ is the order continuous dual of $\mathcal{X}$. We also provide some application to proper quasiconvex law-invariant functionals with the Fatou property. △ Less

Submitted 19 December, 2019; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: 10 pages

MSC Class: 46A55; 46E30; 46A20

Journal ref: Archiv der Mathematik. Published online on 16 November 2019

A Local Hahn-Banach Theorem and Its Applications

Authors: Niushan Gao, Denny H. Leung, Foivos Xanthos

Abstract: An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local' version of this theorem. The result is applied to study the uo-dual of a Banach lattice that was recently introduced in [3]. We also provide a simplified approac… ▽ More An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local' version of this theorem. The result is applied to study the uo-dual of a Banach lattice that was recently introduced in [3]. We also provide a simplified approach to the measure-free characterization of uniform integrability established in [8]. △ Less

Submitted 5 September, 2018; originally announced September 2018.

MSC Class: 46A22; 46A20; 60A10

On closedness of convex sets in Banach lattices

Authors: Made Tantrawan, Denny H. Leung

Abstract: Let $X$ be a Banach lattice. A well-known problem arising from the theory of risk measures asks when order closedness of a convex set in $X$ implies closedness with respect to the topology $σ(X,X_n^\sim)$, where $X_n^\sim$ is the order continuous dual of $X$. Motivated by the solution in the Orlicz space case, we introduce two relevant properties: the disjoint order continuity property ($DOCP$) an… ▽ More Let $X$ be a Banach lattice. A well-known problem arising from the theory of risk measures asks when order closedness of a convex set in $X$ implies closedness with respect to the topology $σ(X,X_n^\sim)$, where $X_n^\sim$ is the order continuous dual of $X$. Motivated by the solution in the Orlicz space case, we introduce two relevant properties: the disjoint order continuity property ($DOCP$) and the order subsequence splitting property ($OSSP$). We show that when $X$ is monotonically complete with $OSSP$ and $X_n^\sim$ contains a strictly positive element, every order closed convex set in $X$ is $σ(X,X_n^\sim)$-closed if and only if $X$ has $DOCP$ and either $X$ or $X_n^\sim$ is order continuous. This in turn occurs if and only if either $X$ or the norm dual $X^*$ of $X$ is order continuous. We also give a modular condition under which a Banach lattice has $OSSP$. In addition, we also give a characterization of $X$ for which order closedness of a convex set in $X$ is equivalent to closedness with respect to the topology $σ(X,X_{uo}^\sim)$, where $X_{uo}^\sim$ is the unbounded order continuous dual of $X$. △ Less

Submitted 24 October, 2018; v1 submitted 20 August, 2018; originally announced August 2018.

Comments: In the 2nd version, we generalized all results to Banach lattices

MSC Class: 46B42; 46A55; 46A20

Duality for unbounded order convergence and applications

Authors: Niushan Gao, Denny H. Leung, Foivos Xanthos

Abstract: Unbounded order convergence has lately been systematically studied as a generalization of almost everywhere convergence to the abstract setting of vector and Banach lattices. This paper presents a duality theory for unbounded order convergence. We define the unbounded order dual (or uo-dual) $X_{uo}^\sim$ of a Banach lattice $X$ and identify it as the order continuous part of the order continuous… ▽ More Unbounded order convergence has lately been systematically studied as a generalization of almost everywhere convergence to the abstract setting of vector and Banach lattices. This paper presents a duality theory for unbounded order convergence. We define the unbounded order dual (or uo-dual) $X_{uo}^\sim$ of a Banach lattice $X$ and identify it as the order continuous part of the order continuous dual $X_n^\sim$. The result allows us to characterize the Banach lattices that have order continuous preduals and to show that an order continuous predual is unique when it exists. Applications to the Fenchel-Moreau duality theory of convex functionals are given. The applications are of interest in the theory of risk measures in Mathematical Finance. △ Less

Submitted 15 May, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1610.08806

Smallest order closed sublattices and option spanning

Authors: Niushan Gao, Denny H. Leung

Abstract: Let $Y$ be a sublattice of a vector lattice $X$. We consider the problem of identifying the smallest order closed sublattice of $X$ containing $Y$. It is known that the analogy with topological closure fails. Let $\overline{Y}^o$ be the order closure of $Y$ consisting of all order limits of nets of elements from $Y$. Then $\overline{Y}^o$ need not be order closed. We show that in many cases the sm… ▽ More Let $Y$ be a sublattice of a vector lattice $X$. We consider the problem of identifying the smallest order closed sublattice of $X$ containing $Y$. It is known that the analogy with topological closure fails. Let $\overline{Y}^o$ be the order closure of $Y$ consisting of all order limits of nets of elements from $Y$. Then $\overline{Y}^o$ need not be order closed. We show that in many cases the smallest order closed sublattice containing $Y$ is in fact the second order closure $\overline{\overline{Y}^o}^o$. Moreover, if $X$ is a $σ$-order complete Banach lattice, then the condition that $\overline{Y}^o$ is order closed for every sublattice $Y$ characterizes order continuity of the norm of $X$. The present paper provides a general approach to a fundamental result in financial economics concerning the spanning power of options written on a financial asset. △ Less

Submitted 28 March, 2017; originally announced March 2017.

MSC Class: 46A40; 06F30; 54F05

Fatou Property, representations, and extensions of law-invariant risk measures on general Orlicz spaces

Authors: Niushan Gao, Denny H. Leung, Cosimo Munari, Foivos Xanthos

Abstract: We provide a variety of results for (quasi)convex, law-invariant functionals defined on a general Orlicz space, which extend well-known results in the setting of bounded random variables. First, we show that Delbaen's representation of convex functionals with the Fatou property, which fails in a general Orlicz space, can be always achieved under the assumption of law-invariance. Second, we identif… ▽ More We provide a variety of results for (quasi)convex, law-invariant functionals defined on a general Orlicz space, which extend well-known results in the setting of bounded random variables. First, we show that Delbaen's representation of convex functionals with the Fatou property, which fails in a general Orlicz space, can be always achieved under the assumption of law-invariance. Second, we identify the range of Orlicz spaces where the characterization of the Fatou property in terms of norm lower semicontinuity by Jouini, Schachermayer and Touzi continues to hold. Third, we extend Kusuoka's representation to a general Orlicz space. Finally, we prove a version of the extension result by Filipović and Svindland by replacing norm lower semicontinuity with the (generally non-equivalent) Fatou property. Our results have natural applications to the theory of risk measures. △ Less

Submitted 4 September, 2017; v1 submitted 20 January, 2017; originally announced January 2017.

On ordinal ranks of Baire class functions

Authors: Denny H. Leung, Hong-Wai Ng, Wee-Kee Tang

Abstract: The theory of ordinal ranks on Baire class 1 functions developed by Kechris and Loveau was recently extended by Elekes, Kiss and Vidnyánszky to Baire class $ξ$ functions for any countable ordinal $ξ\geq1$. In this paper, we answer two of the questions raised by them in their paper (Ranks on the Baire class $ξ$ functions, Trans. Amer. Math. Soc. 368(2016), 8111-8143). Specifically, we show that for… ▽ More The theory of ordinal ranks on Baire class 1 functions developed by Kechris and Loveau was recently extended by Elekes, Kiss and Vidnyánszky to Baire class $ξ$ functions for any countable ordinal $ξ\geq1$. In this paper, we answer two of the questions raised by them in their paper (Ranks on the Baire class $ξ$ functions, Trans. Amer. Math. Soc. 368(2016), 8111-8143). Specifically, we show that for any countable ordinal $ξ\geq1,$ the ranks $β_ξ^{\ast}$ and $γ_ξ^{\ast}$ are essentially equivalent, and that neither of them is essentially multiplicative. Since the rank $β$ is not essentially multiplicative, we investigate further the behavior of this rank with respect to products. We characterize the functions $f$ so that $β(fg)\leq ω^ξ$ whenever $β(g)\leqω^ξ$ for any countable ordinal $ξ.$ △ Less

Submitted 19 January, 2017; originally announced January 2017.

MSC Class: Primary 26A21; Secondary 03E15; 54H05

Closedness of convex sets in Orlicz spaces with applications to dual representation of risk measures

Authors: Niushan Gao, Denny H. Leung, Foivos Xanthos

Abstract: Let $(Φ,Ψ)$ be a conjugate pair of Orlicz functions. A set in the Orlicz space $L^Φ$ is said to be order closed if it is closed with respect to dominated convergence of sequences of functions. A well known problem arising from the theory of risk measures in financial mathematics asks whether order closedness of a convex set in $L^Φ$ characterizes closedness with respect to the topology… ▽ More Let $(Φ,Ψ)$ be a conjugate pair of Orlicz functions. A set in the Orlicz space $L^Φ$ is said to be order closed if it is closed with respect to dominated convergence of sequences of functions. A well known problem arising from the theory of risk measures in financial mathematics asks whether order closedness of a convex set in $L^Φ$ characterizes closedness with respect to the topology $σ(L^Φ,L^Ψ)$. (See [26, p.3585].) In this paper, we show that for a norm bounded convex set in $L^Φ$, order closedness and $σ(L^Φ,L^Ψ)$-closedness are indeed equivalent. In general, however, coincidence of order closedness and $σ(L^Φ,L^Ψ)$-closedness of convex sets in $L^Φ$ is equivalent to the validity of the Krein-Smulian Theorem for the topology $σ(L^Φ,L^Ψ)$; that is, a convex set is $σ(L^Φ,L^Ψ)$-closed if and only if it is closed with respect to the bounded-$σ(L^Φ,L^Ψ)$ topology. As a result, we show that order closedness and $σ(L^Φ,L^Ψ)$-closedness of convex sets in $L^Φ$ are equivalent if and only if either $Φ$ or $Ψ$ satisfies the $Δ_2$-condition. Using this, we prove the surprising result that: \emph{If (and only if) $Φ$ and $Ψ$ both fail the $Δ_2$-condition, then there exists a coherent risk measure on $L^Φ$ that has the Fatou property but fails the Fenchel-Moreau dual representation with respect to the dual pair $(L^Φ, L^Ψ)$}. A similar analysis is carried out for the dual pair of Orlicz hearts $(H^Φ,H^Ψ)$. △ Less

Submitted 7 June, 2017; v1 submitted 27 October, 2016; originally announced October 2016.

All 2-positive linear maps from M3 to M3 are decomposable

Authors: Yu Yang, Denny H. Leung, Waishing Tang

Abstract: Following an idea of Choi, we obtain a decomposition theorem for k-positive linear maps from Mm to Mn, where 2<=k<min{m,n}. As a consequence, we give an affirmative answer to Kye's conjecture (also solved independently by Choi) that every 2-positive linear map from M3 to M3 is decomposable. Following an idea of Choi, we obtain a decomposition theorem for k-positive linear maps from Mm to Mn, where 2<=k<min{m,n}. As a consequence, we give an affirmative answer to Kye's conjecture (also solved independently by Choi) that every 2-positive linear map from M3 to M3 is decomposable. △ Less

Submitted 11 March, 2016; originally announced March 2016.

Persistence of Banach lattices under nonlinear order isomorphisms

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: Ordered vector spaces E and F are said to be order isomorphic if there is a (not necessarily linear) bijection between them that preserves order. We investigate some situations under which an order isomorphism between two Banach lattices implies the persistence of some linear lattice structure. For instance, it is shown that if a Banach lattice E is order isomorphic to C(K) for some compact Hausdo… ▽ More Ordered vector spaces E and F are said to be order isomorphic if there is a (not necessarily linear) bijection between them that preserves order. We investigate some situations under which an order isomorphism between two Banach lattices implies the persistence of some linear lattice structure. For instance, it is shown that if a Banach lattice E is order isomorphic to C(K) for some compact Hausdorff space K, then E is (linearly) isomorphic to C(K) as a Banach lattice. Similar results hold for Banach lattices order isomorphic to c_0, and for Banach lattices that contain a closed sublattice order isomorphic to c_0. △ Less

Submitted 9 July, 2015; originally announced July 2015.

MSC Class: 46B42

Nonlinear order isomorphisms on function spaces

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets of $C(X)$ and $C(Y)$ respectively. We consider the general problem of characterizing the order isomorphisms (order preserving bijections) between $A(X)$ and… ▽ More Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets of $C(X)$ and $C(Y)$ respectively. We consider the general problem of characterizing the order isomorphisms (order preserving bijections) between $A(X)$ and $A(Y)$. Under some general assumptions on $A(X)$ and $A(Y)$, and when $X$ and $Y$ are compact Hausdorff, it is shown that existence of an order isomorphism between $A(X)$ and $A(Y)$ gives rise to an associated homeomorphism between $X$ and $Y$. This generalizes a classical result of Kaplansky concerning linear order isomorphisms between $C(X)$ and $C(Y)$ for compact Hausdorff $X$ and $Y$. The class of near vector lattices is introduced in order to extend the result further to noncompact spaces $X$ and $Y$. The main applications lie in the case when $X$ and $Y$ are metric spaces. Looking at spaces of uniformly continuous functions, Lipschitz functions, little Lipschitz functions, spaces of differentiable functions, and the bounded, "local" and "bounded local" versions of these spaces, characterizations of when spaces of one type can be order isomorphic to spaces of another type are obtained. △ Less

Submitted 21 August, 2014; originally announced August 2014.

MSC Class: 06F20; 46E05; 47H07; 54C30; 54F05

Ideals of operators on $(\oplus \ell^\infty(n))_{\ell^1}$

Authors: Denny H. Leung

Abstract: The unique maximal ideal in the Banach algebra $L(E)$, $E = (\oplus \ell^\infty(n))_{\ell^1}$, is identified. The proof relies on techniques developed by Laustsen, Loy and Read and a dichotomy result for operators mapping into $L^1$ due to Laustsen, Odell, Schlumprecht and Zsák. The unique maximal ideal in the Banach algebra $L(E)$, $E = (\oplus \ell^\infty(n))_{\ell^1}$, is identified. The proof relies on techniques developed by Laustsen, Loy and Read and a dichotomy result for operators mapping into $L^1$ due to Laustsen, Odell, Schlumprecht and Zsák. △ Less

Submitted 28 October, 2013; originally announced October 2013.

MSC Class: 46L10; 46H10

Order isomorphisms on function spaces

Authors: Denny H. Leung, Lei Li

Abstract: The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure, respectively, of the space $C(X)$. In this paper, it is shown that for rather general subspaces $A(X)$ and $A(Y)$ of $C(X)$ and $C(Y)$ respectively, any linear bijectio… ▽ More The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure, respectively, of the space $C(X)$. In this paper, it is shown that for rather general subspaces $A(X)$ and $A(Y)$ of $C(X)$ and $C(Y)$ respectively, any linear bijection $T: A(X) \to A(Y)$ such that $f \geq 0$ if and only if $Tf \geq 0$ gives rise to a homeomorphism $h: X \to Y$ with which $T$ can be represented as a weighted composition operator. The three classical results mentioned above can be derived as corollaries. Generalizations to noncompact spaces and other function spaces such as spaces of uniformly continuous functions, Lipschitz functions and differentiable functions are presented. △ Less

Submitted 28 October, 2013; originally announced October 2013.

MSC Class: 46E15

Compact and weakly compact disjointness preserving operators on spaces of differentiable functions

Authors: Denny H. Leung, Ya-Shu Wang

Abstract: A pair of functions defined on a set X with values in a vector space E is said to be disjoint if at least one of the functions takes the value 0 at every point in X. An operator acting between vector-valued function spaces is disjointness preserving if it maps disjoint functions to disjoint functions. We characterize compact and weakly compact disjointness preserving operators between spaces of Ba… ▽ More A pair of functions defined on a set X with values in a vector space E is said to be disjoint if at least one of the functions takes the value 0 at every point in X. An operator acting between vector-valued function spaces is disjointness preserving if it maps disjoint functions to disjoint functions. We characterize compact and weakly compact disjointness preserving operators between spaces of Banach space-valued differentiable functions. △ Less

Submitted 15 March, 2012; originally announced March 2012.

MSC Class: 46E40; 46E50; 47B33; 47B38

Biseparating maps on generalized Lipschitz spaces

Authors: Denny H. Leung

Abstract: Let $X, Y$ be complete metric spaces and $E, F$ be Banach spaces. A bijective linear operator from a space of $E$-valued functions on $X$ to a space of $F$-valued functions on $Y$ is said to be biseparating if $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. We introduce the class of generalized Lipschitz spaces, which includes as special cases the classes of Lipschitz, little… ▽ More Let $X, Y$ be complete metric spaces and $E, F$ be Banach spaces. A bijective linear operator from a space of $E$-valued functions on $X$ to a space of $F$-valued functions on $Y$ is said to be biseparating if $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. We introduce the class of generalized Lipschitz spaces, which includes as special cases the classes of Lipschitz, little Lipschitz and uniformly continuous functions. Linear biseparating maps between generalized Lipschitz spaces are characterized as weighted composition operators, i.e., of the form $Tf(y) = S_y(f(h^{-1}(y))$ for a family of vector space isomorphisms $S_y: E \to F$ and a homeomorphism $h : X\to Y$. We also investigate the continuity of $T$ and related questions. Here the functions involved (as well as the metric spaces $X$ and $Y$) may be unbounded. Also, the arguments do not require the use of compactification of the spaces $X$ and $Y$. △ Less

Submitted 1 June, 2009; originally announced June 2009.

MSC Class: 47B38

Banach-Stone Theorems for maps preserving common zeros

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: Let $X$ and $Y$ be completely regular spaces and $E$ and $F$ be Hausdorff topological vector spaces. We call a linear map $T$ from a subspace of $C(X,E)$ into $C(Y,F)$ a \emph{Banach-Stone map} if it has the form $Tf(y) = S_{y}(f(h(y))$ for a family of linear operators $S_{y} : E \to F$, $y \in Y$, and a function $h: Y \to X$. In this paper, we consider maps having the property: \cap^{k}_{i=1}… ▽ More Let $X$ and $Y$ be completely regular spaces and $E$ and $F$ be Hausdorff topological vector spaces. We call a linear map $T$ from a subspace of $C(X,E)$ into $C(Y,F)$ a \emph{Banach-Stone map} if it has the form $Tf(y) = S_{y}(f(h(y))$ for a family of linear operators $S_{y} : E \to F$, $y \in Y$, and a function $h: Y \to X$. In this paper, we consider maps having the property: \cap^{k}_{i=1}Z(f_{i}) \neq\emptyset\iff\cap^{k}_{i=1}Z(Tf_{i}) \neq \emptyset, where $Z(f) = \{f = 0\}$. We characterize linear bijections with property (Z) between spaces of continuous functions, respectively, spaces of differentiable functions (including $C^{\infty}$), as Banach-Stone maps. In particular, we confirm a conjecture of Ercan and Önal: Suppose that $X$ and $Y$ are realcompact spaces and $E$ and $F$ are Hausdorff topological vector lattices (respectively, $C^{*}$-algebras). Let $T: C(X,E) \to C(Y,F)$ be a vector lattice isomorphism (respectively, *-algebra isomorphism) such that Z(f) \neq\emptyset\iff Z(Tf) \neq\emptyset. Then $X$ is homeomorphic to $Y$ and $E$ is lattice isomorphic (respectively, $C^{*}$-isomorphic) to $F$. Some results concerning the continuity of $T$ are also obtained. △ Less

Submitted 1 June, 2009; originally announced June 2009.

MSC Class: 47B38

Semilattice Structures of Spreading Models

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: Given a Banach space X, denote by SP_{w}(X) the set of equivalence classes of spreading models of X generated by normalized weakly null sequences in X. It is known that SP_{w}(X) is a semilattice, i.e., it is a partially ordered set in which every pair of elements has a least upper bound. We show that every countable semilattice that does not contain an infinite increasing sequence is order isom… ▽ More Given a Banach space X, denote by SP_{w}(X) the set of equivalence classes of spreading models of X generated by normalized weakly null sequences in X. It is known that SP_{w}(X) is a semilattice, i.e., it is a partially ordered set in which every pair of elements has a least upper bound. We show that every countable semilattice that does not contain an infinite increasing sequence is order isomorphic to SP_{w}(X) for some separable Banach space X. △ Less

Submitted 23 August, 2007; originally announced August 2007.

MSC Class: 46B20; 46B15

Cross-validation in nonparametric regression with outliers

Authors: Denis Heng-Yan Leung

Abstract: A popular data-driven method for choosing the bandwidth in standard kernel regression is cross-validation. Even when there are outliers in the data, robust kernel regression can be used to estimate the unknown regression curve [Robust and Nonlinear Time Series Analysis. Lecture Notes in Statist. (1984) 26 163--184]. However, under these circumstances standard cross-validation is no longer a sati… ▽ More A popular data-driven method for choosing the bandwidth in standard kernel regression is cross-validation. Even when there are outliers in the data, robust kernel regression can be used to estimate the unknown regression curve [Robust and Nonlinear Time Series Analysis. Lecture Notes in Statist. (1984) 26 163--184]. However, under these circumstances standard cross-validation is no longer a satisfactory bandwidth selector because it is unduly influenced by extreme prediction errors caused by the existence of these outliers. A more robust method proposed here is a cross-validation method that discounts the extreme prediction errors. In large samples the robust method chooses consistent bandwidths, and the consistency of the method is practically independent of the form in which extreme prediction errors are discounted. Additionally, evaluation of the method's finite sample behavior in a simulation demonstrates that the proposed method performs favorably. This method can also be applied to other problems, for example, model selection, that require cross-validation. △ Less

Submitted 14 February, 2006; originally announced February 2006.

Comments: Published at http://dx.doi.org/10.1214/009053605000000499 in the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS0053 MSC Class: 62G08 (Primary) 62F35; 62F40 (Secondary)

Journal ref: Annals of Statistics 2005, Vol. 33, No. 5, 2291-2310

More Mixed Tsirelson Spaces That Are Not Isomorphic To Their Modified Versions

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: The class of mixed Tsirelson spaces is an important source of examples in the recent development of the structure theory of Banach spaces. The related class of modified mixed Tsirelson spaces has also been well studied. In the present paper, we investigate the problem of comparing isomorphically the mixed Tsirelson space T[(S_n,θ_{n})_{n=1}^{\infty}] and its modified version T_{M}[(S_{n},θ_{n})_… ▽ More The class of mixed Tsirelson spaces is an important source of examples in the recent development of the structure theory of Banach spaces. The related class of modified mixed Tsirelson spaces has also been well studied. In the present paper, we investigate the problem of comparing isomorphically the mixed Tsirelson space T[(S_n,θ_{n})_{n=1}^{\infty}] and its modified version T_{M}[(S_{n},θ_{n})_{n=1}^{\infty}]. It is shown that these spaces are not isomorphic for a large class of parameters (θ_{n}). △ Less

Submitted 23 January, 2006; originally announced January 2006.

MSC Class: 46B20; 46B45

Extension of Functions with Small Oscillation

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: A classical theorem of Kuratowski says that every Baire one function on a G_δsubspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer gradation of Baire one functions into small Baire classes. A Baire one function f is assigned into a class in this heirarchy depending on its oscillation index β(f). We pr… ▽ More A classical theorem of Kuratowski says that every Baire one function on a G_δsubspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer gradation of Baire one functions into small Baire classes. A Baire one function f is assigned into a class in this heirarchy depending on its oscillation index β(f). We prove a refinement of Kuratowski's theorem: if Y is a subspace of a metric space X and f is a real-valued function on Y such that β_{Y}(f)<ω^α, α< ω_1, then f has an extension F onto X so that β_X(F)is not more than ω^α. We also show that if f is a continuous real valued function on Y, then f has an extension F onto X so that β_{X}(F)is not more than 3. An example is constructed to show that this result is optimal. △ Less

Submitted 10 May, 2005; originally announced May 2005.

MSC Class: 26A21; 03E15; 54C30

\ell^1-spreading models in subspaces of mixed Tsirelson spaces

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: We investigate the existence of higher order \ell^1-spreading models in subspaces of mixed Tsirelson spaces. For instance, we show that the following conditions are equivalent for the mixed Tsirelson space X=T[(θ_n,S_n)_{n=1}^{\infty}] (1)Every block subspace of $X$ contains an \ell^1-S_ω-spreading model, (2)The Bourgain \ell^1-index I_b(Y) = I(Y) > ω^ω for any block subspace Y of X, (3)\l… ▽ More We investigate the existence of higher order \ell^1-spreading models in subspaces of mixed Tsirelson spaces. For instance, we show that the following conditions are equivalent for the mixed Tsirelson space X=T[(θ_n,S_n)_{n=1}^{\infty}] (1)Every block subspace of $X$ contains an \ell^1-S_ω-spreading model, (2)The Bourgain \ell^1-index I_b(Y) = I(Y) > ω^ω for any block subspace Y of X, (3)\lim_m\limsup_nθ_{m+n}/θ_n > 0 and every block subspace Y of X contains a block sequence equivalent to a subsequence of the unit vector basis of X. Moreover, if one (and hence all) of these conditions holds, then X is arbitrarily distortable. △ Less

Submitted 7 June, 2003; originally announced June 2003.

MSC Class: 46B

\ell ^1-spreading models in mixed Tsirelson space

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: Suppose that (F_n)_{n=1}^{\infty} is a sequence of regular families of finite subsets of N and (θ_n)_{n=1}^{\infty} is a nonincreasing null sequence in (0,1). The mixed Tsirelson space T[(θ_{n}, F_n)_{n=1}^{\infty}] is the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_0}, sup_n sup θ_n \sum_{i=1}^{j}||E_{i}x||}, where the last supremum is taken over all… ▽ More Suppose that (F_n)_{n=1}^{\infty} is a sequence of regular families of finite subsets of N and (θ_n)_{n=1}^{\infty} is a nonincreasing null sequence in (0,1). The mixed Tsirelson space T[(θ_{n}, F_n)_{n=1}^{\infty}] is the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_0}, sup_n sup θ_n \sum_{i=1}^{j}||E_{i}x||}, where the last supremum is taken over all finite subsets E_{1},...,E_{j} of N such that E_1 < >... <E_j and {min E_1,...,min E_j} \in F_n. Necessary and sufficient conditions are obtained for the existence of higher order \ell ^1-spreading models in every subspace generated by a subsequence of the unit vector basis of T[(θ_{n}, F_n)_{n=1}^{\infty}. △ Less

Submitted 29 March, 2003; originally announced March 2003.

MSC Class: 46B

The Bourgain ell ^1-index of mixed Tsirelson space

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: Suppose that (F_n)_{n=0}^{\infty} is a sequence of regular families of finite subsets of N such that F_0 contains all singletons, and (θ_n)_{n=1}^{\infty} is a nonincreasing null sequence in (0,1). In this paper, we compute the Bourgain \ell^1 - index of the mixed Tsirelson space T(F_0,(θ_n, F_n)_{n=1}^{\infty}). As a consequence, it is shown that if ηis a countable ordinal not of the form ω^ξfo… ▽ More Suppose that (F_n)_{n=0}^{\infty} is a sequence of regular families of finite subsets of N such that F_0 contains all singletons, and (θ_n)_{n=1}^{\infty} is a nonincreasing null sequence in (0,1). In this paper, we compute the Bourgain \ell^1 - index of the mixed Tsirelson space T(F_0,(θ_n, F_n)_{n=1}^{\infty}). As a consequence, it is shown that if ηis a countable ordinal not of the form ω^ξfor some limit ordinal ξ, then there is a Banach space whose \ell^1-index is ω^η. This answers a question of Judd and Odell. △ Less

Submitted 15 October, 2001; originally announced October 2001.

Comments: 25 pages

MSC Class: 46B

The $\ell ^{1}$-index of Tsirelson type spaces

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: If αand βare countable ordinals such that β\neq 0, denote by \tilde{T}_{α,β} the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_{0}}, 1/2 sup \sum_{i=1}^{j}||E_{i}x||}, where the supremum is taken over all finite subsets E_{1},...,E_{j} of $\mathbb{N}$ such that $E_{1}<...<E_{j}$ and {min E_{1},...,min E_{j}} \in S_β. It is shown that the Bourgain… ▽ More If αand βare countable ordinals such that β\neq 0, denote by \tilde{T}_{α,β} the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_{0}}, 1/2 sup \sum_{i=1}^{j}||E_{i}x||}, where the supremum is taken over all finite subsets E_{1},...,E_{j} of $\mathbb{N}$ such that $E_{1}<...<E_{j}$ and {min E_{1},...,min E_{j}} \in S_β. It is shown that the Bourgain $\ell^{1}$-index of \tilde{T}_{α,β} is ω^{α+β.ω}. In particular, if α=ω^{α_{1}}. m_{1}+...+ω^{α_{n}}. m_{n} in Cantor normal form and α_{n} is not a limit ordinal, then there exists a Banach space whose \ell^{1}-index is ω^α. △ Less

Submitted 22 February, 2001; originally announced February 2001.

Functions of Baire class one

Authors: Denny H. Leung, Wee-Kee Tang

Abstract: Let $K$ be a compact metric space. A real-valued function on $K$ is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. In this paper, we study two well known ordinal indices of Baire-1 functions, the oscillation index $β$ and the convergence index $γ$. It is shown that these two indices are fully compatible in the following sense : a Baire… ▽ More Let $K$ be a compact metric space. A real-valued function on $K$ is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. In this paper, we study two well known ordinal indices of Baire-1 functions, the oscillation index $β$ and the convergence index $γ$. It is shown that these two indices are fully compatible in the following sense : a Baire-1 function $f$ satisfies $β(f) \leq ω^{ξ_1} \cdot ω^{ξ_2}$ for some countable ordinals $ξ_1$ and $ξ_2$ if and only if there exists a sequence of Baire-1 functions $(f_n)$ converging to $f$ pointwise such that $\sup_nβ(f_n) \leq ω^{ξ_1}$ and $γ((f_n)) \leq ω^{ξ_2}$. We also obtain an extension result for Baire-1 functions analogous to the Tietze Extension Theorem. Finally, it is shown that if $β(f) \leq ω^{ξ_1}$ and $β(g) \leq ω^{ξ_2},$ then $β(fg) \leq ω^ξ,$ where $ξ=\max\{ξ_1+ξ_2, ξ_2+ξ_1}\}.$ These results do not assume the boundedness of the functions involved. △ Less

Submitted 2 May, 2000; originally announced May 2000.

MSC Class: 26A21; 03E15; 54C30

An asymptotic property of Schachermayer's space under renorming

Authors: Denka Kutzarova, Denny H. Leung

Abstract: A Banach space X with closed unit ball B is said to have property 2-beta, repsectively 2-NUC if for every \ep > 0, there exists δ> 0 such that for every \ep-separated sequence (x_n) in the unit ball B, and every x in B, there are distinct indices m and n such that ||x + x_m + x_n|| < 3(1 - δ), respectively, ||x_m + x_n|| < 2(1 - δ). It is shown that a Banach space constructed by Schachermayer ha… ▽ More A Banach space X with closed unit ball B is said to have property 2-beta, repsectively 2-NUC if for every \ep > 0, there exists δ> 0 such that for every \ep-separated sequence (x_n) in the unit ball B, and every x in B, there are distinct indices m and n such that ||x + x_m + x_n|| < 3(1 - δ), respectively, ||x_m + x_n|| < 2(1 - δ). It is shown that a Banach space constructed by Schachermayer has property 2-beta but cannot be renormed to have property 2-NUC. △ Less

Submitted 6 November, 1999; originally announced November 1999.

MSC Class: 46B03; 46B20

On the complemented subspaces of the Schreier spaces

Authors: I. Gasparis, D. H. Leung

Abstract: It is shown that the Schreier space X admits a set of continuum cardinality whose elements are mutually incomparable complemented subspaces spanned by subsequences of the natural Schauder basis of X. It is shown that the Schreier space X admits a set of continuum cardinality whose elements are mutually incomparable complemented subspaces spanned by subsequences of the natural Schauder basis of X. △ Less

Submitted 2 November, 1999; originally announced November 1999.

Comments: 26 pages, AMS-LaTeX

MSC Class: 46B03

The normed and Banach envelopes of Weak L^1

Authors: Denny H. Leung

Abstract: The space Weak L^1 consists of all measurable functions on [0,1] such that q(f) = sup_{c>0} c λ{t : |f(t)| > c} is finite, where λdenotes Lebesgue measure. Let ρbe the gauge functional of the unit ball {f : q(f) \leq 1} of the quasi- norm q, and let N be the null space of ρ. The normed envelope of Weak L^1, which we denote by W, is the space (Weak L^1/N, ρ). The Banach envelope of Weak L^1,… ▽ More The space Weak L^1 consists of all measurable functions on [0,1] such that q(f) = sup_{c>0} c λ{t : |f(t)| > c} is finite, where λdenotes Lebesgue measure. Let ρbe the gauge functional of the unit ball {f : q(f) \leq 1} of the quasi- norm q, and let N be the null space of ρ. The normed envelope of Weak L^1, which we denote by W, is the space (Weak L^1/N, ρ). The Banach envelope of Weak L^1, \overline{W}, is the completion of W. We show that \overline{W} is isometrically lattice isomorphic to a sublattice of W. It is also shown that all rearrangement invariant Banach function spaces are isometrically isomorphic to a sublattice of W. △ Less

Submitted 2 June, 1998; originally announced June 1998.

MSC Class: 46E30; 46B42; 46B40

Compact subsets of $\Ps(\N)$ with applications to the embedding of symmetric sequence spaces into $C(α)$

Authors: Denny H. Leung

Abstract: Let $\Ps(\N)$ be the set of all finite subsets of $\N$, endowed with the product topology. A description of the compact subsets of $\Ps(\N)$ is given. Two applications of this result to Banach space theory are shown : (1) a characterization of the symmetric sequence spaces which embed into $C(\om^\om)$, and (2) a characterization, in terms of the Orlicz function $M$, of the Orlicz sequence space… ▽ More Let $\Ps(\N)$ be the set of all finite subsets of $\N$, endowed with the product topology. A description of the compact subsets of $\Ps(\N)$ is given. Two applications of this result to Banach space theory are shown : (1) a characterization of the symmetric sequence spaces which embed into $C(\om^\om)$, and (2) a characterization, in terms of the Orlicz function $M$, of the Orlicz sequence spaces $h_M$ which embed into $C(K)$ for some countable compact Hausdorff space $K$. △ Less

Submitted 6 October, 1996; originally announced October 1996.

Report number: Banach Archive 10/7/96 MSC Class: 03E10; 46B03; 54G12

Purely non-atomic weak L^p spaces

Authors: Denny H. Leung

Abstract: Let $\msp$ be a purely non-atomic measure space, and let $1 < p < \infty$. If $\weakLp\msp$ is isomorphic, as a Banach space, to $\weakLp\mspp$ for some purely atomic measure space $\mspp$, then there is a measurable partition $Ω= Ω_1\cupΩ_2$ such that $(Ω_1,Σ\capΩ_1,μ_{|Σ\capΩ_1})$ is countably generated and $σ$-finite, and that $μ(σ) = 0$ or $\infty$ for every measurable $σ\subseteq Ω_2$. In p… ▽ More Let $\msp$ be a purely non-atomic measure space, and let $1 < p < \infty$. If $\weakLp\msp$ is isomorphic, as a Banach space, to $\weakLp\mspp$ for some purely atomic measure space $\mspp$, then there is a measurable partition $Ω= Ω_1\cupΩ_2$ such that $(Ω_1,Σ\capΩ_1,μ_{|Σ\capΩ_1})$ is countably generated and $σ$-finite, and that $μ(σ) = 0$ or $\infty$ for every measurable $σ\subseteq Ω_2$. In particular, $\weakLp\msp$ is isomorphic to $\ell^{p,\infty}$. △ Less

Submitted 11 July, 1996; originally announced July 1996.

Report number: Banach Archive 7/12/96 MSC Class: 46B03; 46E30

Property $\text{(u)}$ in $JH\tilde{\otimes}_εJH$

Authors: Denny H. Leung

Abstract: It is shown that the tensor product $JH\epten JH$ fails Pełczńyski's property (u). The proof uses a result of Kwapień and Pełczńyski on the main triangle projection in matrix spaces. It is shown that the tensor product $JH\epten JH$ fails Pełczńyski's property (u). The proof uses a result of Kwapień and Pełczńyski on the main triangle projection in matrix spaces. △ Less

Submitted 12 March, 1996; originally announced March 1996.

Report number: Banach Archive 3/13/96 MSC Class: 46B

Isomorphic classification of atomic weak L^p spaces

Authors: Denny H. Leung

Abstract: Let $\msp$ be a measure space and let $1 < p < \infty$. The {\em weak $L^p$}\/ space $\wlp$ consists of all measurable functions $f$ such that \[ \|f\| = \sup_{t>0}t^{\frac{1}{p}}f^*(t) < \infty,\] where $f^*$ is the decreasing rearrangement of $|f|$. It is a Banach space under a norm which is equivalent to the expression above. In this paper, we pursue the problem of classifying weak $L^p$… ▽ More Let $\msp$ be a measure space and let $1 < p < \infty$. The {\em weak $L^p$}\/ space $\wlp$ consists of all measurable functions $f$ such that \[ \|f\| = \sup_{t>0}t^{\frac{1}{p}}f^*(t) < \infty,\] where $f^*$ is the decreasing rearrangement of $|f|$. It is a Banach space under a norm which is equivalent to the expression above. In this paper, we pursue the problem of classifying weak $L^p$ spaces isomorphically when $\msp$ is purely atomic. It is also shown that if $\msp$ is a countably generated $σ$-finite measure space, then $\wlp$ (if infinite dimensional) must be isomorphic to either $\ell^\infty$ or $\seq$. The results of this article were presented at the conference in Columbia, Missouri in May, 1994. △ Less

Submitted 24 August, 1994; originally announced August 1994.

Report number: Banach Archive 8/24/94 MSC Class: 46B

Embedding Orlicz Sequence Spaces into $C(α)$

Authors: Denny H. Leung

Abstract: Let $M$ be a non-degenerate Orlicz function such that there exist $\ep > 0$ and $0 < s < 1$ with $\su M(\ep s^i)/M(s^i) < \infty$. It is shown that the Orlicz sequence space $h_M$ is isomorphic to a subspace of $C(\om^\om)$. It is also shown that for any non-degenerate Orlicz function $M$, $h_M$ does not embed into $C(\al)$ for any $\al < \om^\om$. Let $M$ be a non-degenerate Orlicz function such that there exist $\ep > 0$ and $0 < s < 1$ with $\su M(\ep s^i)/M(s^i) < \infty$. It is shown that the Orlicz sequence space $h_M$ is isomorphic to a subspace of $C(\om^\om)$. It is also shown that for any non-degenerate Orlicz function $M$, $h_M$ does not embed into $C(\al)$ for any $\al < \om^\om$. △ Less

Submitted 11 February, 1994; originally announced February 1994.

Report number: Banach Archive 2/11/94 MSC Class: 46B

Some stability properties of $c_0$-saturated spaces

Authors: Denny H. Leung

Abstract: A Banach space is $c_0$-saturated if all of its closed infinite dimensional subspaces contain an isomorph of $c_0$. In this article, we study the stability of this property under the formation of direct sums and tensor products. Some of the results are: (1) a slightly more general version of the fact that $c_0$-sums of $c_0$-saturated spaces are $c_0$-saturated; (2) $C(K,E)$ is $c_0$-saturated i… ▽ More A Banach space is $c_0$-saturated if all of its closed infinite dimensional subspaces contain an isomorph of $c_0$. In this article, we study the stability of this property under the formation of direct sums and tensor products. Some of the results are: (1) a slightly more general version of the fact that $c_0$-sums of $c_0$-saturated spaces are $c_0$-saturated; (2) $C(K,E)$ is $c_0$-saturated if both $C(K)$ and $E$ are; (3) the tensor product $JH\tilde{\otimes}_εJH$ is $c_0$-saturated, where $JH$ is the James Hagler space. △ Less

Submitted 21 June, 1993; originally announced June 1993.

Report number: Banach Archive 6/21/93 MSC Class: 46B

Some isomorphically polyhedral Orlicz sequence spaces

Authors: Denny H. Leung

Abstract: A Banach space is polyhedral if the unit ball of each of its finite dimensional subspaces is a polyhedron. It is known that a polyhedral Banach space has a separable dual and is $c_0$-saturated, i.e., each closed infinite dimensional subspace contains an isomorph of $c_0$. In this paper, we show that the Orlicz sequence space $h_M$ is isomorphic to a polyhedral Banach space if… ▽ More A Banach space is polyhedral if the unit ball of each of its finite dimensional subspaces is a polyhedron. It is known that a polyhedral Banach space has a separable dual and is $c_0$-saturated, i.e., each closed infinite dimensional subspace contains an isomorph of $c_0$. In this paper, we show that the Orlicz sequence space $h_M$ is isomorphic to a polyhedral Banach space if $\lim_{t\to 0}M(Kt)/M(t) = \infty$ for some $K < \infty$. We also construct an Orlicz sequence space $h_M$ which is $c_0$-saturated, but which is not isomorphic to any polyhedral Banach space. This shows that being $c_0$-saturated and having a separable dual are not sufficient for a Banach space to be isomorphic to a polyhedral Banach space. △ Less

Submitted 1 April, 1993; originally announced April 1993.

Report number: Banach Archive 4/1/93 MSC Class: 46B

On $c_0$-saturated Banach spaces

Authors: Denny H. Leung

Abstract: A Banach space E is c_0-saturated if every closed infinite dimensional subspace of E contains an isomorph of c_0. A c_0-saturated Banach space with an unconditional basis which has a quotient space isomorphic to l^2 is constructed. A Banach space E is c_0-saturated if every closed infinite dimensional subspace of E contains an isomorph of c_0. A c_0-saturated Banach space with an unconditional basis which has a quotient space isomorphic to l^2 is constructed. △ Less

Submitted 7 May, 1992; originally announced May 1992.

Report number: Banach Archive 5/7/92

Isomorphisms of certain weak L^p spaces

Authors: Denny H. Leung

Abstract: It is shown that the weak $L^p$ spaces $\ell^{p,\infty}, L^{p,\infty}[0,1]$, and $L^{p,\infty}[0,\infty)$ are isomorphic as Banach spaces. It is shown that the weak $L^p$ spaces $\ell^{p,\infty}, L^{p,\infty}[0,1]$, and $L^{p,\infty}[0,\infty)$ are isomorphic as Banach spaces. △ Less

Submitted 14 January, 1992; originally announced January 1992.

Report number: Banach Archive 1/14/92 MSC Class: 46E

Banach spaces with Property (w)

Authors: Denny H. Leung

Abstract: A Banach space E is said to have Property (w) if every (bounded linear) operator from E into E' is weakly compact. We give some interesting examples of James type Banach spaces with Property (w). We also consider the passing of Property (w) from E to C(K,E). A Banach space E is said to have Property (w) if every (bounded linear) operator from E into E' is weakly compact. We give some interesting examples of James type Banach spaces with Property (w). We also consider the passing of Property (w) from E to C(K,E). △ Less

Submitted 24 July, 1991; originally announced January 1992.

Report number: Banach Archive 7/24/91