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

19
votes
1answer
6k views

Let $X$ be an infinite dimensional Banach space. Prove that every Hamel basis of X is uncountable.

Let $X$ be an infinite dimensional Banach space. Prove that every basis of $X$ is uncountable. Can anyone help how can I solve the above problem?
33
votes
2answers
11k 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.
21
votes
2answers
2k 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 ...
22
votes
4answers
18k 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 ...
77
votes
4answers
5k 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 ...
8
votes
1answer
5k views

Inequality between $\ell^p$-norms

Suppose that a sequence $x=(x_n)$ belongs both to $\ell^p$ and $\ell^q$ ($p,q>1$, $p\neq q$). Is there any inequality between $\|x\|_p$ and $\|x\|_q$. Can one $\ell^p$ be continuously embedded into ...
5
votes
2answers
4k views

Prove that $X'$ is a Banach space

I'm taking a new course on functional analysis and meet with the following problem. If $X$ is a normed space (not necessarily complete), then prove that $X'$ is a Banach space. Definition: When the ...
15
votes
1answer
3k 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 ...
13
votes
2answers
4k views

Compact operator maps weakly convergent sequences into strongly convergent sequences

I found the following property of compact operators in a proof, and I can't prove it. Prove that if $T \in \mathcal{L}(E,F)$ is compact, and if $u_n \rightharpoonup u$ (the sequence converges ...
10
votes
5answers
1k views

How to show that this set is compact in $\ell^2$

Let $(a_n)_{n}\in\ell^2:=\ell^2(\mathbb{R})$ be a fixed sequence. Consider the subspace $$C=\{(x_n)_{n}\in\ell^2 : |x_n|\le a_n\text{ for all }n\in\mathbb{N}\}.$$ According to the book [Dunford and ...
5
votes
4answers
2k views

Gâteaux derivative

Let $X$ be a Banach space and $\Omega \subset X$ be open. The functional $f$ has a Gâteaux derivative $g \in X'$ at $u \in \Omega$ if, $\forall h\in X,$ $$\lim_{t \rightarrow 0}[f(u+th)-f(u)- \langle ...
13
votes
1answer
919 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 ...
46
votes
3answers
5k 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 ...
10
votes
1answer
1k 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 ...
5
votes
1answer
2k views

$C([0, 1])$ is not complete space with respect to norm $\lVert f\rVert _1 = \int_0^1 \lvert f (x) \rvert \,dx$

Consider $C([0, 1])$, the linear space of continuous complex-valued functions on the interval $[0, 1]$, with the norm $\displaystyle\lVert f\rVert_1 = \int_0^1 \lvert f(x)\rvert \,dx$. I have to ...
10
votes
2answers
1k views

Linear functional on a Banach space is discontinuous then its nullspace is dense.

I need to prove that: If a nonzero linear functional $f$ on a Banach Space $X$ is discontinuous then the nullspace $N_f$ is dense in $X$. To prove that $N_f$ is dense, it suffices to show that ...
30
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 ...
14
votes
2answers
4k views

Prove that $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 ...
12
votes
1answer
1k 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 unless $p=2$. Maybe I would have to use the Rademacher's functions.
14
votes
1answer
2k views

Example of a closed subspace of a Banach space which is not complemented?

In this post, all vector spaces are assumed to be real or complex. Let $(X, ||\cdot||)$ be a Banach space, $Y \subset X$ a closed subspace. $Y$ is called $\underline{\mathrm{complemented}}$, if there ...
25
votes
3answers
2k 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?
3
votes
1answer
1k views

Question about Fredholm operator

$X,Y$ are Banach spaces and $A\in B(X,Y)$ is a Fredholm operator (that is, the dimensions of ker($A$) and coker($A$) are both finite), then are closed linear subspaces ker($A$) and Im($A$) ...
8
votes
2answers
1k views

Complement of $c_{0}$ in $\ell^{\infty}$

How can I show that $c_{0}$ cannot be complemented in $\ell^{\infty}$? Complement in the following sense $$c_{0}+V = \ell^{\infty}$$ And the projections are continuous.
4
votes
3answers
2k views

equivalent norms in Banach spaces of infinite dimension

Suppose $ X $ is a Banach space with respect to two different norms, $ \|\cdot\|_1 \mathrm{ e } \|\cdot\|_2 $. Suppose there is a constant $ K > 0 $ such that $$ \forall x \in X, \|x\|_1 \leq ...
1
vote
1answer
774 views

Show that $\liminf_{n\to \infty}x_{n}\le\alpha(x)\le\limsup_{n\to\infty}x_{n}$ for $x=(x_{n})$ in $\ell^{\infty}$

Question: Show that $\liminf_{n\to \infty}x_{n}\le\alpha(x)\le\limsup_{n\to\infty}x_{n}$ for $x=(x_{n})$ in $\ell^{\infty}$, where $\alpha$ is a bounded linear functional on $\ell^{\infty}$. I ...
37
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$ ...
15
votes
3answers
1k 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 ...
4
votes
1answer
1k views

A vector without minimum norm in a Banach space

Question: Let $E = C[0, 1]$, with sup norm. Let $K$ consist of all $f$ in $E$ such that $$\int_{0}^{\frac{1}{2}}f(s)ds-\int_{\frac{1}{2}}^{1}f(s)ds=1$$ Prove that $K$ is a closed convex subset of ...
8
votes
2answers
1k views

Isometric Embedding of a separable Banach Space into $\ell^{\infty}$

The problem is: Let $X$ be a separable Banach space then there is an isometric embedding from $X$ to $\ell^{\infty}$. My efforts: I showed that there is an isometry from $X^*$ (topological dual) to ...
7
votes
1answer
2k views

Equivalence of reflexive and weakly compact

In a normed space $X$ is there an equivalence between these two proposition? $1)$ $X$ is reflexive; $2)$ $B$, the unit ball of $X$, is weakly compact.
2
votes
1answer
1k views

A compact operator is completely continuous.

I have a question. If $X$ and $Y$ are Banach spaces, we have to prove that a compact linear operator is completely continuous. A mapping $T \colon X \to Y$ is called completely continuous, if it maps ...
2
votes
1answer
841 views

An application of Riesz' Lemma

How does one prove using Riesz' Lemma that an infinite dimensional subspace $Y$ of a Banach space $X$ contains a sequence $\{x_n:n\in \mathbb{N}\}$ in the unit ball of $Y$ such that $n \neq m$ implies ...
15
votes
1answer
2k 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 ...
8
votes
2answers
2k views

continuous linear functional on a reflexive Banach space attains its norm

How does one prove that if a $X$ is a Banach space and $x^*$, a continuous linear functional from $X$ to the underlying field, then $x^*$ attains its norm for some $x$ in $X$ and $\Vert x\Vert = 1$? ...
13
votes
1answer
2k 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
3answers
4k views

A question about Banach reflexive space

How to show that a Banach space $X$ is reflexive if its dual $X'$ is reflexive?
15
votes
1answer
3k 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
3answers
806 views

Do continuous linear functions between Banach spaces extend?

Just wondering... Let $E$, $G$ be Banach spaces, let $U\subset E$ be a subset of $E$, and let $f:U\rightarrow G$ be a continuous linear function. Can $f$ be extended to a continuous linear function on ...
6
votes
1answer
954 views

How do you prove that $\ell_p$ is not isomorphic to $\ell_q$?

I guess that for all $1\le p,q<\infty $, such that $p\ne q$ , the spaces $\ell_p$ and $\ell_q$ are not isomorphic, but how do you prove this?
12
votes
1answer
1k 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$ ...
10
votes
1answer
559 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 ...
6
votes
1answer
225 views

Banach Spaces: Uniform Integral vs. Riemann Integral

Problem Given a finite measure space $\Omega$ and a Banach space $E$. One has strict inclusion: ...
5
votes
1answer
991 views

Is any Banach space a dual space?

Let $X$ be a Banach space. Is there always a normed vector space $Y$ such that $X$ and $Y^*$ are isometric or isomorphic as topological vector spaces (that is, there exists a linear homeomorphism ...
4
votes
1answer
168 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 ...
6
votes
1answer
440 views

At most finitely many (Hamel) coordinate functionals are continuous - different proof

If $X$ is a vector space over $\mathbb R$ and $B=\{x_i; i\in I\}$ is a Hamel basis for $X$, then for each $i\in I$ we have a linear functional $a_i(x)$ which assigns to $x$ the $i$-th coordinate, ...
3
votes
1answer
427 views

If the dual spaces are isometrically isomorphic are the spaces isomorphic?

Let $X$, $Y$ be Banach spaces such that the duals $X^\ast$ and $Y^\ast$ are isometrically isomorphic. Are $X$ and $Y$ necessarily isomorphic? The answer to the question whether $X$ and $Y$ are ...
2
votes
1answer
103 views

$C[0,1]$ with $L^1$ norm is not Banach space.

I want to check that $(C[0,1],∥⋅∥_1)$ is not a Banach space, where $\|f\|_1 = \int_0^1 |f(x)|\,{\rm d}x$.I took $(f_n)_{n \geq 1}$ a sequence in $C[0,1]$ given by:$f_n: [0,1] \rightarrow \mathbb{R}, ...
48
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 ...
19
votes
1answer
1k 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, ...
42
votes
1answer
4k 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 ...