Wilde ha scritto:Sia $u\in H^1(\Omega)$ (spazio di Sobolev).
Mi chiedevo se potevo dire che l'insieme
\[
u^{-1}((-T,T)) \quad \quad (T>0).
\]
è aperto.
Per esempio nel caso unidimensionale posso prendere un rappresentante di $u$ assolutamente continuo e quindi posso concludere che l'insieme in questione è aperto (dato che è controimmagine di un aperto).
In generale se invece $\Omega\subset \RR^d$ posso comunque concludere qualcosa.
Non puoi fare nulla di tutto questo senza scegliere un rappresentante, anche nel caso unidimensionale, come del resto scrivi tu stesso. Data \(u\), ad essa puoi sempre sommare, per esempio, la funzione che vale \(T/2\) sui punti a coordinate razionali ed ecco che la controimmagine di \((-T, T)\) diventa una cosa ingestibile.
Con queste classi di funzioni, di solito, non si lavora così, ma si lavora per densità; tu consideri funzioni con tutta la regolarità possibile e vedi se riesci ad ottenere delle stime negli spazi che ti interessano. Tali stime si prolungano poi per densità. Comunque, so che ci sono libri che trattano questi aspetti "puntuali", come quello di Leoni e quello di Evans e Gariepy; se PROPRIO ti serve qualche informazione di questo tipo ti tocca andarli a spulciare.