Dejemos que $X = (X, \mathcal{E}, \mu)$ sea un espacio de medidas y que $f$ sea una función medible sobre $X$ . Considera la afirmación:
$f$ es igual a cero en casi todas partes
¿Existe una forma concisa e inequívoca de afirmar la negación de esta afirmación? En realidad, no se debería decir algo como
$f$ no es igual a cero en casi todas partes
porque esto podría interpretarse como que el complemento del conjunto $\{x : f(x) \neq 0\}$ tiene medida cero. Lo mejor que se me ha ocurrido son variaciones de
Es no el caso de que $f$ es igual a cero en casi todas partes
pero esto me parece un poco torpe. ¿Algún consejo?
2 votos
¿Qué pasa con $f$ ¿Iguala al cero no en casi todas partes?
0 votos
@quid: Es una sugerencia decente, +1.
2 votos
¿La afirmación es una hipótesis o la conclusión? Si es una hipótesis, puedes escribir "... a menos que $f$ es igual a cero e.a."
0 votos
No estoy seguro de que sea menos torpe, pero mis primeros pensamientos son: existe un conjunto $E$ de medida positiva tal que $f(x)\neq0$ para a.e. $x\in E$ .