Agrupaciones: ¿Qué es una función [matemática] f [/ matemática] que satisface la condición: [matemática] f (A_i) = f (A_j) [/ matemática] si y solo si [matemática] | A_i – A_j | <\ epsilon [/ math], donde [math] \ epsilon [/ math] es una constante positiva?

Si se supone que su función se define en los números reales, entonces las únicas funciones son funciones constantes. Su ejemplo de [math] f (x) = \ lfloor x / 10 \ rfloor [/ math] no funciona, ya que la propiedad se viola en múltiplos de 10. También debemos tener cuidado con cómo [math] \ epsilon [ / math] se elige: ¿se elige en cada punto o se elige de una vez por todas para la función completa? El primero es en muchos sentidos más natural.

En términos más generales, si se supone que la función se define en un conjunto conectado de números reales (básicamente, en una colección de intervalos), las únicas funciones de ese tipo son aquellas que son constantes en cada intervalo. Estas funciones a veces se denominan funciones localmente constantes .

Aún más generalmente, si se supone que la función se define en un espacio topológico o espacio métrico y la condición [math] | xy | <\ epsilon [/ math] se interpreta en términos de conjuntos abiertos o la función de distancia, entonces la función Las únicas funciones con esta propiedad son las constantes localmente.

Para probar estas afirmaciones, puede mostrar que para cada [matemática] c [/ matemática] el conjunto de [matemática] x [/ matemática] con [matemática] f (x) = c [/ matemática] forma tanto cerrado como abierto set, y por lo tanto es un componente conectado del espacio donde se define la función.

No especifica el dominio de la función, pero el ejemplo sugiere que tiene en mente el conjunto de números reales (o un subconjunto del conjunto de números reales). Entonces, digamos que [math] F \ left (0 \ right) [/ math] es algún valor, [math] a [/ math]. Entonces, [math] F \ left (0.8 \ epsilon \ right) [/ math] también debe ser [math] a [/ math]. Además, [math] F \ left (1.6 \ epsilon \ right) [/ math] también debe ser [math] a [/ math] … pero tampoco debe ser [math] a [/ math].

Por lo tanto, el dominio de todo el conjunto de números reales no funcionará. Podría tener una función definida en un segmento de los números reales, donde el tamaño del segmento es menor que [math] \ epsilon [/ math], o un conjunto de segmentos, donde cada uno es menor que [math] \ epsilon [/ math], y el espacio entre los segmentos es al menos [math] \ epsilon [/ math], y la función es un valor constante diferente para cada sección diferente.