Basic Analysis I — Real Analysis · Problem 1.5.9

Real Numbers — Jiri Lebl

Mathematics — Real Analysis · decimal-representation

Problem

Explicitly construct an injection

f : \mathbb{R} \to \mathbb{R} \setminus \mathbb{Q}

using Proposition 1.5.3.