Καμπύλη Ντε Ραμ

Στα μαθηματικά, η **καμπύλη Ντε Ραμ** είναι ένας συγκεκριμένος τύπος μορφοκλασματικής καμπύλης που ονομάστηκε προς τιμήν του Ζορζ ντε Ραμ.

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

## Κατασκευή
Θεωρήστε κάποιον πλήρη μετρικό χώρο (M,d) (γενικά \mathbb{R}2 με τη συνήθη ευκλείδεια απόσταση), και ένα ζεύγος συσταλτών χαρτών στον M:

:d_0:\ M \to M 
:d_1:\ M \to M. 

Σύμφωνα με το θεώρημα σταθερών σημείων του Μπάναχ, αυτά έχουν σταθερά σημεία p_0 και p_1 αντίστοιχα.  Έστω *x* ένας πραγματικός αριθμός στο διάστημα [0,1], που έχει δυαδικό ανάπτυγμα

:x = \sum_{k=1}^\infty \frac{b_k}{2^k},

όπου κάθε b_k είναι 0 ή 1. Έστω ο χάρτης

:c_x:\ M \to M

που ορίζεται από

:c_x = d_{b_1} \circ d_{b_2} \circ \cdots \circ d_{b_k} \circ \cdots,

όπου \circ δηλώνει τη σύνθεση συναρτήσεων. Μπορεί να αποδειχθεί ότι κάθε c_x θα αντιστοιχίσει την κοινή λεκάνη έλξης των d_0 και d_1 σε ένα μόνο σημείο p_x στο M. Η συλλογή των σημείων p_x, που έχει ως παράμετρο μία μόνο πραγματική παράμετρο *x*, είναι γνωστή ως καμπύλη του Ντε Ραμ.

## Ιδιότητες
Οι καμπύλες Ντε Ραμ είναι από την κατασκευή τους αυτοομοειδείς, αφού 

:p(x)=d_0(p(2x)) για x \in [0, 1/2] και 
:p(x)=d_1(p(2x-1)) για x \in [1/2, 1].

Οι αυτοσυμμετρίες όλων των καμπυλών de Rham δίνονται από το μονοειδές που περιγράφει τις συμμετρίες του άπειρου δυαδικού δέντρου ή σύνολο Κάντορ.  Αυτό το λεγόμενο μονοειδές διπλής περιόδου είναι ένα υποσύνολο της σπονδυλωτής ομάδας.

Η εικόνα της καμπύλης, δηλαδή το σύνολο των σημείων \{p(x), x \in [0,1]\}, μπορεί να ληφθεί από ένα Επαναληπτικό σύστημα συναρτήσεων χρησιμοποιώντας το σύνολο των απεικονίσεων συστολής \{d_0,\ d_1\}. Ωστόσο, το αποτέλεσμα ενός επαναληπτικού συστήματος συναρτήσεων με δύο απεικονίσεις συστολής είναι μια καμπύλη Ντε Ραμ αν και μόνο αν οι απεικονίσεις συστολής ικανοποιούν τη συνθήκη συνέχειας.

Λεπτομερή, επεξεργασμένα παραδείγματα της αυτο-ομοιότητας μπορείτε να βρείτε στα άρθρα για τη συνάρτηση Κάντορ και τη συνάρτηση ερωτηματικών του Μινκόφσκι. Ακριβώς το ίδιο μονοειδές αυτοομοιότητας, το δυαδικό μονοειδές, ισχύει για *κάθε* καμπύλη του Ντε Ραμ.

## Ταξινόμηση και παραδείγματα
### Καμπύλες Σεζάρο

Οι **καμπύλες Σεζάρο** (ή **καμπύλες Σεζάρο-Φάμπερ**) είναι καμπύλες Ντε Ραμ που παράγονται από affine μετασχηματισμούς που διατηρούν τον προσανατολισμό, με σταθερά σημεία p_0=0 και p_1=1.

Εξαιτίας αυτών των περιορισμών, οι καμπύλες Σεζάρο προσδιορίζονται μοναδικά από έναν μιγαδικό αριθμό a έτσι ώστε |a| και |1-a|.

Οι απεικονίσεις συστολής d_0 και d_1 ορίζονται τότε ως μιγαδικές συναρτήσεις στο μιγαδικό επίπεδο από:

:d_0(z) = az
:d_1(z) = a + (1-a)z.

Για την τιμή a=(1+i)/2, η καμπύλη που προκύπτει είναι η Μορφοκλασματική καμπύλη Λεβί.

### Καμπύλες Κοχ-Πεάνο

Με παρόμοιο τρόπο, μπορούμε να ορίσουμε την οικογένεια καμπυλών Κοχ &ndash; Πεάνο ως το σύνολο των καμπυλών Ντε Ραμ που παράγονται από τους συγγενείς μετασχηματισμούς που αντιστρέφουν τον προσανατολισμό, με σταθερά σημεία p_0=0 και p_1=1.

Αυτές οι απεικονίσεις εκφράζονται στο μιγαδικό επίπεδο ως συνάρτηση της \overline{z}, της μιγαδικής συζυγούς της z:

:d_0(z) = a\overline{z}
:d_1(z) = a + (1-a)\overline{z}.

Το όνομα της οικογένειας προέρχεται από τα δύο πιο διάσημα μέλη της. Η καμπύλη Κοχ προκύπτει από τη ρύθμιση:

:a_\text{Koch}=\frac{1}{2} + i\frac{\sqrt{3}}{6},

ενώ η καμπύλη Πεάνο αντιστοιχεί σε:

:a_\text{Peano}=\frac{(1+i)}{2}.

### Γενικοί affine χάρτες

Οι καμπύλες Σεζάρο-Φάμπερ και Πεάνο-Κοχ είναι και οι δύο ειδικές περιπτώσεις της γενικής περίπτωσης ενός ζεύγους συγγενών γραμμικών μετασχηματισμών στο μιγαδικό επίπεδο. Καθορίζοντας το ένα τελικό σημείο της καμπύλης στο 0 και το άλλο στο ένα, η γενική περίπτωση προκύπτει με επανάληψη των δύο μετασχηματισμών

:d_0=\begin{pmatrix}
1 & 0 & 0 \\ 
0 & \alpha &\delta \\ 
0 & \beta & \varepsilon
\end{pmatrix}

και
:d_1=\begin{pmatrix}
1&0&0 \\ 
\alpha & 1-\alpha&\zeta \\ 
\beta&-\beta&\eta
\end{pmatrix}.

Καθώς είναι μετασχηματισμοί affine, οι μετασχηματισμοί αυτοί δρουν σε ένα σημείο (u,v) του δισδιάστατου επιπέδου δρώντας στο διάνυσμα

:\begin{pmatrix}
1 \\
u \\
 v \end{pmatrix}.

Το μέσο της καμπύλης βρίσκεται στο σημείο (u,v)=(\alpha,\beta)- οι άλλες τέσσερις παράμετροι μπορούν να μεταβληθούν για τη δημιουργία μιας μεγάλης ποικιλίας καμπυλών.

Η Καμπύλη blancmange της παραμέτρου w μπορεί να ληφθεί θέτοντας \alpha=\beta=1/2, \delta=\zeta=0 και \varepsilon=\eta=w. Δηλαδή:

:d_0=\begin{pmatrix}
1&0&0 \\ 
0 & 1/2&0 \\ 
0&1/2&w
\end{pmatrix}

και
:d_1=\begin{pmatrix}
 1&0&0 \\ 
1/2 & 1/2&0 \\ 
1/2&-1/2&w
\end{pmatrix}.

Δεδομένου ότι η καμπύλη blancmange της παραμέτρου w=1/4 είναι η παραβολή της εξίσωσης f(x)=4x(1-x), αυτό καταδεικνύει το γεγονός ότι σε ορισμένες περιπτώσεις, οι καμπύλες Ντε Ραμ μπορεί να είναι ομαλές.

### Συνάρτηση ερωτηματικών του Μινκόφσκι
Η συνάρτηση ερωτηματικού του Μινκόφσκι παράγεται από το ζεύγος χαρτών

:d_0(z) = \frac{z}{z+1}

και

:d_1(z)= \frac{1}{2-z}.

## Γενικεύσεις
Είναι εύκολο να γενικεύσουμε τον ορισμό χρησιμοποιώντας περισσότερες από δύο απεικονίσεις συστολής. Εάν χρησιμοποιούνται *n* απεικονίσεις, τότε πρέπει να χρησιμοποιηθεί η *n*'-αρχική διάσπαση του *x* αντί  της δυαδικής επέκτασης των πραγματικών αριθμών. Η συνθήκη συνέχειας πρέπει να γενικευτεί σε:

:d_i(p_{n-1})=d_{i+1}(p_0), for i=0 \ldots n-2.

Αυτή η συνθήκη συνέχειας μπορεί να γίνει κατανοητή με το ακόλουθο παράδειγμα. Ας υποθέσουμε ότι κάποιος εργάζεται στη βάση 10. Τότε έχουμε (ως γνωστόν) ότι 0,999...= 1,000... που είναι μια εξίσωση συνέχειας που πρέπει να εφαρμόζεται σε κάθε τέτοιο κενό. Δηλαδή, δεδομένων των δεκαδικών ψηφίων b_1,b_2,\cdots,b_k με b_k\ne 9, έχουμε

:b_1,b_2,\cdots,b_k,9,9,9,\cdots = b_1,b_2,\cdots,b_k+1,0,0,0,\cdots

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

## Πολλαπλές καμπύλες
Ο Ορνστάιν και άλλοι περιγράφουν ένα πολυμορφοκλασματικό σύστημα, όπου αντί να λειτουργεί κανείς σε μια σταθερή βάση, δουλεύει σε μια μεταβλητή βάση.

Θεωρήστε το χώρο του γινομένου των διακριτών χώρων μεταβλητής βάσης-m_n.
:\Omega=\prod_{n\in\mathbb{N}}A_{n}
για A_n=\mathbb{Z}/m_n\mathbb{Z}=\{ 0,1,\cdots,m_n-1\} την κυκλική ομάδα, για m_n\ge2 έναν ακέραιο αριθμό. Κάθε πραγματικός αριθμός στο μοναδιαίο διάστημα μπορεί να αναπτυχθεί σε μια ακολουθία (a_1,a_2,a_3,\cdots) έτσι ώστε κάθε a_n\in A_n. Πιο συγκεκριμένα, ένας πραγματικός αριθμός 0\le x\le 1 γράφεται ως εξής
:x=\sum_{n=1}^\infty \frac{a_n}{\prod_{k=1}^n m_k} 
Αυτή η επέκταση δεν είναι μοναδική, αν όλα τα a_n=0 περάσουν από κάποιο σημείο K. Σε αυτή την περίπτωση, έχουμε ότι 
:a_1,a_2,\cdots,a_K,0,0,\cdots = a_1,a_2,\cdots,a_K-1,m_{K+1}-1, m_{K+2}-1,\cdots
Τέτοια σημεία είναι ανάλογα με τις δυαδικές λογικές στο δυαδικό ανάπτυγμα, και οι εξισώσεις συνέχειας στην καμπύλη πρέπει να εφαρμοστούν σε αυτά τα σημεία.

Για κάθε A_n, πρέπει να προσδιορίσουμε δύο πράγματα: ένα σύνολο δύο σημείων p_0^{(n)} και p_1^{(n)} και ένα σύνολο m_n συναρτήσεων d_j^{(n)}(z) (με j\in A_n).  Η συνθήκη συνέχειας είναι τότε όπως παραπάνω, 

:d_j^{(n)}(p^{(n+1)}_1)=d_{j+1}^{(n)}(p^{(n+1)}_0), for j=0, \cdots ,m_n-2.

Το αρχικό παράδειγμα του Ορνστάιν χρησιμοποιούσε
:\Omega=\left(\mathbb{Z}/2\mathbb{Z}\right)\times \left(\mathbb{Z}/3\mathbb{Z}\right)\times \left(\mathbb{Z}/4\mathbb{Z}\right)\times \cdots

## Δημοσιεύσεις
* Georges de Rham, *On Some Curves Defined by Functional Equations* (1957), reprinted in *Classics on Fractals*, ed. Gerald A. Edgar (Addison-Wesley, 1993), pp. 285&ndash;298.
* Georges de Rham,  *Sur quelques courbes definies par des equations fonctionnelles*. Univ. e Politec. Torino. Rend. Sem. Mat., 1957, 16, 101 &ndash;113
* Linas Vepstas, *[http://linas.org/math/de_Rham.pdf A Gallery of de Rham curves]*, (2006).
* Linas Vepstas, *[http://linas.org/math/chap-takagi.pdf Symmetries of Period-Doubling Maps]*, (2006). *(A general exploration of the modular group symmetry in fractal curves.)*

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

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

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

 
 
Κατηγορία:Φράκταλ
Κατηγορία:Καμπύλες