Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
2 votes
0 answers
47 views

Norm density of evaluation functionals in the space of weak$^*$ continuous multilinear functionals on products of dual Banach spaces

Let $K$ be a compact (metrizable) space and let $C(K)$ be the Banach space of continuous real-valued functions on $K$, equipped with the supremum norm. It is then well known that the dual space $C(K)^*...
kiliroy's user avatar
  • 56
4 votes
1 answer
165 views

Dual spaces of Banach-valued $L^{p}$-spaces

Let $(\Omega,\mathcal{F},\mu)$ be a measure space (say complete and $\sigma$-finite, for simplicity). Furthermore, let $(X,\Vert\cdot\Vert_{X})$ be an arbitrary Banach space. I denote by $(L^{p}(\...
G. Blaickner's user avatar
  • 1,429
5 votes
1 answer
177 views

Complemented subspaces of a dual Banach space

Let $\kappa$ be an infinite cardinal number and by $\mathcal{B}(\kappa)$ denote the class of all Banach spaces of density $\kappa$. My question reads as follows: Does there exist $\kappa$ for which ...
Damian Sobota's user avatar
8 votes
1 answer
1k views

Compactness of the unit ball of a Banach space for topologies finer than the weak* topology

Let $(\mathcal{X} , \|\cdot \|_\mathcal{X})$ be a Banach space and $\mathcal{X}'$ its topological dual. We denote by $\| \cdot \|_{\mathcal{X}'}$ the dual norm and define also the topological dual $\...
Goulifet's user avatar
  • 2,306
3 votes
0 answers
153 views

Weak*-separability of the unit ball of $X’$ and density characters and cardinalities of $X$ and $X’$

(This question has also been asked on Math StackExchange.) Let $X$ be a Banach space, $X’$ be its continuous dual such that its unit ball is weak*-separable. I’ve been wondering what can be said about ...
David Gao's user avatar
  • 2,840
1 vote
1 answer
1k views

Does weak-* convergence in $W^{1,\infty}$ imply weak-* convergence in $L^\infty$?

Let $\Omega \subset \mathbb{R}^n$ be open and bounded. What does weak-* convergence for a sequence of functions $\{f_k\}_{k \in \mathbb{N}}$ in $W^{1,\infty}(\Omega)$ mean? It seems to me that there ...
vampip's user avatar
  • 13
3 votes
1 answer
292 views

Riesz representation theorem for duals of spaces of continuously differentiable functions

Let $k$ be a positive integer. I am looking for a possibly exhaustive reference discussing representation of dual spaces of $C^k_b(\mathbb{R}^d)$, $C^k_0(\mathbb{R}^d)$, or at least $C^k(K)$ for ...
ajr's user avatar
  • 171
7 votes
2 answers
276 views

Completeness of coefficient functionnals

My questions is about Schauder bases and more specifically about coefficient functionals. Let $(x_n)$ be a Schauder basis of a Banach space $X$. Thus for all $x$ in $X$, $x = \sum f_n(x) x_n$. The $...
jvc's user avatar
  • 203
4 votes
2 answers
1k views

If the closed unit ball of Banach space has at least one extreme point, must the Banach space the be a dual space?

Let $X$ be a Banach space. By Banach-Alaoglu and Krein-Milman Theorems, one can show that if $X$ is a dual space, then $X$ must have at least one extreme point of the closed unit ball. I am ...
Idonknow's user avatar
  • 623
3 votes
0 answers
61 views

Dual space of Carleman functions

Let $X$ be the space of all weakly measurable functions $\gamma:\mathbb{R}^n \to L^2(\mathbb{R}^n)$ (modulo functions that are 0 almost everywhere) for which $$\|\gamma\|_X^2 := \sup_{\|g\|_{L^2}=1} \...
Janik's user avatar
  • 141
6 votes
1 answer
720 views

If $X$ is separable space then $X^∗$ is separable in all topologies $\tau$ such that $(X^∗,\tau)^∗ =X$?

Let $(X,\|.\|_{X})$ be a separable Banach space and the associated dual space is denoted by $X^*$. By $w^*$ we shall indicate the weak$-*$ topology on $X^*$. Let $B_{X^∗}= \{x^∗ \in X^∗ : \|x^∗\|_{X^∗...
kaka Hae's user avatar
  • 117
12 votes
3 answers
566 views

Description of $\big(\ell^\infty(\mathbb N)\big)^{\!*}$ via ultrafilters

Let $\beta\mathbb N$ is the set of ultrafilters on $\mathbb N$ and $\mathscr F\in\beta\mathbb N$. Assume that $l_{\mathscr F}\in\big(\ell^\infty(\mathbb N)\big)^{\!*}$ is the functional which assigns ...
smyrlis's user avatar
  • 2,933
0 votes
1 answer
81 views

If $\tau_1\subset \tau_2$ and $X^*$ is separable for $\tau_1$ then $X^*$ is separable for $\tau_2$?

Let $X$ be a Banach space the associated dual space is denoted by $X^*$. Take $\tau_1$ and $\tau_2$ two topologies in $X^*$ compatible with the duality $(X^*,X)$, such that $\tau_1\subset \tau_2$. ...
Karim KHAN's user avatar
2 votes
0 answers
43 views

Weak relaxation of a strongly lower semi-continuous functional

Let $F$ be a lower semicontinuous functional on a Banach space $X$, wrt its strong topology. Is there a known form for the relaxation (lower semicontinuous envelope) of $F$ with respect to the weak ...
ABIM's user avatar
  • 5,405
5 votes
0 answers
346 views

Weak to weak$^*$ continuity of the duality mapping

Let $X$ be a uniformly convex and uniformly smooth Banach space. We consider the duality mapping $J_p^X$ defined as the sub-gradient $\partial (\frac1p\|\cdot\|^p)$. Is there a characterisation of the ...
Christian's user avatar
  • 799
2 votes
1 answer
703 views

Duality of Bochner $L^{\infty}$ space

Let's have a look to the unit interval $[0,1]$ and a Banach space $X$ and then to the space $$ E:=L^{\infty}([0,1],X), $$ i.e. all essentially bounded Banach-valued functions $f:[0,1]\rightarrow X$. ...
Miguel Chapman's user avatar
0 votes
0 answers
59 views

Nests on Banach spaces and their duals

Let $X$ be a Banach space and $\mathcal{E}$ a nest on $X$. Take $f\in X^{*}$ and suppose: $N \in\mathcal{E}$ is the largest element of the nest so that $f \in N^\bot$ $N=\bigcap_{M>N}M$ Is there ...
Ana Alexandra Reis's user avatar
6 votes
1 answer
854 views

Dual of Banach-valued $L^p$ [duplicate]

Let $X$ be an infinite-dimensional Banach space and let $p\in(1,+\infty)$. We may define $L^p(\mathbb R;X)$. Is it always true that the topological dual of $L^p(\mathbb R;X)$ is $L^{p'}(\mathbb R;X^*)...
Bazin's user avatar
  • 16.2k
4 votes
1 answer
299 views

Dual of colimit in $\text{Ban}_1$

I learned in J. Castillo's Hitchhiker guide to categorical Banach space theory that, by a theorem of Semadeni and Zidenberg, limits and colimits exist in the category $\text{Ban}_1$ of Banach spaces ...
Rodrigo Vargas's user avatar
4 votes
1 answer
215 views

Dual cone of 'positive' Bochner integrable functions

If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...
Guillaume's user avatar
  • 283
1 vote
0 answers
154 views

Weak$^*$ topology on Bochner $L^p$-spaces

Assume that $X$ is a Banach space such that the dual $X'$ has the Radon-Nikodym property. Moreover let $(\Omega,\Sigma,\mu)$ a say finite measure space. Then we know that for $1\leq p<\infty$ holds ...
Miguel Chapman's user avatar
3 votes
2 answers
2k views

How do you compute the dual norm of an induced norm on a subspace of a finite-dimensional $\ell^p$-normed vector space?

Say you have a finite-dimensional vector space $V$ with an $\ell^p$ norm on it. In general, the norm induced on a subspace $V_s$ of doesn't have to be another $\ell^p$ norm, so the unit sphere in $V_s$...
Mike Battaglia's user avatar
0 votes
1 answer
170 views

On the dual of Banach space [closed]

let $X$ be a (complex) Banach space, and $\{x_n\}$ is a sequence in $X$. Suppose that for any $f\in X'$, $$\sum_{n=1}^\infty |f(x_n)|<\infty.$$ Show that there exists a constant $\mu>0$ such ...
xldd's user avatar
  • 103
3 votes
1 answer
350 views

Predual of a subspace

Let $E$ be a Banach space, let $d\ge 1$ be an integer. Let $\mathcal G$ be a weakly closed subspace of $(E^*)^d$ with finite codimension. I would like know if the space $\mathcal G$ is a dual space $\...
Bazin's user avatar
  • 16.2k
0 votes
1 answer
157 views

When do two quasi-Banach spaces with identical dual spaces have equivalent norms?

Let $X$ and $Y$ be two quasi-Banach spaces such that the dual spaces satisfy $X^*=Y^*$. I want to know if there are some conditions that imply $X=Y$ (in the sense of equivalent norms).
user83971's user avatar