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

107
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 ...
54
votes
4answers
3k 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 ...
38
votes
1answer
987 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 ...
37
votes
1answer
3k 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 ...
37
votes
0answers
2k views

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 ...
34
votes
2answers
2k 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$ ...
26
votes
2answers
3k 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 ...
26
votes
1answer
2k 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 ...
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
2answers
775 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
2answers
6k 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.
20
votes
2answers
1k 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
881 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 + ...
20
votes
1answer
537 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 ...
19
votes
2answers
450 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: ...
17
votes
1answer
1k 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 ...
16
votes
4answers
1k 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
4answers
397 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 ...
15
votes
1answer
1k 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 ...
14
votes
3answers
902 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 ...
14
votes
2answers
950 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 ...
14
votes
1answer
499 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 ...
13
votes
1answer
644 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, ...
13
votes
1answer
166 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 ...
13
votes
1answer
338 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
223 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 ...
12
votes
4answers
9k 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 ...
12
votes
1answer
1k views

Direct aproach to the Closed Graph Theorem

In the context of Banach spaces, the Closed Graph Theorem and the Open Mapping Theorem are equivalent. It seems that usually one proves the Open Mapping Theorem using the Baire Category Theorem, and ...
12
votes
1answer
750 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
1answer
728 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
599 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
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 ...
12
votes
1answer
672 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 ...
12
votes
1answer
136 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
272 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 ...
12
votes
1answer
161 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
206 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 ...
11
votes
1answer
1k 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 ...
11
votes
1answer
414 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
628 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
723 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$ ...
11
votes
1answer
548 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
2answers
3k 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 ...
10
votes
1answer
607 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
2k 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 ...
10
votes
1answer
858 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 ...
10
votes
1answer
299 views

Every multiplicative linear functional on $\ell^{\infty}$ is the limit along an ultrafilter.

It is well-known that for any ultrafilter $\mathscr{u}$ in $\mathbb{N}$, the map\begin{equation}a\mapsto \lim_{\mathscr{u}}a\end{equation} is a multiplicative linear functional, where ...
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 ...