Διάσταση συσκευασίας

Στα μαθηματικά, η **διάσταση συσκευασίας** είναι μία από τις έννοιες που μπορούν να χρησιμοποιηθούν για να οριστεί η διάσταση ενός υποσυνόλου σε έναν μετρικό χώρο. Η διάσταση συσκευασίας είναι κατά μία έννοια διπλή της διάστασης Χάουσντορφ, δεδομένου ότι η διάσταση συσκευασίας κατασκευάζεται με το "πακετάρισμα" μικρών ανοικτών σφαιρών στο εσωτερικό του δεδομένου υποσυνόλου, ενώ η διάσταση Χάουσντορφ κατασκευάζεται με την κάλυψη του δεδομένου υποσυνόλου από τέτοιες μικρές ανοικτές σφαίρες. Η διάσταση συσκευασίας εισήχθη από τον C. Tricot Jr. το 1982.

## Ορισμοί
Έστω (*X*,&nbsp;*d*) μετρικός χώρος με υποσύνολο *S*&nbsp;⊆&nbsp;*X* και *s*&nbsp;≥&nbsp;0 πραγματικός αριθμός. Το *s***-διάστατο προ-μέτρο συσκευασίας'' του ''S'' ορίζεται ως εξής

:<math>P_0^s (S) = \limsup_{\delta \downarrow 0}\left\{ \left. \sum_{i \in I} \mathrm{diam} (B_i)^s \right| \begin{matrix} \{ B_i \}_{i \in I} \text{ είναι μια μετρήσιμη συλλογή} \\ \text{από κλειστές σφαίρες κατά ζεύγη με} \\ \text{διαμέτρους } \leq \delta \text{ και κέντρα στο } S \end{matrix} \right\}.</math>

δηλαδή, το μέτρο συσκευασίας του ''S'' είναι το ελάχιστο των προμετρήσεων συσκευασίας των μετρήσιμων καλυμμάτων του ''S''.

Αφού γίνει αυτό, η διάσταση συσκευασίας dim<sub>P</sub>(''S'') of ''S'' ορίζεται αναλογικά με τη [[Διάσταση Χάουσντορφ|διάσταση Χάουστορφ]]:

:<math>\begin{align}
\dim_{\mathrm{P}} (S) &{}  = \sup \{ s \geq 0 | P^s (S) = + \infty \} \\
&{} = \inf \{ s \geq 0 | P^s (S) = 0 \}.
\end{align}</math>

=== Παράδειγμα ===
Το ακόλουθο παράδειγμα είναι η απλούστερη κατάσταση όπου οι διαστάσεις Χάουσντορφ και συσκευασίας μπορεί να διαφέρουν.

Καθορίζουμε μια ακολουθία <math>(a_n)</math> τέτοια ώστε <math>a_0=1</math> και <math>0<a_{n+1}<a_n/2</math>. Ορίζουμε επαγωγικά μια εμφωλευμένη ακολουθία <math>E_0 \supset E_1 \supset E_2 \supset \cdots</math> συμπαγών υποσυνόλων της πραγματικής γραμμής ως εξής: Έστω <math>E_0=[0,1]</math>. Για κάθε συνδεδεμένη συνιστώσα του <math>E_n</math> (η οποία θα είναι αναγκαστικά ένα διάστημα μήκους <math>a_n</math>), διαγράφουμε το μεσαίο διάστημα μήκους <math>a_n - 2a_{n+1}</math>, λαμβάνοντας δύο διαστήματα μήκους <math>a_{n+1}</math>, τα οποία θα θεωρηθούν ως συνδεδεμένες συνιστώσες του <math>E_{n+1}</math>. Στη συνέχεια, ορίζουμε <math>K = \bigcap_n E_n</math>. Τότε το <math>K</math> είναι τοπολογικά ένα [[σύνολο Κάντορ]] (δηλ. ένας συμπαγής εντελώς ασύνδετος τέλειος χώρος). Παραδείγματος χάριν, το <math>K</math> θα είναι το συνηθισμένο [[σύνολο Κάντορ]] μεσαίων-τρίτων αν <math>a_n=3^{-n}</math>.

Είναι δυνατόν να αποδειχθεί ότι οι διαστάσεις Χάουσντορφ και οι διαστάσεις συσκευασίας του συνόλου <math>K</math> δίνονται αντίστοιχα από:

:<math>\begin{align}
\dim_{\mathrm{H}} (K) &{}  = \liminf_{n\to\infty} \frac{n \log 2}{- \log a_n} \, , \\
\dim_{\mathrm{P}} (K) &{}  = \limsup_{n\to\infty} \frac{n \log 2}{- \log a_n} \, .
\end{align}</math>

Προκύπτει εύκολα ότι με δεδομένους αριθμούς <math>0 \leq d_1 \leq d_2 \leq 1</math>, μπορεί κανείς να επιλέξει μια ακολουθία <math>(a_n)</math> όπως παραπάνω, έτσι ώστε το σχετικό (τοπολογικό) [[Σύνολο Κάντορ|σύνολο του Κάντορ]] <math>K</math> να έχει διάσταση Χάουστορφ <math>d_1</math> και διάσταση συσκευασίας <math>d_2</math>.

=== Γενικεύσεις ===
Μπορούμε να θεωρήσουμε συναρτήσεις διάστασης πιο γενικές από τη "διάμετρο στα ''s''": για κάθε συνάρτηση ''h''&nbsp;:&nbsp;[0,&nbsp;+∞)&nbsp;→&nbsp;[0,&nbsp;+∞], έστω ότι η **προμέτρηση συσκευασίας** του ''S'' **με συνάρτηση διάστασης** ''h'' ορίζεται ως εξής

:<math>P_0^h (S) = \lim_{\delta \downarrow 0} \sup \left\{ \left. \sum_{i \in I} h \big( \mathrm{diam} (B_i) \big) \right| \begin{matrix} \{ B_{i} \}_{i \in I} \text{ είναι μια μετρήσιμη συλλογή} \\ \text{από διαχωρισμένες σφαίρες κατά ζεύγη με} \\ \text{διαμέτρους } \leq \delta \text{ και κέντρα σε } S \end{matrix} \right\}</math>

και ορίζουμε το **μέτρο συσκευασίας** του ''S'' **με συνάρτηση διάστασης** ''h'' ως εξής

:<math>P^h (S) = \inf \left\{ \left. \sum_{j \in J} P_0^h (S_j) \right| S \subseteq \bigcup_{j \in J} S_j, J \text{ μετρήσιμο} \right\}.</math>

Η συνάρτηση ''h'' λέγεται ότι είναι μια ''ακριβής'' (''packing**) *συνάρτηση διάστασης* για το *S* αν *P**h*(*S*) είναι και πεπερασμένη και αυστηρά θετική.

## Ιδιότητες
* Αν *S* είναι ένα υποσύνολο του *n*-διάστατου Ευκλείδειου χώρου **R***n* με τη συνήθη μετρική του, τότε η διάσταση συσκευασίας του *S* είναι ίση με την ανώτερη τροποποιημένη διάσταση κουτιού του *S*:

:\dim_{\mathrm{P}} (S) = \overline{\dim}_\mathrm{MB} (S).

:Το αποτέλεσμα αυτό είναι ενδιαφέρον διότι δείχνει πώς μια διάσταση που προκύπτει από ένα μέτρο (διάσταση συσκευασίας) συμπίπτει με μια διάσταση που προκύπτει χωρίς τη χρήση μέτρου (η τροποποιημένη διάσταση κουτιού).

Ας σημειωθεί, ωστόσο, ότι η διάσταση συσκευασίας δεν είναι ίση με τη διάσταση του κουτιού. Παραδείγματος χάριν, το σύνολο των ρητών Q έχει διάσταση κουτιού ένα και διάσταση συσκευασίας μηδέν.

## Εξωτερικοί σύνδεσμοι
*  

## Βιβλιογραφία
* Logical Approaches to Computational Barriers
* Fractals in Probability and Analysis
* Optical Polarization in Biomedical Applications

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

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


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