The title pretty much says it all. What is the cardinality of $G$, the group of all functions $f: \mathbb{R} \to \mathbb{R}$ such that $\forall x,y\in \mathbb{R} \left( x>y\Rightarrow f(x)>f(y)\right)$? Obviously $G$ is a subgroup of the symmetric group on $\mathbb{R}$, which has cardinality $\beth_2$, and $G$ is also obviously uncountable, so the real question here is whether the cardinality is $\beth_1$ or $\beth_2$.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
|
|||||||||||||||||
|
|
10
|
Such a function can have only countably many points of discontinuity, since any discontinuity will be a jump discontinuity and hence the range will skip over an interval unique to that point, and so we can associate each point of discontinuity with a distinct rational number, meaning there are only countably many. So the function is determined by specifying its values at the members of this countable set, plus specifying values on a countable dense set. This is altogether a countable amount of information, and so the number of such functions is $2^{\aleph_0}=\beth_1=\frak{c}$. |
|||
|
