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

Containment of $c_0$ or $\ell_p$

Suppose that $(x_n)$ is a sequence of unit vectors in a Banach space $X$ such that $$\mbox{dist}(x_m, S_{X_n})=1$$ for all $m > n$. Here $S_{X_n}$ stands for the unit sphere $\mbox{span}\{x_1, ...
0
votes
1answer
26 views

Bounded resolvent

I am finding a somewhat obscure wording on my functional analysis text. $A$ is a linear operator on a complex Banach space $E$, which I'm almost sure to mean that $A$ is $E\to E$. Then I read that if ...
0
votes
0answers
21 views

Can we equip smooth functions ($C^{\infty}[0,1]$) to some complete norm? [duplicate]

Let $C^{\infty}[0,1]$ be the vector space of all real function $f:[0,1]\rightarrow \Bbb R$ s.t for each $n \in \Bbb N$, $f^{(n)}$ exist. Is there a norm $\|.\|$ on $C^{\infty}[0,1]$ such that ...
0
votes
1answer
30 views

Banach Algebras: Continuity of Inversion?

Context: This question is related to this thread: Spaces of Functions Given a topological space $X$ and a Banach algebra with unit $B$. Consider a continuous map $F:X\to B$ that is invertible ...
2
votes
1answer
57 views

show that every compact operator on Banach space is a norm-limit of finite rank operators (in a particular way, under the given hypotheses)

Let $X$ be a Banach space and suppose there is a net $\{F_i\}$ of finite-rank operators on $X$ such that $(a)$ $\sup_i||F_i||<\infty$ ; $(b)$ $||F_ix-x||\to 0$ for all $x$ in $X$. Show that if $A$ ...
2
votes
0answers
45 views

Reference request for the proof of the Brodskii–Milman fixed point theroem for isometries

Can any one help me to access the paper M.S Brodskii and D.P Milman, On the center of a convex set, Dokl. Akad. Nauk SSSR 59 (1948) 837–840 in Russian? or to prove the theorem If $K$ is a ...
1
vote
0answers
25 views

An example of a non-compact operator which is equal to (norm) limit of compact operators

For a normed linear space $X$ and a Banach space $Y$, the set of all compact operator from $X$ to $Y$, which is denoted by $K(X,Y)$, is normed closed in $B(X,Y)$. Is there a counterexample which ...
0
votes
0answers
90 views

Existence of a Banach space with algebraic dimension $\alpha \neq \aleph_0$

For any given cardinal number $\alpha \neq \aleph_0$, is there a Banach space $X$ with algebraic dimension $\alpha$?
2
votes
0answers
28 views

Maximal chain in the collection of all invariant subspaces for compact operator $K$

Let $X$ be a Banach space over ${\Bbb C}$, and $K\in K(X)$ ($K(X) = $ compact operators space). Show that if ${\cal L}$ is a maximal chain in the $Lat K$ ($Lat K = $ the collection of all invariant ...
2
votes
1answer
55 views

Operators on non-separable Banach spaces have non-trivial invariant subspaces

Show that if $T\in B(X)$ and $X$ is not separable, then $T$ has a nontrivial invariant subspace. I know that $\ker (T)$ and $\operatorname{ran}(T)$ are invariant $T$-subspace. So if $\ker T\neq ...
4
votes
0answers
62 views

finding the algebraic dimension of $\ell^p$ spaces

I want to know "how we can find the algebraic dimension(the cardinal number of the Hamel basis) for $\ell^p$ spaces." What can we say about $\ell^p(I)$, where $I$ is an infinite set?\ Moreover, for ...
1
vote
1answer
49 views

The space $ \left( \sum \ell_p^n \right)_2$ is reflexive.

Let $\ell_p^n:= (\mathbb R^n, \|\cdot\|_p)$. I want to show that the space $$ \left(\sum_{n=1}^\infty\ell_p^n \right)_2 := \left(\left\{ (x_n)_{n \in \mathbb N} : x_n \in \ell_p^n ...
0
votes
1answer
28 views

Density of a closed and convex subset of a Banach space.

There's this homework problem that I've been battling on-and-off for about a week now. I've managed to reduce it to the following lemma. Lemma. Let $X$ denote a Banach space, and consider closed ...
2
votes
0answers
25 views

Invariant subspaces and their complements

The following is Exercise 6.4.2 of Conway's Functional Analysis: Suppose $T\in B(X)$ where $X$ is a Banach space. Prove that $M$ is invariant under $T$ if and only if $M^{\perp}$ is invariant under ...
0
votes
0answers
32 views

Compact/open subsets of vector space

Let $K\subset U$ be compact (resp. open) subsets of a normed vector space. Must there exist an open $V$ such that $K+V\subset U$?
4
votes
1answer
64 views

Differentiation in Besov–Zygmund spaces

This is my second question in a short time on Besov spaces. I apologize. I am having a rough time with them and I really need to understand this spaces quickly. The Besov spaces ...
2
votes
1answer
45 views

Compactness of an operator on $c_0$ in terms of its infinite matrix representation

Let $A\in {\cal B}(c_0)$ (${\cal B}(c_0)$ is linear bounded operators on $c_0$) and for $n\geq 1$, define $e_n \in c_0$ by $e_n(m)=\delta_{nm}$. Put $\alpha_{nm}=(Ae_n)(m)$ for $n,m\geq 1$. we have $M ...
0
votes
0answers
25 views

Composition operator of a non-analytic function

I recently came across a problem that can be reformulated in simple terms involving the composition operator $$ C_g\colon X \to X, \quad f \mapsto f \circ g $$ for functions $$ f,g\colon \mathbb{C} ...
1
vote
1answer
53 views

Proving $u$ is compact whenever $u^\ast$ is

Let $X,Y$ be Banach spaces and let $u: X \to Y$ be a linear operator. Let $u^\ast: Y^\ast \to X^\ast$ denote its transpose and assume that $u^\ast$ is compact. I am trying to prove that $u$ is ...
5
votes
1answer
86 views

Is $C^{\infty}([0,1])$ a Banach space?

I have read that the answer is no, but I am unable to prove it. Give $C^{\infty}([0,1])$ the metric $$d(f,g) = \sum_{j=0}^{\infty} 2^{-j} \frac{||(f-g)^{(j)}||}{1 + ||(f-g)^{(j)}||}$$ associated to ...
0
votes
2answers
53 views

Extending Positive Functionals: Linearity

How does regularity provide linearity? Given the full Banach space of bounded functions over a suitable set: $$\mathcal{B}:=\{f:\Omega\to \mathbb{C}:\|f\|_\Omega<\infty\}$$ and a linear subspace ...
3
votes
1answer
62 views

Give necessary and sufficient conditions for a multiplication on $L^p$ to be compact

Let $(X, \Omega, \mu)$ be a $\sigma-$ finite measure space and for $\phi \in L^\infty(\mu)$ let $M_\phi:L^p(\mu) \to L^p(\mu)$ defined by $M_\phi f = \phi f $ be the multiplication operator. Give ...
2
votes
1answer
23 views

An abstract a priori estimate in finite element method

Let $V$ and $K$ be Banach spaces (with norms $\|\cdot\|_V$ and $\|\cdot\|_K$ resp.) and suppose that there is a compact linear embedding $K\hookrightarrow V$. Furthermore, let $P_n$ be a family of ...
0
votes
1answer
25 views

Extending Banach Space of Functions

The idea is that one could in principle consider the space of functions: $$\{f:\Omega\to V\}$$ with pointwise operations and uniform convergence: $$f_\lambda\to f:\iff\|f_\lambda-f\|_\infty\to 0$$ ...
0
votes
1answer
46 views

Identity mapping from $C^1[0,1]$ with supnorm to $C^1[0,1]$ with $C^1$ norm is not continuous

If X = $C^1[0,1]$, $||f||_1 = ||f||_\infty$, and $||f||_2 = ||f||_\infty + ||f'||_\infty$, show that the identity map $I: (X, ||·||1) → (X, ||·||2)$ is bounded below, but not continuous. I know ...
2
votes
1answer
42 views

Three-space property

I have found two definitions of a three-space property. One definition is: $(P)$ is a three-space property if whenever $E$ Banach space, $F\subseteq E$ is a closed linear subspace and two of the ...
2
votes
1answer
24 views

$\sup$ norm of a function

The following is an example of Murphy's C*-algebras and operator theory: I do not know how he concludes $$\int_0^1 |k(s,t) - k(s',t)||f(t)| dt \leq \sup|k(s,t) - k(s',t)|||f||_\infty$$ Please help ...
2
votes
0answers
55 views

Prove that a norm makes a space Banach

I have to prove that if $A$ is a C*-Algebra then the algebra $A_1$ obtained adjoining the identity is a C*Algebra too (with the usual algebraic operation defined). I have any problem in all the ...
3
votes
1answer
70 views

Integral operator on $L^p$ is compact

Let $(X,\Omega,\mu)$ be an arbitrary measure space, $1<p<\infty$ , and $\frac{1}{p}+ \frac{1}{q} = 1$. If $k:X. X\to \Bbb C$ is an $\Omega.\Omega-$ measurable function such that $$M = [\int ...
0
votes
2answers
59 views

Space of Functions: Characterizations of Positivity

Context The problem here is about the characterization of positivity for real or complex valued functions: $$\sigma(f)\geq 0\iff\sigma(f(x))\geq 0\text{ for all }x\in X\iff f(x)\geq 0\text{ for all ...
3
votes
2answers
42 views

Banach Spaces: Totally Bounded Subsets

As an easy consequence of Riesz' lemma it is known that infinite dimensional Banach spaces possess bounded subsets that fail to be totally bounded. On the other hand in finite dimensional Banach ...
3
votes
1answer
53 views

Sums of special vectors

Let $v$ be a vector obtained by taking a sum of $k$ vectors the of the form $(0,0,\ldots,0, -n, *,*,\ldots,*)$, where $"*"$ stands for either $0$ or $1$, and the position of the $-n$ entry can vary ...
0
votes
1answer
68 views

Banach Spaces: Totally Bounded vs. Bounded

Are the finite dimensional Banach spaces precisely those ones in which subsets are totally bounded iff they're bounded?
10
votes
1answer
102 views

When is an operator on $\ell_1$ the dual of an operator on $c_0$?

Suppose $T:\ell_1\to\ell_1$ is a continuous linear operator. When can we say that $T$ is a dual, or adjoint, of an operator on $c_0$? In other words, under what conditions can we find a continuous ...
1
vote
0answers
44 views

Bounded below adjoint operators

Let $T\colon X\to Y$ be a bounded linear operator. Suppose that $Z$ is a subspace of $Y^*$ such that $T^*$ is [bounded below][1] on $Z$. Denote by $\text{w*-dens}\, Z$ the minimal cardinality of a ...
2
votes
1answer
60 views

Discontinuous seminorm on Banach space

We have known that if $X$ is a Banach space and $\sum_{n=0}^{\infty}x_n$ is an absolutely convergent series in $X$ then $\sum_{n=0}^{\infty}x_n$ is a convergent series. Moreover, we have $$ (*)\quad ...
5
votes
0answers
69 views

Weak*-complemented subspaces of $\ell_\infty$

Consider $\ell_\infty$ as $\ell_1^*$. Let $X$ be an infinite-dimensional complemented subspace of $\ell_\infty$ (in partiuclar, $X$ is isomorphic to $\ell_\infty$). Can we find a further subspace ...
3
votes
1answer
71 views

Small $\ell^p$ spaces are obtainable from $L^p$

I've seen that in a lot of books there is written that $$l^p=L^p(X,\Sigma,\mu),$$ where $X=\Bbb N, \Sigma=P(\Bbb N), \mu=\#$, ($\#$ is the counting measure). I would like to see how to prove it, ...
2
votes
0answers
27 views

Does a strictly convex and weak metrizable unit sphere of a Banach space imply locally uniform convexity?

I'm trying to find a proof for this question Let $X$ be a Banach space with strictly convex norm and a metrizable unit sphere, $S_X=\{x\in X: \|x\|=1\}$, for the weak topology. Does $X$ admits ...
0
votes
1answer
48 views

Question on the proof of Open mapping Theorem

I am studying on Open Mapping Theorem. I am stuck at a point in the proof. Open Unit Ball: A bounded linear operator T from a Banach space X onto a Banach space Y has the property that the image ...
0
votes
2answers
69 views

Existence of a semigroup of bounded operators which is not $C_0$

Let $X$ be any Banach space. Then we can define a $C_0 $ semi group of bounded operators on $X$. But my question is that can we define a semi group of bounded operators which is not $C_0$?
3
votes
1answer
43 views

If a series has the same sum under any rearrangement, then is it absolutely convergent?

Let $(V,\| \cdot \|)$ be a Banach space. Let $\{a_n\}$ be a sequence in $V$ such that $\sum a_n$ converges. Assume that for every bijection $f:\mathbb{N}\rightarrow \mathbb{N}, \sum a_n = \sum ...
1
vote
1answer
41 views

The image of non-reflexive Banach space in its bidual is at large distance from some unit vector in the bidual

I am having some difficulties with part of a problem, I am working on. Let $X$ be a non-reflexive Banach space and let $i: X \to X^{**}$ be the canonical embedding. Show that for given $\epsilon ...
3
votes
2answers
90 views

Showing a set is nowhere dense in $C([0,1])$

Let $E_n$ be the set of all $f \in C\big([0,1]\big)$ for which there exists $x_0 \in [0,1]$ (depending on $f$) such that \begin{align*} \lvert\, f(x)-f(x_0)\rvert \leq n\lvert x-x_0\rvert, ...
1
vote
1answer
54 views

About composition of Holder functions.

Let $f,g$ be Holder continuous functions with respective exponents $\alpha, \beta \in (0,1)$. More precisely $f \in C^{\alpha}(\mathbb{R}^n;\mathbb{R}^n)$, $g\in C^{\beta}(\mathbb{R}^n,\mathbb{R})$. ...
2
votes
1answer
32 views

Kernel of the Extension of a Bounded Linear Operator

Suppose $T\colon E\to F$ is a bounded linear operator between Banach spaces. Moreover let $i\colon E\to E’$ be a dense, compact inclusion of $E$ into some other Banach space $E’$. Finally assume that ...
0
votes
1answer
53 views

Borel Measure on Banach Space

While thinking about what some measure on an infinite dimensional Banach space could look like a came across the point that if I'd like to assign a size to all epsilon balls, they by Riesz' lemma ...
0
votes
1answer
76 views

Book suggestion geometry of Banach spaces

I am studying geometry of Banach spaces and applications in metric fixed point theory. Does anyone have a good recommendation of books//lectures/resources/etc.? Thanks.
4
votes
1answer
41 views

Is Banach space a correct context to study sequences and series?

Recently, I have reviewed elementary analysis and I realized that every theorem in the text(Rudin-PMA) about series can be generalized to Banach space. Here is an example. Below is the theorem ...
2
votes
2answers
118 views

How to show that $e^{tA}=\frac{1}{2\pi i}\int_{\{Re \ \lambda =a\}}e^{\lambda t}(\lambda I-A)^{-1}d\lambda$?

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator. We can show that if $|\lambda|>|A|$ then $\lambda I-A$ is invertible and $$(\lambda ...