In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the T-square is a two-dimensional
fractal
In mathematics, a fractal is a geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scales, as illu ...
. It has a boundary of infinite length bounding a finite area. Its name comes from the drawing instrument known as a
T-square.
[Dale, Nell; Joyce, Daniel T.; and Weems, Chip (2016). ''Object-Oriented Data Structures Using Java'', p.187. Jones & Bartlett Learning. . "Our resulting image is a fractal called a T-square because with it we can see shapes that remind us of the technical drawing instrument of the same name."]
Algorithmic description
It can be generated from using this
algorithm:
# Image 1:
## Start with a square. (The black square in the image)
# Image 2:
## At each convex corner of the previous image, place another square, centered at that corner, with half the side length of the square from the previous image.
## Take the union of the previous image with the collection of smaller squares placed in this way.
# Images 3–6:
## Repeat step 2.

The method of creation is rather similar to the ones used to create a
Koch snowflake or a
Sierpinski triangle, "both based on recursively drawing equilateral triangles and the
Sierpinski carpet."
Properties
The T-square fractal has a
fractal dimension of ln(4)/ln(2) = 2. The black surface extent is ''almost'' everywhere in the bigger square, for once a point has been darkened, it remains black for every other iteration; however some points remain white.
The fractal dimension of the boundary equals
.
Using mathematical induction one can prove that for each n ≥ 2 the number of new squares that are added at stage n equals
.
The T-Square and the chaos game
The T-square fractal can also be generated by an adaptation of the
chaos game
In mathematics, the term chaos game originally referred to a method of creating a fractal, using a polygon and an initial point selected at random inside it. The fractal is created by iteratively creating a sequence of points, starting with the ...
, in which a point jumps repeatedly half-way towards the randomly chosen vertices of a square. The T-square appears when the jumping point is unable to target the vertex directly opposite the vertex previously chosen. That is, if the current vertex is ''v''
and the previous vertex was ''v''
-1 then ''v''
≠ ''v''
-1+ ''vinc'', where ''vinc'' = 2 and modular arithmetic means that 3 + 2 = 1, 4 + 2 = 2:

If ''vinc'' is given different values, allomorphs of the T-square appear that are computationally equivalent to the T-square but very different in appearance:
T-square fractal and Sierpiński triangle
The T-square fractal can be derived from the
Sierpiński triangle, and vice versa, by adjusting the angle at which sub-elements of the original fractal are added from the center outwards.
See also
*
List of fractals by Hausdorff dimension
*The
Toothpick sequence
In geometry, the toothpick sequence is a sequence of 2-dimensional patterns which can be formed by repeatedly adding line segments ("toothpicks") to the previous pattern in the sequence.
The first stage of the design is a single "toothpick", or ...
generates a similar pattern
*
H tree
References
Further reading
*
*
{{DEFAULTSORT:T-Square (Fractal)
Iterated function system fractals