Space of cadlag functions - Nonexistence of a TVS Polish topology?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
5
down vote

favorite
2












Consider the space $D := D([0,1], mathbbR)$ of real-valued cadlag functions on $[0,1]$. On $D$ one can invent several (more or less) well-known topologies:



  1. the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)

  2. the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere

  3. the weaker Skorokhod $M_1$-topology: $(D, M_1)$ is also Polish but again not a TVS (addition is not continuous everywhere but the set of discontinuities is smaller than for $J_1$)

  4. the Skorokhod $J_2$ topology (weaker than $J_1$) and $M_2$ topology (weaker than $M_1$) : $D$ is Lusin (I think not Polish) and not a TVS again

  5. the Jakubowski $S$-topology: $(D,S)$ is Lusin, not metrizable (thus not Polish), addition is sequentially continuous, but not continuous everywhere and thus $(D,S)$ ist not a TVS.

This leads me to the following



Conjecture: On $D$ one can not define a topology such that $D$ is both Polish and a TVS (or even more a separable Banach space).



Does anyone know some attempts to show this or is it an open problem?







share|cite|improve this question






















  • Well, technically … $D$ is a real vector space of (algebraic) dimension $2^aleph_0$, as are $ell^p(mathbbN)$, $mathbbR^mathbbN$, $C^infty(mathbbR)$, and several others. So there are various Polish TVS topologies on $D$. But that may not count as "defining" such a topology on $D$. Is your question about existence or definability? If the latter, which sense of definability?
    – Daniel Fischer♦
    Aug 21 at 14:19










  • @DanielFischer I mean definability in the sense of being useful for applications and in particular for stochastic processes. But I think, since probability theory basically deals with countable operations or countable constructions (in whatever sense) and convergence of sequences (and not general nets), sequential continuity of addition should be fine (as it is the case for the Jakubowski S-topology mentioned above). Just curious, if there are other applications that require a useful Polish TVS or LCS topoogy on $D$, e.g. for applying theorems for Polish spaces and functional analysis at once.
    – yadaddy
    Aug 21 at 14:28







  • 1




    In that sense, I believe your conjecture holds. A useful topology on $D$ ought to be comparable to the uniform topology, and the open mapping theorem says that a completely metrisable TVS topology on $D$ which is comparable to $U$ must be $U$ itself.
    – Daniel Fischer♦
    Aug 21 at 14:36










  • @DanielFischer Hmm, yes, right. I admit, the question as stated is rather vague. The usual topologies on the spaces $ell^p$, $mathbbR^mathbbN$ and so on are in some sense intrinsically defined. So I would also only allow "intrinsic" topologies on $D$ and not consider those that are defined by an external auxiliary bijection to other spaces.
    – yadaddy
    Aug 21 at 14:43















up vote
5
down vote

favorite
2












Consider the space $D := D([0,1], mathbbR)$ of real-valued cadlag functions on $[0,1]$. On $D$ one can invent several (more or less) well-known topologies:



  1. the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)

  2. the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere

  3. the weaker Skorokhod $M_1$-topology: $(D, M_1)$ is also Polish but again not a TVS (addition is not continuous everywhere but the set of discontinuities is smaller than for $J_1$)

  4. the Skorokhod $J_2$ topology (weaker than $J_1$) and $M_2$ topology (weaker than $M_1$) : $D$ is Lusin (I think not Polish) and not a TVS again

  5. the Jakubowski $S$-topology: $(D,S)$ is Lusin, not metrizable (thus not Polish), addition is sequentially continuous, but not continuous everywhere and thus $(D,S)$ ist not a TVS.

This leads me to the following



Conjecture: On $D$ one can not define a topology such that $D$ is both Polish and a TVS (or even more a separable Banach space).



Does anyone know some attempts to show this or is it an open problem?







share|cite|improve this question






















  • Well, technically … $D$ is a real vector space of (algebraic) dimension $2^aleph_0$, as are $ell^p(mathbbN)$, $mathbbR^mathbbN$, $C^infty(mathbbR)$, and several others. So there are various Polish TVS topologies on $D$. But that may not count as "defining" such a topology on $D$. Is your question about existence or definability? If the latter, which sense of definability?
    – Daniel Fischer♦
    Aug 21 at 14:19










  • @DanielFischer I mean definability in the sense of being useful for applications and in particular for stochastic processes. But I think, since probability theory basically deals with countable operations or countable constructions (in whatever sense) and convergence of sequences (and not general nets), sequential continuity of addition should be fine (as it is the case for the Jakubowski S-topology mentioned above). Just curious, if there are other applications that require a useful Polish TVS or LCS topoogy on $D$, e.g. for applying theorems for Polish spaces and functional analysis at once.
    – yadaddy
    Aug 21 at 14:28







  • 1




    In that sense, I believe your conjecture holds. A useful topology on $D$ ought to be comparable to the uniform topology, and the open mapping theorem says that a completely metrisable TVS topology on $D$ which is comparable to $U$ must be $U$ itself.
    – Daniel Fischer♦
    Aug 21 at 14:36










  • @DanielFischer Hmm, yes, right. I admit, the question as stated is rather vague. The usual topologies on the spaces $ell^p$, $mathbbR^mathbbN$ and so on are in some sense intrinsically defined. So I would also only allow "intrinsic" topologies on $D$ and not consider those that are defined by an external auxiliary bijection to other spaces.
    – yadaddy
    Aug 21 at 14:43













up vote
5
down vote

favorite
2









up vote
5
down vote

favorite
2






2





Consider the space $D := D([0,1], mathbbR)$ of real-valued cadlag functions on $[0,1]$. On $D$ one can invent several (more or less) well-known topologies:



  1. the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)

  2. the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere

  3. the weaker Skorokhod $M_1$-topology: $(D, M_1)$ is also Polish but again not a TVS (addition is not continuous everywhere but the set of discontinuities is smaller than for $J_1$)

  4. the Skorokhod $J_2$ topology (weaker than $J_1$) and $M_2$ topology (weaker than $M_1$) : $D$ is Lusin (I think not Polish) and not a TVS again

  5. the Jakubowski $S$-topology: $(D,S)$ is Lusin, not metrizable (thus not Polish), addition is sequentially continuous, but not continuous everywhere and thus $(D,S)$ ist not a TVS.

This leads me to the following



Conjecture: On $D$ one can not define a topology such that $D$ is both Polish and a TVS (or even more a separable Banach space).



Does anyone know some attempts to show this or is it an open problem?







share|cite|improve this question














Consider the space $D := D([0,1], mathbbR)$ of real-valued cadlag functions on $[0,1]$. On $D$ one can invent several (more or less) well-known topologies:



  1. the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)

  2. the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere

  3. the weaker Skorokhod $M_1$-topology: $(D, M_1)$ is also Polish but again not a TVS (addition is not continuous everywhere but the set of discontinuities is smaller than for $J_1$)

  4. the Skorokhod $J_2$ topology (weaker than $J_1$) and $M_2$ topology (weaker than $M_1$) : $D$ is Lusin (I think not Polish) and not a TVS again

  5. the Jakubowski $S$-topology: $(D,S)$ is Lusin, not metrizable (thus not Polish), addition is sequentially continuous, but not continuous everywhere and thus $(D,S)$ ist not a TVS.

This leads me to the following



Conjecture: On $D$ one can not define a topology such that $D$ is both Polish and a TVS (or even more a separable Banach space).



Does anyone know some attempts to show this or is it an open problem?









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 21 at 13:31









Davide Giraudo

121k15147250




121k15147250










asked Sep 8 '15 at 7:40









yadaddy

1,229816




1,229816











  • Well, technically … $D$ is a real vector space of (algebraic) dimension $2^aleph_0$, as are $ell^p(mathbbN)$, $mathbbR^mathbbN$, $C^infty(mathbbR)$, and several others. So there are various Polish TVS topologies on $D$. But that may not count as "defining" such a topology on $D$. Is your question about existence or definability? If the latter, which sense of definability?
    – Daniel Fischer♦
    Aug 21 at 14:19










  • @DanielFischer I mean definability in the sense of being useful for applications and in particular for stochastic processes. But I think, since probability theory basically deals with countable operations or countable constructions (in whatever sense) and convergence of sequences (and not general nets), sequential continuity of addition should be fine (as it is the case for the Jakubowski S-topology mentioned above). Just curious, if there are other applications that require a useful Polish TVS or LCS topoogy on $D$, e.g. for applying theorems for Polish spaces and functional analysis at once.
    – yadaddy
    Aug 21 at 14:28







  • 1




    In that sense, I believe your conjecture holds. A useful topology on $D$ ought to be comparable to the uniform topology, and the open mapping theorem says that a completely metrisable TVS topology on $D$ which is comparable to $U$ must be $U$ itself.
    – Daniel Fischer♦
    Aug 21 at 14:36










  • @DanielFischer Hmm, yes, right. I admit, the question as stated is rather vague. The usual topologies on the spaces $ell^p$, $mathbbR^mathbbN$ and so on are in some sense intrinsically defined. So I would also only allow "intrinsic" topologies on $D$ and not consider those that are defined by an external auxiliary bijection to other spaces.
    – yadaddy
    Aug 21 at 14:43

















  • Well, technically … $D$ is a real vector space of (algebraic) dimension $2^aleph_0$, as are $ell^p(mathbbN)$, $mathbbR^mathbbN$, $C^infty(mathbbR)$, and several others. So there are various Polish TVS topologies on $D$. But that may not count as "defining" such a topology on $D$. Is your question about existence or definability? If the latter, which sense of definability?
    – Daniel Fischer♦
    Aug 21 at 14:19










  • @DanielFischer I mean definability in the sense of being useful for applications and in particular for stochastic processes. But I think, since probability theory basically deals with countable operations or countable constructions (in whatever sense) and convergence of sequences (and not general nets), sequential continuity of addition should be fine (as it is the case for the Jakubowski S-topology mentioned above). Just curious, if there are other applications that require a useful Polish TVS or LCS topoogy on $D$, e.g. for applying theorems for Polish spaces and functional analysis at once.
    – yadaddy
    Aug 21 at 14:28







  • 1




    In that sense, I believe your conjecture holds. A useful topology on $D$ ought to be comparable to the uniform topology, and the open mapping theorem says that a completely metrisable TVS topology on $D$ which is comparable to $U$ must be $U$ itself.
    – Daniel Fischer♦
    Aug 21 at 14:36










  • @DanielFischer Hmm, yes, right. I admit, the question as stated is rather vague. The usual topologies on the spaces $ell^p$, $mathbbR^mathbbN$ and so on are in some sense intrinsically defined. So I would also only allow "intrinsic" topologies on $D$ and not consider those that are defined by an external auxiliary bijection to other spaces.
    – yadaddy
    Aug 21 at 14:43
















Well, technically … $D$ is a real vector space of (algebraic) dimension $2^aleph_0$, as are $ell^p(mathbbN)$, $mathbbR^mathbbN$, $C^infty(mathbbR)$, and several others. So there are various Polish TVS topologies on $D$. But that may not count as "defining" such a topology on $D$. Is your question about existence or definability? If the latter, which sense of definability?
– Daniel Fischer♦
Aug 21 at 14:19




Well, technically … $D$ is a real vector space of (algebraic) dimension $2^aleph_0$, as are $ell^p(mathbbN)$, $mathbbR^mathbbN$, $C^infty(mathbbR)$, and several others. So there are various Polish TVS topologies on $D$. But that may not count as "defining" such a topology on $D$. Is your question about existence or definability? If the latter, which sense of definability?
– Daniel Fischer♦
Aug 21 at 14:19












@DanielFischer I mean definability in the sense of being useful for applications and in particular for stochastic processes. But I think, since probability theory basically deals with countable operations or countable constructions (in whatever sense) and convergence of sequences (and not general nets), sequential continuity of addition should be fine (as it is the case for the Jakubowski S-topology mentioned above). Just curious, if there are other applications that require a useful Polish TVS or LCS topoogy on $D$, e.g. for applying theorems for Polish spaces and functional analysis at once.
– yadaddy
Aug 21 at 14:28





@DanielFischer I mean definability in the sense of being useful for applications and in particular for stochastic processes. But I think, since probability theory basically deals with countable operations or countable constructions (in whatever sense) and convergence of sequences (and not general nets), sequential continuity of addition should be fine (as it is the case for the Jakubowski S-topology mentioned above). Just curious, if there are other applications that require a useful Polish TVS or LCS topoogy on $D$, e.g. for applying theorems for Polish spaces and functional analysis at once.
– yadaddy
Aug 21 at 14:28





1




1




In that sense, I believe your conjecture holds. A useful topology on $D$ ought to be comparable to the uniform topology, and the open mapping theorem says that a completely metrisable TVS topology on $D$ which is comparable to $U$ must be $U$ itself.
– Daniel Fischer♦
Aug 21 at 14:36




In that sense, I believe your conjecture holds. A useful topology on $D$ ought to be comparable to the uniform topology, and the open mapping theorem says that a completely metrisable TVS topology on $D$ which is comparable to $U$ must be $U$ itself.
– Daniel Fischer♦
Aug 21 at 14:36












@DanielFischer Hmm, yes, right. I admit, the question as stated is rather vague. The usual topologies on the spaces $ell^p$, $mathbbR^mathbbN$ and so on are in some sense intrinsically defined. So I would also only allow "intrinsic" topologies on $D$ and not consider those that are defined by an external auxiliary bijection to other spaces.
– yadaddy
Aug 21 at 14:43





@DanielFischer Hmm, yes, right. I admit, the question as stated is rather vague. The usual topologies on the spaces $ell^p$, $mathbbR^mathbbN$ and so on are in some sense intrinsically defined. So I would also only allow "intrinsic" topologies on $D$ and not consider those that are defined by an external auxiliary bijection to other spaces.
– yadaddy
Aug 21 at 14:43
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1426371%2fspace-of-cadlag-functions-nonexistence-of-a-tvs-polish-topology%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1426371%2fspace-of-cadlag-functions-nonexistence-of-a-tvs-polish-topology%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?