Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [banach-spaces]

A Banach space is a complete normed vector space: A vector space equipped with a norm such that every Cauchy sequence converges.

A Banach space, named after Stefan Banach (1892–1945) is a complete normed vector space: a (real or complex) vector space equipped with a norm such that every Cauchy sequence converges. For instance, $\mathbb{R}^n$ and $\mathbb{C}^n$, equipped with the usual norm (or, for that matter, any norm) is a Banach space. Another example is the space $\ell^1$ of all absolutely convergent series of real or complex numbers, equipped with the norm $\left\|\sum_{n=0}^\infty x_n\right\|=\sum_{n=0}^\infty|x_n|$.

6739 questions
236
votes
2 answers

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 classical consequences of the Baire category theorem in…
t.b.
  • 80,986
151
votes
4 answers

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 if a function is in two $L^p$ spaces, (e.g. $p_1$…
user1736
  • 8,993
124
votes
1 answer

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

I was trying to find papers and articles about non-contractive continuous projections on $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $S=\mathbb{N}$. I've found one quite general…
Norbert
  • 58,398
103
votes
4 answers

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 f_n (x)$ is bounded and (ii) that $\lim f_n \in…
Rudy the Reindeer
  • 48,301
103
votes
2 answers

Can we identify the duals of $\ell^\infty$ and $L^{\infty}$ with another "natural space"?

Can we identify the dual space of $l^\infty$ with another "natural space"? If the answer is yes, what can we say about $L^\infty$? By the dual space I mean the space of all continuous linear functionals.
omar
  • 2,651
88
votes
1 answer

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 Hamel basis of $X$ is uncountable. Can anyone help how can I solve the above problem?
mintu
  • 1,047
84
votes
3 answers

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 space} & \text{complete space}\\ \text{norm} & \text{normed} &…
vonjd
  • 9,040
61
votes
2 answers

How to show that quotient space $X/Y$ is complete when $X$ is Banach space, and $Y$ is a closed subspace of $X$?

How to show that quotient space $X/Y$ is complete when $X$ is Banach space, and $Y$ is a closed subspace of $X$? Here's my attempt: Given a Cauchy sequence $\{q_n\}_{n \in \mathbb{N}}$ in $X/Y$, each $q_n$ is an equivalence class induced by $Y$, I…
Metta World Peace
  • 6,683
60
votes
2 answers

When is the image of a linear operator closed?

Let $X$, $Y$ be Banach spaces. Let $T \colon X \to Y$ be a bounded linear operator. Under what circumstances is the image of $T$ closed in $Y$ (except finite-dimensional image). In particular, I wonder under which assumptions $T \colon X \to T(X)$…
shuhalo
  • 8,084
58
votes
1 answer

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 spaces. It can be shown that the dual spaces of them…
YZhou
  • 2,373
57
votes
1 answer

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 \mathbb{C}$ that can't be the spectrum of a bounded operator…
t.b.
  • 80,986
52
votes
1 answer

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}\mid f \text{ differentiable with }f' \text{ continuous}\}$$ with the $C^1$-norm $$\lVert f\rVert := \sup_{a\leq x\leq b}|f(x)|+\sup_{a\leq…
RDizzl3
  • 3,277
51
votes
2 answers

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 is a closed subspace $Z \subset X$ such that $X…
Nils Matthes
  • 4,665
49
votes
1 answer

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 topology on the prime spectrum of a ring? I let myself get…
t.b.
  • 80,986
49
votes
4 answers

A Banach space is reflexive if its dual is reflexive (and conversely)

How to show that a Banach space $X$ is reflexive if its dual $X'$ is reflexive?
Ken
  • 499
1
2 3
…
99 100