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

3
votes
2answers
61 views

Properties of reflexive Banach spaces

I just want to see the importance of reflexive Banach spaces and what is special about them compared to other Banach spaces. What kind of properties hold in reflexive spaces that do not necessarily ...
1
vote
0answers
41 views

basic sequence in the complexification induces a basic sequence in the underlying real space?

This should be easy to prove if it is true, but, alas, what SHOULD be easy is not always easy for me ;) Conjecture 1. Let $X$ be a real Banach space and let $X_\mathbb{C}$ denote its ...
5
votes
1answer
68 views

Show that a subspace of l2 is not complete

I would like to know if this exercise is correct. Let $\Bbb R^\infty=\{x:\Bbb N\rightarrow \Bbb R: \exists n \text{ such that}\quad x(k)=0 \quad \forall k\geq n\}$. Show that $(\Bbb R^\infty, \| ...
0
votes
1answer
32 views

Show that an operator is bounded.

Let $\{\alpha_{mn} ;m,n\geq 1\}$ be scalars satisfying a- $M=\sup_n\sum_{m\geq 1}|\alpha_{mn}|<\infty $ , and b- $\sup_n|\alpha_{mn}|<\infty$, then $(Af)(n) = \sum_{m\geq 1}\alpha_{mn} f(m)$ ...
5
votes
1answer
61 views

When is $M+N$ closed

Let $X$ be a Banach space and $M,N$ be closed subspaces. If the range of linear transformation $x\to (x+M)\oplus (x+N)$ from $X$ into $X/M\oplus X/N$ is closed show that $M+N$ is closed. or using ...
1
vote
1answer
26 views

Power Series for a Banach Contractive Mapping function

For each continuous function $f \in C[0,1]$ define the continuous function $T(f)(x)$ by $$T(f)(x)=x^2 + \int_{0}^{x}tf(t)dt$$ for each $x\in C[0,1]$. I'm trying to find the power series to represent ...
17
votes
1answer
417 views

Reinventing The Wheel - Part 2: The Lebesgue Integral

Disclaimer After struggling for some time to find an appropriate definition for the notion of integration I came across another attempt for which I would need your help deciding to what extend this ...
0
votes
2answers
46 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
22 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
23 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
36 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
27 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
55 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
42 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
56 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
37 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
27 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
28 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
33 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
188 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
32 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
24 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
198 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
37 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
96 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
43 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
32 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
48 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
53 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
30 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
52 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
37 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
79 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
33 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
78 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
112 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
38 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
26 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
53 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 ...
2
votes
0answers
20 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
38 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
45 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
78 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
64 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, ...
2
votes
1answer
55 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
40 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
23 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
24 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 ...