Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 21051

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

27 votes

Is a normed space which is homeomorphic to a Banach space complete?

It is an old result of Victor Klee (answering a question of Banach) that a metrizable topological vector space (i.e., there is a translation invariant metric giving the topology) is a complete topolog …
Jochen Wengenroth's user avatar
21 votes
Accepted

Are weak and strong convergence of sequences not equivalent?

Banach spaces where all weakly convergent sequences are norm convergent are said to have the Schur property. A classical Theorem of Schur says that $\ell^1(I)$ has the Schur property for every set $I$ …
Jochen Wengenroth's user avatar
20 votes
Accepted

A quantity measuring the separability of Banach spaces

For the unit ball $B_X$ of the Banach space there are only two possibilities: sep$(B_X)= 1$, if $B_X$ is not separable, and sep$(B_X)=0$ if $B_X$ is separable. Indeed, if sep$(B_X)<1$ there are $\vare …
Jochen Wengenroth's user avatar
11 votes

Attempted Banachification of a space

At least in the locally convex world, $\tau'$ is always finer than $\tau$: Given a continuous seminorm $p$ of $(X,\tau)$ the so-called local Banach space $X_p$ is the completion of $X/p^{-1}(\lbrace 0 …
Jochen Wengenroth's user avatar
10 votes
Accepted

Is the strong operator topology metrizable?

A quick proof using the open mapping theorem: It follows easily from the uniform boundedness principle that $(B(X),SOT)$ is sequentially complete. If it were metrizable it would thus be a Fréchet spac …
Jochen Wengenroth's user avatar
10 votes
Accepted

$L^{\infty}$ as colimit

The answer to this question is YES -- but it is useless! In fact, a theorem of Valdivia (which you can find, e.g., as Theorem 6.5.8 in the book Barrelled Locally Convex Spaces of Bonet and Perez-Car …
Jochen Wengenroth's user avatar
9 votes

Embedding of a Banach space into a Hilbert space

As mentioned in my comment, this is true for reflexive Banach spaces and the compactness game may generalize to other situations, e.g., if the Banach space is a dual space and the embedding in $\sigma …
Jochen Wengenroth's user avatar
8 votes

Description of $\big(\ell^\infty(\mathbb N)\big)^{\!*}$ via ultrafilters

Eric Wofsey's answer is very nice and simple. Nevertheless this might be interesting. Very old results of Kakutani [Concrete Representation of Abstract (M)-Spaces, Ann. of Math. 42 (1941)] show that f …
Jochen Wengenroth's user avatar
8 votes
Accepted

Is there a “Closure-of-Range Theorem” for Banach spaces?

This counterexample is so simple so that I might overlook something stupid: Let $T:\ell_1\to c_0$ be the inclusion map. With the natural isomorphisms $\ell_1^*=\ell_\infty$ and $c_0^*=\ell^1$, the tra …
Jochen Wengenroth's user avatar
7 votes
Accepted

Direct limit of the sequence $E_{0} \hookrightarrow E_{1} \hookrightarrow \cdots$ in the cat...

A colimit is an object $E$ together with morphisms $i_n:E_n\to E$ commuting with the inclusions $i_{n,m}:E_n\to E_m$ (i.e., $i_m\circ i_{n,m}=i_n$) such that, for every sequence of morphisms $f_n:E_n\ …
Jochen Wengenroth's user avatar
7 votes

A criterion for the sum of two closed sets to be closed ?

In general, there is no easy criterion. I recall the construction of two closed subspaces of a Banach space whose sum is not closed: Let $T:X\to Y$ be a linear map between Banach spaces with closed gr …
Jochen Wengenroth's user avatar
6 votes

Example of noncomplete quotient of complete lcs mod closed subspace

I would like to add the following important case (which generalizes Bill Johnson's answer): An LS-spaces is defined as a countable inductive limit of Banach spaces $X_n\hookrightarrow X_{n+1}$ with co …
Jochen Wengenroth's user avatar
6 votes
Accepted

Are bounded sets always weakly metrizable in reflexive separable spaces?

No. Let $I$ be an index set with the cardinality of the continuum. Endow $X=\mathbb R^I$ with the product topology. According to (a particular case of) the Hewitt-Marczewski-Pondiczery theorem (which …
Jochen Wengenroth's user avatar
6 votes
Accepted

Closed convex bounded sets are weakly compact for which spaces?

It is well-known that a Hausdorff locally convex space is semi-reflexive (i.e., the canonical map into its bidual is surjective) if and only if every weakly closed bounded set is weakly compact. This …
Jochen Wengenroth's user avatar
6 votes
Accepted

Can $L^1_{loc}$ be represented as colimit?

Interpreting the question as Dmitri Pavlov I assume that $L^1_K$ is the space of $L^1$-functions with support in $K$ so that we have an inductive spectrum of Banach spaces (identifying almost everywhe …
Jochen Wengenroth's user avatar

15 30 50 per page