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
2answers
241 views

$Conv(Ex((C(X))_1))$ is dense in $(C(X))_1$?

Let $X$ be compact Hausdorff, and $C(X)$ the space of continuous functions over $X$. Denote the closed unit ball in $C(X)$ by $(C(X))_1$, then it can be shown $f$ is an extreme point of $(C(X))_1$ if ...
1
vote
2answers
1k views

Proof of Eberlein–Smulian Theorem for a reflexive Banach spaces

Looking for the proof of Eberlein-Smulian Theorem. Searching for the proof is what I break with this morning. Some of my friends recommend Haim Brezis (Functional Analysis, Sobolev Spaces and ...
0
votes
0answers
99 views

Semigroups: Entire Elements (II)

Problem Given a Banach space $E$. Consider a contraction C0-group: $$T:\mathbb{R}\to\mathcal{B}(E):\quad\|T(t)x\|\leq\|x\|$$ Define its generator by: $$Ax:=\lim_{h\to0}\frac{1}{h}(T(h)x-x)\in E$$ ...
0
votes
1answer
54 views

Generalized Riemann Integral: Uniform Convergence

Disclaimer This thread is meant to record. See: Answer own Question And it is written as question. Have fun! :) Reference For a bounded nonexample of integrability see: Riemann Integral: Bounded ...
0
votes
1answer
315 views

Let $E$ be a Banach space, prove that the sum of two closed subspaces is closed if one is finite dimensional

Let $E$ be a Banach space and let $S$ and $T$ be closed subspaces, with dim$\space T<\infty$. Prove that $S+T$ is closed. To prove that $S+T$ is closed I have to show that for any limit point $x$ ...
9
votes
1answer
210 views

Is the complex Banach space $C([0,1])$ dual to any Banach Space?

I've been able to show that the extreme points of $C([0,1])$ are the continuous functions that take values on the unit circle. However, I'm not sure how to reason from here as to whether or not it is ...
7
votes
2answers
1k views

Dual space of the space of finite measures

Since I am reading some stuff about weak convergence of probability measures, I started to wonder what is the dual space of the space consisting of all the finite (signed) measures (which is well ...
6
votes
2answers
2k views

Bounded linear operator maps norm-bounded, closed sets to closed sets. Implies closed range?

Question Suppose $T:X\rightarrow Y$ is a continuous, injective linear operator between Banach spaces. Suppose, in addition, that $T$ maps norm bounded closed sets in $X$ to closed sets in $Y$. Then ...
4
votes
1answer
57 views

A certain element which makes functionals positive

Suppose $X$ is a possibly non-separable Banach space and let $X^*$ be its dual. Also, let $(f_n)_{n=1}^\infty$ be a sequence of [EDIT: linearly independent] norm-one functionals in $X^*$. Does there ...
4
votes
4answers
2k views

Non-closed subspace of a Banach space

Let $V$ be a Banach space. Can you give me an example of a subspace $W\subset V$ (sub-vectorspace) that is not closed? Can't find an example of that yet. Thanks!
3
votes
1answer
123 views

Space of $\mathbb{R}$ valued sequences converging to $0$. Some basic results.

Let $C_0(\mathbb{R})$ be the space of $\mathbb{R}$ valued sequences converging to $0$. Let $l_n$ be a positive sequence in $\mathbb{R}$ such that $\sum\limits_{n=1}^\infty l_n=1$. We define $$ ...
2
votes
1answer
114 views

Can a vector space be complete for two non-compatible norms?

Let $V$ be a vector space and suppose that we have two non-compatible norms on it, i.e. I distinguish $E = (V, \|\cdot\|_1)$ from $F = (V, \|\cdot\|_2)$ and I ask that $\not\exists C>0 \; ...
2
votes
1answer
122 views

a compact operator on $l^2$ defined by an infinite matrix

Let $A$ be an infinite matrix such that $\displaystyle \sum_{i,j}|a_{i,j}|^2<\infty$. Then $A$ defined a compact operator on $l^2$.
2
votes
1answer
206 views

Subspace isomorphic to a complemented subspace

I'll begin by writing down the definitions I'm using, to avoid confusion. Let $X$ be a Banach space and let $Y$ be a subspace of $X$. We say that $Y$ is complemented in $X$ if there exists a linear ...
2
votes
1answer
918 views

Show $T$ is invertible if $T'$ is invertible where $T\in B(X)$, $T'\in B(X')$

Seems simple enough but I can't quite get it. $X$ is a complex Banach space, and $T\in B(X)$, $T'\in B(X')$ is its adjoint. Suppose $T'$ is invertible. How can we show that $T$ is invertible? I have ...
2
votes
3answers
269 views

A question about Banach limits

I'm trying to prove that there exists a multiplicative linear functional in $\ell_\infty^*$ that extends the limit funcional that is defined in $c$ (i.e., im looking for a linear functional $f \colon ...
2
votes
1answer
307 views

Quotient space of $l^p$ that isometrically isomorphic to $l^p$

Let $Y=\{x\in l^p:x(2n)=0\}$, $1\leq p \leq \infty$. It can be proved that $Y$ is closed subspace of $l^p$. Define the quotient space $l^p/Y=\{x+Y:x\in l^p\}$. Then, by the fact that $Y$ closed, a ...
2
votes
1answer
385 views

Completeness of $\ell^2$ space

I was reading up and it says that $(\ell^2,\|.\|_2)$ is complete. I know that a metric space $X$ in which every Cauchy sequence converges to an element of $X$ is called complete. And I know that a ...
1
vote
1answer
33 views

Embedding: Extension

Problem Given Banach spaces $E_0$ and $E$ Regard dense domain: $$\overline{\mathcal{D}_0}=E_0\quad\overline{D}=E$$ Consider an embedding: ...
1
vote
1answer
58 views

$Tf=\sum\limits_{n=1}^\infty f(n)x_n$ is surjective from $\ell^1$ to a separable Banach space

Let $X$ be a separable Banach space and let $\mu$ be a counting measure on $\mathbb{N}$. Suppose that $\{x_n\}_{n=1}^\infty$ is a countable dense subset of the unit ball of $X$ and define $T: ...
1
vote
1answer
77 views

Is the complement of an open ball in a Banach space connected?

Let $B$ be a real Banach Space whose dimension is at least $2$, and let $S$ be a subset of $B$ that is an open ball. Is the complement of $S$ (with respect to $B$) always connected? Idea One could ...
1
vote
1answer
625 views

Derivative Bilinear map

I wanted to calculate the derivative of a continuous bilinear map $B: X_1 \times X_2 \rightarrow Y$. (Does anyhere know whether there is a generalisation of the notation $L(X,Y)$ that you use for the ...
1
vote
2answers
163 views

Characterisation of norm convergence

Let $X$ be a Hilbert space and $(x_n)\in X^{\mathbb N}$ be a sequence. Then the following statements are equivalent (with $x \in X$): We have $x_n \to x$, i.e. $\| x_n -x \| \to 0$ and we have $x_n ...
0
votes
1answer
49 views

Representation of the elements of a normed vector space that has a dense subset.

Suppose that $U$ is a normed vector space and $S\subset U$ is dense.prove that every element of $U $ can be written as an absolutely convergent series of the finite linear combination of the ...
0
votes
1answer
60 views

Dense subsets in tensor products of Banach spaces

Assume $B_1$ and $B_2$ are Banach spaces of univariate functions. Moreover, assume that the sets $D_1 \subset B_1$ and $D_2 \subset B_2$ are dense with respect to the respective norms ...
0
votes
0answers
41 views

Group of operators such that $|T(t)x|\geq c |x|$

Let $X$ be a Banach space. Can I have an example of a strongly continuous group of operators $T(t)$ such that $$|T(t)x|\geq c |x|, \ t\in\mathbb{R}$$with $c>1$. For $c=1$, I know examples of ...
0
votes
1answer
49 views

Check in which points is f differentiable.

Check in which points is f differentiable: $f: l_{ \Bbb R}^{ \infty} \ni x \rightarrow ||x||_{ \infty} \in \Bbb R$ I started with this: $ \lim_{||h||_{\infty} \to 0} ...
0
votes
1answer
1k views

Dual Space of Convergent Sequences

For every linear functional $T$ on the space of convergent sequences in $\mathbb{R}$, how can I show it can be expressed $T(\{s_{n}\}) = \sum_{n \in \mathbb{N}} s_{n}T(e_{n})$ where $e_{n}$ are the ...
-1
votes
1answer
34 views

Finding a condition to make a map a contracting map

Consider $(\mathbb{C}^n ,||\cdot||_{1})$ where $||x||_{1} = \sum\limits_{i=1}^{n} |x_{i}|$ and $d_{1}(x,y) = ||x-y||_{1} = \sum\limits_{i=1}^n |x_{i} - y_{i}|$.
175
votes
1answer
6k views

Does the open mapping theorem imply the Baire category theorem?

A nice observation by C.E. Blair1, 2, 3 shows that the Baire category theorem for complete metric spaces is equivalent to the axiom of (countable) dependent choice. On the other hand, the three ...
25
votes
3answers
2k views

Norms on C[0, 1] inducing the same topology as the sup norm

This is an old homework problem of mine that I was never able to solve. The solution may or may not involve the Baire category theorem, which I am terrible at applying. Let $C[0, 1]$ denote the ...
25
votes
1answer
780 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 ...
16
votes
1answer
362 views

Are there spaces “smaller” than $c_0$ whose dual is $\ell^1$?

It is well known that both the sequence spaces $c$ and $c_0$ have duals which are isometrically isomorphic to $\ell^1$. Now, $c_0$ is a subspace of $c$. My question - is there an even smaller subspace ...
9
votes
1answer
1k views

Vector, Hilbert, Banach, Sobolev spaces

Trying to wrap my head around all these different spaces. Which one is the most general? Can you summarize the differences between them? Is there a notable space that I missed?
6
votes
1answer
3k views

Prove that $C^1([a,b])$ with the $C^1$- norm is a Banach Space

Consider the space of continuously differentiable functions, $$C^1([a,b]) = \{f:[a,b]\rightarrow \mathbb{R}|f,f' \text{are continuous}\}$$ with the $C^1$-norm $$||f|| = \sup_{a\leq x\leq ...
10
votes
1answer
614 views

Isometric to Dual implies Hilbertable?

Let $X$ be a Banach space and suppose that $X$ is isometric to its continuous dual space $X^*$. Must $X$ be hilbertable in the sense that there exists an inner product which induces the norm on $X$? ...
9
votes
2answers
1k views

On the density of $C[0,1]$ in the space $L^{\infty}[0,1]$

It's easy to show $C[0,1]$ is not dense in $L^{\infty}[0,1]$ in the norm topology, but $C[0,1]$ is dense in $L^{\infty}[0,1]$ in the weak*-topology when take $L^{\infty}$ as the dual of $L^{1}$. how ...
8
votes
2answers
3k views

Understanding the Frechet derivative

What is the relationship between the normal 'high school' concept of a derivative and a Frechet derivative? According to wikipedia the Frechet "extends the idea of the derivative from real-valued ...
8
votes
1answer
1k views

How to deduce open mapping theorem from closed graph theorem?

These two theorems are equivalent but I can not figure out how to deduce the open mapping from the closed graph. Can anyone give a hint or some reference?
7
votes
1answer
1k views

A few questions about the Hilbert triple/Gelfand triple

I am attempting to fully understand Hilbert triples by reading Brezis' Function Analysis book. Consider $V \subset H \subset V^*$, where $V$ is Banach and $H$ is Hilbert. $V$ is dense in $H$. ...
16
votes
1answer
293 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 ...
12
votes
2answers
643 views

Isomorphic embedding of $L^{p}(\Omega)$ into $L^{p}(\Omega \times \Omega)$?

Let $(\Omega,\mu)$ be a finite measure space such that $\mu(\Omega)=1$. Suppose $1\leq p \leq \infty$. Let $\psi \colon L^p(\Omega) \to L^p(\Omega \times \Omega)$ be the map which maps $f$ onto the ...
10
votes
1answer
310 views

Infinite dimensional constant rank theorem

Suppose you have an analytic map $\phi : E \rightarrow \mathbb{C}^n$, where $E$ is a complex Banach space, and such that the rank of $D \phi$ is constant. Is it true then that the set ...
8
votes
1answer
326 views

A convergence problem in Banach spaces related to ergodic theory

Suppose $X$ is a Banach space, $T\in B(X)$, satisfied the following condition. $\sup \Big\lVert\frac{1}{n}\sum \limits_{i=0}^{n-1}T^{i}\Big\rVert<\infty$ $\frac{1}{n}\lVert ...
7
votes
1answer
321 views

When can a real Banach space be made into a complex Banach space?

Suppose I have a real vector space $V$ and I would like to extend the scalar multiplication in such a way that I obtain a complex vector space. It is not difficult to see that doing so is equivalent ...
5
votes
2answers
2k views

Examples of compact sets that are infinite dimensional and not bounded

In an infinite dimensional Banach space, does a compact subset have to be finite dimensional? I know it cannot contain any infinite dimensional balls, if this mean it has to be finite dimensional, ...
5
votes
3answers
389 views

Is $\ell^1$ isomorphic to $L^1[0,1]$?

Can there be a continuous linear map, with a continuous inverse, from $l^{1}$ to $L^{1}(m)$ where $m$ is the Lebesgue measure on the unit interval $\left[0,1\right]?$ My thinking to this should be ...
5
votes
2answers
464 views

Weak limit of an $L^1$ sequence

We have functions $f_n\in L^1$ such that $\int f_ng$ has a limit for every $g\in L^\infty$. Does there exist a function $f\in L^1$ such that the limit equals $\int fg$? I think this is not true in ...
2
votes
0answers
80 views

Distance from a point to a plane in normed spaces

How can we calculate the distance from a point to a plane in normed spaces ? where we are not inner product, for example: Calculate the distance in $(C[0,1],||\cdot||)$ endowed with the supremum norm ...
1
vote
1answer
136 views

Bochner Integral vs. Riemann Integral

Disclaimer This thread is meant to record. See: Answer own Question Anyway, it is written as problem. Have fun! :) Reference This thread is directly related to: Bochner Integral: Axioms Bochner ...