arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0706.0574

Norm and Numerical Peak Holomorphic Functions on Banach Spaces

Sung Guen Kim·Han Ju Lee
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce the notion of numerical (strong) peak function and investigate the denseness of the norm and numerical peak functions on complex Banach spaces. Let $A_b(B_X:X)$ be the Banach space of all bounded continuous functions $f$ on the unit ball $B_X$ of a Banach space $X$ and their restrictions $f|_{B_X^\circ}$ to the open unit ball are holomorphic. In finite dimensional spaces, we show that the intersection of the set of all norm peak functions and the set of all numerical peak functions is a dense $G_δ$ subset of $A_b(B_X:X)$. We also prove that if $X$ is a smooth Banach space with the Radon-Nikodým property, then the set of all numerical strong peak functions is dense in $A_b(B_X:X)$. In particular, when $X=L_p(μ)$ $(1<p<\infty)$ or $X=\ell_1$, it is shown that the intersection of the set of all norm strong peak functions and the set of all numerical strong peak functions is a dense $G_δ$ subset of $A_b(B_X:X)$. In the meanwhile, we study the properties of the numerical radius of an holomorphic function and the numerical index of subspaces of $A_b(B_X:X)$. As an application, the existence and properties of numerical boundary of $A_b(B_X:X)$ are studied. Finally, the numerical peak function in $A_b(B_X:X)$ is characterized when $X=\ell_\infty^n$ and some negative results on the denseness of numerical (strong) peak holomorphic functions are given.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sung Guen Kim, Han Ju Lee. 2007-06-05. Norm and Numerical Peak Holomorphic Functions on Banach Spaces. https://arxiv.org/abs/0706.0574

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Geometric conditions which imply $w^*$-normal structure

Let $X$ be a complex Banach space. In their seminal work, Lau and Mah (\cite{LM}) study a geometric property called Lim's condition which, for separable $X$, implies that for any non-empty $w^*$-compact convex set $K \subset X^*$, any nonexpansive mapping $T: K \rightarrow K$ has a fixed point. In this paper, we study a weaker form of Lim's condition, which we call weak-Lim's condition. We prove that if $\ell_1 \not\hookrightarrow X$, then weak-Lim's condition on $X^*$ implies the fixed point property for non-expansive maps on weakly compact subsets of $X$. In the case of a commutative $C^\ast$-algebra, we prove that weak-Lim's condition is equivalent to Lim's condition. We show that Lim's condition characterizes $C^*$-algebras which are a $c_0$-direct sum of finite-dimensional operator spaces, while weak-Lim's condition characterizes $C^*$-algebras which are a $c_0$-direct sum of the spaces of compact operators on Hilbert spaces. For a uniform algebra, we extend a result of Lau and Mah to show that weak-Lim's condition implies that the space is finite-dimensional. In the case of an $L^1$-predual space, we show that this condition implies $k$-smoothness of the norm in the sense considered in \cite{LR}.

math.FA↗
arXiv2026

Classification of bipartite observables I: stable and uniformly stable observables

This is the first of a series of three papers that bring model theory to quantum information. The dividing lines of Shelah's classification theory, which separate the tame first-order theories from the wild ones, become properties of bipartite observables: properties of the expectation values obtained when two independently prepared quantum systems are idealized one after the other. In this paper we focus on stability. An observable is stable when the order in which the two systems are idealized never changes its expectation value, and this is Shelah's stability. Its classical characterizations, in model theory and in analysis, acquire a physical meaning: idealized preparations are simulated by finite mixtures of actual ones, and adaptive probes can tell apart only polynomially many preparations.

math.FA↗
arXiv2026

Completely symmetric subspaces of noncommutative $L_p$-spaces

Let $2<p<\infty$. We prove that every infinite-dimensional closed subspace $F$ of a noncommutative $L_p$-space contains a subspace completely isomorphic to $\ell_p$, $C_p$, $R_p$, or $C_p\cap R_p$ and completely complemented in $F$. This answers the question of Junge and Xu on the existence of completely symmetric basic sequences.

math.FA↗