Timeline for Infimum of two group topologies
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2014 at 9:37 | comment | added | Adam Przeździecki | @Colin Reid - I think one step is enough if you replace your demand that the inverse image is open in $(\tau_\alpha)^2$ with the demand that all inverse images in $(\tau_0)^n$ for $n\geq 2$ are open. | |
| Jul 14, 2014 at 9:32 | comment | added | Adam Przeździecki | @H.Khas "that may eventually become a proof". This IS a proof - it is enough to continue the induction along an ordinal whose cofinality is larger than the number of topologies on $G$. | |
| Jul 14, 2014 at 4:15 | comment | added | Andreas Blass | Won't the analog of Colin Reid's construction work equally well if, instead of working with the whole topologies $\tau_\alpha$, we work only with the neighborhood filters at the identity? If so, then it seems to answer the question. | |
| Jul 14, 2014 at 0:01 | comment | added | H. Khas | that may eventually become a proof for its existence. But there is simpler way to prove its existence. My question is how to specify a base of neighborhoods of $1$ for it. In abelian case a subbase is obtained by products of neghborhoods of $\mathcal T$ and $\mathcal S$. | |
| Jul 13, 2014 at 23:24 | history | answered | Colin Reid | CC BY-SA 3.0 |