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

90
votes
1answer
3k 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 ...
49
votes
3answers
2k views

Is it possible for a function to be in $L^p$ for only one $p$?

I'm wondering if it's possible for a function to be an $L^p$ space for only one value of $p \in [1,\infty)$ (on either a bounded domain or an unbounded domain). One can use interpolation to show that ...
42
votes
1answer
2k views

Example of a compact set that isn't the spectrum of an operator

This question is a follow-up to this recent question and related to that one. Is there an easy example of an (infinite-dimensional) Banach space $X$ and a non-empty compact set $K \subset ...
37
votes
1answer
941 views

Banach Spaces - How can $B,B',B'', B''', B'''',B''''',\ldots$ behave?

(ZFC) Let $ \big\langle B,+,\cdot, \:\: \|\cdot\| \:\: \big\rangle $ be a Banach space. Define $ \mathbf{B} \; = \;\big\langle B,+,\cdot, \:\: \|\cdot\| \:\: \big\rangle $. Define $\: \mathbf{B}_0 ...
35
votes
1answer
2k views

Was Grothendieck familiar with Stone's work on Boolean algebras?

In short, my question is: Was Grothendieck familiar with Stone's work on Boolean algebras? Background: In an answer to Pierre-Yves Gaillard's question Did Zariski really define the Zariski ...
32
votes
2answers
1k views

Is there an explicit isomorphism between $L^\infty[0,1]$ and $\ell^\infty$?

Is there an explicit isomorphism between $L^\infty[0,1]$ and $\ell^\infty$? In some sense, this is a follow-up to my answer to this question where the non-isomorphism between the spaces $L^r$ ...
24
votes
2answers
691 views

How slow/fast can $L^p$ norm grow?

This is actually an exercise in Rudin's Real and Complex Analysis, $L^p$ spaces chapter. Could anyone help me out? Thanks in advance. Motivation: It's well known that if we have a function $f$ which ...
23
votes
1answer
1k views

Are these two Banach spaces isometrically isomorphic?

Let $c$ denote the space of convergent sequences in $\mathbb C$, $c_0\subset c$ be the space of all sequences that converge to $0$. Given the uniform metric, both of them can be made into Banach ...
23
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 ...
21
votes
2answers
2k views

Connections between metrics, norms and scalar products (for understanding e.g. Banach and Hilbert spaces)

I am trying to understand the differences between $$ \begin{array}{|l|l|l|} \textbf{vector space} & \textbf{general} & \textbf{+ completeness}\\\hline \text{metric}& \text{metric ...
21
votes
0answers
1k views
+50

Continuous projections in $\ell_1$ with norm $>1$

I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case ...
20
votes
2answers
865 views

Norm for pointwise convergence

Does there exist a norm on the space of all real-valued functions on the real line (or on an open set? a compact set?) such that convergence in this norm is equivalent to pointwise convergence?
20
votes
2answers
771 views

Is the fundamental theorem of calculus independent of ZF?

By the fundamental theorem of calculus I mean the following. Theorem: Let $B$ be a Banach space and $f : [a, b] \to B$ be a continuously differentiable function (this means that we can write $f(x + ...
18
votes
2answers
5k views

The Duals of $l^\infty$ and $L^{\infty}$

Can we identify the dual space of $l^\infty$ with another "natural space"?. If the answer yes what about $L^\infty$. By the dual space I mean the space of all continuous linear functionals.
18
votes
2answers
370 views

In $\ell^p$, if an operator commutes with left shift, it is continuous?

Our professor put this one in our exam, taking it out along the way though because it seemed too tricky. Still we wasted nearly an hour on it and can't stop thinking about a solution. What we have: ...
16
votes
4answers
900 views

Example of different topologies with same convergent sequences

It's well known that for metric spaces the following is true Let $ X $ be a space with two different metrics $ d_1,d_2$ such that the two topological spaces $ (X,d_1),(X,d_2) $ have the same ...
15
votes
1answer
739 views

Cardinality of a Hamel basis

What is the cardinality of a Hamel basis of $\ell_1(\mathbb{R})$? Is it deducible in ZFC that it is seemingly continuum? Does it follow from this that each Banach space of density $\leqslant ...
14
votes
4answers
358 views

Banach spaces over fields other than $\mathbb{C}$?

Sorry, this is a rather vague question. I was just wondering if there is any kind of theory about normed (if possible Banach) spaces over fields other than the real or complex numbers. I'm guessing ...
14
votes
2answers
769 views

The space of Riemannian metrics on a given manifold.

For a finite-dimensional smooth (Hausdorff, second-countable) manifold $M$, consider the set $$\mathcal{Met}(M) = \{ g : g \text{ is a Riemannian metric on }M \}.$$ I'd like to know about the typical ...
13
votes
1answer
323 views

How does $\sigma(T)$ change with respect to $T$?

Consider $\sigma$ as a mapping which maps $T\in\mathcal{L}(X)$ to $\sigma(T)$, the spectrum of $T$, a compact set in the complex plane. I wonder whether there is some result concerning how ...
13
votes
1answer
391 views

Motivation for abstract harmonic analysis

I am reading Folland's A Course in Abstract Harmonic Analysis and find this book extremely exciting. However it seems Folland does not give many examples to illustrate the motivation behind much of ...
12
votes
1answer
673 views

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic Maybe I would have to use the Rademachers.
12
votes
3answers
795 views

Compactness of a bounded operator $T\colon c_0 \to \ell^1$

Pitt Theorem says that any bounded linear operator $T\colon \ell^r \to \ell^p$, $1 \leq p < r < \infty$, or $T\colon c_0 \to \ell^p$ is compact. I know how to prove this in case $\ell^r \to ...
12
votes
1answer
585 views

Different versions of Riesz Theorems

In Wikipedia, there are three versions of Riesz theorems: 1 The Hilbert space representation theorem for the (continuous) dual space of a Hilbert space; 2 The representation theorem for ...
12
votes
2answers
568 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 ...
12
votes
1answer
1k views

Operator norm and tensor norms

I have a linear operator $A\in\mathcal{L}(X,Y)$ where $X$ and $Y$ are some Banach spaces (or Hilbert spaces would also do, if that simplifies the answer.). The operator norm of $A$ is given by $$ ...
12
votes
1answer
125 views

Ideals of the algebra of all bounded linear operators on $\ell_p \oplus \ell_q$

Let $\mathcal{L}(X)$ be the algebra of all bounded linear operators from $X$ to $X$ for Banach space $X$. I need to show that $\mathcal{L}(\ell_p \oplus \ell_q)$ for $p \neq q$ contains at least two ...
12
votes
1answer
150 views

Supremum of Banach Spaces

Let $X$ be a linear space with a family of complete norms $(\| \circ \|_I)_{I \in \mathcal{I}}$ on $X$, i.e. for every $I \in \mathcal{I}$ the tuple $(X,\|\circ\|_I)$ is a Banach space. Now define ...
12
votes
1answer
256 views

Banach spaces isomorphic to square

This is another exercise from Allan's book "Introduction to Banach Spaces and Algebras". Exercise 2.9: A Banach space $E$ is said to be homeomorphic to its square if $E\oplus E$ is linearly ...
11
votes
1answer
480 views

Where does the theory of Banach space-valued holomorphic functions differ from the classical treatment?

For a Banach space $V$ over $\mathbb{C}$ and $U \subset \mathbb{C}$ open, one can easily check that the notions of holomorphy hold for maps $f: U \rightarrow V$ just as in the classical sense. Indeed, ...
11
votes
1answer
394 views

Renorming $\mathcal{B}(\mathcal{H})$?

Consider the Banach space of all bounded operators $\mathcal{B}(\mathcal{H})$ on a (separable if you wish) Hilbert space $\mathcal{H}$ with the operator norm. Can we renorm this space to a strictly ...
11
votes
1answer
695 views

On the norm of a quotient of a Banach space.

Let $E$ be a Banach space and $F$ a closed subspace. It is well known that the quotient space $E/F$ is also a Banach space with respect to the norm $$ \left\Vert x+F\right\Vert_{E/F}=\inf\{\left\Vert ...
11
votes
1answer
565 views

Nested sequences of balls in a Banach space

This seems to be a fairly easy question but I'm looking for new points of view on it and was wondering if anyone might be able to help (by the way- this question does come from home-work, but I've ...
11
votes
2answers
150 views

Integration in Banach spaces - interesting, nice and non-trivial examples needed

I am interested in $\textbf{Integration in Banach spaces}$. Here is a little motivation for my question: Let $\left(X,\|\cdot\| \right)$ be a Banach space, $a,b \in \mathbb{R}$ with $a<b$ and $f ...
11
votes
1answer
1k views

Strong and weak convergence in $\ell^1$

Let $\ell^1$ be the space of absolutely summable real or complex sequences. Let us say that a sequence $(x_1, x_2, \ldots)$ of vectors in $\ell^1$ converges weakly to $x \in \ell^1$ if for every ...
11
votes
1answer
563 views

Does separability follow from weak-* sequential separability of dual space?

Let $E$ be a Banach space. Suppose that $E'$ is weakly-* sequentially separable, that is, that there exists a countable $D \subset E'$ s.t. every $x' \in E'$ is a limit point of a ...
11
votes
1answer
507 views

Are the coordinate functions of a Hamel basis for an infinite dimensional Banach space discontinuous?

The question is in the title really, but I suppose I could at least fix some notation here. Let $X$ be an infinite-dimensional Banach space - over the reals for the sake of concreteness. Use choice ...
10
votes
4answers
6k views

Space of bounded continuous functions is complete

I have lecture notes with the claim $(C_b(X), \|\cdot\|_\infty)$, the space of bounded continuous functions with the sup norm is complete. The lecturer then proved two things, (i) that $f(x) = \lim ...
10
votes
1answer
445 views

A Hamel basis for $l^{\,p}$?

I am looking for an explicit example for a Hamel basis for $l^{\,p}$?. As we know that for a Banach space a Hamel basis has either finite or uncountably infinite cardinality and for such a basis one ...
10
votes
1answer
356 views

Proof of Hölder inequality by differentiation

I need a reference where we can read a proof of the inequality $\|f\|_r\leq \|f\|_p^{1-\theta}\|f\|_q^\theta$ where $\frac{1}{r}=\frac{1-\theta}{p}+\frac{\theta}{q}$ for $L^p$-spaces of a measure ...
10
votes
1answer
181 views

Growth $\beta X\setminus X$ of a Banach space $X$

Is there an analytic characterisation of the Čech-Stone compactification (in the norm topology, which is a normal space) of a Banach space $X$? The reason I ask is because I want to know what the ...
10
votes
2answers
221 views

Isometry on a dense sub-space of a Banach space?

Let $X$ be a Banach space and let $D$ be a dense sub-space of $X$. I don't know if the following fact is true: Fact: For every (linear) isometry $T\in\operatorname{Iso}(X)$ and for every ...
10
votes
1answer
632 views

Closure of the invertible operators on a Banach space

Let $E$ be a Banach space, $\mathcal B(E)$ the Banach space of linear bounded operators and $\mathcal I$ the set of all invertible linear bounded operators from $E$ to $E$. We know that $\mathcal I$ ...
9
votes
2answers
2k views

Proof: $X^\ast$ separable $\implies X$ separable

Can someone tell me if I got the following right: Assume $X$ to be a normed vector space over $\mathbb{R}$. Prove that if the dual space $X^\ast$ is separable then $X$ is separable as well. I'm ...
9
votes
2answers
195 views

If $V \times W$ with the product norm is complete, must $V$ and $W$ be complete?

Let $V,W$ be two normed vector spaces (over a field $K$). Then their product $V \times W$ with the norm $\|(x,y)\| = \|x\|_V + \|y\|_W$ is a normed space. Using this norm it's easy to show that if ...
9
votes
3answers
425 views

Is there an easy example of a vector space which can not be endowed with the structure of a Banach space

Let $V$ be a real vector space. Is there always a norm on $V$ such that $V$ is complete with respect to this norm? If not, is there an easy counterexample?
9
votes
1answer
426 views

Why is $\ell^1(\mathbb{Z})$ not a $C^{*}$-algebra?

When $\ell^1(\mathbb Z)$ is equipped with the convolution as multiplication and $a^{*}_{n}=\bar{a}_{-n}$, I can prove it satisfies all conditions except $\|a^{*}a\|=\|a\|^2$, which I cannot prove nor ...
9
votes
1answer
1k views

Weak-to-weak continuous operator which is not norm-continuous

Can one give a "relatively easy" example of a linear mapping $T\colon X\to X$ ($X$ a Banach space) which is a) weak-to-weak continuous b) weak*-to-weak* continuous ($X=Y^*$) but not norm-to-norm ...
9
votes
1answer
804 views

Nonnegative linear functionals over $l^\infty$

My purpose is a clarification of the role of the axiom of choice in constructing limits for bounded sequences. Namely, we want a linear functional of norm 1 defined on the space of all bounded complex ...
9
votes
1answer
896 views

Space of Complex Measures is Banach (proof?)

How can we prove that the space of Complex Measures is Complete? with the norm of Total Variation. I have stuck on the last part of the proof where I have to prove that the limit function of a Cauchy ...