Timeline for Separability of $R_+\times\mathcal{C}(R_+)$
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2014 at 23:10 | comment | added | Morris | This space originates from the study of path-dependent PDE, which is an interpretation of SDE with random coefficients. $d$ is just a pseudo-metric. | |
| S Sep 5, 2014 at 15:13 | history | suggested | Włodzimierz Holsztyński | CC BY-SA 3.0 |
WARNING about the distance function d not being a metrics but a pseudo-metrics
|
| Sep 5, 2014 at 14:45 | review | Suggested edits | |||
| S Sep 5, 2014 at 15:13 | |||||
| Sep 5, 2014 at 4:19 | comment | added | Włodzimierz Holsztyński | As I've mentioned under the @Bjørn's answer, metrics $d$ is only a pseudo-metrics. Indeed, consider functions $\ f(x) := x\ $ and $\ g(x):= 1 - |x-1|.\ $ Then $\ d((1\ f)\ (1\ g)) = 0,\ $ while $\ (1\ f)\ne(1\ g)$. | |
| Sep 4, 2014 at 23:38 | answer | added | Bjørn Kjos-Hanssen | timeline score: 2 | |
| Sep 4, 2014 at 23:03 | comment | added | CodeGolf | The question is from the study of stochastic process defined on an enlarged space $R_+\times\mathcal{C}(R_+)$. In order to study the convergence, I would like to find some metris under which this space is Polish. | |
| Sep 4, 2014 at 23:01 | history | edited | CodeGolf | CC BY-SA 3.0 |
deleted 14 characters in body
|
| Sep 4, 2014 at 21:43 | comment | added | Joonas Ilmavirta | That metric looks very unusual to me. Would you mind explaining where it comes from and what you need the separability for? | |
| Sep 4, 2014 at 21:37 | history | asked | CodeGolf | CC BY-SA 3.0 |