Τρικέρατο (μαθηματικά)

Στα μαθηματικά, το τρικέρατο, που μερικές φορές ονομάζεται σύνολο Mandelbar, είναι ένα φράκταλ που ορίζεται με παρόμοιο τρόπο με το σύνολο Μάντελμπροτ, ωστόσο με τη χρήση της απεικόνισης  instead of  αντί της απεικόνισης z ↦ z 2 + c z\mapsto z^{2}+c που χρησιμοποιείται για το σύνολο Μάντελμπροτ. Εισήχθη από τους Γου. Ντ. Κρόου, Ρ. Χάσον, Π. Τζ. Ρίπον και Π. Ε. Ντ. Στρέιν-Κλαρκ. Ο Τζον Μίλνορ βρήκε τα σύνολα τρικέρατο ως μια πρωτότυπη διαμόρφωση στο χώρο παραμέτρων των πραγματικών κυβικών πολυωνύμων και σε διάφορες άλλες οικογένειες ρητών χαρτών.

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

Επίσημος ορισμός
Το τρικέρατο   ορίζεται από μια οικογένεια τετραγωνικών αντιολωμορφικών πολυωνύμων

δίνεται από

όπου  είναι μια σύνθετη παράμετρος. Για κάθε , εξετάζεται η εμπρόσθια τροχιά 

του κρίσιμου σημείου  του αντιολομορφικού πολυωνύμου . Κατ' αναλογία του συνόλου Μάντελμπροτ, το τρικέρατο ορίζεται ως το σύνολο όλων των παραμέτρων  για τις οποίες η εμπρόσθια τροχιά του κρίσιμου σημείου είναι περιορισμένη. Αυτό είναι ισοδύναμο με τη διατύπωση ότι το τρικέρατο είναι ο τόπος συνδεσιμότητας της οικογένειας των τετραγωνικών αντιολωμορφικών πολυωνύμων, δηλαδή το σύνολο όλων των παραμέτρων  για τις οποίες το σύνολο Julia  είναι συνδεδεμένο.

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

Θεμελιώδεις ιδιότητες
Το τρικέρατο είναι συμπαγές και συνεκτικό. Στην πραγματικότητα, ο Νακάνε τροποποίησε την απόδειξη των Ντουαντί και Χάμπαρντ για τη συνεκτικότητα του συνόλου Μάντελμπροτ για να κατασκευάσει έναν δυναμικά ορισμένο πραγματικό αναλυτικό διαφορικό διαμορφισμό από το εξωτερικό του τρικέρατου στο εξωτερικό του κλειστού μοναδιαίου δίσκου στο μιγαδικό επίπεδο. Οι ακτίνες των εξωτερικών παραμέτρων του τρικέρατου μπορούν να οριστούν ως τα αντίστροφα είδωλα των ακτινικών γραμμών υπό αυτόν τον διαφορμορφισμό.
Κάθε υπερβολική συνιστώσα του τρικέρατου είναι απλά συνδεδεμένη.
Το όριο κάθε περιττής περιόδου υπερβολικής συνιστώσας του τρικέρατου περιέχει πραγματικά αναλυτικά τόξα που αποτελούνται από οιονεί συμμορφικά ισοδύναμες αλλά συμμορφικά διαφορετικές παραβολικές παραμέτρους. Ένα τέτοιο τόξο ονομάζεται παραβολικό τόξο του τρικέρατου. Αυτό έρχεται σε έντονη αντίθεση με την αντίστοιχη κατάσταση για το σύνολο Μάντελμπροτ, όπου οι παραβολικές παράμετροι μιας δεδομένης περιόδου είναι γνωστό ότι είναι απομονωμένες.
Το όριο κάθε υπερβολικής συνιστώσας περιττής περιόδου αποτελείται αποκλειστικά από παραβολικές παραμέτρους. Πιο συγκεκριμένα, το σύνορο κάθε υπερβολικής συνιστώσας του τρικέρατου περιττής περιόδου είναι μια απλή κλειστή καμπύλη που αποτελείται ακριβώς από τρία σημεία παραβολικών κορυφών και τρία παραβολικά τόξα, καθένα από τα οποία συνδέει δύο παραβολικές κορυφές.
Κάθε παραβολικό τόξο περιόδου k έχει, και στα δύο άκρα του, ένα διάστημα θετικού μήκους μέσω του οποίου συμβαίνει η διακλάδωση από μια υπερβολική συνιστώσα περιττής περιόδου k σε μια υπερβολική συνιστώσα περιόδου 2k.

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

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

 Εφαρμογή 
Η παρακάτω υλοποίηση ψευδοκώδικα κωδικοποιεί σκληρά τις σύνθετες πράξεις για το Z. Εξετάστε το ενδεχόμενο υλοποίησης των πράξεων σύνθετος αριθμός για να επιτρέψετε πιο δυναμικό και επαναχρησιμοποιήσιμο κώδικα.For each pixel (x, y) on the screen, do:
{
    x = scaled x coordinate of pixel (scaled to lie in the Mandelbrot X scale (-2.5, 1))
    y = scaled y coordinate of pixel (scaled to lie in the Mandelbrot Y scale (-1, 1))


    zx = x; // zx represents the real part of z
    zy = y; // zy represents the imaginary part of z


    iteration = 0
    max_iteration = 1000

    while (zx*zx + zy*zy < 4  AND  iteration < max_iteration) 
    {
        xtemp = zx*zx - zy*zy + x
        zy = -2*zx*zy + y
        zx = xtemp

        iteration = iteration + 1
    }

    if (iteration == max_iteration) //Belongs to the set
        return insideColor;

    return iteration * color;
}

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

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

Εξωτερικοί σύνδεσμοι 
  Orbit Trap Examples 
  Julia Fractal Orbit Trap

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

Παραπομπές



Κατηγορία:Φράκταλ