και ( n) 1 R. Αν ε > 0, επιλέγουµε για κάθε k 1 ένα καλύπτουµε τότε την ευθεία Α µε την ακολουθία των ορθογωνίων .

Σχετικά έγγραφα
Ανοικτά και κλειστά σύνολα

Συµπάγεια και οµοιόµορφη συνέχεια

3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x)

3.3 Το συναρτησοειδές του Minkowski και μετρικοποιησιμότητα σε τοπικά κυρτούς χώρους. x y E (υποπροσθετικότητα ) ) και p( x) p( x)

3.2 Τοπικά κυρτοί χώροι-βασικές ιδιότητες.

( ) = inf { (, Ρ) : Ρ διαµέριση του [, ]}

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

4.1 Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ

Παράρτηµα Γ Eνότητα Γ.1 Απόδειξη θεωρήµατος 1.5 Kεφαλαίου 1.

Στοιχεία από τη Γεωμετρία του χώρου (αναλυτικά στο βιβλίο: Ευκλείδεια Γεωμετρία Α και Β Ενιαίου Λυκείου)

Σειρά Προβλημάτων 2 Λύσεις

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης.

ΕΞΙΣΩΣΗ ΣΦΑΙΡΑΣ. είναι όλοι ίσοι και επιπλέον δεν υπάρχουν οι όροι xy, yz, zx. Γενικά µια εξίσωση της µορφής: 0 + Β + Α.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συμπλήρωμα 2 εδαφίου 3.3: Το γενικό μεταβολικό πρόβλημα για συναρτησιακό ολοκληρωτικού τύπου με ολοκληρωτέα συνάρτηση F κατά 2

Υπολογισµός τριπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

4.1 ΕΥΘΕΙΕΣ ΚΑΙ ΕΠΙΠΕ Α ΣΤΟ ΧΩΡΟ

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 2: Ορισμός του ολοκληρώματος. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Σειρά Προβλημάτων 2 Λύσεις

2 Η ΕΥΘΕΙΑ ΣΤΟ ΕΠΙΠΕΔΟ. Εισαγωγή

Σειρά Προβλημάτων 2 Λύσεις

Νόμος του Gauss 1. Ηλεκτρική Ροή ( πλήθος δυναμικών γραμμών). είναι διάνυσμα μέτρου Α και κατεύθυνσης κάθετης στην επιφάνεια. Στην γενική περίπτωση:

[Ολοκληρωτική μορφή του νόμου του Gauss στο κενό ή τον αέρα]

ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ Α ΒΑΘΜΟΥ

Περίληψη Προηγούμενου Μαθήματος Κανάλια επικοινωνίας με θόρυβο και η χωρητικότητά τους

Καµπύλες στον R. σ τελικό σηµείο της σ. Το σ. σ =. Η σ λέγεται διαφορίσιµη ( αντιστοίχως

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

6.3 Η ΣΥΝΑΡΤΗΣΗ f(x) = αx + β

11 Το ολοκλήρωµα Riemann

( ) y ) άγνωστη συνάρτηση, f (, )

# Κάθε σημείο που οι συντεταγμένες του. Μεθοδολογία στην ευθεία γραμμή ΜΕΘΟΔΟΛΟΓΙΑ ΓΡΑΜΜΗ

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 3 Ευθεία - Επίπεδο ΣΧΟΛΗ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ/

Περιεχόµενα. 1 Ολοκληρώµατα ιπλό Ολοκλήρωµα... 1

14 Εφαρµογές των ολοκληρωµάτων

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Κατοίκον Εργασία 2. (γ) το ολικό φορτίο που βρίσκεται στον κύβο. (sd p.e 4.9 p146)

Γωνία που σχηματίζει η ε με τον άξονα. Έστω Oxy ένα σύστημα συντεταγμένων στο επίπεδο και ε μια ευθεία που τέμνει τον άξονα

ΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ. Ενότητα 10: Παιχνίδια με ελλιπή πληροφόρηση. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( )

Φροντιστήριο 2 ο : Εισαγωγή στον διανυσµατικό λογισµό

1 Το ϑεώρηµα του Rademacher

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: L 2 -σύγκλιση σειρών Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Επαναληπτικές ασκήσεις

ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών. ιαφόριση συναρτήσεων πολλών µεταβλητών

Σειρά Προβλημάτων 1 Λύσεις

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Θεωρία Τελεστών. Ενότητα: Χώροι µε νόρµα - Χώροι Hilbert. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

Σειρά Προβλημάτων 2 Λύσεις

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η

Κανόνες παραγώγισης ( )

Υπόδειξη. (α) Άµεσο αφού κάθε υποσύνολο µηδενικού συνόλου είναι µετρήσιµο.

Η θεωρία στην ευθεία σε ερωτήσεις - απαντήσεις

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange

r p A n,m = {x X : f n (x) f m (x) f n f m }, sup f n (x) f m (x) f n f m

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 5: Το Θεώρημα του Fubini. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Ανοικτά και κλειστά σύνολα

όπου n είναι ο συνολικός αριθμός γραμμομορίων του συστήματος (που συμπεριλαμβάνει και τα τυχόν αδρανή συστατικά), Ή ακόμα και τη σύσταση κατά βάρος

ΜΑΘΗΜΑΤΙΚΑ Ο.Π. ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΚΕΦΑΛΑΙΟ:2 ο - ΠΑΡΑΓΡΑΦΟΣ: Γιάννης Ζαµπέλης Μαθηµατικός

ΤΜΗΜΑ ΕΠΙΧΕΙΡΗΜΑΤΙΚΟΥ ΣΧΕ ΙΑΣΜΟΥ & ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ. Μάθηµα Τέταρτο-Πέµπτο-Έκτο Πολλαπλό Γραµµικό Υπόδειγµα

Αρµονική Ανάλυση. Ενότητα: Χώροι L p. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Το θεώρηµα πεπλεγµένων συναρτήσεων

4 Ασθενείς τοπολογίες σε χώρους με νόρμα. 4.1 θεωρήματα Mazur, Alaoglou, Goldstine.

Μπορείτε να δείξετε ότι αυξανομένης της θερμοκρασίας το κλάσμα των μορίων του συστήματος που βρίσκεται στην βασική ενεργειακή κατάσταση θα μειώνεται;

(4) γενικής λύσης το x με το -x. και θα έχουμε : y ομ (x)=c 1 (-x) -1 +c 2 (-x) 3

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

Εισαγωγή στην Τοπολογία

Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

L 2 -σύγκλιση σειρών Fourier

Όταν δεν υπάρχει κίνδυνος σύγχυσης γράφουμε συνήθως ο τοπολογικός χώρος X και χρησιμοποιούμε την σύντμηση τ.χ. (= τοπολογικός χώρος).

1.2 Βάσεις και υποβάσεις.

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΜΕΡΟΣ 2ο ΓΕΩΜΕΤΡΙΑ ΑΣΚΗΣΕΙΣ ΛΥΜΕΝΕΣ 1 ΕΠΙΜΕΛΕΙΑ : ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ

ΕΛΑΣΤΙΚΟΤΗΤΑ. ε = = Η ελαστικότητα ζήτησης

ΚΕΦΑΛΑΙΟ 12 Ο ΣΤΟΙΧΕΙΑ ΓΕΩΜΕΤΡΙΑΣ ΤΟΥ ΧΩΡΟΥ ΔΡ ΛΕΩΝΙΔΑΣ ΑΝΘΟΠΟΥΛΟΣ, ΕΠΙΚΟΥΡΟΣ ΚΑΘΗΓΗΤΗΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΔΙΑΧΕΙΡΙΣΗΣ ΕΡΓΩΝ ΤΕΙ ΛΑΡΙΣΑΣ

Διδάσκουσα: Καθηγήτρια Εφαρμογών Σ. Πέππα

ι3.4 Παραδείγματα T ) έχει την ιδιότητα Heine-Borel, αν κάθε κλειστό και φραγμένο υποσύνολό του είναι συμπαγές.

f x = f a + Df a x a + R1 x, a, x U και από τον ορισµό της 1 h f a h f a h a h h a R h a i i j

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 3: Το Θεώρημα του Lebesgue. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

ΣΕΤ ΑΣΚΗΣΕΩΝ

Ολοκλήρωµα Lebesgue. Κεφάλαιο Μετρήσιµες συναρτήσεις Ορισµός και ϐασικές ιδιότητες

2018 Φάση 1 ιαγωνίσµατα Προετοιµασίας ΜΑΘΗΜΑΤΙΚΑ. Β' Γενικού Λυκείου. Θετικών Σπουδών. Παρασκευή 5 Ιανουαρίου 2018 ιάρκεια Εξέτασης: 2 ώρες ΘΕΜΑΤΑ

«Έννοια της διάταξης ΟΡΙΣΜΟΣ α > β α β > 0.»

6 Συνεκτικοί τοπολογικοί χώροι

ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΥΠΟ ΕΙΓΜΑΤΑ TRANSFER

Αριθµητική Ανάλυση & Προγραµµατισµός Ε ιστηµονικών Εφαρµογών

Σειρά Προβλημάτων 2 Λύσεις

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Riemann και ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

( a) ( ) n n ( ) ( ) a x a. x a x. x a x a

Γλώσσες Προγραμματισμού Μεταγλωττιστές. Λεκτική Ανάλυση II

Κεφάλαιο 1. Μετρικοί χώροι. 1.1 Βασικές έννοιες. Εστω σύνολο X και έστω η απεικόνιση d : X X R έτσι ώστε για κάθε x, y, z X ισχύουν :

Κεφάλαιο 1. Θεωρία Ζήτησης

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

Σχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση ΙΙ. Εαρινό Εξάμηνο Lec 07 & & 05/03/2019 Διδάσκων: Γεώργιος Χρ.

1 Χώροι πηλίκα { } x = y x y Y. Με τις πράξεις της πρόσθεσης και του βαθμωτού πολλαπλασιασμού που ορίζονται με τον

ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ Β ΤΑΞΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ ΕΥΤΕΡΑ 18 ΙΟΥΝΙΟΥ 2001 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ: ΦΥΣΙΚΗ

1 1 Χ= x x x x x x x x x x. x x x x x

Αντλία νερού: Ο ρόλος της αντλίαςμελέτη συμπεράσματα σχόλια.

Transcript:

80 Σύνολα µέτρου µηδέν στον και ο χαρακτηρισµός του Lebesgue των iema ολοκληρωσίµων συναρτήσων 7. Ορισµός. Έστω για κάθ 0 Α, λέµ ότι το Α έχι διάστατο µέτρο µηδέν αν, > υπάρχι ακολουθία ανοικτών διάστατων ορθογωνίων ( ) και ( ) = = Α Γράφουµ τότ µ ( Α ) = 0ή ( ) 0 µ. ώστ µ Α = ( και λέµ ότι το Α έχι µέτρο µηδέν) αν δν υπάρχι αµφιβολία για την διάσταση. Είναι ύκολο να λέγξουµ ότι η έννοια του διάστατου µέτρου µηδέν δν ξαρτάται από το ίδος των ορθογωνίων που καλύπτουν το Α, έτσι µπορούµ π.χ. να αντικαταστήσουµ στον ορισµό τα ανοικτά µ κλιστά ορθογώνια. Παραδίγµατα ) Κάθ αριθµήσιµο υποσύνολο του έχι διάστατο µέτρο µηδέν. Πράγµατι, έστω Α= { x,..., x,...}. Αν > 0, πιλέγουµ για κάθ ένα ανοικτό ορθογώνιο Ι µ x Ι ώστ µ ( Ι). Έπται προφανώς ότι Α Ι και µ ( Ι) = = = = = = ) Κάθ υθία του έχι διδιάστατο µέτρο µηδέν. Ας αποδίξουµ το αποτέλσµα για λόγους απλότητας- για την υθία των Α= x,0 : x. Έστω > 0, πραγµατικών αριθµών, δηλαδή το σύνολο ( ) { } καλύπτουµ τότ την υθία Α µ την ακολουθία των ορθογωνίων = [, ],, + +. Είναι προφανές ότι. Επιδή ( ), = Α µ ( ) = = =, έχουµ το συµπέρασµα. = = = µ = και Παρατηρήσις ) Η έννοια του διάστατου µέτρου µηδέν ξαρτάται από τον χώρο που «ζι» το σύνολο που ξτάζουµ, έτσι η υθία των πραγµατικών έχι

8 διδιάστατο µέτρο µηδέν ως υποσύνολο του, όµως ως υποσύνολο του αυτού της έχι βέβαια (µονοδιάστατο ) µέτρο που ίναι διαφορτικό του µηδνός ( αφού απιρίζται ). ) Το προηγούµνο αποτέλσµα γνικύται σ κάθ διάσταση ( ). Έτσι αποδικνύται ότι κάθ υπρπίπδο του ( ) έχι διάστατο µέτρο µηδέν. ( Άσκηση). ν ίναι δύσκολο να αποδιχθί και το ακόλουθο αποτέλσµα η απόδιξη του οποίου αφήνται ως άσκηση. 7. Πρόταση Έστω Α, µια ακολουθία υποσυνόλων του καθένα έχι διάστατο µέτρου µηδέν, τότ το σύνολο µέτρου µηδέν. που το έχι διάστατο = Α= Α Σύνολα διδιάστατου µέτρου µηδέν στον που παρουσιάζουν µγάλο νδιαφέρον για µάς ίναι τα γραφήµατα συνχών πραγµατικών συναρτήσων πραγµατικής µταβλητής. 7.3 Θώρηµα Έστω f :[ a, ολοκληρώσιµη συνάρτηση ( ιδιαίτρα η f ίναι συνχής ) τότ το γράφηµα της f έχι διδιάστατο µέτρο µηδέν. Απόδιξη: Έστω > 0, πιδή f ίναι ολοκληρώσιµη ικανοποιί το κριτήριο iema. Άρα υπάρχι διαµέριση Ρ= { t0 = a< t <... < t = b} του [, ] m = if f ( x) : x [ t, t ] και sup f ( x) : x [ t, t ] { } (, ) (, ) ( )( ) { } a b, ώστ αν Μ =, =,,..., τότ (). = U f Ρ L f Ρ = t t Μ m Παρατηρούµ ότι τα ορθογώνια [ t, t] [ m, ],,,..., γράφηµα της f, G( f ) = {( x, f ( x) ) : x [ a, }. Πράγµατι, αν x [ a, {,,..., } ώστ x [ t t], άρα ( x, f ( x) ) [ t, t ] [ m, ], = Μ = καλύπτουν το Μ =. τότ υπάρχι Επί πλέον από την () έπται προφανώς ότι ( ) ( t t )( m ) Συνπώς το ( ) G f έχι διδιάστατο µέτρο µηδέν. µ = Μ. = = Στην πρίπτωση που η f ίναι συνχής, τότ όπως γνωρίζουµ ικανοποιί το κριτήριο του iema ( ισοδύναµα ίναι ολοκληρώσιµη ). Ας υπνθυµίσουµ την απόδιξη αυτού του ισχυρισµού: Έστω 0 a, b, >, πιδή η f ίναι οµοιόµορφα συνχής, ως συνχής στο συµπαγές [ ] υπάρχι 0 δ >, ώστ x, y [ a, και x y δ τότ f ( x) f ( y) (). b a a, b µ λπτότητα Επιλέγουµ µια διαµέριση Ρ= { t0 = a< t <... < t = b} του [ ] δ( ) max { t t : } δ συµβολισµό ) ότι όπως έπται από την () θα έχουµ, U( f, ) L( f, ) Ρ = και παρατηρούµ ( µ τον προηγούµνο Ρ Ρ =

8 Μ =. = ( m ) ( t t ) ( t t ) = b a = Έτσι η f ικανοποιί το κριτήριο του iema και συνπώς ίναι ολοκληρώσιµη. Το προηγούµνο θώρηµα αποδικνύται µ τον ίδιο τρόπο και για συναρτήσις πολλών µταβλητών. 7.4 Θώρηµα Έστω κλιστό ορθογώνιο του και f : ολοκληρώσιµη συνάρτηση ( ιδιαίτρα η f ίναι συνχής) τότ το γράφηµα της f έχι + διάστατο µέτρο µηδέν ( ως υποσύνολο του Παραδίγµατα ) Ο µοναδιαίος κύκλος ( ) + ). {, : } S = x y x + y = του έχι διδιάστατο µέτρο µηδέν. Πράγµατι, ο S ίναι ένωση του άνω και του κάτω ηµικυκλίου που ίναι γραφήµατα των συναρτήσων f ( x) = x, x [,] και g( x) = x, x [,] αντίστοιχα. Εποµένως ( S ) µ =. 0 ) Η πιφάνια της µοναδιαίας σφαίρας ( ) {,, : } S = x y z x + y + z = του 3 έχι τρισδιάστατο µέτρο µηδέν αφού µπορί να γραφί ως ένωση του άνω και του κάτω ηµισφαιρίου που ίναι γραφήµατα των συναρτήσων, f ( x, y) ( x y ) (, ) ( ) 0, { x, y : x y } = + και g x y = x + y, µ κοινό πδίο ορισµού τον κλιστό δίσκο ( ) ( ) Β = + του Ευκλιδίου πιπέδου. Τα δύο προηγούµνα παραδίγµατα ύκολα γνικύονται στον. Έτσι η πιφάνια S,..., :... = x x x + + x =, της µοναδιαίας σφαίρας του έχι {( ) } διάστατο µέτρο µηδέν ( Άσκηση). C { x, x : x } { } 3) Η καµπύλη ( παραβολή) ( ) Πράγµατι, θέτοµ C ( x, x ) : x [, ] = έχι διδιάστατο µέτρο µηδέν. = για N, τότ η C ίναι γράφηµα της συνχούς συνάρτησης f ( x) = x πριορισµένης στο διάστηµα [, ] ( ) C 0 µ = για κάθ και C = C έχοµ το συµπέρασµα. =. Επιδή ιατυπώνουµ τώρα, χωρίς απόδιξη, ένα σηµαντικό αποτέλσµα του Lebesgue που χαρακτηρίζι τις κατά iema ολοκληρώσιµς συναρτήσις. 7.5 Θώρηµα Έστω κλιστό ορθογώνιο του και f : φραγµένη συνάρτηση. Οι ακόλουθοι ισχυρισµοί ίναι ισοδύναµοι: (ι) Η f ίναι ολοκληρώσιµη. (ιι) Το σύνολο των σηµίων ασυνέχιας της f έχι διάστατο µέτρο µηδέν.

83 Jorda µτρήσιµα υποσύνολα του. Η θωρία ολοκλήρωσης που αναπτύξαµ µέχρι τώρα αφορά πολλαπλά ολοκληρώµατα f ( x) dx όπου κλιστό ορθογώνιο του Ευκλιδίου χώρου. Όµως στις φαρµογές ίναι απαραίτητο να έχουµ έναν ορισµό του πολλαπλού ολοκληρώµατος σ µια κλάση υποσυνόλων του υρύτρη των ορθογωνίων. Έτσι δίνουµ τον ακόλουθο ορισµό. 7.6 Ορισµός. Έστω Α φραγµένο και f : Έστω ακόµη ένα κλιστό ορθογώνιο του συνάρτηση g πί του µ τον ακόλουθο τρόπο: g( x) Α φραγµένη συνάρτηση. που πριέχι το Α, ορίζουµ µια f ( x), αν x Α = 0, αν x Α Η f λέγται ολοκληρώσιµη ( κατά iema ) πί του Α αν το ολοκλήρωµα ( iema ) g( x) dx υπάρχι. Γράφουµ τότ ( ) = ( ) Α f x dx g x dx Σηµίωση ν ίναι δύσκολο να αποδίξουµ ( π.χ. θωρώντας τα αθροίσµατα g x dx ) ότι το ολοκλήρωµα f ( x) dx ίναι iema που προσγγίζουν το ( ) ανξάρτητο του ορθογωνίου που πριέχι το Α. Ας ξτάσουµ τον καινούριο ορισµό µ ένα συγκκριµένο παράδιγµα: Έστω f x, y = x + yx, x, y και Α ο κλιστός µοναδιαίος δίσκος του, δηλαδή ( ) ( ) Α= {( x, y) : x + y }. Το ττράγωνο [,] [,] µένι να ξακριβώσουµ αν το ολοκλήρωµα (, ) (, ) g x y + = 0,,,(, ) ( x y) x xy x y Α Α = πριέχι τον δίσκο Α και Α g x y dxdy υπάρχι όπου Παρατηρούµ ότι η g δν ίναι συνχής στο ττράγωνο, µάλιστα τα σηµία ασυνέχιας της gίναι ακριβώς τα σηµία του µοναδιαίου κύκλου S = x, y : x + y = που έχουν {( ) } βέβαια άπιρο ( υπραριθµήσιµο ) πλήθος. Παρόλα αυτά η συνάρτηση gίναι ολοκληρώσιµη στο όπως έπται ύκολα από τον χαρακτηρισµό των iema ολοκληρωσίµων συναρτήσων του Lebesgue και το γγονός ( που ήδη γνωρίζουµ ) ότι καµπύλς όπως ο κύκλος που ίναι ππρασµένς νώσις γραφηµάτων συνχών συναρτήσων έχουν µέτρο µηδέν. Από το παράδιγµα που µόλις ξτάσαµ προκύπτι ότι πρέπι να ίµαστ προσκτικοί µ τον ορισµό του πολλαπλού ολοκληρώµατος πάνω από ένα φραγµένο

84 σύνολο Α που δώσαµ πριν, και αυτό διότι η διαδικασία αυτή ισάγι καινούρις ασυνέχις στην συνάρτησή µας ( που βρίσκονται στο σύνορο του Α ) και αυτό βρίσκται σ αντίθση µ τον χαρακτηρισµό Lebesgue των ολοκληρωσίµων συναρτήσων. Από το ίδιο παράδιγµα ( αλλά και από άλλα παραδίγµατα ) προκύπτι ακόµη ότι σύνολα κατάλληλα για την ολοκλήρωση ίναι αυτά που το σύνορό τους ίναι σχτικά οµαλό. Ας ξκινήσουµ την διρύνηση των συνόλων µ οµαλό σύνορο ( ως προς την ολοκλήρωση ) µ την ακόλουθη. Παρατήρηση. Έστω Α, θωρούµ την χαρακτηριστική συνάρτηση f = x Α του συνόλου Α. Τότ ίναι ύκολο να αποδίξουµ ότι αν x, το x ίναι σηµίο ασυνέχιας της f αν και µόνο αν το x ανήκι στο σύνορο του Α. ( Άσκηση ). Υπνθυµίζουµ ότι το σύνορο Α του Α ορίζται ως, ισχύι η ξίσωση, = it( Α) Α it( Α). Α=Α Α και ακόµη ότι Έπται αµέσως από των χαρακτηρισµό του Lebesgue των iema ολοκληρωσίµων συναρτήσων και την παρατήρηση αυτή η ακόλουθη. 7.7Πρόταση Έστω ισοδύναµα: (ι) Η f ίναι ολοκληρώσιµη. Α φραγµένο σύνολο και f (ιι) Το σύνορο του Α έχι διάστατο µέτρο µηδέν ( µ ( Α ) = 0 ). = x Α. Τα ακόλουθα ίναι 7.8Ορισµός Θα λέµ ότι ένα φραγµένο υποσύνολο Α έχι πριχόµνο ή ότι ίναι Jorda µτρήσιµο υποσύνολο του, αν η χαρακτηριστική συνάρτησή του f µ Α = ( σύµφωνα µ την = ίναι ολοκληρώσιµη, ισοδύναµα αν ( ) 0 x Α προηγούµνη πρόταση). Αν το Α ίναι Jorda µτρήσιµο ορίζουµ τότ ( ως διάστατο) πριχόµνο ή ( διάστατο ) όγκο του Α τον αριθµό µ ( Α ) = dx = xαdx, δηλαδή το Α ολοκλήρωµα iema της χαρακτηριστικής συνάρτησης του Α. Ο όγκος του Α V Α. συµβολίζται και µ ( ) Ο ορισµός του όγκου ίναι φυσιολογικός πιδή ο χώρος κάτω από το γράφηµα της f = ίναι µια «κυλινδρική» πριοχή µ βάση το σύνολο Α και ύψος. x Α

85 Παρατηρήσις ) Έστω µ πριχόµνο µηδέν ( δηλαδή ( ) 0 Α φραγµένο, τότ το Α ίναι Jorda µτρήσιµο µ Α = dx= ) αν και µόνο αν, για κάθ > 0 υπάρχι µια ππρασµένη ακολουθία,..., N από ορθογώνια ώστ N Α N και = Α µ ( ) ( η απόδιξη αφήνται ως άσκηση). Έπται προφανώς ότι αν το Α έχι = πριχόµνο µηδέν τότ έχι και µέτρο µηδέν. )Αν Α ίναι συµπαγές τότ το Α έχι ( διάστατο) µέτρο µηδέν, αν και µόνο αν, έχι ( διάστατο) πριχόµνο µηδέν ( Άσκηση ). Έπται ιδιαίτρα ότι αν Α φραγµένο, τότ Α Jorda µτρήσιµο αν και µόνο αν το σύνορό του έχι πριχόµνο µηδέν. 3)Ένα φραγµένο υποσύνολο Α νδέχται να έχι µέτρο µηδέν αλλά όχι πριχόµνο µηδέν. Ένα τέτοιο παράδιγµα ( στην διάσταση = ) ίναι το σύνολο Q 0, 0,. Πράγµατι η χαρακτηριστική Α= [ ] των ρητών του διαστήµατος [ ] συνάρτηση f = x Α ( = η συνάρτηση του Dirichlet ), δν ίναι ολοκληρώσιµη στο, 0 U f, Ρ =. [ 0, ], αφού για κάθ διαµέριση Ρ του [ 0, ] έχουµ ότι L( f Ρ ) = και ( ) Είναι βέβαια σαφές ότι το Α ως αριθµήσιµο υποσύνολο του έχι ( µονοδιάστατο ) 0, και άρα µέτρο µηδέν. ( Σηµιώνοµ ότι, το σύνορο Α του Α ίναι το σύνολο [ ] µ ( Α ) =.) 4)Η κλάση J των Jorda µτρήσιµων υποσυνόλων του ίναι µια άλγβρα, δηλαδή ίναι κλιστή για τις ππρασµένς νώσις και τοµές, καθώς και για τα συµπληρώµατα. ( Η απόδιξη αφήνται ως άσκηση. Παρατηρήστ ότι Α Β Α Β για Α, Β ). ( ) ( ) ( ) Τα σύνολα της άλγβρας J έχουν οµαλό σύνορο και αυτό πιτρέπι την ολοκλήρωση φραγµένων συναρτήσων πάνω σ αυτά οι οποίς ίναι σχτικά οµαλές. 7.9Θώρηµα Έστω Α Jorda µτρήσιµο σύνολο και f : Α φραγµένη συνάρτηση. Τα ακόλουθα ίναι ισοδύναµα: (ι) Η f ίναι ολοκληρώσιµη πί του Α. (ιι) Το σύνολο των σηµίων ασυνέχιας της f στο Α ίναι σύνολο µέτρου µηδέν. Απόδιξη: Έστω κλιστό ορθογώνιο του που πριέχι το Α. Επκτίνουµ την f σ µια συνάρτηση g : ( σύµφωνα µ τον σχτικό ορισµό ) θέτοντας f ( x), x Α g( x) = 0, x Α Παρατηρούµ ότι η g παραµένι φραγµένη και ότι ασυνέχις της f κληροδοτούνται στην g. Όµως η g νδέχται να έχι ασυνέχις σ κάποια ή και σ όλα από τα συνοριακά σηµία του Α. Επιδή το Α ίναι Jorda µτρήσιµο έπται

86 προφανώς ότι η g ίναι ολοκληρώσιµη ακριβώς τότ αν το σύνολο των σηµίων ασυνέχιας της f έχι µέτρο µηδέν. Έπται προφανώς το ακόλουθο 7.0 Πόρισµα Έστω Α Jorda µτρήσιµο. Αν η συνάρτηση f : Α ίναι συνχής και φραγµένη τότ η f ίναι ολοκληρώσιµη πί του Α. Παραδίγµατα Jorda µτρήσιµων συνόλων. ) Κάθ ππρασµένο υποσύνολο του έχι πριχόµνο µηδέν ( προφανές). Γνικότρα κάθ φραγµένο υποσύνολο Α µ ππρασµένο σύνολο σηµίων συσσώρυσης ( Α ππρασµένο ) έχι πριχόµνο µηδέν ( Άσκηση ). )Κάθ φραγµένο ορθογώνιο του a, b... a, b ίναι Jorda µτρήσιµο σύνολο ( αν = [ ] [ ] τότ ο όγκος του ίναι V( ) ( b a ) ( b a ) = ).... 3)Κάθ σφαίρα του Ευκλιδίου χώρου ( ανοικτή ή κλιστή ) ίναι Jorda µτρήσιµο σύνολο. Αυτό το αποτέλσµα το έχουµ ήδη αποδίξι για την µοναδιαία σφαίρα του ( αφού η πιφάνιά της S έχι µέτρο µηδέν ). Το γνικότρο αποτέλσµα αποδικνύται παρόµοια. Ιδιαίτρα στο κάθ φραγµένο διάστηµα ίναι Jorda µτρήσιµο ( γιατί;). 4)Κάθ φραγµένο υποσύνολο του του οποίου το σύνορο αποτλίται από ένα ππρασµένο σύνολο γραφηµάτων συνχών πραγµατικών συναρτήσων πραγµατικής µταβλητής ίναι Jorda µτρήσιµο. Γνικότρα, κάθ φραγµένο υποσύνολο του, του οποίου το σύνορο ίναι ππρασµένη ένωση γραφηµάτων συνχών ( ) συναρτήσων µταβλητών ίναι Jorda µτρήσιµο, αφού τότ το σύνορό του έχι διάστατο µέτρο µηδέν. 5)Έστω f :[ a, ολοκληρώσιµη συνάρτηση ώστ f 0 στο [, ] σύνολο D ( t, z) : t [ a, και 0 z f ( t) Άσκηση). { } a b. Τότ το = ίναι Jorda µτρήσιµο στο ( Παρατήρηση Αποδικνύται ότι κάθ φραγµένο και κυρτό υποσύνολο του ίναι Jorda µτρήσιµο.