All Questions
Tagged with banach-spaces fa.functional-analysis
1,222 questions
1
vote
0
answers
73
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657
1
vote
0
answers
50
views
Is there $r>0$ such that the norm $[f]_r:=\sup_{n \ge 1} \|1_{B(y_n, r)} f\|_{L^p}$ is equivalent to $\|f \|:=\sup_{y \in Y}\|1_{B(y,1)}f\|_{L^p}$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(E, |\...
- 657
1
vote
0
answers
82
views
Injective envelopes of 1-extensible spaces
Please read this post as a naive follow up on a previous question.
Let $X$ be a Banach space and let $(I(X),\alpha)$ denote its injective envelope (e.g., CohenLacey1969). A low hanging fruit is the ...
- 2,605
1
vote
0
answers
47
views
Existence for a nonlinear evolution equation with a monotone operator that is not maximal
We consider the nonlinear evolution equation
$$
\dot{u}(t) + Bu(t) = 0, \quad u(0)=0
$$
with
$$
A: \mathcal{C}(\Omega)\to \mathcal{M}(\Omega),\; p \mapsto \arg\min_{\mu\in\partial\chi_{\{||\...
- 171
1
vote
0
answers
126
views
Non-surjective isometries of $l_p$
It is well known that all surjective isometries of $l_p$ for $p\neq 2$ are the signed permutations of the unit vector basis $(e_n)$. Is there a characterization for the linear non-surjective ...
- 1,361
1
vote
0
answers
98
views
Representations of the dual Banach algebra pair $(\ell_1,c_0)$
Let $\displaystyle E_p=(\bigoplus_{n\in\mathbb{N}} \ell^1_n)_{\ell^p}$ for some $1<p<\infty$ and $\ell^1 = \ell^1(\mathbb{N})$ be equipped with the convolution. Then, there exists an isometric &...
- 2,605
1
vote
0
answers
165
views
About a weak$^*$ convergent net
Let $G$ be a locally compact abelian group and $A$ be semisimple commutative Banach algebra such that $A^{**}$ has Radon-Nikodym property. Denote by $\Gamma$ and $M(G)$ the dual group and the measure ...
- 2,118
1
vote
0
answers
136
views
Banach spaces in which every DP-set is a limited set
Let $X$ be a Banach space and $A\subseteq X$ be a bounded subset.
$A$ is a Dunford-Pettis set if every weakly null sequence $(f_n)$ in $X^*$ converges to $0$ uniformly on $A$, that is $$ \lim_{n\to\...
- 2,605
1
vote
0
answers
151
views
Weak convergence using tensor product
I haven't got to see this argument used in the PhD thesis of [R. Ryan]: Applications of topological tensor products to infinite dimensional holomorphy, doctoral thesis, Trinity College, Dublin (1980), ...
- 203
1
vote
0
answers
71
views
Lipschitz isomorphisms of $C(\omega^\omega+)$
Let $C(\omega^\omega+)$ denote the Banach space of continuous, scalar-valued functions defined on $\omega^\omega+=[0,\omega^\omega]$. Suppose that $X$ is a Banach space and $U:C(\omega^\omega+)\to X$ ...
- 81
1
vote
1
answer
259
views
Finding the set of best approximation
Given $X$=$l^1$ and its dual space $X^*=l^\infty$. Now take $f=(1, 1/2, 2/3, 3/4,...) \in X^*$. Then clearly $\|f\|_\infty = 1$. I have found that $H=\ker f$ is a proximinal hyperplane in $X$.
Note: A ...
- 85
1
vote
0
answers
74
views
Multiple steps of the Gorelik principle
The following result is one of several non-linear Banach space theory results known as The Gorelik Principle. I am stating it here in a weaker form than what is in the literature, but the statement ...
- 81
1
vote
0
answers
61
views
When is the metric on a Fréchet space homogeneous
Let $(F,d)$ be a Fréchet space over $\mathbb{F}\in \{\mathbb{C},\mathbb{R}\}$. Are there conditions under which, there exists some $C,d>0$ such that: for every $f\in F$ and every $k\in \mathbb{F}$ ...
- 5,405
1
vote
0
answers
99
views
Module homomorphisms modulo compact operators
Let $A$ be a Banach algebra. Let $L_a,R_a:A\to A$ denote the left/right multiplication operators $$L_ax = ax, \hspace{5mm} R_ax = xa$$ for all $a,x\in A$. Assume that no nonzero $L_a$ and $R_a$ is a ...
- 2,605
1
vote
0
answers
97
views
Are Hölder functions between Banach spaces residual in the compact-open topology?
Let $X$ and $Y$ be Banach spaces and let $C(X,Y)$ be the set of continuous functions from $X$ to $Y$ equipped with the topology of uniform convergence on compact sets (i.e. the compact-open topology). ...
- 5,405
1
vote
0
answers
85
views
Interpolation between projective and injective spaces
Suppose $(\Omega,\mu)$ be a $\sigma$-finite measure space. Suppose $X$ is a Banach space and $L_p(\Omega;X)$ be the corresponding Bochner space for $0<p\leq\infty.$ Is it true that the complex ...
- 1,879
1
vote
0
answers
110
views
Properties of Sobolev spaces $W^{k,p}(\Omega, E)$ where $E$ is a Banach space
$\newcommand{\R}{\mathbb R}$Let $E$ be a Banach space with norm $\|\cdot\|_E$ and let $\Omega\subset \R^n$ be an open set.
For $k\geq 0, p\geq 1$ we define $W^{k,p}(\Omega, E)$, the Sobolev space of ...
- 2,533
1
vote
0
answers
747
views
Notation for the space of eventually-zero sequences
An eventually-zero sequence is a real-valued sequence $(x_n)_{n=1}^\infty$ for which there exists an $N\in\mathbb{N}$ such that $x_n=0$ for each $n\geq N$. The space of eventually-zero sequences ...
- 153
1
vote
0
answers
82
views
Extreme case of K-interpolation
Suppose $X_0$ and $X_1$ are Banach spaces living in a larger Banach space
$X$. The $K$-functional is defined for each $f\in X_0+X_1$ and $t>0$ as
$$K(f,t,X_0,X_1)=\inf\{\|f_0\|_{X_0}+t\|f_1\|_{X_1}:...
- 319
1
vote
0
answers
163
views
Infinite matrices from $\ell^p$ to $\ell^{p/(p-1)}$ that are compact operators
I wanted to ask if my proof (sketch) of the following statement is correct. Namely, let $p>1$ and define $q= \frac{p}{p-1}$ we are given an operator $K : \ell^{p} \rightarrow \ell^{q}$ defined as $...
- 11
1
vote
0
answers
292
views
Closure of finite rank operators on $L^p$
It well-known that, an operator $T:H\to H$ on a Hilbert space, is compact if and only if T is limit of finite rank operators.
Besides this, the results by Per Enflo 1973 shows that this results is ...
- 1,101
1
vote
1
answer
130
views
Quantifications of boundedly complete bases
Let $(x_{n})_{n=1}^\infty$ be a bounded sequence in a Banach space $X$. We set
$$\textrm{ca}((x_{n})_{n=1}^\infty)=\inf_{n}\sup_{k,l\geq n}\|x_{k}-x_{l}\|.$$
Then $(x_{n})_{n=1}^\infty$ is norm-Cauchy ...
- 3,343
1
vote
0
answers
94
views
Regularity of functions everywhere approximable by $n$-th degree polynomials
Let $(X, \lVert \cdot \rVert_X)$, $(Y, \lVert \cdot \rVert_Y)$ be two Banach spaces.
A function $P \colon X \to Y$ such that there exists $n \in \mathbb{N}$ such that for all $i \in \{ 0, \ldots, n \}$...
- 820
1
vote
0
answers
133
views
‘Linear’ intersection property of separable Banach spaces
Let $X$ be a separable Banach space. Denote $W(f,\varepsilon) = \{z\in X\colon \lvert\langle f,z\rangle\rvert < \varepsilon\}$ for some $f\in X^*$ .
Suppose that $U$ is an open set in $X$ such that ...
- 43
1
vote
0
answers
50
views
Nested nets of closed bounded star-shaped sets in a semi-reflexive space
Among Hausdorff locally convex spaces, semi-reflexivity is characterized by the weak topology having the Heine-Borel property. It follows that, in a semi-reflexive space, every nested net of closed ...
- 11
1
vote
0
answers
316
views
Characterization of differentiability
For a normed space $(V, \lVert\cdot\rVert_V)$ let us define:
\begin{equation}
\forall x, y \in V \quad [0,1] \mapsto \gamma_x^y (t) = (1-t)x + ty.
\end{equation}
I would like to ask whether the ...
- 820
1
vote
0
answers
152
views
A characterization of the Dunford-Pettis property
A Banach space $X$ is said to have the Dunford-Pettis property if for any Banach space $Y$ every weakly compact operator $T:X\rightarrow Y$ is completely continuous. Recall that $T$ is completely ...
- 3,343
1
vote
0
answers
131
views
Construction of Schauder bases on $C(X)$
Let $(X,d)$ be a compact metric space and let $C(X)$ be the set of continuous (bounded) real-valued functions on $X$ equipped with the usual supremum norm:
$$
\|f\|_{\infty}\triangleq \sup_{x\in X}|f(...
- 109
1
vote
0
answers
124
views
For which Banach spaces is the self composition operator Lipschitz?
Let $X\subseteq \{f|f:D\rightarrow \mathbb{R}^n\}$ be a Banach space, with at least all polynomials on $D$ contained in $X$, where $D\subseteq \mathbb{R}^n$ is open and bounded.
Let $U\subseteq X\cap \...
- 183
1
vote
0
answers
68
views
Inequality of exponentials of Banach operators
(I have moved this question from Stackexchange).
Given the operators $\{A_j\}$ in a Banach algebra and a positive integer $p$, let
\begin{equation}
g=\exp\left(\frac{1}{n}\sum_{j=1}^p A_j\right)\quad\...
- 111
1
vote
0
answers
64
views
Embedding a normed space as a hyperplane
Let $X$ be a real normed space and suppose that $X$ is a closed hyperplane of a bigger space $\tilde X$. Given any unit vector $u$ in $\tilde X\setminus X$, consider the function $p:X\to\mathbb R$ ...
- 483
1
vote
0
answers
45
views
Generalizations of the Wiener Tauberian Theorem to Musielak-Orlicz spaces
Musielak-Orlicz spaces provide a generalization of the usual $L^p$ spaces on $(\mathbb{R},\mathcal{B}(\mathbb{R}))$ to spaces of functions for which the Luxemburg norm
$$
\|f\|_M:=\inf\left\{\lambda &...
- 5,405
1
vote
0
answers
73
views
The $w^{*}$-convergent sequences and the Mackey topology on $X^{*}$
Let $X$ be a Banach space. Recall that the Mackey topology $\mu(X^{*},X)$ on $X^{*}$ is the topology of uniform convergence on weakly compact subsets of $X$. Let $(x^{*}_{n})_{n}$ be a sequence in $X^{...
- 3,343
1
vote
0
answers
115
views
Algorithm/iterative procedure for constructing hypercyclic vectors?
Let $B$ be a separable Banach space and let $L:B\rightarrow B$ be a hypercyclic operator; here I use the definition of hypercyclicity given implicitly by Birkhoff's Transitivity Theorem: continuous ...
- 5,405
1
vote
0
answers
74
views
Empty Weyl/Fredholm spectrum of an operator on an infinite dimensional Banach space
Let $X$ be a complex infinite dimensional Banach space, and let $T \in B(X)$ be nonscalar. The Fredholm spectrum of $T$ is defined by:
$$ \sigma_{\Phi} (T) := \lbrace \lambda \in \mathbb{C} : T- \...
- 1,175
1
vote
0
answers
277
views
Why the name `Lipschitz-Free Banach spaces'?
There are many names for the same objects that is known as the Arens--Eells spaces, transportation cost spaces, free Banach spaces over a (pointed) metric space, and Lipschitz-free Banach spaces.
The ...
1
vote
0
answers
139
views
Any reflexive space has the property of Banach-Saks?
We say that a Banach space $(X,\|.\|)$ has the Banach-Saks property if every bounded sequence $(x_m)_m$ in $X$ admits a subsequence $(x_{m_n})_n$ which converges in the sense of Cesàro, that is, there ...
- 115
1
vote
0
answers
30
views
Hypercylic operators with sets of hypercyclic vectors almost covering the space
Let $\{T_i\}_{i \in I}$ be a family of hypercylic operators on a separable Banach space $X$. From the transitivity theorem, we know that $HC(T_i)$, the set of vectors $x \in X$ with $\{T_i^n(x):n \in ...
- 5,405
1
vote
0
answers
55
views
$ \{x\in X:h(x)\leq r\} $ is sequentially compact subset of $X$?
Let $(X,\|.\|)$ be a reflexive Banach space and $(D,\|.\|)$ be a Suslin subspace of $X$ such that $D$ is weakly closed subset of $X$.
Take $h:X\to [0,+\infty]$ such that $h(x)=\|x\|$ if $x\in D$ and ...
- 117
1
vote
0
answers
48
views
Can we say that $f$ admits a $m(X,X^*)$-continuous extension to $X$?
Let $X$ be a Banach space equipped with the Mackey topology $m(X,X^*)$. We suppose that $\big(X,m(X,X^*)\big)$ is separable space. Let $H$ be a countable, $m(X,X^*)$-dense subset with $(H=-H)$.
Let $...
- 117
1
vote
0
answers
55
views
Operational quantities characterizing upper semi-Fredholm operators
An operator $T:X\rightarrow Y$ is said to be upper semi-Fredholm if its range is closed and its kernel is finite-dimensional. M. Schechter (1972) introduced a quantity $$\nu(T):=\sup_{\operatorname{...
- 3,343
1
vote
0
answers
67
views
Comparison of inductive limit topology with very-rapidly decaying non-convex $L^{!/2}$-space topology
This is related to these posts and here.
Let $L^1([n,n+1])$ denote the subspace of $L^p$-functions on $[0,\infty)$ essentially supported on $[-n,n]$. Denote the accelerated $\ell^1$-direct sum ...
- 5,405
1
vote
0
answers
85
views
A question on the Dieudonné property
Recall that a Banach space $X$ is said to have the Dieudonné property if for every Banach space $Y$, an operator $T:X\rightarrow Y$ that transforms weakly Cauchy sequences into weakly convergent ...
- 3,343
1
vote
0
answers
136
views
Topology on function spaces for pointwise convergence
Suppose I have some collection of maps $T_\lambda: C^\infty(\Omega)\rightarrow C^\infty(\Omega)$ which are linear and parameterized by a parameter $\lambda >0$. (Perhaps more generally take $C^\...
- 11
1
vote
0
answers
27
views
Approximation of multipliers by multipliers of a smaller set 2
This question is a refinement of my previous question.
Let $X$ be a compact metric space, and let $B$ be a bounded Banach Disk in $C(X)$ such that for every $x\in X$ there is $f\in B$ with $f(x)\ne 0$...
- 5,529
1
vote
0
answers
99
views
Gluing together dense subset of Projective Limit in $Ban_1$
Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
- 5,405
1
vote
0
answers
86
views
Uniform continuity of sequence of semigroups
Let $T(t)$, $t\in [0,\tau]$, be a $C_0$ semigroup on an Banach space $X$. Also, let $T_n(t)$ be a sequence of semigroups that satisfies for all $x\in X$
$$\lim_{n\to \infty}\sup_{t\in [0,\tau]}\|T_n(...
- 395
1
vote
0
answers
186
views
What imaginations of Lebesgue spaces or other Banach spaces do people intuitively share?
At several occasions I heared people discussing about the „colors“ of Lebesgue spaces $L^p$: $L^2$ is red, $L^1$ is white, $L^\infty$ is black, and the other $L^p$ are blue or violett. Of course this ...
- 101
1
vote
0
answers
138
views
About an argument in the paper "Commutators on $\ell_\infty$" by Dosev and Johnson
In the paper "Commutators on $\ell_\infty$" by Dosev and Johnson, in Lemma 4.2 Cas II, the authors have said that "There exists a normalized bock basis $\{u_i\}$ of $\{x_i\}$ and a normalized block ...
- 1,879
1
vote
0
answers
56
views
Monotonicity of the norms on the sequence spaces 2
This is a complement of my previous question about the sequence spaces (I'm afraid, there will be a third part).
Let $\rho:[0,+\infty)^{\mathbb{N}}\to[0,+\infty] $ satisfy the following properties:
$...
- 5,529