bio | website | cmcc.ufabc.edu.br/… |
---|---|---|
location | Cotia, Brazil | |
age | 35 | |
visits | member for | 3 years, 11 months |
seen | 5 hours ago | |
stats | profile views | 887 |
I'm a professor at the Center of Mathematics, Computation and Cognition of the Federal University of the ABC, Santo André, Brazil.
Oct 21 |
comment |
Is every Montel locally convex vector space compactly generated?
Oops, that was a typo (which unfortunately I can no longer edit out), sorry... Thanks! |
Oct 20 |
comment |
Is every Montel locally convex vector space compactly generated?
I do not have the book of Frölicher and Kriegl at hand, but I guess these results are the ones you quoted, right? |
Oct 20 |
comment |
Is every Montel locally convex vector space compactly generated?
Hmm... Come to think of it, this actually could be inferred indirectly from the discussion in the book of Kriegl-Michor (cited in the question) as well: Theorem 4.11 (3), pp. 39-40 states that the Kelley topology of a strict inductive limit of a sequence of Fréchet spaces coincides with its $c^\infty$ topology (i.e. the final topology induced by all smooth curves). If these Fréchet spaces are finite-dimensional and the sequence is strictly increasing, then Proposition 4.26 (iii), pp. 45 entails that the $c^\infty$ (and hence the Kelley) topology is not a vector space topology. |
Oct 20 |
comment |
Is every Montel locally convex vector space compactly generated?
Strongly inaccessible cardinals are somewhat beyond my current mathematical knowledge, but of course your explanation makes clear why the continuum hypothesis is not needed regardless of that. Glad I learned something new... Thanks! |
Oct 17 |
comment |
Is every Montel locally convex vector space compactly generated?
I'm actually thinking of the Mackey-Ulam theorem; moreover, Ulam originally showed that $\mathbb R$ does not admit a Ulam measure using the continuum hypothesis. Are there stronger recent results in this respect? |
Oct 16 |
accepted | Is every Montel locally convex vector space compactly generated? |
Oct 16 |
comment |
Is every Montel locally convex vector space compactly generated?
That is an interesting counter-example. In this case, $X$ has the Mackey topology and its strong dual $\mathbb{R}^{\mathbb{R}}$ coincides as a vector space with its algebraic dual, hence $X$ is even bornological. Moreover, if one assumes that the continuum hypothesis is true, even $\mathbb{R}^{\mathbb{R}}$ itself is (ultra)bornological. |
Oct 15 |
comment |
Is every Montel locally convex vector space compactly generated?
@JochenWengenroth Are there counterexamples to the Banach-Dieudonné theorem if $X$ is no longer the dual of a Fréchet space? Can one not circumvent those if one assumes, say, that $X$ is (semi-)Montel and bornological as in my above comment? |
Oct 15 |
comment |
Is every Montel locally convex vector space compactly generated?
@JohannesHahn of course, you are right, I forgot about this difference. |
Oct 15 |
comment |
Is every Montel locally convex vector space compactly generated?
In view of that, if $X$ is bornological (hence quasi-barrelled) and semi-Montel (hence Montel), I'm willing to bet that $X$ is compactly generated. That would actually be enough for the purposes I have in mind... |
Oct 15 |
comment |
Is every Montel locally convex vector space compactly generated?
@JohannesHahn Well, it seems to me that these inclusions must be extended to the inclusions of the vector subspaces generated by each compact subset, otherwise we cannot guarantee that the final topology will be linear. Since we also want a locally convex topology, it suffices to consider absolutely convex compact subsets (for $X$ semi-Montel, these are the bipolars of bounded subsets of $X$). The picture that seems to emerge is that, for $X$ semi-Montel, the LCTVS topology generated by the inclusions of compact subsets is the bornologification of $X$. |
Oct 15 |
revised |
Is every Montel locally convex vector space compactly generated?
corrected a small typo |
Oct 14 |
asked | Is every Montel locally convex vector space compactly generated? |
Sep 19 |
awarded | Nice Answer |
Sep 15 |
comment |
Poincare lemma for non-smooth differentiable forms
Hmm, that's really interesting... I'll have a look at Preiss's paper to see what goes wrong. |
Sep 15 |
comment |
Poincare lemma for non-smooth differentiable forms
Thanks both to Jochen and Igor! The conclusion of Preiss's paper actually looks similar to that counterexample for the Laplacian in the book of Gilbarg-Trudinger. That's very interesting. |
Sep 14 |
revised |
Poincare lemma for non-smooth differentiable forms
corrected statement |
Sep 14 |
revised |
Poincare lemma for non-smooth differentiable forms
Improved notation |
Sep 14 |
revised |
Poincare lemma for non-smooth differentiable forms
Inequality corrected and related amendments in the subsequent text |
Sep 14 |
revised |
Poincare lemma for non-smooth differentiable forms
Corrected typos in the first sequence, added reference to Igor Khavkine's answer |