Timeline for Is the fine uniformity generated by all continuous pseudometrics?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2022 at 16:36 | vote | accept | Jochen Wengenroth | ||
| S Aug 12, 2022 at 15:55 | history | bounty ended | Jochen Wengenroth | ||
| S Aug 12, 2022 at 15:55 | history | notice removed | Jochen Wengenroth | ||
| Aug 12, 2022 at 15:24 | answer | added | Tyrone | timeline score: 3 | |
| Aug 12, 2022 at 14:37 | comment | added | Jochen Wengenroth | The bounty expires tomorrow @Tyrone. Don't worry too much about the answer, the reference you gave is quite useful. | |
| Aug 11, 2022 at 23:25 | comment | added | Tyrone | Jochen, I'll sit down tomorrow when I have some time and extend my comment to an answer. | |
| Aug 11, 2022 at 6:54 | comment | added | Jochen Wengenroth | Thank you both for your comments. I suggest that @Tyrone updates his comment to an answer to get the bounty. | |
| Aug 10, 2022 at 18:09 | comment | added | Robert Furber | I think it suffices to combine the result mentioned by Tyrone with Exercise 5 of Chapter IX, §1 of Bourbaki's General Topology, which is the universal property of the uniformity defined by all continuous pseudometrics on a completely regular space. I don't know of a reference doing both in one go. | |
| Aug 6, 2022 at 21:21 | comment | added | Tyrone | The set $\mathcal{D}$ of all continuous pseudometrics on $(X,\tau)$ also describes its completely regular modification (it is the coarsest topology on $X$ making each $d\in\mathcal{D}$ continuous). Thus you are already describing the composite adjoint. Some details are elaborated upon in Thampuran's paper On Completely Regular Spaces (see Theorem 5). | |
| S Aug 6, 2022 at 12:05 | history | bounty started | Jochen Wengenroth | ||
| S Aug 6, 2022 at 12:05 | history | notice added | Jochen Wengenroth | Draw attention | |
| Aug 4, 2022 at 13:20 | history | edited | Jochen Wengenroth | CC BY-SA 4.0 |
More precise title
|
| Aug 4, 2022 at 11:45 | history | asked | Jochen Wengenroth | CC BY-SA 4.0 |