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

0
votes
2answers
52 views

Strongly continuous semigroup of operators which cannot be extended to a group

Let $X$ be a Banach space. We call a family of bounded operators $(T(t))_{t\in \mathbb{R}}$ a strongly continuous group if it satisfies the properties of the strongly continuous semigroup but for ...
0
votes
0answers
24 views

weak* continuous linear functional

I studied Megginson's An introduction to Banach space theory. I saw below proposition without any proof; Proposition:Let X be a normed space. Then a linear functional on X* is weakly* continuous if ...
1
vote
0answers
25 views

Helffer-Sjöstrand-Formula: Idea behind?

I have to present the Helffer-Sjöstrand-Formula. Now I'm wondering: Why does it include a factor $\chi(y\langle x\rangle^{-1})$ for some bump function $\chi$ and the chinese symbol ...
0
votes
1answer
37 views

Restriction of an operator on a Banach space

Let $X$ be a Banach space and $A:D(A)\to X$ be an unbounded linear operator such that for all $\lambda>c$ ($c$ some constant), $(\lambda I-A)^{-1}$ exists and is a bounded operator which satisfies: ...
2
votes
0answers
29 views

Properties shared by equivalent norms.

I am interested in knowing about "geometric" properties shared by equivalent norms on a Banach space. Here I mean "geometric" as opposed to topological, and probably in particular with reference to ...
1
vote
1answer
62 views

Inverse of operator is not continuous in Banach spaces

Let $X$ be a Banach space. If $A:X\to X$ is an invertible bounded operator (injective, surjective and continuous), then $A^{-1}$ is also bounded. Now can I have an example of an unbounded operator ...
1
vote
2answers
44 views

If $A$ is a bounded operator on $c_0$, then $\sum_{n=1}^\infty |(Ae_n)(m)|$ is bounded uniformly in $m$

The following is Exercise 7,section 1, chapter 6 of Conway's A course in Functional Analysis. Let $A\in {\cal B}(c_0)$ (${\cal B}(c_0)$ is linear bounded operators on $c_0$) and for $n\geq 1$, define ...
3
votes
0answers
58 views

Using Stone–Weierstrass theorem for completely regular space

Let $X$ be completely regular. If $K$ is a compact subset of $X$, define $$p_K(f)=\sup\{|f(x)|;x\in X\}$$ then $\{p_k; \text{K is a compact }\}$ is a family of seminorms that makes $C(X)$ into a ...
0
votes
0answers
38 views

The restriction of an open bounded linear operator

I need some help with this question. Let $X$ be a Banach space and $T:X \to X$ be a bounded linear operator. Suppose that $T$ is open, and $X_0$ be a closed subspace of $X$. The restriction $T_0$ of ...
1
vote
1answer
30 views

Show that P is an L-projection iff $P^{*}$ is an M-projection

I have started reading "M-ideals in Banach spaces and Banach algebras", but I stuck on the first page. It says that "there is an obvious duality between L- and M- projections: P is an L-projection ...
1
vote
1answer
30 views

Paley projection is not absolutely summing

It is well known that the operator $P: H^{1}(\mathbb{T}) \to \ell_2$, given by $Pf= (\hat{f}(2^{n}))_{n \in \mathbb{N}}$ is bounded and its restriction $P_{|A(\mathbb{D})}: A(\mathbb{D}) \to \ell_2$ ...
1
vote
1answer
39 views

Finite Measure Space: Integral Closure = Bochner Integral

I can't sleep for so long time as the integral gives me headaches. I was looking for so many approaches. Now another one. Hope this works... Let $\Omega$ be a finite measure space and $E$ a Banach ...
2
votes
1answer
73 views

A special property of $\limsup$ in $\ell_1$

Let $w$ be any element in $\ell_1$, and $(w_n)$ be a bounded sequence in $\ell_1$ that converge to 0 pointwise. I want to prove ...
3
votes
1answer
190 views

$C(X)$ is separable when $X$ is compact

Let $X$ be a compact space and let $\Bbb U =\{(U,V); U,V \mbox{ are open subsets of }X \mbox{ and }\mathrm{cl} U \subset V\} $. for $u=(U,V)$ in $\Bbb U$ , let $F_u:X\to [0,1]$ be a continuous ...
-1
votes
1answer
45 views

Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds. (Cf. discussion on p. 45.) Also note that though I were able to resolve the first problem the second one is still ...
1
vote
0answers
31 views

weakly compact subsets of a Banach space are relative weak topology

Let X be a Banach space and $X^*$ is separable. Show that if K is a weakly compact subset of X, then K with the relative weak topology is metrizable. I can easily show that K with the weak topology ...
6
votes
1answer
205 views

Uniform continuity of the function $x(t)=e^{tA}x$

Let $A$ be a bounded operator on a Banach space $X$. Consider the exponential function $x(t)=e^{tA}x:=\sum_{n=0}^{+\infty}\dfrac{t^nA^n}{n!}x$, for all $t\in \mathbb{R}$, where $x\in X$. If the ...
0
votes
0answers
40 views

Use of closed and convex set in fixed point property

Let $(X, ||.||)$ be a Banach space and C a subset of X. A mapping $T:C{\to}C$ is non-expansive if $||Tx-Ty||\leq||x-y||$ for all $x, y \in C.$ A Banach space is said to satisfy the fixed point (FPP) ...
-1
votes
3answers
102 views

Differentiation in Banach spaces

Let $E$ be a Banach space, and $F:=L(E,E)$, with $L(E,E)$ the set of continuous linear funtions in $E$. Prove that the function $\exp: F → F$, defined by ...
1
vote
1answer
47 views

Banach valued sequence spaces $\ell^p(X)$

Let $X$ be a Banach space and $\ell^p(X)$ denote the space of sequences $x_i\in X$ for which the norm $\big(\sum_{i=1}^\infty\|x_i\|^p\big)^\frac1p$ is finite, when $X=\mathbb{R}$ we get the usual ...
2
votes
1answer
34 views

Distortion and Norm Stabilization

I'm curious about the Distortion Problem in Banach space theory and its relation with norm stabilization. I found that if $(X, \| \cdot \|)$ is an infinite-dimensional separable Banach space, then $X$ ...
3
votes
3answers
52 views

Not a basis for $ l^\infty$ then what is it?

We know that $ l^\infty$ has not a Schauder basis and its Hamel basis is uncountably infinite. Let $e_n=(e_{n1}, e_{n2},...)$ (for each $n\in \mathbb{N}$) s.t. $e_{nj}=0$ when $n\neq j$ and ...
4
votes
2answers
62 views

Reflexivity of $\ell^p$

I'm having bad difficulties in understanding how to prove that $\ell^p$ with $1<p<\infty$ are reflexive spaces. Every text I have consulted give that as a trivial result because "observing that ...
1
vote
0answers
41 views

Use a fixed point argument to show there exists a unique solution to the following BVP

Show using a fixed point argument that there exists a unique solution $f\in C[0,1]$ to $$ -f''(x)+\sin(f(x))=\sin(x) , x\in (0,1), y(0)=y'(1)=0 $$ This is what I have so far: We can show ...
1
vote
2answers
63 views

The difference between a normed space being reflexive and being isomorphic to its dual

Quoting wikipedia "a normed vector space is reflexive if it coincides with its bidual". Another definition, more precise is that a normed vector space is reflexive if its evaluation map ...
1
vote
0answers
40 views

Sectorial Laplace operator in $L^p$

Can anyone tell me why Laplace operator $\Delta$ is sectorial in $L^p(\Omega)$, where $\Omega \subset \mathbb{R}^n$ is bounded (any other hypothesis are needed?) and $1<p<+\infty$? (When $p=2$ ...
3
votes
2answers
100 views

Dual of $l^\infty$ is not $l^1$

I know that the dual space of $l^\infty$ is not $l^1$, but I didn't understand the reason. Could you give me a example of an $x \in l^1$ such that if $y \in l^\infty$, then $ f_x(y) = ...
3
votes
0answers
43 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 ...
3
votes
2answers
87 views

$L^1(μ)$ is finite dimensional if it is reflexive

If $(X,\Omega,\mu)$ is a $\sigma -$ finite measure space, show that if $L^1(X,\Omega,\mu)$ is reflexive then it is finite dimensional. My attempt: I want to show there is a copy of $\ell^1$ in ...
0
votes
0answers
50 views

Proof that a set is open.

Let $(\Lambda_i)_{i\in I}$ a collection of linear operators from $X$ (Banach space) to $Y$ (Normed space). Let $\alpha : X \rightarrow [0,\infty]$ be the function $\alpha(x):=\sup_{i \in I} ...
7
votes
1answer
122 views

Constructing a Banach space of cardinality $\beth_{\omega+1}$

This is related to yesterday's question Constructing a vector space of dimension $\beth_\omega$; it's the next exercise (I.13.35 (a)) in Kunen's Set Theory. Let $B_0 = \ell^1$ and let $B_{n+1} = ...
4
votes
1answer
47 views

Closed subspace of a reflexive Banach space is reflexive

I'm studying Conway's functional Analysis by myself. In page 132 of his book, for showing every Closed subspace M of a reflexive Banach space X is reflexive, he says ...
0
votes
1answer
33 views

Prove that the Besov Space is a Banach space

Help me prove that the Besov space is a Banach space. I need to show that the Besov space is complete. If the Besov space is a closed subset of $L_p$ and since all $L_p$ spaces are complete then I'm ...
0
votes
2answers
54 views

ONB: Density Check?

How to show that $\{\sin{kx}:k\in\mathbb{N}\}$ for $\{f\in\mathcal{L}^2[0,\pi]:f(0)=f(\pi)=0\}$ is an ONB? (Clearly they are orthogonal to each other but is their span also dense?) What general ...
3
votes
0answers
27 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)$ ...
2
votes
1answer
42 views

how do I view the tensor product $X^*\otimes Y$ as a subspace of $\mathcal{L}(X,Y)$?

Background. According to Raymond A. Ryan, in his book Introduction to Tensor Products of Banach Spaces, a Banach ideal $\mathcal{J}$ is an assignment to each pair of Banach spaces $X$ and $Y$ a ...
1
vote
2answers
46 views

Is it a compact operator?

Let $$C^{1}_{2\pi}=\{u\in C^{1}((0,2\pi),\mathbf{R}^n):u(0)=u(2\pi)\}$$ $$C_{2\pi}=\{u\in C^{0}((0,2\pi),\mathbf{R}^n):u(0)=u(2\pi)\}.$$ $C_{2\pi}$ is equipped with the norm $$\|u\|_0=max|u(s)|$$ ...
3
votes
1answer
89 views

How to prove $F$ is a contraction mapping?

Given a $n\times n$ matrix $\mathbf{D}$ in which each entry $\mathbf{D}_{ij} \in [0,1]$. Let $i$-th row vector of $\mathbf{D}$ denote by $\mathbf{D}_{i\ast}$. The mapping $F:[0,1]^n \mapsto [0,1]^n$, ...
0
votes
2answers
69 views

Important applications of the Uniform Boundedness Principle

There's like three applications of the uniform boundedness principle in wikipedia: 1) If a sequence of bounded operators converges pointwise to an operator, then the limit operator is also bounded, ...
3
votes
1answer
58 views

$l_{\infty}$ is the quotient of $l_{1}(\aleph_{1})$?

I wonder if $l_{\infty}$ is the quotient of $l_{1}(\aleph_{1})$. If so, how to prove it?
2
votes
1answer
42 views

Unconditional bases equivallent to permutations of basis elements.

On page 9 of The Handbook of the Geometry of Banach Spaces: Volume I I found the following: "A basis $\{x_n\}_{n=1}^{\infty}$ is said to be an unconditional basis provided that $\sum \alpha_n x_n$ ...
0
votes
1answer
27 views

Check complex differentiability

I am trying to take a derivative w.r.t $z\in\mathbb{C}$ of the following map: $z\mapsto \sum_{j=0}^{\infty}\lambda_{j} (T(\psi+zh))_{j}$ where $(\lambda_{j})$ is a bounded sequence, $T$ is a ...
1
vote
1answer
28 views

Projections in Tensor Product

Let $X$ and $Y$ be Banach spaces (algebras). If $X\otimes^\pi Y$ denotes the projective tensor product of $X$and $Y$, define $P:X\otimes^\pi Y\rightarrow X$ as follows : for $x\otimes y\in X\otimes ...
2
votes
1answer
47 views

Strict convexity and uniqueness of functionals

Is it true that if $x$ is a norm-one vector in a strictly convex Banach space then there exists a unique bounded linear functional $f$ on that space such that $f(x)=1=\|f\|$? It seems unlikely to me ...
0
votes
2answers
43 views

$T$ closed linear operator, $S \in \operatorname{BL}(B,C)$ invertible implies $ST$ closed

Let $A, B$ and $C$ be Banach spaces, $T: \operatorname{dom}(T)\rightarrow B$ be a closed linear operator with $\operatorname{dom}(T) \subset A$ and let $S \in \operatorname{BL}(B,C)$ be invertible. ...
5
votes
1answer
67 views

What is the coproduct in the category of Banach spaces and continuous linear maps?

In the category of Banach spaces, where the objects are Banach spaces and the morphisms are continuous linear maps, what are there coproducts? Are they the typical direct sum of Banach spaces? If so, ...
0
votes
0answers
58 views

a completion of $c_{00}$ under some norm

Let $X$ be the completion of $c_{00}$ under some norm $\|\cdot\|_X$ satisfying $\|e_n\|_X=1$ for all $n$, where we let $(e_n)$ denote the canonical unit vectors in $c_{00}$. In Albiac/Kalton's book ...
3
votes
1answer
91 views

Prove that $L^1(\mathbb{N})$ is a Banach space.

I'm trying to prove that $L^1(\mathbb{N}) := \left\{ (x_n)_{n=1}^{\infty} : \sum\limits_{n=1}^{\infty}\left|x_n\right| < \infty \right\} $, the space of all sequences over the field $\mathbb{C}$ ...
4
votes
0answers
50 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 ...
2
votes
2answers
44 views

Bounded, surjective linear operator between Banach spaces

How can I show that for a given surjective linear operator $T: X \to Y$ between Banach spaces, if there exists an $\epsilon > 0$ such that $||Tx|| \geq \epsilon||x||$ for all $x \in X$, then $T$ is ...