In mathematics, the tricorn, sometimes called the Mandelbar set, is a fractal defined in a similar way to the Mandelbrot set, but using the mapping z ↦ z ¯ 2 + c {\displaystyle z\mapsto {\bar {z}}^{2}+c} instead of z ↦ z 2 + c {\displaystyle z\mapsto z^{2}+c} used for the Mandelbrot set. It was introduced by W. D. Crowe, R. Hasson, P. J. Rippon, and P. E. D. Strain-Clark. John Milnor found tricorn-like sets as a prototypical configuration in the parameter space of real cubic polynomials, and in various other families of rational maps. The characteristic three-cornered shape created by this fractal repeats with variations at different scales, showing the same sort of self-similarity as the Mandelbrot set. In addition to smaller tricorns, smaller versions of the Mandelbrot set are also contained within the tricorn fractal. A more general form of the Tricorn fractal are Multicorn Fractals. These are defined similarly to the Tricorn fractal, but instead of squaring the complex conjugate of z, we raise it to any positive integer degree, d:
Formal definition The tricorn T {\displaystyle T} is defined by a family of quadratic antiholomorphic polynomials
f c : C → C {\displaystyle f_{c}:\mathbb {C} \to \mathbb {C} }
given by
f c : z ↦ z ¯ 2 + c , {\displaystyle f_{c}:z\mapsto {\bar {z}}^{2}+c,}
where c {\displaystyle c} is a complex parameter. For each c {\displaystyle c} , one looks at the forward orbit
( 0 , f c ( 0 ) , f c ( f c ( 0 ) ) , f c ( f c ( f c ( 0 ) ) ) , … ) {\displaystyle (0,f_{c}(0),f_{c}(f_{c}(0)),f_{c}(f_{c}(f_{c}(0))),\ldots )}
of the critical point 0 {\displaystyle 0} of the antiholomorphic polynomial p c {\displaystyle p_{c}} . In analogy with the Mandelbrot set, the tricorn is defined as the set of all parameters c {\displaystyle c} for which the forward orbit of the critical point is bounded. This is equivalent to saying that the tricorn is the connectedness locus of the family of quadratic antiholomorphic polynomials; i.e. the set of all parameters c {\displaystyle c} for which the Julia set J ( f c ) {\displaystyle J(f_{c})} is connected. The higher degree analogues of the tricorn are known as the multicorns. These are the connectedness loci of the family of antiholomorphic polynomials f c : z ↦ z ¯ d + c {\displaystyle f_{c}:z\mapsto {\bar {z}}^{d}+c} .
Basic properties The tricorn is compact, and connected. In fact, Nakane modified Douady and Hubbard's proof of the connectedness of the Mandelbrot set to construct a dynamically defined real-analytic diffeomorphism from the exterior of the tricorn onto the exterior of the closed unit disc in the complex plane. One can define external parameter rays of the tricorn as the inverse images of radial lines under this diffeomorphism. Every hyperbolic component of the tricorn is simply connected. The boundary of every hyperbolic component of odd period of the tricorn contains real-analytic arcs consisting of quasi-conformally equivalent but conformally distinct parabolic parameters. Such an arc is called a parabolic arc of the tricorn. This is in stark contrast with the corresponding situation for the Mandelbrot set, where parabolic parameters of a given period are known to be isolated. The boundary of every odd period hyperbolic component consists only of parabolic parameters. More precisely, the boundary of every hyperbolic component of odd period of the tricorn is a simple closed curve consisting of exactly three parabolic cusp points as well as three parabolic arcs, each connecting two parabolic cusps. Every parabolic arc of period k intersects the boundary of a hyperbolic component of period 2k along an arc consisting of the set of parameters where the parabolic fixed point index is at least 1. In particular, every parabolic arc has, at both ends, an interval of positive length at which bifurcation from a hyperbolic component of odd period k to a hyperbolic component of period 2k occurs.
Image gallery of various zooms
… excerpt ends here. Continue reading the full article.
