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
1answer
18 views

right inverse and supplement of kernel in a banach

For $T \in L(E,F)$ continuous surjective linear operator between Banach spaces $E$ and $F$ we have that : $Ker(T) $ admits a closed complement $L$ in $E \implies T$ admits a continuous right ...
1
vote
3answers
151 views

Spectrum of a nilpotent operator

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator such that $A^n=0$ for some $n\in \mathbb{N}$. Is the spectrum of $A$ finite, countable ?
0
votes
2answers
27 views

Existence Adjoint Operator: Boundedness?

Context This would make the check on the GNS construction much more simple. Problem Given a Hilbert space $\mathcal{H}$. Consider a merely linear operator $A:\mathcal{H}\to\mathcal{H}$. Suppose ...
4
votes
1answer
136 views

Generalized Riemann Integral: Bounded Nonexample?

Reference For a convergence theorem on integral see: Riemann Integral: Uniform Convergence For an improper version of integral see: Riemann Integral: Improper Version For a comparison of integrals ...
2
votes
1answer
56 views

Are the invertible elements of a Banach algebra closed in the set of left-invertible elements?

Let $A$ be a unital Banach algebra. Denote by $\mathrm{Inv}(A)$ the invertible elements in $A$, and $\mathrm{Inv}_\ell(A)$ the left-invertible elements. That is, $a \in \mathrm{Inv}_\ell(A)$ if and ...
1
vote
0answers
48 views

Understanding dual spaces

My professor asked me to give him an example about dual spaces from our real life so I was thinking if we take the set of all our actions as the space X can the space of all our thoughts be the dual ...
1
vote
0answers
66 views

Proof Riesz Representation Theorem (bounded linear functional in Lp)

I have a little problem with this proof (I'm using Royden), can you help me? Let $F$ be a bounded linear functional on $L^p$, $1 \leqslant p \leqslant \infty$. Then there is a function $ge \in L^q$ ...
1
vote
1answer
51 views

Weak Convergence and Weak Topology

In discussing weak topology of a normed space $X$, a lemma is given as follows. If $(x_n)$ is a sequence in $X$ converging weakly to $x$, then $x_n$ is bounded. I understand the proof of this ...
1
vote
0answers
23 views

Continuous Strong-Strong Implies Continuous Weak-Weak

Let $X$ and $Y$ be two Banach spaces and let $T$ be a linear map between $X$ and $Y$. Show that $T$ is continuous strong-strong if and only if $T$ is continuous weak-weak. I can see that $T$ ...
1
vote
0answers
28 views

Dual of a locally convex space

Let $X$ be a normed space. Suppose $E$ is a subset of $ X^*$ (The space of continuous linear functionals). For every $\phi\in E$, define seminorm $p_\phi: X\to [0,\infty)$ such that $p_\infty (x)= ...
5
votes
1answer
119 views

Banach Spaces: Uniform Integral vs. Riemann Integral

Reference For a bounded nonexample of integrability see: Riemann Integral: Bounded Nonexample For a convergence theorem on integral see: Riemann Integral: Uniform Convergence For an improper ...
5
votes
1answer
47 views

If $f(x)$ is close to $0$ then necessarily $x$ is close to $\ker f$?

Suppose that $X$ is a real Banach space and $f:X \to \mathbb{R}$ is a continuous linear functional. Is it true that for any $\varepsilon>0$ there is a $\delta>0$ such that for any $x \in X$ we ...
1
vote
1answer
54 views

A Question on Compact Operators on Hilbert Space

I read this question which I have no idea how to start. Could anyone provide me with some detailed answer, please? Thanks. Suppose that a linear operator $F$ from a Hilbert space $\mathcal H$ to ...
1
vote
1answer
34 views

Inner products of weakly convergent sequences

I have a weakly convergent sequence in $L^2(U)$ (for $U$ some bounded open domain with smooth boundary), $u_k\rightharpoonup u$. I want to show that there is a sequence $v_k\rightharpoonup v$, such ...
1
vote
1answer
84 views

Best approximation for a closed set in a finite dimensional normed space

First of all I'd like to mention that it is a part of my home work so I'd like if you won't give the answer itself, but try to guide me into it. I've been losing my mind for the last couple of hours ...
4
votes
5answers
275 views

Possible flaw in “proof” that a sum of two compact operators is compact

If X and Y are Banach spaces, and $A: X \to Y$, $B: X \to Y$ are both compact operators, then $A + B$ is compact. A + B is compact if and only if for every bounded sequence $\lbrace x_n \rbrace$ ...
5
votes
1answer
42 views

limit of a weakly convergent sequence in Banach spaces

Consider $X$ a Banach space. For some sequence $x_n\in X$, assume that for every $f\in X^*$, $f(x_n)\to c_f$. Does this imply that $\exists x\in X$ where $c_f = f(x)$? How might I go about finding ...
1
vote
2answers
54 views

Property of linear projections

Theorem 15 in Chapter 15 of Peter Lax's functional analysis book says $X$ is a Banach space, $Y$ and $Z$ are closed subspaces of $X$ that complement each other $X = Y \oplus Z$, in the sense that ...
5
votes
1answer
90 views

A smooth nonzero function $\mathbb R\to\mathbb R$ with uniformly bounded derivatives tending to zero at infinity?

$\def\scrBp{\mathscr B\boldsymbol.}\def\rD{{\rm D}\kern.4mm}\def\ssp{\kern.4mm}\def\bbR{\mathbb R} $For a certain purpose I invented the Banach space $\scrBp^\infty(\ssp\bbR\ssp)$ defined as follows. ...
0
votes
0answers
22 views

Is $C^0_c(\Omega)$ complete wtr the $L^2(\Omega)$ norm?

$\Omega$ is an open convex subset of $\mathbb R^N$ I think it isn't. To prove this I show that $C^0_c(\Omega)$ isn't closed: there is a sequence in $C^0_c(\Omega)$ with limit (wtr the $L^2$ norm) not ...
3
votes
1answer
82 views

How do endomorphisms of Banach space modulo compact operators look like?

It is well-known that given a Banach space $X$, the set of compact operators (let's denote it by $K(X)$) on $X$ forms a both-sided ideal in $L(X)$, the ring of bounded linear operators on $X$. My ...
2
votes
2answers
46 views

Determination of some operator norms

I have to determine the operator norms, the kernels and the images of the following 2 maps: 1) $F_1 :\{x\in C^0([0,10],\mathbb R)|x(0)=0\}\rightarrow C^0([0,10],\mathbb R)$ ...
0
votes
0answers
43 views

Weak topology in Banach spaces

Let $X$ be a Banach space and suppose that $\{x_n\}$ is a sequence in X that is bounded, and suppose that $f(x_n) \longrightarrow f(x)$ $\forall f \in A$ where $A$ is subset dense of $X^*$. Show ...
0
votes
1answer
15 views

Nonclosable Operator: Example (Wikipedia)

The example here is taken from the wikipedia article: Discontinuous Linear Map Given the spaces of polynomials $X:=\mathcal{P}([0,1])$ and $Y:=\mathcal{P}([2,3])$. Their completions being ...
2
votes
1answer
53 views

find convergent subnet

I`m trying to learn how to use nets and subnets to prove some theorems. I came across this problem in Banach space book: let K be a compact subset of a topological space X. suppose that ...
1
vote
1answer
22 views

Showing space of functions with lipschitz norm is complete

I have a Banach space, $X$, given by all the complex valued functions $x: [-1,1] \to \mathbb{C}$ where $x(0) = 0$. And I've shown that the following defines a norm on $X$: $$\|x\| = inf \{ \beta : ...
2
votes
0answers
20 views

Finding a norm on $ \mathbb{R}^X $ such that the “natural” embedding of a metric space $ X $ in $ \mathbb{R}^X $ becomes an isometry

This question is related to this one: Every metric space can be isometrically embedded in a Banach space, so that it's a linearly independent set Kuratowski's embedding indeed seems to be the ...
3
votes
0answers
64 views
+100

Existence of a mapping in a nonseparable Banach space that moves all nearby points to far-away points

Does there exist a nonseparable Banach space $X$, a mapping $F: X\to X$, and an open nonempty subset $D\subset X$ such that $$ \forall\,E>0 \quad \exists\,\delta>0: \quad \forall\,x,y\in D \quad ...
1
vote
1answer
52 views

Proof about distances in banach spaces

Let $(X,\|\circ\|)$ be a banach space with $$\forall x,y\in X, x\neq y, \|x\|=\|y\|=1 \Rightarrow \|\frac{x+y}{2}\|<1 $$ If M is convex and $z \in X$, then $\|x-z\|=dist(z,M)$ for at most one $x ...
2
votes
0answers
65 views

James $\ell_1$-theorem: problem in the proof

I am struggling with the very last estimate in the proof of James' $\ell_1$-theorem. (Please see below an excerpt from Albiac and Kalton's fantastic book Topics in Banach space theory.) I don't ...
2
votes
1answer
51 views

Every metric space can be isometrically embedded in a Banach space, so that it's a linearly independent set

I'm trying to prove the following: Every metric space can be isometrically embedded in a Banach space, so that it's a linearly independent set. I came up with the following idea: Let $ (X,d) $ be a ...
-1
votes
1answer
33 views

Banach spaces, partial sums converge? [closed]

Let $(X,||.||)$ be a Banach space. Suppose the sequence $(x_n) \subset X$ is such that $\sum_{n=1}^{\infty} \|x_n\|$ converges in $\mathbb{R}$. Prove that $S_n = x_1+x_2+...+x_n$ the "Partial sums" ...
0
votes
0answers
34 views

Definition of reflexive Banach spaces

I'm trying to understand the definition of reflexive spaces. I wrote in my notes: If $Y$ is reflexive then for all $\eta\in Y^{**}$, $f\in Y^*$, $\exists y\in Y$ where $\eta(f) = f(y)$. My question ...
1
vote
2answers
61 views

About the adjoint operator and weak operator topology.

Let $X,Y$ be Banach spaces. Let $\lbrace{S_n\rbrace}\subset\mathcal{L}(X,Y)$, and $T\in\mathcal{L}(X,Y)$, such that $S_n\xrightarrow[n\to\infty]{WOT}T$, that is: $$\langle ...
2
votes
1answer
61 views

A Counter Example about Closed Graph Theorem

This is an example I read around closed graph theorem. Let $Y=C[0, 1]$ and $X$ be its subset $C^\infty[0, 1]$. Equip both with uniform norm. Define $D: X \to Y$ by $f \mapsto f'$. Suppose $(f_n, f_n') ...
0
votes
0answers
45 views

Weak convergence and convergence in distribution

Is convergence in distribution related to weak convergence in Banach theory? Where by weak convergence I mean: for every functional f the sequence $\langle f,x_n\rangle \overset{n}{\rightarrow} ...
2
votes
2answers
26 views

Completeness of the space of random variables with bounded conditional first moment with respect t0 $\left\Vert \cdot\right\Vert _{2} $

Consider a probability space $\left(\Omega,\mathcal{F},P\right) $, and a sub-sigma-algebra $\mathcal{G}\subseteq\mathcal{F} $. As usual, let $L^{2}\left(\Omega,\mathcal{F},P\right) $ be the space ...
0
votes
0answers
23 views

Soft: Interesting examples of applications of the Itô–Nisio theorem

I'm writing up a presentation on the Itô–Nisio theorem and I'm looking for a simple (nontrivial) example showcasing it. I was thinking of a 2-dimensional simple random walk, but that seems ...
0
votes
1answer
27 views

Proof completeness of $L^p$

I'd like to check if I understood the proof that $L^p$ is complete ($1 \le p <+\infty$). I have to use the following fact: in a metric space, if a Cauchy sequence has a convergent subsequence then ...
1
vote
2answers
57 views

Why $L^1$ is not reflexive [duplicate]

We already known that $$ (L^p(\Omega))^* = L^q(\Omega), $$ for all $1\le p < \infty $ and $q$ is the exponent conjugate to $p$. So that, $L^p(\Omega)$ is reflexive with $1<p<\infty$. However, ...
0
votes
1answer
28 views

Given $X,Y$ are Banach spaces with norms $\|x\|_X,\|y\|_Y$, prove $\|(x,y)\|=\max(\|x\|_X,\|y\|_Y)$ is a norm and defines a Banach space

Here is the question: Let $X$ and $Y$ be Banach spaces with norms $\|x\|_X$ and $\|y\|_Y$ respectively. Prove that $$\|(x,y)\|=\max\{\|x\|_X,\|y\|_Y\}$$ defines a norm on $X\times Y$, and that ...
0
votes
1answer
24 views

Find $f$ such that the contraction $\phi$ has a fixed-point $\rho= \sqrt{2}$

I use the Newton method and the Banach fixed-point theorem and have: Let $I \subset \mathbb{R}$ a closed interval and $\phi: I \rightarrow I$ Lipschitz continous and $f: I \rightarrow \mathbb{R}$ a ...
0
votes
0answers
31 views

Banach fixed-point theorem and Newton

I have to combine the Newton method and the Banach fixed-point theorem: Let $I \subset \mathbb{R}$ a closed interval and $\phi: I \rightarrow I$ Lipschitz continous. Let $f: I \rightarrow ...
3
votes
1answer
56 views

Holder Inequality

I have a problem with the demonstration of this inequality ('m following Royden) : If $p$ and $q$ are nonnegative numbers such that $\frac{1}{p}+\frac{1}{q}$ and if $f \in L^p$ and $g \in L^q$, then ...
2
votes
1answer
53 views

$p$-summable series in a Banach space

Let $E$ be a Banach space and denote its dual space by $E^*$. Let $p \in [1, \infty)$ and $x : \mathbb{N}\rightarrow E$ be such that for every $\phi \in E^*$, $$\left( \sum_{n=1}^{\infty} \lvert ...
0
votes
1answer
18 views

Convergence with respect to the graph norm

Let $T:A\subset E\to F$ be a linear closed operator with dense domain. (E,F are Banach spaces) and $x_n$ a sequence in A such that $||x_n-x||_E\to 0$. Let $||x||_1:=||x||_E+||T(x)||_F$ be the graph ...
1
vote
2answers
79 views

$L^{p}$ spaces and their properties

I have a question: I don't know how to show that if $1<p<q<\infty$ , then $L^{q}(0,1)\subset L^{p}(0,1)$ and $\mid\mid f\mid\mid_p$ < $\mid\mid f\mid\mid_q$, $\,f \in L^{q}(0,1)$?
1
vote
0answers
50 views

Does this function have a unique fixed point?

Consider the following equations in fixed-point form: $$\mathbf{x}=F(\mathbf{x})=[f_1(\mathbf{x}),f_2(\mathbf{x}),\cdots,f_n(\mathbf{x})]^T$$ where the function $f_i$ is defined as ...
1
vote
0answers
36 views

Newton method and the Banach fixed-point theorem

I try to combine the Newton method and the Banach fixed-point theorem but I have still some questions: Let $I \subset \mathbb{R}$ a closed interval and $\phi: I \rightarrow I$ Lipschitz continous. ...
1
vote
1answer
21 views

Isometric Operators: Common Core

Given a Hilbert or Banach space $\mathcal{H}$. Consider two closed operators $S:\mathcal{D}(S)\to\mathcal{H}$ and $T:\mathcal{D}(T)\to\mathcal{H}$. Suppose they're isometric on a common core ...