I'm learning about CW complexes, which we'll say are topological spaces $X$ that admit a filtration $\emptyset \subset X^0 \subset X^1 \subset \cdots \subset X^n \subset \cdots$, with $X=\bigcup X^n$, plus some other requirements. They are endowed with the weak topology. That is, a subset $A$ is closed in $X$ iff $A\cap X^n$ is closed for each $X^n$.

In functional analysis, I learned that the weak topology on a Banach space $Y$ is the coarsest topology making the elements in the dual space $Y^*$ continuous.

Do these two topologies share anything more than a name? Why is it they are both given the label 'weak'?

| cite | improve this question | | | | |

The topology on a CW complex $X$ is the final topology on $X$ with respect to the inclusions $X^n \to X$, ie. it's the finest topology on $X$ such that these inclusions are continuous.

On the other hand, as you say the weak topology is the initial topology wrt continuous linear functionals. These two notions are dual (initial and final topologies).

I doubt there's more of a connection than that. These are two different fields of mathematics (algebraic topology vs "analysis").

| cite | improve this answer | | | | |
  • $\begingroup$ Ah, I see what the relation is now. These topologies are the coursest topologies that preserve continuity of the maps that matter in each context. (btw...I do think you mean coursest and not finest, as the discrete topology also gives this and is much finer than the weak topology on CW complexes.) $\endgroup$ – Rachel Sep 18 '14 at 12:50
  • $\begingroup$ No, no, I do mean finest. The discrete topology on $X$ doesn't make the inclusions $X^n \to X$ continuous in general; if $X$ has cells of dimension $n > 0$, the preimage of a point belonging to the interior of an $n$-cell in the $n$-skeleton will not be open. $\endgroup$ – Najib Idrissi Sep 18 '14 at 13:10
  • $\begingroup$ On the other hand the coarsest topology on $X$ that makes all the inclusions continuous is the indiscrete topology. Notice that the maps go into $X$, not from $X$ like in the case of the linear functionals. $\endgroup$ – Najib Idrissi Sep 18 '14 at 13:11
  • $\begingroup$ Ah, yes. I was thinking about this incorrectly. Thank you for your comments! $\endgroup$ – Rachel Sep 18 '14 at 14:36
  • 2
    $\begingroup$ Seems like the weak topology in algebraic topology should be called the "strong topology". $\endgroup$ – Eric Auld May 1 '15 at 20:04

I rather doubt there is a direct relationship but you could find answers on the book

Kriegl, A. and Michor, P.W. The convenient setting of global analysis, Mathematical Surveys and Monographs, Volume 53. American Mathematical Society, Providence, RI (1997).

whicvh I think is available as a free pdf.

| cite | improve this answer | | | | |
  • 3
    $\begingroup$ This book is about manifolds, it doesn't even mention CW complexes. $\endgroup$ – Conifold Sep 6 '14 at 21:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.