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
0answers
17 views

Show $\lim_{n\to\infty}(Lu_n) = L(\lim_{n\to\infty} u_n)$

Suppose $\{u_n\}$ is a convergent sequence in Hilbert space $H$ and $L$ is a bounded (continuous) linear operator on $H$. Use the definition of convergence to show that $\lim_{n\to\infty}(Lu_n) = ...
1
vote
1answer
36 views

Countable set in a Banach space which spans densely?

Let $\mathcal{C}(\mathbf{T})$ be the algebra of continuous complex functions on the unit circle $\mathbf{T}$. Consider the following two statements: The $*$-subalgebra generated by $1$ and $z$ spans ...
2
votes
1answer
39 views

Proving identity of a $C_0$ semigroup

We have a strongly continuous semigroup $\{T(t)\}_{t\ge 0}$ on a Banach space X with a generator $ A:D(A)\subset X\to X$. I need to show that $\displaystyle T(t)x = \sum\limits_{n=0}^{\infty} ...
4
votes
1answer
24 views

Unit ball separable $\Longrightarrow$ Space separable

Given a normed space $X$ and assume it is also a locally convex space in some other topology (e.g. weak or weak* if it's a dual). Assume that the unit ball $B_X$ is separable in this topology. Is it ...
0
votes
1answer
29 views

Is $B_{\ell_1}$ weak-metrizable?

I know that for a Banach space $X$, the unit ball $B_{X}$ is weak metrizable if and only if $X^*$ is separable. My question is that Is $B_{\ell_1}$ weak-metrizable?
0
votes
3answers
37 views

Showing bounded linear operator has closed image

I'm trying to show that given a bounded linear operator $T: X \to Y$ with $X$ and $Y$ Banach such that $T$ satisfies: For ever $y \in Im(T)$ there is an $x \in X$ with $T(x) = y$ and $||x|| \le ...
1
vote
1answer
26 views

Closed linear operator on Banach spaces.

Let $X$ and $Y$ be Banach spaces and $T : D(T) \rightarrow Y$ a linear operator where $D(T)$ is a linear subspace of $X$. i) Let $T$ be closed and injective. Show that $T^{-1}$ is closed. I tried ...
0
votes
2answers
16 views

A question involving weak and strong convergence

Let E be a Banach space, $K \subset E$ a compact subset in the strong topology and $(x_n)_{n \geq 1} \subset K$, $x_n \rightharpoonup x$ weakly in $\sigma (E, E^*)$. If there is a subseqence ...
4
votes
1answer
25 views

Is $L^1_{loc}(\mathbb{R})$ complete with the norm $|f|=\sup_{x\in \mathbb{R}}\int_x^{x+1}|f(y)|dy$

Let $BL^1_{loc}$ be the space of locally integrable functions $f:\mathbb{R}\to \mathbb{R}$ such that $|f|=\sup_{x\in \mathbb{R}}\int_x^{x+1}|f(y)|dy<\infty$. Is this space complete ? What I tried: ...
-3
votes
0answers
38 views

Suppose $A$ is Banach algebra and $a\neq 0$. Is $f: A \to A$ continuous? [duplicate]

Suppose $A$ is Banach algebra with norm $||.||$ and $a\neq 0$. Is $f: A \to A$ continuous? Define $f(a)=a^{-1}.$
0
votes
1answer
33 views

Test for normability of a metric on a Banach space

If d is a metric on a (finite dimensional) Banach Space and there exist norms $\|-\|_1$ and $\|-\|_2$ and constants $C_1,C_2 \in [1,\infty)$ satisfying: \begin{equation} C_1\|x-y\|_1 \leq d(x,y) \leq ...
0
votes
0answers
21 views

A question involving duality maps

Show that if X is an infinit dimensional and smooth Banach space, then there are no compact duality maps on X. Can someone, please, give me a hint on how to deduce this from the following fact: Let ...
0
votes
1answer
15 views

It is true that the relatively compact open subsets cannot exist in infinite-dimensional normed spaces?

It is true that the relatively compact open subsets cannot exist in infinite-dimensional normed spaces? Why yes / not? Can someone,please, explain to me? Thank you!
1
vote
1answer
44 views

Extension of bounded operators between norm spaces

Let $X$ and $Y$ be two Banach Spaces and $X_1$ be a subspace of $X$. If $T$ is a bounded linear operator from $X_1\to Y$, then, this is an extension of $T$ from $X\to Y$ such that $\|T\|_{X}\le ...
0
votes
0answers
21 views

Does any continuous map between two Banach spaces over a nonarchimedian field is a closed map?

Does any continuous map between two Banach spaces is a closed map? It seems to me that it is true. Let $f:V \rightarrow W$ be a map, where $V$, $W$ are (infinite dimensional) Banach space over a a ...
4
votes
1answer
22 views

Image of a bounded sequence by a convex continuous function in a Banach space

Let $(X, \Vert \cdot \Vert)$ be a Banach space, and $f : X \longrightarrow \mathbb{R}$ a convex function, continuous for the norm topology. Suppose that $x_n$ is a sequence which weakly converges to ...
4
votes
2answers
102 views

Compute Quotient Space

I have been struggling with this computation for a while now. I thought I was almost there, but it now results I still have nothing. So here is the initial problem: Let $c=\left\{ (x_j)_j \subset ...
2
votes
0answers
35 views

independent symmetric 3-valued random variables in Lp

Consider the following excerpt from this paper: Given $1<p<2$, $0<w\leq 1$ and $n\in\mathbb{N}$, we fix once and for all a sequence $f_j^{(n)}=f_{p,w,j}^{(n)}$, $1\leq j\leq n$, of ...
1
vote
1answer
43 views

Application of the Banach fixed point theorem

Let $a > 0$. We consider the function: $f: (0, \infty) \to (0, \infty)$, defined by $f(x) = \frac{1}{2}(x + \frac{a}{x})$. Let $(x_n)_{n \in \mathbb{N}_0}$ be defined by: $x_0 \in (0, \infty)$, ...
1
vote
1answer
53 views

A copy of $l_\infty$ in a infinite dimensional Banach space

Let $E$ an infinite dimensional Banach space. Using the Hahn-Banach extension theorem, prove that there is a sequence $(y_n)\subset E$ and a decreasing sequence of closed subspaces ...
0
votes
1answer
39 views

The property of closed subspace

We know that a set is closed if and only if every convergent sequence with elements in the set has a limit point in the set. I am reading a paper, and the paper claims that the following is due to S ...
2
votes
2answers
41 views

Show that $B(X)=\{f:X \rightarrow \mathbb{R}: f \text{ is bounded}\}$ is complete.

Given a metric space $(X,d)$ consider the metric space $B(X)=\{f:X \rightarrow \mathbb{R}: f \text{ is bounded}\}$ with the distance $d_{\infty}(f,g)=sup_{x\in X}|f(x)-g(x)|$. Show that ...
0
votes
1answer
27 views

Bounded linear functionals over smooth maps of a compact interval

I have two questions regarding the topological dual of the space $E = \mathcal{C}^\infty([0; 1])$ of infinitely continuously differentiable functions over the closed interval $[0; 1]$ equipped with ...
1
vote
1answer
21 views

Net converging weak-*, implies uniform bound?

Let $E$ be a complex Banach space. A consequence of the uniform boundedness principle is the following. If $(\lambda_n)_{n\geq 1}$, $\lambda$, are elements of $E^*$ such that $$ \lambda_n(x) ...
0
votes
0answers
29 views

Choice of a dense subset of a separable Banach space

I recently came across the following statement, and still can't prove it: Statement: Suppose $X$ is a separable,closed subspace of $L^1(G)$, where $G$ is a locally compact group. Since $X$ is ...
2
votes
0answers
44 views

Sequences and reflexivity

Assume X to be a real reflexive Banach space. Why are sequential topological notions topological notions ? (relatively to the weak topology on X and the weak star topology on X*) For ex : sequentially ...
0
votes
2answers
50 views

Show that $c_0$ is a Banach space with the norm $\rVert \cdot \lVert_\infty$

Let $ c_0 = \{ x = \{x_n\}_{n \in \mathbb N} \in l^\infty : lim_{n \rightarrow \infty} x_n = 0\}$. Show that $c_0$ is a Banach space with the norm $\rVert \cdot \lVert_\infty$ I am capable of showing ...
0
votes
1answer
35 views

Prove/disprove space is complete with metric defined by an integral (triangle inequality still missing in metric part)

I have a two part question: I need to show that $d(f,g)=\int_{-1}^1\! |f(x)-g(x)| \, \mathrm{d}x$ is a metric in $C((-1,1),\mathbb{R)}$ and furthermore prove/disprove that the space ...
1
vote
0answers
47 views

Does (L) sets in a dual Banach space X* are weak* precompact? weak* sequentially precompact?

Let $X$ be a Banach space. A subset $B$ of the dual $X$ is said to be $(L)$ set if any weakly null sequence $(x_n)\in X$ converges uniformly to zero on $B$. It is well Known in the theory that ...
0
votes
2answers
27 views

Is $U\times\{y\}$ ever open in $X\times Y$, here $X$ and $Y$ are Banach spaces?

Let $U$ be an open set in a Banach space $X$, let $Y$ be another Banach space, and let $y\in Y$. Is it ever the case that \begin{align*} U\times\{y\} \end{align*} is an open set in $X\times Y$?
0
votes
0answers
9 views

Norms detecting singularities for functions with spikes

For a fixed $0<\alpha<1$ consider a segment $I=[0,1]$ and a subspace $B$ of $L_1(I)$ of functions $\phi$ than can be represented as $$ \phi = \phi_{reg} + \sum_{i=0}^\infty \frac{\phi_k}{ |x - ...
0
votes
1answer
24 views

is $\langle\lim_{n\to \infty}u_n,g\rangle = \lim_{n\to\infty} \langle u,g\rangle $ valid for bounded linear operators?

Suppose M is any linear manifold in H. H is a hilbert space. Define the orthogonal complement of M to be $$M' =\{f \in H | \langle f,g\rangle= 0 ,\forall g\in M\}.$$ To see that M' is a closed ...
3
votes
2answers
23 views

Showing that $\lim \int \left(\sum_1^n |f_k|\right)^p \le \left(\sum_1^\infty \|f_k\|_p\right)^p$

I am reviewing a proof about the completeness of $L^p$ spaces. The proof begins as such (Folland Theorem 6.6): For $1 \le p < \infty$, suppose $\{f_k\} \subset L^p$ and $\sum_1^\infty \|f_k\| = ...
3
votes
1answer
28 views

Are dual spaces with unconditional bases weakly sequentially complete?

It is well known that a weakly sequentially complete Banach space with an unconditional basis is isomorphic to a conjugate space. Is the converse to this statement true? If a Banach space is a ...
0
votes
0answers
11 views

Are two operator norms on $M_n(A)$ equivalent?

If $A$ is a Banach algebra, then $M_n(A)$ can be given the operator norm as operators on $A\oplus_p\cdots\oplus_p A$ ($1<p<\infty$) to make it a Banach algebra. If in addition $A$ is an operator ...
1
vote
1answer
32 views

check if a linear operator is bounded

show that $Tf = f(0)$ is not a bounded linear functional on the space of continuous functions measured with the L2 norm, but it is a bounded linear functional if measured using the uniform norm. ...
0
votes
1answer
38 views

Prove: $M +N$ is closed in $B$ iff $∥m∥_B +∥n∥_B ≤ c∥m+n∥_B$, for all $m ∈ M$ and $n ∈ N$.

Let $B$ be a Banach space and $M,N$ closed subspaces of $B$ such that $M ∩N = \{0\}$. Prove: $M +N$ is closed in $B$ iff $∥m∥_B +∥n∥_B ≤ c∥m+n∥_B$, for all $m ∈ M$ and $n ∈ N$. My Work: If ...
4
votes
2answers
49 views

Checking that $(C[0,1], \|\cdot\|_1)$ is not Banach.

I want to check that $(C[0, 1], \|\cdot\|_1)$ is not a Banach space, where $$\|f\|_1 = \int_0^1 |f(x)|\,{\rm d}x.$$ I took $(f_n)_{n \geq 1}$ a sequence in $C[0, 1]$ given by: $$f_n(x) = ...
1
vote
1answer
42 views

Given a singular matrix, I am tring to find an invertible matrix… (Finite Dimensional Space)

In coordinates and in a finite-dimensional space, how would I prove that given any singular $n$x$n$ matrix $A$, any $\epsilon\gt0$ and any matrix norm $||.||$, there is an invertible $n$x$n$ matrix ...
3
votes
1answer
84 views

I am trying to find a Banach Space X and a singular operator (Infinite Dimensional Space)

I am trying to find a Banach space $X$ (Infinite dimensional Space) and a singular operator $A\in \mathcal L(X) $ such that for some $\epsilon \gt 0, $ there is no bounded linear operator $B$ with ...
1
vote
1answer
54 views

$(B_X,w)$ metrizable implies $X^\ast$ separable

Let X be a normed space and assume that $(B_X,w)$ is metrizable, i.e. the weak topology is metrizable. Show that $X^\ast$ is separable. My attempt: Let $d$ a equivalent metric on $B_X$. For fixed ...
0
votes
3answers
65 views

show that $l^2$ is a Hilbert space

Let $l^2$ be the space of square summable sequences with the inner product $\langle x,y\rangle=\sum_\limits{i=1}^\infty x_iy_i$. (a) show that $l^2$ is H Hilbert space. To show that it's a ...
-1
votes
1answer
14 views

Definition of finite dimensional decomposition of Banach space

The question is in the title. What is the definition of finite dimensional decomposition of Banach space? I have been looking around for a while and can't find anything! Thanks
2
votes
0answers
27 views

Open problems in Banach spaces? universal spaces

I have gathered a list of universality problems in Banach spaces which have been solved: The non existence of a separable reflexive space universal for the class of separable reflexive spaces. If a ...
2
votes
1answer
89 views

Proving that $c$ is a Banach space.

I want to prove that $$c = \{ (x_n)_{n\geq 0} \mid x_n \in \Bbb C \text{ and the sequence converges} \}$$ with the norm $$ \left\|(x_n)_{n\geq 0}\right\|_{\infty} =\sup_{n\geq 0} |x_n|$$ is a Banach ...
7
votes
2answers
108 views

The spectrum of a self-adjoint operator on $\mathcal l^2$

Let $S$ be the unilateral shift operator on $\mathcal l^2$ (which shifts one place to the right) and $S^*$ its adjoint, the backward shift (which shifts one place to the left). I've been trying to ...
2
votes
1answer
57 views

Completeness of $C^1$ functions vanishing at infinity with sup-norm of derivatives

I'm looking at $$C_0^1(\mathbb{R}) := \{f \in C^1(\mathbb{R}) : \lim_\limits{|x|\rightarrow \infty}f(x) = \lim\limits_{|x|\rightarrow \infty} f'(x) = 0\},$$ along with the norm given by $||f|| := ...
1
vote
2answers
53 views

Why is it important that $L^P$ spaces be complete?

I know that Banach spaces are ubiquitous and incredibly important in a lot of areas of math, but I was hoping for an intuitive explanation as to why (and when) it's important in the case of $L^p$ ...
-1
votes
1answer
49 views

Show space C([0,1]) with norm integral is a Banach space [duplicate]

Is the space C([0,1]) with the norm integral from 0 to 1 of |f(t)|dt a Banach space?
1
vote
1answer
56 views

$\lambda f(x)+(1-\lambda)f(y)=f(\lambda x+(1-\lambda)y)$ implies $f $ linear?

Let $X$ be a Banach space. $f:X \to X$ a continuous function. If we assume that $f$ satisfies the following convexity condition: $$\lambda f(x)+(1-\lambda)f(y)=f(\lambda x+(1-\lambda)y),$$ for all ...