Space of cadlag functions - Nonexistence of a TVS Polish topology?
Clash Royale CLAN TAG#URR8PPP
up vote
5
down vote
favorite
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:
- the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)
- the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere
- 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$)
- 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
- 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?
general-topology functional-analysis stochastic-processes topological-vector-spaces skorohod-space
add a comment |Â
up vote
5
down vote
favorite
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:
- the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)
- the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere
- 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$)
- 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
- 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?
general-topology functional-analysis stochastic-processes topological-vector-spaces skorohod-space
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
add a comment |Â
up vote
5
down vote
favorite
up vote
5
down vote
favorite
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:
- the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)
- the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere
- 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$)
- 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
- 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?
general-topology functional-analysis stochastic-processes topological-vector-spaces skorohod-space
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:
- the uniform topology $U$: $(D, U)$ is a Banach space which is not separable (thus not Polish)
- the Skorokhod $J_1$-topology: $(D, J_1)$ is Polish but not a topological vector space (TVS) since addition is not continuous everywhere
- 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$)
- 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
- 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?
general-topology functional-analysis stochastic-processes topological-vector-spaces skorohod-space
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
add a comment |Â
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
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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