Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






+1 voto
Sea $S=\{2,3,4\dots\}$. Existe $f: S\mapsto S$ tal que para todo $a,b\in S$ con $a\neq b$ se tenga $f(a)f(b)=f(a^2b^2)$? Gracias de antemano.
por (2,4m puntos) en Combinatoria
editado por
¿Cómo se debe interpretar la condición cuando $a^2 b^2 > n$, de modo que $a^2 b^2$ no está en el dominio de $f$?
Perdón . puse mal la definición de S. Son los enteros mayores o iguales a 2

1 Respuesta

+2 votos
 
Mejor respuesta
No existe una función $f$ que cumpla esa condición. Supongamos que sí.

Fijemos $x, y \in S$. Para casi cualquier $t$, tenemos que $f(x) f(t) f(y) = f(x^2 t^2) f(y) = f(x^4 t^4 y^2)$ y  también $f(x) f(t) f(y) = f(x) f(t^2 y^2) = f(x^2 t^4 y^4)$.

(Para que se valgan todas esas igualdades $t$ debe cumplir $t \neq x$, $t \neq y$, $x^2 t^2 \neq y$, $x \neq t^2 y^2$ que solo elimina un número finito de posibilidades para $t$.)

Además, $f(x^2) f(x^2 t^4 y^4) = f(x^8 t^8 y^8) = f(y^2) f(x^4t^4y^2)$. Combinando nuestras igualdades, vemos que $f(x^2) = f(y^2)$, o sea que $f$ toma el mismo valor $c$ en todos los cuadrados perfectos.

Finalmente, como para $x \neq y$, $f(x^2) f(y^2) = f(x^4 y^4)$, tenemos que $c^2 = c$ y esto es imposible pues $c \in S$.
por (33,1m puntos)
seleccionada por
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...