MathDB
Injective, but not surjective

Source: Gazeta matematică

October 28, 2019
functionfloor functionalgebraquadratic integers

Problem Statement

Let be a nonnegative integer n n such that n \sqrt n is not integer. Show that the function f:{a+bna,b{0}N,a2nb2=1}{0}N,f(x)=x f:\{ a+b\sqrt n | a,b\in\{ 0\}\cup\mathbb{N} , a^2-nb^2=1 \}\longrightarrow\{ 0\}\cup\mathbb{N} , f(x) =\lfloor x \rfloor is injective and non-surjective.