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

1
vote
0answers
22 views

Complexity of a Borel linear subspace of a Banach space

This question is inspired by the MO question Image of $L^1$ under the Fourier transform, but I think it might be much easier so I am posting it here instead. Let $(X, \|\cdot\|)$ be a separable ...
1
vote
1answer
55 views

Operator: not closable!

Is there an operator between Banach spaces with the following properties: $$T:\mathcal{D}(T)\subseteq X\to Y:\text{ injective, dense range, continuously invertible, not closable!}$$ (Note that the ...
0
votes
1answer
28 views

Simple question about convergence and Gateaux derivative

If I consider the sequence $\{x_n\}\in L^2(\Omega)$ such that: $$ x_n \rightarrow x $$ We know that $x\in L^2(\Omega)$ because we're in a Banach space. So I can say that ...
5
votes
1answer
137 views

If $P$ has marginals $P_1, P_2$, is $L^1(P_1) + L^1(P_2)$ closed in $L^1(P)$?

Suppose that $\mathbb{X}=\mathbb{X}_1\times \mathbb{X}_2$ and suppose that $ P$ is a probability measure on $\mathbb{X}$ with marginals $ P_i$ on $\mathbb{X}_i, i=1,2$, i.e., $$\int f_i(x_i)\, ...
1
vote
1answer
30 views

Functional defined on the space of functions with compact support

Let $X=C_c(\mathbb{R})$, the space of functions with compact support, normed with the max norm. Define $\Gamma: X \rightarrow \mathbb{R}$ as: $$ \Gamma f= \int_{- \infty}^{\infty} f(t)dt ...
1
vote
0answers
25 views

Dual space of $L^2(0,T;H^1) + L^p(0,T;L^p)$ and its duality pairing?

Let $V=L^2(0,T;H^1) + L^p(0,T;L^p)$. We know that its dual space is $V^* = L^2(0,T;H^{-1}) \cap L^p(0,T;L^p)$. So if $v \in V$, then by definition $v=a+b$ where $a \in L^2(0,T;H^1)$ and $b \in ...
2
votes
2answers
37 views

Fredholm Index: Finite Corank $\Rightarrow$Closed Range [duplicate]

Obviously closed subspaces turn quotient spaces into normed spaces rather than just merely vector spaces. However the dimension involved in Freholm's index are purely algebraic. Why do we thus ...
4
votes
1answer
81 views

What makes compact operators special?

I would like to understand why compact operators are considered so special to consider them as an extra class of operators. Over Hilbert spaces these (as far as I know) these are the ones with ...
0
votes
1answer
61 views

Compact Operator <=> Separable Range

Is it true that a bounded operator is compact iff its range is separable: $$T\text{ bounded}:\quad T\text{ compact}\iff \mathcal{R}(T)\text{ separable}$$
0
votes
1answer
36 views

Existence of nontrivial bounded linear operator?

Are there two normed spaces such that there is no nontrivial bounded linear operator between them: $$\nexists T:X\to Y: T\text{ nontrivial, linear and bounded}$$
1
vote
1answer
27 views

Inequality norms

Let $A$ be a bounded linear operator on a Banach space $X$. Can we show that for an arbitrary $n \in \mathbb{N}$ and $x \in X$ such that $\|x\|_X \geq 1$ we have that $$\|A^n x \| \leq \|Ax\|^n.$$ ...
1
vote
1answer
23 views

Convergence of the sequence of operators on a Banach space.

Let $T$ be a bounded linear operator on a Banach space $E$, and let $(T_n)$ be a sequence of bounded linear operators on $E$ such that $$\| (T - T_n)x \| \to 0 \ \ \text{ as } n \to \infty$$ for all ...
2
votes
2answers
115 views

Resolvent Set: Definition

Given Banach spaces: $X,Y$ Consider a linear operator: $T:\mathcal{D}(T)\to Y$ (not necessarily bounded nor closed nor closable nor densely defined) Define for the shorthand the shifted operator: ...
0
votes
0answers
29 views

Let $V:= (C([0,1]),\|\cdot\|$) with $\|f\|:= \int_0^1|f(x)| \ dx$. Consider the function $f_n$ and show that V is not a Banach Space.

The Assignment: Let $V:= (C([0,1]),\|\cdot\|$) with $\|f\|:= \int_0^1|f(x)| \ dx$. Consider the continuous function $f$ for all $n \in \mathbb{N}$: $$f_n: [0,1] \rightarrow \mathbb{R}, \ ...
1
vote
1answer
72 views

What is the dual space in the strong operator topology?

Let $X$ be a Banach space, the strong operator topology on the space of bounded linear operators $\mathcal{B}(X)$ is defined by the family of continuous semi-norms $A\to\|Ax\|$, $x\in X$. What is the ...
2
votes
1answer
88 views

Have they solved this exercise correct?(banach space, function space).

Please look at this exercise: It is the last question I have a problem with Here is the solution: They say that $\|I(1)\|=\sup|g(t)|$. But isn't $\|I(1)\|=\int_0^1g(t)dt$? If so, what is the ...
2
votes
1answer
29 views

Relation between continuity and weak star continuity

Let us have a mapping $T:X^*\to X^*$. We can endow domain and codomain with norm 'strong' topology (let X be Banach space), or weak star topology. That gives us total 4 combinations: weak*-weak* ...
2
votes
1answer
47 views

Projection onto finite-dimensional subspace of $L^p$

Let $a_i$ be a basis of $L^p(\Omega)$ and consider $A_n = \text{span}\{a_1, ..., a_n\}$. Take an element $f \in L^p$. We want to define a projection onto the finite-dimensional subspace $A_n$. How do ...
0
votes
1answer
34 views

Exercise on isometry

Let $X$ be a Banach space and $T$ a linear bounded operator defined on $L(X,Y)$ with $Y$ a normed space. If $T$ is an isometry then $TX$ is a closed subspace of $Y$. I considered a sequence $y_n$ ...
0
votes
1answer
19 views

Bounded operator on continuous functions

Let $X=C([0,1])$ and $T: X \rightarrow X$ defined as $$(Tf)(t)=f(t)+f(0)$$ Prove $T$ is bounded. I was thinking about using the fundamental theorem of calculus in order to get some bounds on $f(0)$ ...
1
vote
1answer
57 views

Creation and Annihilation Operators: Norm Estimate

Given the Fock space: $$\mathcal{F}(\mathcal{h}):=\bigoplus_0^\infty\mathcal{h}^{n}\text{ with } \mathcal{h}^{n}:=\bigotimes_1^n \mathcal{h},\mathcal{h}^0:=\mathbb{C}$$ Define the creation and ...
0
votes
1answer
47 views

Positive Operator: Norm Estimate

In class we encountered the statement: $$H\geq C\mathrm{Id},C>0\Rightarrow\|\mathrm{e}^{-\beta H}\|<1,\beta>0$$ How does one prove this? Moreover what about the weakened version: $$H\geq ...
1
vote
0answers
61 views

Characterization of the finite-dimensional $l_\infty$, $l_1$, $l_p$ up to a linear isometry

There are many different ways to endow the finite dimensional vector space $\mathbb R^n$ with the structure of Banach space, in particular, one can consider the standard norms $$ ...
13
votes
1answer
222 views

Injectivity of the operator $(Ax)(t)=\int_0 ^1 k(s,t) x(s)ds$

Let $X=C([0,1],\mathbb{R})$ (equipped with the supremum norm). Let $A$ be the operator defined for each $x\in X$ by $$(Ax)(t)=\int_0 ^1 k(s,t) x(s)ds,$$ where $k:[0,1]\times [0,1]\to \mathbb{R} $ is ...
2
votes
1answer
32 views

Exercise on L^p spaces

Let $f$ be a function of $L^p([0,2]) \>\> \forall p \in [1, \infty )$ and suppose $||f||_p \leq 1$. Show that $f$ belongs to $L^{\infty}([0,2])$ and $||f||_{\infty} \leq 1$.
2
votes
2answers
89 views

Compact operators, injectivity and closed range

Let $X$ be a an infinite dimensional Banach space. $A\in B(X)$ is a compact operator. If its range $Im(A)$ is closed in $X$ then $A$ cannot be injective because $A:X\to Im(A)$ would be a compact ...
1
vote
1answer
40 views

Comparing two linear functions

Let $X$ be a Banach space and let $h:X\to\Bbb C$ and $f:X\to\Bbb C$ be two bounded linear functions such that if for some $x\in X$ we have $f(x)=0$ then $h(x)=0$. Prove that there exists a ...
0
votes
2answers
12 views

Sequence of continuous functions with unitary norm

I want to construct a sequence $f_n$ of continuous functions in $[0,1]$ such that $||f_n||=1$ (so a bounded sequence) and $||f_n-f_m||=1$ (it doesn't have any convergent subsequences). The norm is ...
0
votes
0answers
21 views

Polar set and adjoint operator

I'm trying to understand the following statement: A bounded operator between Banach spaces $u:X\rightarrow Y$ satisfies: $$\textrm{inf}\{\;||u(B_X \cap S)||:S\subset X,\,\textrm{codim}S=k \; ...
0
votes
1answer
34 views

Some questions about subspaces in Banach spaces

I just have a few question about some things in Banach spaces. Let $X$ be a separable, reflexive Banach space with basis $\{e_{i}\}$. Let $X_{n} = \text{span}\{e_{1},...,e_{n}\}$, then consider the ...
0
votes
1answer
54 views

Am I wrong ? (2)

Let $X=C[0,1]$ be the space of real continous functions on $[0,1]$. $X$ is a Banach space with the two norms $$|f|_\infty=\sup_{s\in[0,1]}|f(s)|$$ and ...
1
vote
1answer
40 views

$(X,|.|_A)$ is Banach implies $A$ is closed

Let $(X,|.|)$ be a Banach space. We know that if $A:X\to X$ is a closed operator then $(X,|.|_A)$ is a Banach space, where $|.|_A$ is the norm defined by $$|x|_A=|x|+|Ax|$$ Then using the "continuity ...
1
vote
0answers
35 views

The closed graph theorem for Banach spaces isn't true. True?

I'm reading through some functional analysis lecture notes and there the closed graph theorem was stated in the following form: Let $X$ be a Baire locally convex space and $Y$ a Frechet space. If ...
0
votes
1answer
24 views

Contraction map

I have a general question about the properties of contractive/non-contractive maps. Assuming I have a map $F$ which I know is not a contraction. Can it map a ball back to itself, i.e. for some ...
1
vote
1answer
49 views

Where am I wrong ??

Let $(X,|.|)$ be a Banach space. $A\in B(X)$ a bounded injective operator. Then we can define another norm on $X$ by $$|x|_A=|Ax|.$$ Since we have $$|x|_A\leq |A||x|$$ Then by the result of continuity ...
2
votes
1answer
78 views

Dual of $div$ on spaces where the tangential value is fixed

Say $\Omega$ is a domain in $\mathbb R^3$ with a smooth boundary $\Gamma$. Consider the spaces $$ H_{n,0}=\{v\in H^1(\Omega):n\cdot v \bigr |_{\Gamma} = 0\} $$ and $$ H_{t,0}=\{v\in ...
6
votes
1answer
135 views

Extension of Goldstine theorem

Is the following claim true? Claim. Let $E$ be a Banach space and $F$ its closed subspace. Assume $x\in (E\setminus F)\cup\{0\}$ and $y^{**}\in F^{\perp\perp}$, then there exist a net ...
1
vote
0answers
29 views

How to prove these equivalences?

I want to prove the following statement: Let $K$ be a compact Hausdorff space and $F\subset C(K)$. Then the following are equivalent: The closure of $F$ in the weak topology of $C(K)$ is weakly ...
1
vote
0answers
40 views

Holomorphic Functional Calculus

Framework: Consider a Banach space: $$(E,\|\cdot\|)$$ Given an unbounded operator: $$T:\mathcal{D}(T)\to E\qquad\mathcal{D}(T)\subseteq E$$ together with its resolvent map: ...
0
votes
1answer
21 views

Injectivity and surjectivity of $\lambda I-A$.

Let us $A$ a square matrix, $\lambda\in \mathbb R^+$, $I$ identity matrix, R a operator, X Banach space. If $$(\lambda I-A) Ru=u \ \ (u\in X)$$ and $$R(\lambda I-A) u=u \ \ (u\in X)$$ then can we ...
0
votes
1answer
24 views

ODE with initial condition $u$ belonging to Banach Space.

Let X denote a real Banach space, and consider then the ODE \begin{equation} \begin{cases} \mathbf{u}'(t)=A \mathbf{u}(t); \ \ \ (t\geq0)\\ \mathbf{u}(0)=u, \end{cases} \end{equation} where ...
0
votes
1answer
20 views

Fréchet derivative and local maximum

I'm pretty confused with the idea of local maximum in function spaces. Normally having a null Fréchet derivative is a necessary but not sufficient condition for being a local maximum. Computing the ...
1
vote
1answer
55 views

Is Lp space complete with this norm?

Let $E$ be a measurable set of finite measure and $1\leq a<b<\infty$. Consider the $L^b(E)$ space normed by $L^a$ norm. Is this space a Banach space? I think this is wrong, so I tried to find a ...
12
votes
1answer
198 views

A property of exponential of operators

Let $X$ be a Banach space. $A\in B(X)$ is a bounded operator. we can define $e^{tA}$ by $$e^{tA}=\sum_{k=0}^{+\infty}\frac{t^kA^k}{k!}$$ I am interested in this property: If $x\in X$, such that the ...
2
votes
2answers
51 views

Is this operator bounded ??

Let $X$ be the Banach space $X:=\{ f\in C(\mathbb{R},\mathbb{R}),\sup_{t\in \mathbb{R}}|e^{-s^2}f(s)|<+\infty \}$ equipped with the norm $$|f|_X=\sup_{t\in \mathbb{R}}|e^{-s^2}f(s)|$$ I want to ...
0
votes
1answer
48 views

Reflexive Banach spaces and norms

Let $(X,|.|)$ be a reflexive Banach space, and $Y\subset X$ such that $(Y,|.|_Y)$ is a Banach space with a norm $|.|_Y$ stronger than $|.|$, i.e. there's a constant $C$ such that $$|y|\leq C |y|_Y, \ ...
0
votes
1answer
89 views

Reflexive normed spaces are Banach

I want to prove that a reflexive normed space $X$ is a Banach space. By the definition of the reflexive space, the evaluation map $J:X\to X''$ is a bijection. All I need is to prove that the ...
1
vote
1answer
46 views

Nontrivial functionals on $l^\infty$ vanishing on $c_0$

I understood that the dual of $c_0$ is a proper subspace of the dual of $l^\infty$, by Hahn-Banach theorem. But how can I find functionals in $(l^\infty)^*$ vanishing on $c_0$?
1
vote
1answer
57 views

Weak convergence on Banach space

Let $(X,|.|)$ be a Banach space, and $Y$ is a linear subspace of $X$ which is dense in $X$. Now if we have another norm $|.|_Y$ in $Y$ which is comparable to $|.|$ by $$|y|\leq C |y|_Y, \ \ \ \forall ...
0
votes
0answers
13 views

inequality for compact operator

Let $K(x)$, $x\ge0$ be a nonnegative-valued continuous function with support $(0,\infty)$ and such that $\int_0^\infty K(x)\,dx=1$. Let $\mathcal{K}$ be an integral operator given by $$ ...