Identity Function is Computable Real Function

Theorem

Let $I_\R : \R \to \R$ denote the identity function on $\R$.

Then $I_\R$ is a computable real function.

Proof

Follows immediately from:

• Identity Function is Sequentially Computable Real Function
• Identity Function is Computably Uniformly Continuous Real Function

$\blacksquare$