Open set condition: Difference between revisions
Added {{Uncategorized}} tag |
added categories |
||
Line 30: | Line 30: | ||
{{reflist}} |
{{reflist}} |
||
[[Category:Fractals]] |
|||
{{Uncategorized|date=February 2022}} |
|||
[[Category:Iterated function system fractals]] |
Revision as of 11:33, 2 February 2022
In fractal geometry, the open set condition (OSC) is a commonly imposed condition on self-similar fractals. In some sense, the condition imposes restrictions on the overlap in a fractal construction.[1] Specifically, given an iterated function system of contractive mappings ψi, the open set condition requires that there exists a nonempty, open set S satisfying two conditions:
- Each is pairwise disjoint.
Introduced in 1946 by P.A.P Moran,[2] the open set condition is used to compute the dimensions of certain self-similar fractals, notably the Sierpinski Gasket. It is also used to simplify computation of the packing measure.[3]
An equivalent statement of the open set condition is to require that the s-dimensional Hausdorff measure of the set is greater than zero.[4]
Computing Hausdorff measure
When the open set condition holds and each ψi is a similitude (that is, a composition of an isometry and a dilation around some point), then the unique fixed point of ψ is a set whose Hausdorff dimension is the unique solution for s of the following:[5]
where ri is the magnitude of the dilation of the similitude.
With this theorem, the Hausdorff dimension of the Sierpinski gasket can be calculated. Consider three non-collinear points a1, a2, a3 in the plane R2 and let ψi be the dilation of ratio 1/2 around ai. The unique non-empty fixed point of the corresponding mapping ψ is a Sierpinski gasket, and the dimension s is the unique solution of
Taking natural logarithms of both sides of the above equation, we can solve for s, that is: s = ln(3)/ln(2). The Sierpinski gasket is self-similar and satisfies the OSC.
See also
References
- ^ Bandt, Christoph; Viet Hung, Nguyen; Rao, Hui (2006). "On the Open Set Condition for Self-Similar Fractals". Proceedings of the American Mathematical Society. 134 (5): 1369–74.
- ^ Moran, P.A.P. (1946). "Additive Functions of Intervals and Hausdorff Measure". Proceedings-Cambridge Philosophical Society. 42: 15–23. doi:10.1017/S0305004100022684.
- ^ Llorente, Marta; Mera, M. Eugenia; Moran, Manuel. "On the Packing Measure of the Sierpinski Gasket" (PDF). University of Madrid.
- ^ Wen, Zhi-ying. "Open set condition for self-similar structure" (PDF). Tsinghua University. Retrieved 1 February 2022.
- ^ Hutchinson, John E. (1981). "Fractals and self similarity". Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055.