Related papers: Definability under duality

Using the natural duality between linear functionals on tensor products of C*-algebras with the trace class operators on a Hilbert space H and linear maps of the C*-algebra into B(H), we give two characterizations of separability, one…

We prove that there exist weakly countably determined spaces of complexity higher than coanalytic. On the other hand, we also show that coanalytic sets can be characterized by the existence of a cofinal adequate family of closed sets.…

It is proved that for every compact metric space $K$ there exists a Banach space $X$ whose Calkin algebra $\mathcal{L}(X)/\mathcal{K}(X)$ is homomorphically isometric to $C(K)$. This is achieved by appropriately modifying the…

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…

Solutions of some partial differential equations are obtained as critical points of a real funtional. Then the Banach space where this functional is defined has to be real, otherwise, it is not differentiable. It follows that the equation…

We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties.…

Let n>2 and X be a Banach space of dimension strictly greater than n. We show there exists a directionally porous set P in X for which the set of C^1 surfaces of dimension n meeting P in positive measure is not meager. If X is separable…

A separable Banach space X contains $\ell_1$ isomorphically if and only if X has a bounded wc_0^*-stable biorthogonal system. The dual of a separable Banach space X fails the Schur property if and only if X has a bounded wc_0^*-biorthogonal…

We study presentations of $C^*(X)$ that are evaluative over a presentation of $X$ in that $(f,p) \mapsto f(p)$ is computable. We prove existence-uniqueness theorems for such presentations. We use our methods to prove an effective…

A Banach space contains either a minimal subspace or a continuum of incomparable subspaces. General structure results for analytic equivalence relations are applied in the context of Banach spaces to show that if $E_0$ does not reduce to…

A topological space is said to be sequential if every sequentially closed subspace is closed. We consider Banach spaces with weak*-sequential dual ball. In particular, we show that if $X$ is a Banach space with weak*-sequentially compact…

the main goal of this paper is to prove that any Banach space X, that every dual ball in X** is weak* -separable, or every weak* -closed convex subset in X** is weak* -separable, or every norm-closed convex set in X* is constructible,…

We formalize the observation that the same summability methods converge in a Banach space $X$ and its dual $X^*$. At the same time we determine conditions under which these methods converge in the weak and weak*-topologies on $X$ and $X^*$…

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…

We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: (a) groups of germs…

Given a Banach space. We show that its three times dual space can be written as a direct sum. Then being one of the sumands null is a necessary and sufficient condition for the dual space to be reflexive. We end with an application of this…

We define a class of L-convex-concave subsets of $\Bbb{R}P^n$, where L is a projective subspace of dimension l in $\Bbb{R}P^n$. These are sets whose sections by any (l+1)-dimensional space L' containing L are convex and concavely depend on…

The purpose of this paper is to define semi- and subanalytic subsets and maps in the context of real analytic orbifolds and to study their basic properties. We prove results analogous to some well-known results in the manifold case. For…

Let $M$ be a T-motive. We introduce the notion of duality for $M$. Main results of the paper (we consider uniformizable $M$ over $F_q[T]$ of rank $r$, dimension $n$, whose nilpotent operator $N$ is 0): 1. Algebraic duality implies analytic…

It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…