Μέτρο Χάουσντορφ

Στα μαθηματικά, το **μέτρο Χάουσντορφ** είναι μια γενίκευση των κλασικών εννοιών του εμβαδού και του όγκου σε μη ακέραιες διαστάσεις, συγκεκριμένα στα φράκταλ και στις διαστάσεις Χάουσντορφ τους. Είναι ένας τύπος εξωτερικού μέτρου, που πήρε το όνομά του από τον Φέλιξ Χάουσντορφ, που αποδίδει έναν αριθμό στο [0,∞] σε κάθε σύνολο στον \R^n ή, γενικότερα, σε κάθε μετρικό χώρο.

Το μηδενικής διάστασης μέτρο Χάουσντορφ είναι ο αριθμός των σημείων του συνόλου (αν το σύνολο είναι πεπερασμένο) ή ∞ αν το σύνολο είναι άπειρο. Αντίστοιχα, το μονοδιάστατο μέτρο Χάουσντορφ μιας απλής καμπύλης στο \R^2 είναι ίσο με το μήκος της καμπύλης, και το δισδιάστατο μέτρο Χάουσντορφ ενός υποσυνόλου του \R^2 με μέτρο Λεμπέσγκ είναι ανάλογο με το εμβαδόν του συνόλου. Έτσι, η έννοια του μέτρου Χάουσντορφ γενικεύει το μέτρο Λεμπέσγκ και τις έννοιες της αρίθμησης, του μήκους και του εμβαδού. Γενικεύει επίσης τον όγκο. Στην πραγματικότητα, υπάρχουν μέτρα Χάουσντορφ d-διαστάσεων για οποιοδήποτε *d*&nbsp;≥&nbsp;0, το οποίο δεν είναι απαραίτητα ακέραιος αριθμός. Αυτά τα μέτρα είναι θεμελιώδη στη γεωμετρική θεωρία μέτρου. Εμφανίζονται φυσικά στην αρμονική ανάλυση ή στη θεωρία δυναμικού.

## Ορισμός
Έστω (X,\rho) ένας μετρικός χώρος. Για κάθε υποσύνολο U\subset X, έστω \operatorname{diam}U που συμβολίζει τη διάμετρό του, δηλαδή

:\operatorname{diam}  U :=\sup\{\rho(x,y):x,y\in U\}, \quad \operatorname{diam} \emptyset:=0.

Έστω S ένα οποιοδήποτε υποσύνολο του X, και \delta>0 ένας πραγματικός αριθμός. Ορίζουμε

:H^d_\delta(S)=\inf\left \{\sum_{i=1}^\infty (\operatorname{diam} U_i)^d: \bigcup_{i=1}^\infty U_i\supseteq S, \operatorname{diam} U_i

όπου το ελάχιστο είναι σε όλα τα μετρήσιμα καλύμματα του S από σύνολα U_i\subset X που ικανοποιούν  \operatorname{diam} U_i.

Να σημειωθεί ότι η H^d_\delta(S) είναι μονοτονικά μη αύξουσα στο \delta, καθώς όσο μεγαλύτερο είναι το  \delta , τόσο περισσότερες συλλογές συνόλων επιτρέπονται, καθιστώντας το infimum όχι μεγαλύτερο. Συνεπώς, η \lim_{\delta\to 0}H^d_\delta(S) υπάρχει αλλά μπορεί να είναι άπειρη. Έστω

Ας σημειωθεί ότι το H^d_\delta(S) είναι μονοτονικό και δεν αυξάνεται στο \delta, καθώς όσο μεγαλύτερο είναι το \delta, τόσο μεγαλύτερος είναι ο αριθμός των συλλογών συνόλων που επιτρέπονται, καθιστώντας το υπέρτατο όχι μεγαλύτερο. Έτσι, το \lim_{\delta\to 0}H^d_\delta(S)  υπάρχει αλλά μπορεί να είναι άπειρο. Έστω

: H^d(S):=\sup_{\delta>0} H^d_\delta(S)=\lim_{\delta\to 0}H^d_\delta(S).

Μπορεί να φανεί ότι το H^d(S) είναι ένα εξωτερικό μέτρο (ακριβέστερα, είναι ένα μετρικό εξωτερικό μέτρο). Σύμφωνα με το θεώρημα επέκτασης του Καραθεοδωρή, ο περιορισμός του στο σ-πεδίο των μετρήσιμων συνόλων του Καραθεοδωρή είναι ένα μέτρο. Ονομάζεται το d-διάστατο μέτρο Χάουστορφ του S. Λόγω της ιδιότητας του μετρικού εξωτερικού μέτρου, όλα τα υποσύνολα Borel του X  είναι H^d μετρήσιμα.

Στον παραπάνω ορισμό τα σύνολα στην κάλυψη είναι αυθαίρετα. Ωστόσο, μπορούμε να απαιτήσουμε τα σύνολα κάλυψης να είναι ανοικτά ή κλειστά, ή σε κανονικοποιημένους χώρους ακόμη και κυρτά, που θα δώσουν τους ίδιους αριθμούς H^d_\delta(S), άρα το ίδιο μέτρο. Στο \R^n ο περιορισμός των συνόλων κάλυψης να είναι σφαίρες μπορεί να αλλάξει τα μέτρα αλλά δεν αλλάζει τη διάσταση των μετρούμενων συνόλων.

## Ιδιότητες του μέτρου Χάουσντορφ
Ας σημειωθεί ότι αν *d* είναι θετικός ακέραιος, το *d*-διάστατο μέτρο Χάουσντορφ του \R^d είναι μια αναδιαβάθμιση του συνήθους *d*-διάστατου μέτρου Λεμπέσγκ \lambda_d, το οποίο κανονικοποιείται έτσι ώστε το μέτρο Λεμπέσγκ του μοναδιαίου κύβου [0,1]*d* να είναι 1. Στην πραγματικότητα, για κάθε σύνολο Μπορέλ *E*,

: \lambda_d(E) = 2^{-d} \alpha_d H^d(E),

όπου α*d* είναι ο όγκος της μοναδιαίας σφαίρας *d*- μπορεί να αποτυπωθεί χρησιμοποιώντας τη συνάρτηση γάμμα του Όιλερ.

:\alpha_d =\frac{\Gamma\left(\frac12\right)^d}{\Gamma\left(\frac{d}{2}+1\right)} =\frac{\pi^{d/2}}{\Gamma\left(\frac{d}{2}+1\right)}.

Αυτό σημαίνει  
: \lambda_d(E) = \beta_d H^d(E),
όπου \beta_d είναι ο όγκος της σφαίρας διαμέτρου *d*.

**Παρατήρηση**. Μερικοί συγγραφείς υιοθετούν έναν ορισμό του μέτρου Χάουσντορφ ελαφρώς διαφορετικό από αυτόν που επιλέγεται εδώ, με τη διαφορά ότι η τιμή H^d(E) που ορίζεται παραπάνω πολλαπλασιάζεται με τον παράγοντα \beta_d = 2^{-d} \alpha_d, έτσι ώστε το *d*-διάστατο μέτρο Χάουσντορφ να συμπίπτει ακριβώς με το μέτρο Λεμπέσγκ στην περίπτωση του Ευκλείδειου χώρου.

## Σχέση με τη διάσταση Χάουσντορφ
Κύριο λήμμα: Διάσταση Χάουσντορφ

Αποδεικνύεται ότι το H^d(S) μπορεί να έχει πεπερασμένη, μη μηδενική τιμή για το πολύ ένα d. Δηλαδή, το Μέτρο Χάουστορφ είναι μηδέν για οποιαδήποτε τιμή πάνω από μια ορισμένη διάσταση και άπειρο κάτω από μια ορισμένη διάσταση, κατ' αναλογία με την ιδέα ότι το εμβαδόν μιας γραμμής είναι μηδέν και το μήκος ενός δισδιάστατου σχήματος είναι κατά μία έννοια άπειρο. Αυτό οδηγεί σε έναν από τους πολλούς πιθανούς ισοδύναμους ορισμούς της διάστασης Χάουσντορφ:
:\dim_{\mathrm{Haus}}(S)=\inf\{d\ge 0:H^d(S)=0\}=\sup\{d\ge 0:H^d(S)=\infty\},
όπου λαμβάνουμε
\inf\emptyset=+\infty
και
\sup\emptyset=0.

Ας σημειωθεί ότι δεν είναι εγγυημένο ότι το μέτρο Χάουσντορφ πρέπει να είναι πεπερασμένο και μη μηδενικό για κάποιο *d*, και μάλιστα το μέτρο στη διάσταση Χάουσντορφ μπορεί να εξακολουθεί να είναι μηδέν- σε αυτή την περίπτωση, η διάσταση Χάουσντορφ εξακολουθεί να λειτουργεί ως σημείο αλλαγής μεταξύ μέτρων μηδέν και απείρου.

## Γενικεύσεις
Στη γεωμετρική θεωρία μέτρων και σε συναφή πεδία, το περιεχόμενο Μινκόφσκι χρησιμοποιείται συχνά για να μετρήσει το μέγεθος ενός υποσυνόλου ενός μετρικού χώρου μέτρων. Για κατάλληλες περιοχές στον Ευκλείδειο χώρο, οι δύο έννοιες του μεγέθους συμπίπτουν, μέχρι συνολικών κανονικοποιήσεων ανάλογα με τις συμβάσεις. Πιο συγκεκριμένα, ένα υποσύνολο του \R^n λέγεται ότι είναι |m-ορθωτό αν είναι η εικόνα ενός φραγμένου συνόλου στον \R^m υπό μια συνάρτηση του Λίπσιτς. Αν m, τότε το m-διάστατο περιεχόμενο Μινκόφσκι ενός κλειστού m-ορθολογικού υποσυνόλου του \R^n είναι ίσο με 2^{-m}\alpha_m επί το m-διάστατο μέτρο Χάουστορφ .

Στην μορφοκλασματική γεωμετρία, ορισμένα fractals με διάσταση Χάουστορφ d έχουν μηδενικό ή άπειρο d-διάστατο μέτρο Χάουστορφ. Παραδείγματος χάριν, θεωρείται σχεδόν βέβαιο ότι η εικόνα της επίπεδης κίνηση Μπράουν έχει διάσταση Χάουστορφ 2 και το δισδιάστατο μέτρο Χάουστορφ είναι μηδέν. Προκειμένου να "μετρήσουμε" το "μέγεθος" τέτοιων συνόλων, μπορεί να θεωρηθεί η ακόλουθη παραλλαγή της έννοιας του μέτρου Χάουσντορφ:

:Στον ορισμό του μέτρου (\operatorname{diam}U_i)^d αντικαθίσταται με \phi(U_i), όπου \phi είναι οποιαδήποτε μονοτονική αυξανόμενη συνάρτηση συνόλου που ικανοποιεί \phi(\emptyset )=0.

Αυτό είναι το μέτρο Hausdorff του S με τη συνάρτηση μέτρου \phi, ή μέτρο \phi-Χάουσντορφ. Ένα d-διάστατο σύνολο S μπορεί να ικανοποιεί H^d(S)=0, αλλά  H^\phi(S)\in (0,\infty) με κατάλληλο \phi. Παραδείγματα συναρτήσεων μέτρου περιλαμβάνουν

:\phi(t)=t^2 \log\log\frac{1}{t} \quad \text{or} \quad \phi(t) = t^2\log\frac{1}{t}\log\log\log\frac{1}{t}.

Η πρώτη δίνει σχεδόν σίγουρα θετικό και \sigma-πεπεπερασμένο μέτρο στο μονοπάτι Μπράουν στο \R^n όταν n>2, και η δεύτερη όταν n=2.

## Εξωτερικοί σύνδεσμοι
* An online guide to lacunarity theory and analysis using free, open source biological imaging software.

## Βιβλιογραφία
* .
* .
* .
* .
* 
* .

## Δείτε επίσης
*Αλγόριθμος διαμαντιού τετραγώνου
*Καμπύλη που γεμίζει το χώρο
*Νιφάδα του Κοχ 
*Καμπύλη Χίλμπερτ
*Καμπύλη του δράκου
*Σπόγγος του Μένγκερ

*Σύνολο Μάντελμπροτ
*Σύνολο Julia
*Σύνολο Κάντορ
*Οικοδομήσιμο Σύμπαν

## Παραπομπές

 
 
Κατηγορία:Φράκταλ
Κατηγορία:Μετρική γεωμετρία