Συνάρτηση Κάντορ

Στα μαθηματικά, η **συνάρτηση [[Γκέοργκ Κάντορ|Κάντορ]]** είναι ένα παράδειγμα συνάρτησης που είναι συνεχής, αλλά όχι απολύτως συνεχής. Είναι ένα διαβόητο αντιπαράδειγμα στην ανάλυση, επειδή αμφισβητεί τις αφελείς διαισθήσεις σχετικά με τη συνέχεια, την παράγωγο και το μέτρο. Παρότι είναι συνεχής παντού και η παράγωγος της είναι μηδέν σχεδόν παντού, η τιμή της πηγαίνει πάντα από το 0 στο 1 όταν το όρισμά της πηγαίνει από το 0 στο 1. Έτσι, από μια άποψη η συνάρτηση μοιάζει πολύ με μια σταθερή συνάρτηση που δεν μπορεί να αυξηθεί, και από μια άλλη άποψη αυξάνεται μονοτονικά.

Είναι επίσης γνωστή ως τριπλή συνάρτηση του Κάντορ, συνάρτηση του Λεμπέσγκ  , μοναδική συνάρτηση του Λεμπέσγκ, συνάρτηση του Κάντορ-Βιτάλι, σκάλα του διαβόλου, συνάρτηση της σκάλας του Κάντορ και συνάρτηση των Κάντορ-Λεμπέσγκ . Ο Γκέοργκ Κάντορ (1884) εισήγαγε τη συνάρτηση Κάντορ και ανέφερε ότι ο Σέφερ είχε επισημάνει ότι αποτελούσε αντιπαράδειγμα σε μια επέκταση του θεμελιώδους θεωρήματος του λογισμού που ισχυρίστηκε ο Χάρνακ. Η συνάρτηση Κάντορ συζητήθηκε και διαδόθηκε από τον Σίφερ (1884), τον Λεμπέσγκ (1904) και τον Βιτάλι (1905).

## Ορισμός

Για να ορίσουμε τη συνάρτηση Κάντορ c:[0,1]\to[0,1], έστω x  οποιοσδήποτε αριθμός στο [0,1] και λαμβάνουμε c(x)  με τα ακόλουθα βήματα:

#Να εκφραστεί το x στη βάση 3.
#Αν η αναπαράσταση του x στη βάση 3 περιέχει ένα 1, αντικαθιστούμε κάθε ψηφίο αυστηρά μετά το πρώτο 1 με 0.
#Αντικαθιστούμε όλα τα υπόλοιπα 2s με 1s.
#Ερμηνεύουμε το αποτέλεσμα ως δυαδικό αριθμό. Το αποτέλεσμα είναι c(x).

Ενδεικτικά:

*\tfrac14 έχει την τριμερή αναπαράσταση 0.02020202... Δεν υπάρχουν 1, οπότε το επόμενο στάδιο εξακολουθεί να είναι 0.02020202... Αυτό ξαναγράφεται ως 0.01010101... Αυτή είναι η δυαδική αναπαράσταση του \tfrac13, οπότεc(\tfrac14)=\tfrac13.
*\tfrac15 έχει την τριμερή αναπαράσταση 0.01210121... Τα ψηφία μετά το πρώτο 1 αντικαθίστανται από 0 για να παραχθεί το 0.01000000... Αυτό δεν ξαναγράφεται αφού δεν έχει 2. Αυτή είναι η δυαδική αναπαράσταση του \tfrac14, οπότε c(\tfrac15)=\tfrac14.
*\tfrac{200}{243} έχει την τριμερή αναπαράσταση 0,21102 (ή 0,211012222...). Τα ψηφία μετά το πρώτο 1 αντικαθίστανται από 0 για να προκύψει το 0,21. Αυτό ξαναγράφεται ως 0,11. Αυτή είναι η δυαδική αναπαράσταση του \tfrac34, οπότε c(\tfrac{200}{243})=\tfrac34.

Ισοδύναμα, αν \mathcal{C} είναι το σύνολο Κάντορ στο [0,1], τότε η συνάρτηση Κάντορ c:[0,1]\to[0,1] μπορεί να οριστεί ως εξής

:c(x) =\begin{cases} 
 \sum_{n=1}^\infty \frac{a_n}{2^n}, & x = \sum_{n=1}^\infty 
\frac{2a_n}{3^n}\in\mathcal{C}\ \mathrm{for}\ a_n\in\{0,1\};
\\   \sup_{y\leq x,\, y\in\mathcal{C}} c(y), & x\in [0,1]\smallsetminus \mathcal{C}. \end{cases}


Αυτός ο τύπος είναι καλά προσδιορισμένος, δεδομένου ότι κάθε μέλος του συνόλου Κάντορ έχει μια μοναδική βάση, αφού κάθε μέλος του συνόλου Κάντορ έχει μια μοναδική αναπαράσταση στη βάση 3 που περιέχει μόνο τα ψηφία 0 ή 2. (Για ορισμένα μέλη του \mathcal{C}, το τριμερές ανάπτυγμα είναι επαναλαμβανόμενο με τα 2 στο τέλος και υπάρχει ένα εναλλακτικό μη επαναλαμβανόμενο ανάπτυγμα που τελειώνει σε 1. Παραδείγματος χάριν, \tfrac13 = 0.13 = 0.13 = 0.02222...3 είναι μέλος του συνόλου Κάντορ). Αφού c(0)=0 και c(1)=1, και το c  είναι μονοτονικό στο \mathcal{C}, είναι σαφές ότι 0\le c(x)\le 1 ισχύει επίσης για όλα x\in[0,1]\smallsetminus\mathcal{C}.

## Ιδιότητες
Η συνάρτηση Κάντορ αμφισβητεί τις αφελείς διαισθήσεις σχετικά με τη συνέχεια και το μέτρο- αν και είναι συνεχής παντού και έχει μηδενική παράγωγο σχεδόν παντού,  c(x) πηγαίνει από το 0 στο 1 καθώς το x πηγαίνει από το 0 στο 1, και παίρνει κάθε ενδιάμεση τιμή. Η συνάρτηση Κάντορ είναι το πιο συχνά αναφερόμενο παράδειγμα μιας πραγματικής συνάρτησης που είναι ομοιόμορφα συνεχής ( συγκεκριμένα, είναι συνεχής κατά Χόλντερ με εκθέτη  *α*&nbsp;=&nbsp;log&nbsp;2/log&nbsp;3) αλλά όχι απόλυτα συνεχής. Είναι σταθερή σε διαστήματα της μορφής (0.*x*1*x*2*x*3...*x*n022222..., 0.*x*1*x*2*x*3...*x*n200000...), και κάθε σημείο που δεν βρίσκεται στο σύνολο Κάντορ βρίσκεται σε ένα από αυτά τα διαστήματα, οπότε η παράγωγος της είναι 0 εκτός του συνόλου Κάντορ. Από την άλλη πλευρά, δεν έχει παράγωγο σε κανένα σημείο σε ένα μη μετρήσιμο υποσύνολο του συνόλου Κάντορ που περιέχει τα τελικά σημεία των διαστημάτων που περιγράφηκαν παραπάνω.

Η συνάρτηση Κάντορ μπορεί επίσης να θεωρηθεί ως η αθροιστική συνάρτηση κατανομής πιθανότητας του μέτρου *μ* του 1/2-1/2 Μπερνούλι που υποστηρίζεται στο σύνολο Κάντορ: c(x)=\mu([0,x]). Αυτή η κατανομή πιθανότητας, που ονομάζεται κατανομή Κάντορ, δεν έχει διακριτό μέρος. Δηλαδή, το αντίστοιχο μέτρο δεν έχει άτομα. Για το λόγο αυτό δεν υπάρχουν ασυνέχειες άλματος στη συνάρτηση- κάθε τέτοιο άλμα θα αντιστοιχούσε σε ένα άτομο στο μέτρο.

Παρά ταύτα, κανένα μη σταθερό μέρος της συνάρτησης Κάντορ δεν μπορεί να αναπαρασταθεί ως ολοκλήρωμα μιας συνάρτησης πυκνότητας πιθανότητας- η ολοκλήρωση οποιασδήποτε υποτιθέμενης συνάρτησης πυκνότητας πιθανότητας που δεν είναι σχεδόν παντού μηδέν σε οποιοδήποτε διάστημα θα δώσει θετική πιθανότητα σε κάποιο διάστημα στο οποίο η κατανομή αυτή αποδίδει πιθανότητα μηδέν. Ειδικότερα, όπως επεσήμανε ο Βιτάλι (1905), η συνάρτηση δεν είναι το ολοκλήρωμα της παραγώγου της ακόμη και αν η παράγωγος υπάρχει σχεδόν παντού.

Η συνάρτηση Κάντορ είναι το τυπικό παράδειγμα μιας μοναδικής συνάρτησης.

Η συνάρτηση Κάντορ είναι μη φθίνουσα, και έτσι ειδικότερα η γραφική της παράσταση ορίζει μια ορθοκανονική καμπύλη. Ο Σίφερ (1884) έδειξε ότι το μήκος τόξου της γραφικής της παράστασης είναι 2. Να σημειωθεί ότι η γραφική παράσταση οποιασδήποτε μη φθίνουσας συνάρτησης τέτοιας ώστε f(0)=0 και f(1)=1 έχει μήκος όχι μεγαλύτερο από 2. Με αυτή την έννοια, η συνάρτηση Κάντορ είναι ακραία.

### Έλλειψη απόλυτης συνέχειας
Επειδή το μέτρο Λεμπέσγκ του αμέτρητου άπειρου συνόλου Κάντορ είναι 0, για κάθε θετικό  *ε*&nbsp;&nbsp;0 υπάρχουν πεπερασμένα πολλά κατά ζεύγη διαστήματα που δεν συνδέονται μεταξύ τους (*x<SUB>k</SUB>*,*y<SUB>k</SUB>*) (1&nbsp;≤&nbsp;*k*&nbsp;≤&nbsp;*M*) με \sum\limits_{k=1}^M (y_k-x_k) και \sum\limits_{k=1}^M (c(y_k)-c(x_k))=1.

## Εναλλακτικοί ορισμοί
### Επαναληπτική κατασκευή

Παρακάτω ορίζουμε μια ακολουθία {*f**n*} συναρτήσεων στο μοναδιαίο διάστημα που συγκλίνει στη συνάρτηση του Κάντορ.

Έστω *f*0(*x*) = *x*.

Τότε, για κάθε ακέραιο , η επόμενη συνάρτηση *f**n*+1(*x*)  θα ορίζεται ως προς την *f**n*(*x*) ως εξής:

Έστω *f**n*+1(*x*)&nbsp;= ,&nbsp; όταν  ;

Έστω  *f**n*+1(*x*)&nbsp;= 1/2,&nbsp; όταν ;

Έστω *f**n*+1(*x*)&nbsp;= ,&nbsp; όταν .

Οι τρεις ορισμοί είναι συμβατοί στα τελικά σημεία 1/3 και 2/3, επειδή *f**n*(0)&nbsp;= 0 και *f**n*(1)&nbsp;= 1 για κάθε&nbsp;*n*, με επαγωγή. Μπορεί κανείς να ελέγξει ότι η *f**n* συγκλίνει σημειακά στη συνάρτηση Κάντορ που ορίστηκε παραπάνω. Επιπλέον, η σύγκλιση είναι ομοιόμορφη. Πράγματι, διαχωρίζοντας σε τρεις περιπτώσεις, σύμφωνα με τον ορισμό της *f**n*+1, βλέπουμε ότι

:\max_{x \in [0, 1]} |f_{n+1}(x) - f_n(x)| \le \frac 1 2 \, \max_{x \in [0, 1]} |f_{n}(x) - f_{n-1}(x)|, \quad n \ge 1.

Αν *f* συμβολίζει την οριακή συνάρτηση, προκύπτει ότι, για κάθε *n*&nbsp;&ge;&nbsp;0,

:\max_{x \in [0, 1]} |f(x) - f_n(x)| \le 2^{-n+1} \, \max_{x \in [0, 1]} |f_1(x) - f_0(x)|.

Επίσης, η επιλογή της αρχικής συνάρτησης δεν έχει σημασία, εφόσον *f*0(0)&nbsp;= 0, *f*0(1)&nbsp;= 1 και *f*0 είναι περιορισμένη.

### Μορφοκλασματικός όγκος
Η συνάρτηση Κάντορ είναι στενά συνδεδεμένη με το σύνολο Κάντορ. Το σύνολο Κάντορ C μπορεί να οριστεί ως το σύνολο εκείνων των αριθμών στο διάστημα [0,&nbsp;1] που δεν περιέχουν το ψηφίο 1 στο ανάπτυγμά τους στη βάση 3 (τριαδική), εκτός αν το 1 ακολουθείται μόνο από μηδενικά (οπότε η ουρά 1000\ldots μπορεί να αντικατασταθεί από 0222\ldots για να απαλλαγούμε από οποιοδήποτε 1). Αποδεικνύεται ότι το σύνολο Κάντορ είναι ένα φράκταλ με (αναρίθμητα) άπειρα σημεία (μηδενικός όγκος), αλλά μηδενικό μήκος (μονοδιάστατος όγκος). Μόνο ο D-διάστατος όγκος  H_D  (με την έννοια ενός μέτρου Χάουστορφ) αποκτά πεπερασμένη τιμή, όπου  D = \log(2)/\log(3)  είναι η διάσταση φράκταλ του *C*. Μπορούμε να ορίσουμε εναλλακτικά τη συνάρτηση Κάντορ ως τον *D*-διάστατο όγκο των τμημάτων του συνόλου Κάντορ
: 
f(x)=H_D(C \cap (0,x)). 


## Αυτοομοιότητα
Η συνάρτηση Κάντορ διαθέτει αρκετές συμμετρίες. Για 0\le x\le 1, υπάρχει μια συμμετρία ανάκλασης
:c(x)=1-c(1-x)
και ένα ζεύγος μεγεθύνσεων, μία αριστερά και μία δεξιά:
:c\left(\frac{x}{3}\right) = \frac{c(x)}{2}
και
:c\left(\frac{x+2}{3}\right) = \frac{1+c(x)}{2}
Οι μεγεθύνσεις μπορούν να κλιμακωθούν- δημιουργούν το δυαδικό μονοειδές. Αυτό παρουσιάζεται με τον ορισμό διαφόρων βοηθητικών συναρτήσεων. Ορισμός της αντανάκλασης ως
:r(x)=1-x
Η πρώτη αυτοσυμμετρία μπορεί να εκφραστεί ως εξής
:r\circ c = c\circ r
όπου το σύμβολο \circ δηλώνει τη σύνθεση συναρτήσεων. Δηλαδή, (r\circ c)(x)=r(c(x))=1-c(x) και ομοίως για τις άλλες περιπτώσεις. Για την αριστερή και τη δεξιά μεγέθυνση, γράφουμε τις αριστερές απεικονίσεις
:L_D(x)= \frac{x}{2} και L_C(x)= \frac{x}{3}
Τότε η συνάρτηση Κάντορ υπακούει στην
:L_D \circ c = c \circ L_C
Ομοίως, ορίζονται οι δεξιές αντιστοιχίσεις ως εξής
:R_D(x)= \frac{1+x}{2} and R_C(x)= \frac{2+x}{3}
Τότε, επίσης,
:R_D \circ c = c \circ R_C
Οι δύο πλευρές μπορούν να αντικατοπτρίζονται η μία πάνω στην άλλη.
:L_D \circ r = r\circ R_D
και παρομοίως,
:L_C \circ r = r\circ R_C
Αυτές οι πράξεις μπορούν να στοιβάζονται αυθαίρετα. Ας δούμε, παραδείγματος χάριν, την ακολουθία των κινήσεων αριστερά-δεξιά LRLLR. Προσθέτοντας τους δείκτες C και D, και, για λόγους σαφήνειας, αφήνοντας τον τελεστή σύνθεσης \circ σε όλα τα σημεία εκτός από λίγα, έχουμε:
:L_D R_D L_D L_D R_D \circ c = c \circ L_C R_C L_C L_C R_C
Οι αυθαίρετες συμβολοσειρές πεπερασμένου μήκους στα γράμματα L και R αντιστοιχούν στους δυαδικούς ορθολογισμούς, δεδομένου ότι κάθε δυαδικός ορθολογισμός μπορεί να γραφεί τόσο ως y=n/2^m για ακέραιους *n* και *m* όσο και ως πεπερασμένο μήκος bits y=0.b_1b_2b_3\cdots b_m με b_k\in \{0,1\}. Έτσι, κάθε δυαδική λογική βρίσκεται σε ένα προς ένα αντιστοιχία με κάποια αυτοσυμμετρία της συνάρτησης Κάντορ.

Κάποιες σημειολογικές ανακατατάξεις μπορούν να κάνουν τα παραπάνω ελαφρώς ευκολότερα στην έκφρασή τους. Έστω g_0 και g_1 για τα L και R. Η σύνθεση συναρτήσεων επεκτείνει αυτό σε ένα μονοειδές, με την έννοια ότι μπορεί κανείς να γράψει g_{010}=g_0g_1g_0 και γενικά, g_Ag_B=g_{AB} για κάποιες δυαδικές σειρές ψηφίων *A*, *B*, όπου *AB* είναι απλά η συνηθισμένη συνένωση τέτοιων σειρών.  Το δυαδικό μονοειδές *M* είναι τότε το μονοειδές όλων αυτών των πεπερασμένου μήκους κινήσεων αριστερά-δεξιά. Γράφοντας \gamma\in M ως ένα γενικό στοιχείο του μονοειδούς, υπάρχει μια αντίστοιχη αυτοσυμμετρία της συνάρτησης Κάντορ:
:\gamma_D\circ c= c\circ \gamma_C

Το ίδιο το δυαδικό μονοειδές έχει αρκετές ενδιαφέρουσες ιδιότητες. Μπορεί να θεωρηθεί ως ένας πεπερασμένος αριθμός κινήσεων αριστερά-δεξιά σε ένα άπειρο δυαδικό δέντρο- τα άπειρα απομακρυσμένα "φύλλα" στο δέντρο αντιστοιχούν στα σημεία του συνόλου Κάντορ, και έτσι, το μονοειδές αναπαριστά επίσης τις αυτοσυμμετρίες του συνόλου Κάντορ. Πράγματι, μια μεγάλη κατηγορία συχνά εμφανιζόμενων φράκταλ περιγράφεται από το δυαδικό μονοειδές- πρόσθετα παραδείγματα μπορείτε να βρείτε στο άρθρο για τις καμπύλες του ντε Ραμ. Άλλα φράκταλ που διαθέτουν αυτοομοιότητα περιγράφονται με άλλα είδη μονοειδών. Το δυαδικό μονοειδές είναι το ίδιο ένα υπομονοειδές της σπονδυλωτής ομάδας SL(2,\mathbb{Z}).

Σημειώστε ότι η συνάρτηση Κάντορ έχει κάτι περισσότερο από μια περαστική ομοιότητα με τη συνάρτηση ερωτηματικών του Μινκόφσκι. Συγκεκριμένα, υπακούει στις ίδιες ακριβώς σχέσεις συμμετρίας, αν και σε τροποποιημένη μορφή.

## Γενικεύσεις
Έστω

: y=\sum_{k=1}^\infty b_k 2^{-k}

να είναι το dyadic (δυαδικό) ανάπτυγμα του πραγματικού αριθμού 0 ≤ *y* ≤ 1  ως προς τα δυαδικά ψηφία *b**k* &isin; {0,1}. Το ανάπτυγμα αυτό αναλύεται λεπτομερέστερα στο άρθρο για τον δυαδικό μετασχηματισμό. Στη συνέχεια, θεωρήστε τη συνάρτηση

: C_z(y)=\sum_{k=1}^\infty b_k z^{k}.

Για *z*&nbsp;=&nbsp;1/3, το αντίστροφο της συνάρτησης *x* = 2&nbsp;*C*1/3(*y*) είναι η συνάρτηση Κάντορ. Δηλαδή, *y*&nbsp;=&nbsp;*y*(*x*) είναι η συνάρτηση Κάντορ. Γενικά, για οποιοδήποτε *z*&nbsp;&lt;&nbsp;1/2, *C**z*(*y*) μοιάζει με τη συνάρτηση Κάντορ γυρισμένη στο πλάι, με το πλάτος των βημάτων να γίνεται μεγαλύτερο καθώς το *z* πλησιάζει το μηδέν.

Όπως αναφέρθηκε παραπάνω, η συνάρτηση Κάντορ είναι επίσης η αθροιστική συνάρτηση κατανομής ενός μέτρου στο σύνολο Κάντορ. Διαφορετικές συναρτήσεις Κάντορ, ή Σκάλες του Διαβόλου, μπορούν να προκύψουν εξετάζοντας διαφορετικά μέτρα πιθανότητας χωρίς άτομα που υποστηρίζονται στο σύνολο Κάντορ ή σε άλλα φράκταλ. Ενώ η συνάρτηση Κάντορ έχει παράγωγο 0 σχεδόν παντού, η τρέχουσα έρευνα επικεντρώνεται στο ερώτημα του μεγέθους του συνόλου των σημείων όπου η άνω δεξιά παράγωγος διαφέρει από την κάτω δεξιά παράγωγο, προκαλώντας την ανυπαρξία της παραγώγου. Αυτή η ανάλυση της διαφοροποιησιμότητας δίνεται συνήθως σε όρους διάστασης του φράκταλ, με τη διάσταση Χάουστορφ η πιο δημοφιλής επιλογή. Αυτή η ερευνητική γραμμή ξεκίνησε τη δεκαετία του 1990 από τον Νταρστ,ο οποίος έδειξε ότι η διάσταση Χάουστορφ του συνόλου της μη διαφορισιμότητας της συνάρτησης Κάντορ είναι το τετράγωνο της διάστασης του συνόλου Κάντορ, (\log2/\log3)^2. Στη συνέχεια ο Φαλκόνερ έδειξε ότι αυτή η σχέση τετραγωνισμού ισχύει για όλα τα κανονικά, μοναδιαία μέτρα του Άλφορ, δηλ.\dim_H\left\{x : f'(x)=\lim_{h\to0^+}\frac{\mu([x,x+h])}{h}\text{ does not exist}\right\}=\left(\dim_H\operatorname{supp}(\mu)\right)^2 Αργότερα, ο Τροσάιτ  αποκτά μια πιο ολοκληρωμένη εικόνα του συνόλου όπου η παράγωγος δεν υπάρχει για πιο γενικά κανονικοποιημένα μέτρα του Γκιμπ που υποστηρίζονται σε αυτοομοειδή σύνολα.

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

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

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

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


## Βιβλιογραφία
* 
* Reprinted in: E. Zermelo (Ed.), Gesammelte Abhandlungen Mathematischen und Philosophischen Inhalts, Springer, New York, 1980.
*
*
*
*
*
*
* 
*
*

 

 

Κατηγορία:Φράκταλ
Κατηγορία:Πραγματική ανάλυση
Κατηγορία:Θεωρία μέτρου
Κατηγορία:Ειδικές συναρτήσεις