Pagina 1 di 1

Teorema di Riduzione in R^2

MessaggioInviato: 03/07/2014, 20:16
da Rokito
Ciao ragazzi! Mi sto preparando per l'orale di Analisi 2 e ho un dubbio col teorema di riduzione per integrali doppi.
Allora io parto enunciando la mia tesi: Sia \[I\subseteq \mathbb{R}^2\] Un rettangolo \[I= \left [ a,b \right ]\times \left [ c,d \right ]\] compatto.

La mia domanda è: ha senso dire che I è misurabile? Essendo compatto è chiuso e limitato, e un insieme chiuso è misurabile solo se la misura della sua frontiera è nulla....
Può sembrare un dubbio stupido ma per evitare di fare figuracce all'orale vorrei sentire la vostra opinione :D

Grazie e a presto!

Re: Teorema di Riduzione in R^2

MessaggioInviato: 04/07/2014, 11:04
da maurizio.schirinzi
La questione della misurabilità dell'insieme I per avere l'integrabilità secondo Riemann prescinde dal fatto che l'insieme sia chiuso o aperto.
Si tratta ovviamente di questioni molto teoriche e un pò delicate, e molto dipende da come si costruiscono e si definiscono le varie cose.

In generale un insieme Ω è misurabile secondo Peano-Jordan se il suo bordo ∂Ω ha misura nulla, indipendentemente dal fatto che ∂Ω, o parti di esso, sia contenuto in Ω e indipendentemente dal fatto che Ω sia chiuso o aperto.

Ecco un ottimo riferimento (di cui ti consiglio una buona lettura) sulla necessità di introdurre la questione della misurabilità per poter definire l'integrazione secondo Riemann:

Approfondimenti Integrale di Riemann

Si tratta della questione analoga alla definizione di integrale in R per funzioni limitate e con a meno di un "numero finito di punti di discontinuità di prima o terza specie", cioè l'analogo dell'ipotesi di funzioni "continue a tratti" che si fa i R, per poter definire l'integrabilità anche per funzioni non necessariamente continue sull'intervallo [a,b]. Per estendere questo concetto di integrabilità a funzioni di più variabili è necessario precisare delle condizioni di sufficiente "regolarità" sulla funzione che vengono formalizzate attraverso la teoria un pò astratta della misurabilità degli insiemi che permette poi di avere delle condizioni sufficienti per l'integrabilità.

Saluti. ;)