A Banach space is a complete normed vector space: A vector space equipped with a norm such that every Cauchy sequence converges.

learn more… | top users | synonyms

66
votes
0answers
3k views

Continuous projections in $\ell_1$ with norm $>1$

I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case ...
12
votes
0answers
133 views

Is it possible to characterize completeness of a normed vector space by convergence of Neumann series?

If $X$ is a normed vector space and if for each bounded operator $T \in B(X)$ with $\| T\| < 1$, the operator ${\rm id} - T$ is boundedly invertible, does it follow that $X$ is complete? ...
9
votes
0answers
221 views

If a map between separable Banach spaces has closed graph, does it have a point of continuity?

It is well known that the closed graph theorem does not directly extend to nonlinear maps: even for functions from $\mathbb{R}$ to $\mathbb{R}$, having closed graph does not imply continuity. But ...
9
votes
0answers
231 views

defining a topology by its compact sets

The goal. Let $X$ be a set endowed with Hausdorff topologies $\tau_w$ and $\tau_n$, such that $\tau_w\subseteq\tau_n$. Let $\mathscr{C}$ denote a family of subsets $A\subseteq X$, which satisfies ...
8
votes
0answers
171 views

Brezis Exercise 3.27 extension.

Let $E$ be a separable Banach space with norm $\|\cdot\|$. The dual norm on $E^*$ is also denoted by $\|\cdot\|$. Let $(a_n) \subset B_E$ be a dense subset of $B_E$ with respect to the strong ...
7
votes
0answers
123 views

Random variables that span copies of $\ell_p$

Consider the coin-toss measure $\mu$ on $\{0,1\}^\mathbb{N}$. Within this framework it is easy to construct a sequence of independent, symmetric Bernoulli random variables. Indeed the point-evaluation ...
7
votes
0answers
224 views

renorm a Banach space to make an operator have spectral radius equal to norm

Let $X$ be an infinite-dimensional complex Banach space equipped with the norm $\lVert\cdot\rVert$, and let $T\in\mathcal{L}(X)$ a bounded linear operator on $X$. Let $r(T)$ denote the spectral ...
6
votes
0answers
140 views

The dual of the Banach space $C(\Omega)$

It is well-known that the dual of the Banach space $C([0,1])$, i.e. the space of all continuous functions on the interval, is the space of all functions of bounded variation on the interval, ...
6
votes
0answers
185 views

Subsequences of a basic sequence

Suppose ($x_n$) is a basic sequence in a Banach space $X$, and $Y$ is a closed, infinite co-dimensional subspace of the closed span of $(x_n)$. Can we always find a subsequence ($y_n$) of ($x_n$) such ...
6
votes
0answers
154 views

Reference request for the fact

Does anyone know a reference to the paper or a textbook where this fact is proved $$ \mathcal{B}(\bigoplus_1 X_\alpha, Y)\cong_1 \bigoplus_\infty \mathcal{B}(X_\alpha, Y) $$ Most author are bored to ...
6
votes
0answers
154 views

Linear isomorphisms with dense graph

Is it true that for each infinite dimensional Banach space $X$ there exists a linear bijection $f: X \rightarrow X$ with a dense graph? A graph of $f$ it is the set $\Gamma(f):=\{(x, f(x)): x \in X ...
5
votes
0answers
52 views

Progressed : Convergence problem in Hilbert Space and necessity of inner product

******** PROGRESS : so thanks to Ian's great comment I can get by the proof and that completeness is necessary but I need to know does this hold for general Banach spaces that are not Hilbert spaces? ...
5
votes
0answers
72 views

Pointwise approximation of a closed operator

If $T:\mathcal D(T) \rightarrow \mathcal Y$ is a closed operator from a Banach space $\mathcal X$ to a Banach space $\mathcal Y$, is it possible to find bounded operators $T_n\in \mathscr B(\mathcal ...
5
votes
0answers
83 views

Conditions for Taylor formula

I know that, if $F:X\to Y$, where $X,Y$ are Banach spaces, is a map whose $n$-th Fréchet derivative $x\mapsto F^{(n)}(x)$ is continuous as a function of $x$ in a neighbourhood of $x_0\in X$, then the ...
5
votes
0answers
74 views

Why should the open mapping theorem be expected?

Soft question alert. I want to know why to expect the open mapping theorem to be true. My thoughts: I know that one nice consequence of the OMT could be thought of as the universal property of ...
5
votes
0answers
89 views

Weak*-complemented subspaces of $\ell_\infty$

Consider $\ell_\infty$ as $\ell_1^*$. Let $X$ be an infinite-dimensional complemented subspace of $\ell_\infty$ (in partiuclar, $X$ is isomorphic to $\ell_\infty$). Can we find a further subspace ...
5
votes
0answers
91 views

Conditional expectation onto maximal abelian subalgebras

If you take a von Neumann algebra $M$ and any its maximal abelian subalgebra (masa) $D$, then there is a norm-one projection from $M$ onto $D$ (conditional expectation). The same is true if you take ...
5
votes
0answers
93 views

a question about Tsirelson's space

Background. Let $T$ denote the Figiel-Johnson construction of the Tsirelson space, that is, the completion of $c_{00}$ under the implicitly-defined norm ...
5
votes
0answers
136 views

Representation of Stochastic Integrals as Lebesgue/Bochner Integrals

Just as the Riemann–Stieltjes integral can be equivalently defined as a Lebesgue integral with the corresponding Lebesgue–Stieltjes measure, I am looking for the corresponding results for the ...
5
votes
0answers
88 views

Equivalence of definitions of $C^k(\overline U)$

let $U$ be an open set of $\mathbb{R}^n$, that contains at least some open set. In Evans book we find the definition $$C^k(\overline U)=\{f \in C^k(U): D^\alpha f \text{ is uniformly continuous on ...
5
votes
0answers
174 views

Don't understand this proof of equivalence of weak solutions to PDE

I'm trying to understand the proof that (c) implies (a) here in the following proposition (here, $\mathcal{V} = L^2(0,T;V)$). See the very last line in the image for that part: $$$$ $$$$ I give here ...
4
votes
0answers
24 views
+50

Equivalences for a Banach lattice

I'm trying to prove the following equivalences for a Banach lattice $E$: $E$ has an order continuous norm Every monotone order bounded sequence in $E$ is convergent E is an ideal in ...
4
votes
0answers
25 views

References for actions of infinite-dimensional Banach-Lie groups on infinite-dimensional Banach manifolds

I am starting to study infinite-dimensional manifolds, specifically, Banach manifolds. I found some interesting introductory texts in which the mathematical background is developed with some detail. ...
4
votes
0answers
46 views

Submultiplicative Hilbert space norm on $B(H)$

Let $H$ be a complex Hilbert space and let $B(H)$ denote the space of bounded linear operators $H \to H$ equipped with operator norm: $$ \lVert T \rVert = \sup\big\{ \lVert Tx \rVert \: : \: \lVert x ...
4
votes
0answers
63 views

Uniform limit of m-homogeneous polynomials over compact subsets of a Banach Space

I am trying to solve problem 1.2.A from Mujica's book "Complex Analysis in Banach Spaces". We denote by $\mathcal{P}_a(^mE;F)$ the space of all $m-$homogeneous polynomials from $E$ into $F$, i.e, the ...
4
votes
0answers
108 views

If $f:X \rightarrow Y$ is a linear isomorphism between $X$ and $f(X)$, then show that there exists a continuous linear map from $Y^*$ onto $X^*$

For any $x \in X$, define the set $\mathcal{F}(X) = \overline{\operatorname{span} \{ \delta_x : x \in X \}}$ where $\delta_x(f)=f(x)$ for all $f \in$ $\operatorname{Lip}_0(X)$. The set ...
4
votes
0answers
143 views

Definition of a norming set

In this paper, page $131$, in the proof of Proposition $4.1$, there is this sentence: We first note that if $V$ is a separable Banach space, the subset of Lip$(V)$ consisting of all weakly ...
4
votes
0answers
60 views

Bishop-Phelps theorem

Bishop-Phelps Theorem: If $E$ is a Banach space and $B\subseteq E$ is bounded, closed and convex, then the linear functionals on $E$, which attain their supremum on $B$, are norm-dense in $E^*$. ...
4
votes
0answers
37 views

A question about equivalence of norms involving infimum

Let $I$ be a Banach space with norm $\lVert\cdot\rVert_I$. The norm $$\inf\{\lVert(G_i(u_i))_i\rVert_{\ell^2}\mid u=\sum_{I \geq 0}u_i\}\qquad\text{is equivalent to}\qquad \lVert{u}\rVert_{I}$$ where ...
4
votes
0answers
75 views

Proving completeness of $L^p$

I want to make sure my understanding of the proof is correct. For a Cauchy sequence $\{f_n\}$ in $L^p$, we want to find a $f\in L^p$ such that $f_n\stackrel{L^p}\to f$ Now, skipping the ...
4
votes
0answers
78 views

finding the algebraic dimension of $\ell^p$ spaces

I want to know "how we can find the algebraic dimension(the cardinal number of the Hamel basis) for $\ell^p$ spaces." What can we say about $\ell^p(I)$, where $I$ is an infinite set?\ Moreover, for ...
4
votes
0answers
64 views

Fredholm Integral in Bayesian Appliation

Let $X = x_1, x_2, \ldots, x_n$ be a sequence of Bernoulli random variables with $k$ successes. Suppose that, given $X$, the posterior predictive probability of $x_{n+1} = x$ is known to be $g(x)$ ...
4
votes
0answers
167 views

Differentiation of norm in Banach space (explanation of text needed)

Let $Y$ be uniformly smooth Banach space. Consider the convex $C^1$ functional $\Phi:Y \to \mathbb{R}$ defined $$\Phi(y) = \frac{1}{q}\Vert y \Vert^q_{Y}.$$ Its derivative $\varphi:Y \to Y'$ is a ...
4
votes
0answers
114 views

How to get a grip on codimensions

I am trying to find a proof for the following problem: Let $X,Y$ be Banach spaces $A,B:X \rightarrow Y$ are bounded linear operators $Ran(A)$ is closed, and $\dim(\mathrm{Ker}(A))$ or ...
4
votes
0answers
401 views

On the weak convergence in reflexive Banach space

Consider the following proposition: Proposition 1. Let $X$ be a reflexive Banach space and suppose that $\{x_n\}$ is a sequence in $X$ that is bounded and has at most one weakly sequentially cluster ...
4
votes
0answers
106 views

Ultraweak topology on Banach spaces

If $X$ and $Y$ are Banach spaces with $Y$ reflexive, then the space $\mathcal{B}(X,Y)$ of bounded operators from $X$ to $Y$ is the dual of the projective tensor product of $X$ and $Y^{*}$. As in the ...
4
votes
0answers
93 views

why is test function space $\mathcal{A}$ complete

I am trying to find out, why the space $$\mathcal{A}:=\left\{\phi\in C_0(\mathbb{R}^{2d})|\;\|\phi\|_\mathcal{A}:=\int_{\mathbb{R}^d}\sup_{x\in\mathbb{R}^d}|(\mathcal{F}_p\phi)(x,y)|\;\mathrm ...
4
votes
0answers
180 views

Non linear compact map

Suppose to have two Banach spaces $E$ and $F$, with $E$ reflexive. Suppose to have a continuous map $T:E \to F$ which maps bounded subsets into precompact subsets. $T$ is not assumed to be linear. ...
4
votes
0answers
119 views

Proving norm equivalence in $W^{1-1/p,p}(\Omega)$

Define for $p\in [1,\infty)$ and $\Omega=(0,1)^N\subset\mathbb{R}^N$ $$W^{1-1/p,p}(\Omega)=\left\{u\in L^p(\Omega): \ \int_\Omega\int_\Omega\frac{|u(x)-u(y)|^p}{|x-y|^{N-1+p}}dxdy<\infty\right\}$$ ...
4
votes
0answers
140 views

Differential calculus on Banach space

I'm revising for my upcoming test, and this problem dated back some years ago. I've been working on this problem for almost a day, but I don't even know how to start it correctly. Problem Given the ...
4
votes
0answers
85 views

Banach dual space integral

Let $X$ be a Banach space and $f_t \in X^*$ for each $t \in [0,t_0]$. Suppose that $$\int_0^{t_0} f_t(x) = 0$$ for all $x \in X$. 1) Does it make sense to write $\int_0^{t_0}f_t = 0$? 2) If so, does ...
4
votes
0answers
133 views

Homeomorphisms on X and automorphisms on C(X)

Let $ X $ be a compact Hausdorff space. Let $ \psi $ be a homeomorphism on $ X $. Let $ \text{Aut}(C(X)) $ be the group of automorphisms of $ C(X) $, and $ \text{Homeo}(X) $ be the group of ...
4
votes
0answers
83 views

The control of norm in quotient algebra

Let $B_1,B_2$ be two Banach spaces and $L(B_i,B_j),K(B_i,B_j)(i,j=1,2)$ spaces of bounded and compact linear operator between them respectively. If $T \in L(B_1,B_1)$, we have a $S \in K(B_1,B_2)$ and ...
4
votes
0answers
117 views

A question regarding vector spaces with partial order

$\newcommand{\N}{\mathbf{N}}$$\newcommand{\R}{\mathbf{R}}$ Let $X=(X,\leq)$ be a Riesz space (a lattice which is also an ordered vector space over $\R$). Define $X^+=\{x\in X\colon x\ge 0\}$. Are the ...
4
votes
0answers
70 views

complemented subspaces of $L_{p}$ spaces (Question posed incorrectly earlier)

This question was asked incorrectly originally in such a way that it probably made no sense. Fixed version: I know that $L_{p}[0,1]$ has $\ell_{2}$ as a complemented subspace, and I'm wondering if ...
4
votes
0answers
95 views

Preduals of Banach spaces and in particular of $\text{BMO}(\mathbf R^d)$

In general the predual of a Banach space is not unique. If there are multiple ones must they be isomorphic? More specifically is $H^1(\mathbf R^d)$ the only predual of $\text{BMO}(\mathbf R^d)$ or ...
3
votes
0answers
55 views

Does the Closed Graph Theorem follow from Banach-Steinhaus?

Q: Is there a simple (but perhaps tricky or clever) proof of the Closed Graph Theorem (or the Open Mapping Theorem, or the result I call the Automatic Inverses Theorem below) from the Banach-Steinhaus ...
3
votes
0answers
30 views

Tensor product of $L^1([0,1],\omega)$ with some Banach space

We know that for any Banach space $E$ if $\hat{\otimes}$ denotes projective tensor product then $L^1([0,1])\hat{\otimes} E$ is isomorphism isometric with $$L^1([0,1],E)=\{f:[0,1]\to E:\ \ ...
3
votes
0answers
30 views

Cesaro and Tandori sequence spaces, representations and duality

Definitions. Fix $1\leq p\leq\infty$. Given a scalar sequence $a=(a_n)_{n=1}^\infty$, denote by $\tilde{a}=(\tilde{a}_n)_{n=1}^\infty$, where each $\tilde{a}_n=\sup_{k\geq n}|a_k|$. Now we define ...
3
votes
0answers
51 views

can a Banach space admit a subsymmetric basis AND a symmetric basis?

Definitions. A (Schauder) basis for a Banach space is called symmetric if it is unconditional and uniformly equivalent to all its permutations. It is called subsymmetric if it is unconditional and ...