Valori intermedi(con topologia)

[anto_zoolander]

Ciao!

Quando abbiamo uno spazio $X$ compatto connesso e una funzione $f:X->RR$ continua, si può concludere che vale il teorema dei valori intermedi no?

Perché $f(X)$ è compatto e connesso quindi chiuso, limitato e connesso.
Le due cose unite ci tornano sostanzialmente che $f(X)$ è un intervallo chiuso e lomitato

[Sk_Anonymous]

Si' certo, gli intervalli sono gli unici connessi di \( \mathbb{R}\) (con la topologia usuale).

[fmnq]

$f(X)$ è un compatto di $RR$, e questo è vero se e solo se è unione numerabile di intervalli chiusi e limitati. E' poi connesso, perciò c'è un solo intervallo.

[otta96]

Il fatto che sia compatto è completamente irrilevante per il teorema dei valori intermedi.

[anto_zoolander]

@delirium,otta,fmnq
si chiaramente la compattezza è in più, in quanto mi basterebbe che l’immagine sia un intervallo.
Assumendo la compattezza in pratica mi darebbe weierstrass+valori intermedi

Great

[otta96]

Volendo anche per Weierstrass la compattezza non è proprio necessaria...

[j18eos]

"fmnq":$f(X)$ è un compatto di $RR$, e questo è vero se e solo se è unione numerabile di intervalli chiusi e limitati. E' poi connesso, perciò c'è un solo intervallo.

Falsissimo: l'insieme di Cantor è un sottoinsieme compatto di \(\mathbb{R}\) con la topologia naturale, infinito più che numerabile, e non contiene intervalli: click!

[dissonance]

Sono d'accordo con la critica di Armando.

Opinione mia: questo modo topologico di vedere il teorema dei valori intermedi sembra molto bello quando uno lo studia, ma naturalmente niente è gratis; resta da dimostrare che i soli connessi di \(\mathbb R\) sono gli intervalli e non è proprio banale.

[anto_zoolander]

Ma non è ‘difficile’ mostrare che i connessi di $RR$ siano gli intervalli.
Se $I$ non è un intervallo e quindi esistono $a,c in I$ e $b in RR$ tali che $a

Cita

Segnala

[otta96]

Infatti in realtà serve dimostrare il contrario, cioè che gli intervalli sono connessi.

[anto_zoolander]

Anche quello non è difficile e inoltre per i valori intermedi nemmeno serve.
$X$ connesso $f(X)subsetRR$ connesso $f(X)$ intervallo

[anto_zoolander]

da quello che ho capito \( \mathrm{[teoremi \space analisi]\setminus[teoremi \space calcolo \space differenziale] \subset [teoremi \space topologia \space generale]} \)

[otta96]

No ci sono anche i risultati sugli integrali.

[anto_zoolander]

aspetta parli di teoria della misura però, no?

[otta96]

Parlo di teoremi che sono di analisi ma non calcolo differenziale né topologia.

[anto_zoolander]

Si, giusto