Ωραία λύνεται στοιχειωδώς.Mihalis_Lambrou έγραψε: ↑Πέμ Νοέμ 12, 2020 3:22 pmΔεν είναι η θέση της σε θρεντ Θεωρίας Μέτρου, ούτε η Μιγαδική Ανάλυση (όπως λέει η υπόδειξη) είναι απαραίτητη. Θα δείξω τρόπο χωρίς Μιγαδική διότι με Μιγαδική το εν λόγω παράδειγμα υπάρχει σε όλα τα σχετικά βιβλία, συχνά λυμένο.
Η αλλαγή μεταβλητήςδείχνει ότι το δοθέν ολοκλήρωμα
ικανοποιεί
. Άρα
Τώρα το μεν πρώτο είναι άμεσο με τόξο εφαπτομένης και το δεύτερο με την αλλαγή μεταβλητής. Τα αφήνω ως άμεσα και γνωστά.
6) Έστω
ένας χώρος μέτρου και συναρτήσεις
μετρήσιμες ώστε να υπάρχει
ολοκληρώσιμη με
.Δείξτε ότι
.
.
δείχνει ότι το δοθέν ολοκλήρωμα
ικανοποιεί
. Άρα 

. Τα αφήνω ως άμεσα και γνωστά.


ολοκληρώσιμη(Lebesgue) στο
.
υπάρχει
ώστε για κάθε μετρήσιμο σύνολο
με
ισχύει
.
είναι το μέτρο Lebesgue.
υπάρχει μετρήσιμο σύνολο
με
και
.
επιλέγουμε σύνολο
μετρήσιμο με
και
.
.
για κάθε
όταν
.
. Επίσης το
είναι μέτρο.
είναι ολοκληρώσιμη έχουμε
.
επειδή
.




με 

γιατί ισχύει γενικότερα με την ίδια απόδειξη.
;
το οποίο είναι προσανατολισμένο counterclockwise με ακτίνα
καθώς και τη συνάρτηση
.![\displaystyle{\begin{tikzpicture}
\draw[->] (-1,0) -- (4, 0) node[below]{x};
\draw[->] (0, -1) -- (0, 4) node[left]{y};
\draw[shift={(0,0)}, line width=1.6pt, cyan!60!black] plot[domain=0:1.57,variable=\t]({1*3*cos(\t r)+0*3*sin(\t r)},{0*3*cos(\t r)+1*3*sin(\t r)});
\draw[line width=1.6pt, red!60!black] (0, 3) -- (0, 0);
\draw[line width=1.6pt, blue!60!black] (0, 0) -- (3, 0);
\draw (1.5, 0) node[below]{\text{\gr γ}};
\draw (0, 1.5) node[left]{\text{\gr δ}};
\draw (2.5, 2) node[right]{\text{\gr ε}};
\draw (0, 0) node[below left]{0};
\end{tikzpicture}} \displaystyle{\begin{tikzpicture}
\draw[->] (-1,0) -- (4, 0) node[below]{x};
\draw[->] (0, -1) -- (0, 4) node[left]{y};
\draw[shift={(0,0)}, line width=1.6pt, cyan!60!black] plot[domain=0:1.57,variable=\t]({1*3*cos(\t r)+0*3*sin(\t r)},{0*3*cos(\t r)+1*3*sin(\t r)});
\draw[line width=1.6pt, red!60!black] (0, 3) -- (0, 0);
\draw[line width=1.6pt, blue!60!black] (0, 0) -- (3, 0);
\draw (1.5, 0) node[below]{\text{\gr γ}};
\draw (0, 1.5) node[left]{\text{\gr δ}};
\draw (2.5, 2) node[right]{\text{\gr ε}};
\draw (0, 0) node[below left]{0};
\end{tikzpicture}}](/forum/ext/geomar/texintegr/latexrender/pictures/78353e4ede0e949b577718e574a64d69.png)


με residue
. Τότε,
μετρήσιμη με
.
μια
-άλγεβρα.
-μετρήσιμη ώστε για κάθε
ισχύει
.
με
όπου
η χαρακτηριστική συνάρτηση των αρρήτων στο
.
.
. To ζητούμενο είναι τώρα άμεσο είτε από Θεώρημα Κυριαρχιμένης Σύγκλισης είτε, εξ ίσου καλά, από το Θεώρημα Μονότονης Σύγκλισης και τις ιδιότητες
θετική, αύξουσα, φραγμένη και
. 
.
αν και μόνο αν είναι απόλυτα συνεχής και
σχεδόν παντού για
στο
για κάθε
.


![f:[a,b]\rightarrow \mathbb{R} f:[a,b]\rightarrow \mathbb{R}](/forum/ext/geomar/texintegr/latexrender/pictures/cbf6bcd3aa5cc7cdf73d8d1c12387715.png)




για 

![\displaystyle g(x) = [x^{-1}]^{-1} \displaystyle g(x) = [x^{-1}]^{-1}](/forum/ext/geomar/texintegr/latexrender/pictures/6c3b2d0974dd555fea3332b4de26298c.png)
.


δύο
αντίστοιχα.
ένα πεπερασμένο μέτρο στον
. Έστω ότι για κάθε
έχουμε ένα πεπερασμένο μέτρο
στο
ώστε η απεικόνιση
είναι
.
είναι μέτρο.
- ολοκληρώσιμη τότε
.
το σύνολο
έχει πεπερασμένο μέτρο.
;
, το μέτρο είναι σ-πεπερασμένο.
δεν έχει πεπερασμένο μέτρο.
. Οπότε οποιαδήποτε φραγμένη, θετική συνάρτηση με πεπερασμένο ολοκλήρωμα μας κάνει. Π.χ. οι
, και λοιπά.