¿Cuántos elementos puede tener el conjunto $S(f)=\{f(x+y)-f(x)-f(y)\ |\ x,y\in R\}$ tienen

Question

Pregunta:

Para una función suryectiva $f\mathbb R\to \mathbb R$ donde $\mathbb R$ denota el conjunto de los números reales, definir el conjunto $$S(f)=\{f(x+y)-f(x)-f(y)\ |\ x,y\in \mathbb R\}\ .$$ Supongamos que $S(f)$ es finito y $|S(f)|\neq 1$ . Encuentre los posibles valores de $|S(f)|$ .

Creo que $|S(f)|=2$ es posible gracias al ejemplo $$f(x)=\dfrac{1}{2}(\lfloor x\rfloor-\{x\})\ .$$

Está claro que $f$ es suryente, porque para cualquier $t\in R$ si dejamos que $x=2t+2\{-2t\}$ entonces tenemos $$f(x)=\dfrac{1}{2}(2t+2\{-2t\}-2\{-2t\})=t\ ,$$ y entonces tenemos $$S(f)=f(x+y)-f(x)-f(y)=\{x\}+\{y\}-\{x+y\}=\{0,1\}\ ,$$ por lo que tenemos $$|S(f)|=2\ .$$

Utilizando este método, ¿Podemos encontrar ejemplos tales que $|S(f)|=3,4,5,\ldots$ ? Tal vez haya otros métodos para resolver este problema.

Answer 1

Un ejemplo para más de 2.

$f(x) = \begin{cases} 1 &\text{if } x = \frac12 \\ 2 &\text{if } x = \frac14 \\ 4x &\text{if } x \neq \frac12, \frac14 \end{cases}$

$f(x) = 4x\operatorname{sgn}\left|x-\frac12\right|\operatorname{sgn}\left|x-\frac14\right| + 1(1 - \operatorname{sgn}\left|x-\frac12\right|) + 2(1 - \operatorname{sgn}\left|x-\frac12\right|)$ $S(f) = \{-3, -1, 0, 1, 2\}$

Y el método para generar más de estas funciones con finitas $|S(f)|$ valores.

Dada una función real sobreyectiva $g: \mathbb{R} \to \mathbb{R}$ , de tal manera que $\left|S(g)\right| = 1$ y una permutación finita sobre los números reales $h: \mathbb{R} \to \mathbb{R}$ con $n > 0$ valores permutados, y la función real suryectiva de composición $f(x) = g(h(x))$ el valor $\left|S(f)\right|$ es finito, al menos 2 y con el límite superior $1 + \frac12 n(n+5)$ . (Trabajando en el fondo)

Mirando tu función y la otra respuesta, creo que los tipos de funciones $F$ tal que $S(F)$ es finito puede definirse mediante la composición de funciones lineales, permutaciones finitas y funciones diente de sierra suryentes.

$F = f_1 \circ \ldots \circ f_n$

donde para cada $i = 1, \ldots, n$ Se supone que hay una supuesta sujeción y una de las siguientes es verdadera:

• $\exists m,c \in \mathbb{R} : m \neq 0 \land \forall x \in \mathbb{R} : f_i(x) = mx + c$ (lineal)
• $\exists b \in \mathbb{R}_{>0} : \forall x \in \mathbb{R} : f_i(x) = x + (x {\%} b)$ ( diente de sierra proyectivo )
• $\left|\{x \in \mathbb{R} \mid f_i(x) \neq x \}\right| < \aleph_0 \land \forall y \in \mathbb{R}: \exists! x \in \mathbb{R}: f_i(x) = y$ (permutación finita)

Trabajando para el caso de la permutación finita: \begin{align} \mathbb{F}_S &= \{f: \mathbb{R} \to \mathbb{R} \mid \forall y \in \mathbb{R}: \exists x \in \mathbb{R} : f(x) = y \} \\ \mathbb{F}_B &= \{f: \mathbb{R} \to \mathbb{R} \mid \forall y \in \mathbb{R}: \exists! x \in \mathbb{R} : f(x) = y \} \\ S &: \mathbb{F}_S \to \mathbb{R} \\ S(f) &= \{f(x+y) - f(x) - f(y) \mid x,y \in \mathbb{R} \} \\ g &\in \mathbb{F}_S \\ \left|S(g)\right| = 1 &\implies \exists c \in \mathbb{R} : \forall x,y \in \mathbb{R} : g(x+y) - g(x) - g(y) = -c \\ &\implies \exists m,c \in \mathbb{R}: \forall x \in \mathbb{R}: g(x) = mx + c \\ \left|S(g)\right| = 1 &\vdash g(x) = mx + c \land S(g) = \{-c\} \\ T &: \mathbb{F}_B \to \mathbb{R} \\ T(f) &= \{ x \in \mathbb{R} \mid f(x) \neq x \} \\ h &\in \mathbb{F}_B \\ f &\in \mathbb{F}_S \\ f(x) &= g(h(x)) \\ S_f &{:=} S(f) \\ S_g &{:=} S(g) \\ T_h &{:=} T(h) \\ 0 < \left|T_h\right| < \aleph_0 &\vdash 1 < \left|S_f\right| < \aleph_0 \\ F(x, y) &{:=} f(x+y) - f(x) - f(y) \\ G(x, y) &{:=} g(x+y) - g(x) - g(y) \\ S_f &= \{ -c \} \cup \{ F(x,y) \mid x, y \in \mathbb{R} \land F(x,y) \neq -c \} \\ F(x, y) \neq -c &\implies f(x) \neq g(x) \lor f(y) \neq g(y) \lor f(x+y) \neq g(x+y) \\ &\implies x \in T_h \lor y \in T_h \lor (x+y) \in T_h \\ &\vdash \left|S_f\right| > 1 \end{align}

\begin{align} S_f &= \{-c\} \cup P_1 \cup P_2 \cup P_3 \\ P_1 &= \left\{F(t - x, x) \mid t \in T_h \land x \in \mathbb{R} \land x \notin T_h \land t - x \notin T_h \right\} \\ &= \left\{f(t) - f(t-x) - f(x) \mid \Phi(x,t) \right\} \\ &= \left\{mh(t) + c - (m(t-x) + c + mx + c) \mid \Phi(x, t) \right\} \\ &= \left\{m(h(t) - t) - c \mid t \in T_h \right\} \\ (\forall t \in h : h(t) \neq t) &\vdash \exists x \in P_1: x \neq -c \\ &\vdash \left| \{-c\} \cup P_1 \right| > 1 \\ 0 < &\left|P_1\right| \leq \left|T_h\right| \\ P_2 &= \left\{ F(x, y) \mid x,y \in T_h \land (x > y \lor x = y) \right\} \\ &\vdash \left|P_2\right| \leq \frac12 \left|T_h\right|\left(\left|T_h\right| + 1\right) \\ P_3 &= \left\{ F(t, x) \mid t \in T_h \land x \in \mathbb{R} \setminus T_h \land t + x \notin T_h \right\} \\ &= \left\{ f(t + x) - f(t) - f(x) \mid \phi(t, x) \right\} \\ &= \left\{ m(t+x) + c - (mh(t) + c + mx + c) \mid \phi(t, x) \right\} \\ &= \left\{ m(t - h(t)) - c \mid t \in T_h \right\} \\ &\vdash \left|P_3\right| \leq \left|T_h\right| \\ \left|S_f\right| &\leq 1 + 2\left|T_h\right| + \frac12 \left|T_h\right|\left(\left|T_h\right| + 1\right) \\ &\leq 1 + \frac12 \left|T_h\right|\left( \left|T_h\right| + 5 \right) \\ 1 < &\left|S_f\right| \leq 1 + \frac12 \left|T_h\right|\left( \left|T_h\right| + 5 \right) \end{align}

Answer 2

incompleto

Creo que $$f(x)=x+\sum_{i=0}^n x\%2^i-a[x\neq0]$$ donde $\%$ es el diente de sierra, $[x\neq0]$ es el soporte de Iverson, $n\in\mathbb{N}$ y $2^{n+1}>a\in\mathbb{N}$ satisface $$\lvert S(f)\rvert=2^{n+1}+a.$$ Sin embargo, parece que no puedo probar que $f$ es sobreyectiva. Si alguien puede demostrar que $f$ es sobreyectiva, entonces presentaré el resto de la prueba.