Timeline for Injective choice function for non-separable $T_2$-spaces

6 events

when toggle format	what		by	license	comment
Nov 9, 2018 at 9:36	vote	accept	Dominic van der Zypen
Nov 7, 2018 at 18:36	history	edited	Dominic van der Zypen	CC BY-SA 4.0	added 172 characters in body
Nov 7, 2018 at 18:33	comment	added	Dominic van der Zypen		Right, thanks @KPHart, will modify this!
Nov 7, 2018 at 12:42	answer	added	KP Hart		timeline score: 3
Nov 7, 2018 at 11:31	comment	added	KP Hart		The `obviously' is not quite true: in $\mathbb{R}$ we have $\mathbb{Q}\subseteq\mathbb{R}\setminus\{\sqrt2\}$ and $\pi+\mathbb{Q}\subseteq\mathbb{R}\setminus\{0\}$. In fact there is an injective function $f:[\mathbb{R}]^\omega\to\mathbb{R}$ such that $f(A)\notin A$ for all $A$, so $\mathbb{R}$ does admit a function as required.
Nov 7, 2018 at 10:15	history	asked	Dominic van der Zypen	CC BY-SA 4.0