Zbadać, czy relacja jest funkcją.

[Magda0601]

Rozważmy relację \(\displaystyle{ \left( m,k\right) \in \NN ^{2},\left( m,k\right) \in f \Leftrightarrow \left( m=k=1 \vee \left[ k= \frac{m+1}{2}\right] \right)}\). Zbadać, czy jest funkcją. Jeśli tak, sprawdzić, czy jest różnowartościowa i surjektywna na \(\displaystyle{ \NN}\). Wyznaczyć obraz zbioru \(\displaystyle{ \left\{ 2 ^{k}:k \in \NN \right\}}\) i przeciwobraz zbioru: \(\displaystyle{ \left\{ 2,3,5\right\}}\).

[Jan Kraszewski]

Jak definiujesz funkcję?

JK