Tessellation: Difference between revisions
→In mathematics: rm very old non-actioned proposal |
Polyamorph (talk | contribs) m →Etymology: clean up |
||
(30 intermediate revisions by 24 users not shown) | |||
Line 2: | Line 2: | ||
{{Redirect|Tessellate|the song|Tessellate (song)|the computer graphics technique|Tessellation (computer graphics)}} |
{{Redirect|Tessellate|the song|Tessellate (song)|the computer graphics technique|Tessellation (computer graphics)}} |
||
{{Redirect|Mathematical tiling|the building material|Mathematical tile}} |
{{Redirect|Mathematical tiling|the building material|Mathematical tile}} |
||
⚫ | |||
{{Use dmy dates|date=February 2020}} |
{{Use dmy dates|date=February 2020}} |
||
{{multiple image |
{{multiple image |
||
| total_width = 220 |
| total_width = 220 |
||
Line 12: | Line 12: | ||
| caption1 = [[Zellige]] [[terracotta]] tiles in [[Marrakech]], forming edge‑to‑edge, regular and other tessellations |
| caption1 = [[Zellige]] [[terracotta]] tiles in [[Marrakech]], forming edge‑to‑edge, regular and other tessellations |
||
| caption2 = A wall sculpture in [[Leeuwarden]] celebrating the artistic tessellations of [[M. C. Escher]] |
| caption2 = A wall sculpture in [[Leeuwarden]] celebrating the artistic tessellations of [[M. C. Escher]] |
||
| caption3 = An example of non‑periodicity due to another orientation of one tile out of an infinite number of identical tiles |
| caption3 = An example of non‑periodicity due to another orientation of one tile out of an infinite number of identical tiles |
||
}} |
}} |
||
A '''tessellation''' or '''tiling''' is the covering of a [[surface]], often a [[plane (mathematics)|plane]], using one or more [[geometric shape]]s, called ''tiles'', with no overlaps and no gaps. In [[mathematics]], tessellation can be generalized to [[high-dimensional spaces|higher dimensions]] and a variety of geometries. |
A '''tessellation''' or '''tiling''' is the covering of a [[surface]], often a [[plane (mathematics)|plane]], using one or more [[geometric shape]]s, called ''tiles'', with no overlaps and no gaps. In [[mathematics]], tessellation can be generalized to [[high-dimensional spaces|higher dimensions]] and a variety of geometries. |
||
A '''periodic tiling''' has a repeating pattern. Some special kinds include ''[[regular tilings]]'' with [[regular polygon]]al tiles all of the same shape, and ''[[semiregular tiling]]s'' with regular tiles of more than one shape and with every corner identically arranged. The patterns formed by periodic tilings can be categorized into 17 [[wallpaper groups]]. A tiling that lacks a repeating pattern is called "non-periodic". An ''[[aperiodic tiling]]'' uses a small set of tile shapes that cannot form a repeating pattern. A ''[[tessellation of space]]'', also known as a space filling or honeycomb, can be defined in the geometry of higher dimensions. |
A '''periodic tiling''' has a repeating pattern. Some special kinds include ''[[regular tilings]]'' with [[regular polygon]]al tiles all of the same shape, and ''[[semiregular tiling]]s'' with regular tiles of more than one shape and with every corner identically arranged. The patterns formed by periodic tilings can be categorized into 17 [[wallpaper groups]]. A tiling that lacks a repeating pattern is called "non-periodic". An ''[[aperiodic tiling]]'' uses a small set of tile shapes that cannot form a repeating pattern (an [[aperiodic set of prototiles]]). A ''[[tessellation of space]]'', also known as a space filling or honeycomb, can be defined in the geometry of higher dimensions. |
||
A real physical tessellation is a tiling made of materials such as [[cement]]ed [[ceramic]] squares or hexagons. Such tilings may be decorative [[patterns]], or may have functions such as providing durable and water-resistant [[ |
A real physical tessellation is a tiling made of materials such as [[cement]]ed [[ceramic]] squares or hexagons. Such tilings may be decorative [[patterns]], or may have functions such as providing durable and water-resistant [[Pavers (flooring)|pavement]], floor, or wall coverings. Historically, tessellations were used in [[Ancient Rome]] and in [[Islamic art]] such as in the [[Moroccan architecture]] and [[Islamic geometric patterns|decorative geometric tiling]] of the [[Alhambra]] palace. In the twentieth century, the work of [[M. C. Escher]] often made use of tessellations, both in ordinary [[Euclidean geometry]] and in [[hyperbolic geometry]], for artistic effect. Tessellations are sometimes employed for decorative effect in [[quilting]]. Tessellations form a class of [[patterns in nature]], for example in the arrays of [[Hexagonal tiling|hexagonal cells]] found in [[honeycomb]]s. |
||
== History == |
== History == |
||
Line 32: | Line 32: | ||
[[File:Roman geometric mosaic.jpg|thumb|upright=1.25<!--width for very low aspect image-->|[[Ancient Rome|Roman]] geometric mosaic<!--resembling [[Necker cube]]-->]] |
[[File:Roman geometric mosaic.jpg|thumb|upright=1.25<!--width for very low aspect image-->|[[Ancient Rome|Roman]] geometric mosaic<!--resembling [[Necker cube]]-->]] |
||
Some two hundred years later in 1891, the Russian crystallographer [[Yevgraf Fyodorov]] proved that every periodic tiling of the plane features one of seventeen different groups of isometries.<ref>{{cite web | url=http://public.lanl.gov/djidjev/papers/coverage_chapter.pdf | title=Dynamic Coverage Problems in Sensor Networks | publisher=[[Los Alamos National Laboratory]] | year=2012 | access-date=6 April 2013 |author1=Djidjev, Hristo |author2=Potkonjak, Miodrag |page=2}}</ref><ref>{{cite journal | author=Fyodorov, Y. | author-link=Yevgraf Fyodorov | date=1891 | title=Simmetrija na ploskosti [Symmetry in the plane] | journal=Zapiski Imperatorskogo Sant-Petersburgskogo Mineralogicheskogo Obshchestva [Proceedings of the Imperial St. Petersburg Mineralogical Society] |series=2 | volume=28 | pages=245–291| language=ru}}</ref> Fyodorov's work marked the unofficial beginning of the mathematical study of tessellations. Other prominent contributors include [[Alexei Vasilievich Shubnikov]] and [[Nikolay Belov (geochemist)|Nikolai Belov]] (1964),<ref name="ShubnikovBelov1964">{{cite book | last1=Shubnikov | first1=Alekseĭ Vasilʹevich | last2=Belov | first2=Nikolaĭ Vasilʹevich | title=Colored Symmetry | url=https://books.google.com/books?id=QKk9AAAAIAAJ | year=1964 | publisher=[[Macmillan Publishers|Macmillan]]}}</ref> and [[Heinrich Heesch]] and Otto Kienzle (1963).<ref>{{cite book | last1=Heesch | first1=H. | last2=Kienzle | first2=O. | title=Flächenschluss: System der Formen lückenlos aneinanderschliessender Flächteile | date=1963 | publisher=[[Springer Publishing|Springer]] | language=de}}</ref> |
Some two hundred years later in 1891, the Russian crystallographer [[Yevgraf Fyodorov]] proved that every periodic tiling of the plane features one of seventeen different groups of isometries.<ref>{{cite web | url=http://public.lanl.gov/djidjev/papers/coverage_chapter.pdf | title=Dynamic Coverage Problems in Sensor Networks | publisher=[[Los Alamos National Laboratory]] | year=2012 | access-date=6 April 2013 |author1=Djidjev, Hristo |author2=Potkonjak, Miodrag |page=2}}</ref><ref>{{cite journal | author=Fyodorov, Y. | author-link=Yevgraf Fyodorov | date=1891 | title=Simmetrija na ploskosti [Symmetry in the plane] | journal=Zapiski Imperatorskogo Sant-Petersburgskogo Mineralogicheskogo Obshchestva [Proceedings of the Imperial St. Petersburg Mineralogical Society] |series=2 | volume=28 | pages=245–291| language=ru}}</ref> Fyodorov's work marked the unofficial beginning of the mathematical study of tessellations. Other prominent contributors include [[Alexei Vasilievich Shubnikov]] and [[Nikolay Belov (geochemist)|Nikolai Belov]] in their book ''[[Colored Symmetry (book)|Colored Symmetry]]'' (1964),<ref name="ShubnikovBelov1964">{{cite book | last1=Shubnikov | first1=Alekseĭ Vasilʹevich | last2=Belov | first2=Nikolaĭ Vasilʹevich | title=Colored Symmetry | url=https://books.google.com/books?id=QKk9AAAAIAAJ | year=1964 | publisher=[[Macmillan Publishers|Macmillan]]}}</ref> and [[Heinrich Heesch]] and Otto Kienzle (1963).<ref>{{cite book | last1=Heesch | first1=H. | last2=Kienzle | first2=O. | title=Flächenschluss: System der Formen lückenlos aneinanderschliessender Flächteile | date=1963 | publisher=[[Springer Publishing|Springer]] | language=de}}</ref> |
||
=== Etymology === |
=== Etymology === |
||
In Latin, ''tessella'' is a small cubical piece of [[clay]], [[Rock (geology)|stone]], or [[glass]] used to make mosaics.<ref>{{cite |
In Latin, ''tessella'' is a small cubical piece of [[clay]], [[Rock (geology)|stone]], or [[glass]] used to make mosaics.<ref>{{cite encyclopedia | url=http://m-w.com/dictionary/tessellate | title=Tessellate | dictionary=Merriam-Webster Online | access-date=26 May 2015}}</ref> The word "tessella" means "small square" (from ''tessera'', square, which in turn is from the Greek word τέσσερα for ''four''). It corresponds to the everyday term ''tiling'', which refers to applications of tessellations, often made of [[ceramic glaze|glazed]] clay. |
||
== Overview == |
== Overview == |
||
Line 65: | Line 65: | ||
[[File:P5-type15-chiral_coloring.png|thumb|left|upright|An example of a non-edge‑to‑edge tiling: the 15th convex [[wikt:monohedral|''monohedral'']] [[pentagonal tiling]], discovered in 2015]] |
[[File:P5-type15-chiral_coloring.png|thumb|left|upright|An example of a non-edge‑to‑edge tiling: the 15th convex [[wikt:monohedral|''monohedral'']] [[pentagonal tiling]], discovered in 2015]] |
||
{{anchor|Monohedral}}A {{nobr|'''monohedral tiling'''}} is a tessellation in which all tiles are [[congruence (geometry)|congruent]]; it has only one prototile. A particularly interesting type of monohedral tessellation is the spiral monohedral tiling. The first spiral monohedral tiling was discovered by Heinz Voderberg in 1936; the [[Voderberg tiling]] has a unit tile that is a nonconvex [[enneagon]].<ref name="Pickover2009" /> The '''Hirschhorn tiling''', published by Michael D. Hirschhorn and D. C. Hunt in 1985, is a [[pentagon tiling]] using irregular pentagons: regular pentagons cannot tile the Euclidean plane as the [[internal angle]] of a regular pentagon, {{sfrac|3{{pi}}|5}}, is not a divisor of 2{{pi}}.<ref>{{cite web | url=http://www.uwgb.edu/dutchs/symmetry/radspir1.htm | title=Some Special Radial and Spiral Tilings | publisher=University of Wisconsin | date=29 July 1999 | access-date=6 April 2013 | author=Dutch, Steven}}</ref><ref name=Hirschhorn1985>{{cite journal | last=Hirschhorn | first=M. D. |author2=Hunt, D. C. | title=Equilateral convex pentagons which tile the plane | journal=[[Journal of Combinatorial Theory]] | series=Series A |year=1985 | volume=39 | issue=1 | pages=1–18 | doi=10.1016/0097-3165(85)90078-0 | doi-access=free }}</ref> |
{{anchor|Monohedral}}A {{nobr|'''monohedral tiling'''}} is a tessellation in which all tiles are [[congruence (geometry)|congruent]]; it has only one prototile. A particularly interesting type of monohedral tessellation is the spiral monohedral tiling. The first spiral monohedral tiling was discovered by Heinz Voderberg in 1936; the [[Voderberg tiling]] has a unit tile that is a nonconvex [[enneagon]].<ref name="Pickover2009" /> The '''Hirschhorn tiling''', published by Michael D. Hirschhorn and D. C. Hunt in 1985, is a [[pentagon tiling]] using irregular pentagons: regular pentagons cannot tile the Euclidean plane as the [[internal angle]] of a regular pentagon, {{sfrac|3{{pi}}|5}}, is not a divisor of 2{{pi}}.<ref>{{cite web | url=http://www.uwgb.edu/dutchs/symmetry/radspir1.htm | title=Some Special Radial and Spiral Tilings | publisher=University of Wisconsin | date=29 July 1999 | access-date=6 April 2013 | author=Dutch, Steven | archive-date=4 April 2013 | archive-url=https://web.archive.org/web/20130404192902/http://www.uwgb.edu/dutchs/SYMMETRY/radspir1.htm | url-status=dead }}</ref><ref name=Hirschhorn1985>{{cite journal | last=Hirschhorn | first=M. D. |author2=Hunt, D. C. | title=Equilateral convex pentagons which tile the plane | journal=[[Journal of Combinatorial Theory]] | series=Series A |year=1985 | volume=39 | issue=1 | pages=1–18 | doi=10.1016/0097-3165(85)90078-0 | doi-access=free }}</ref> |
||
An isohedral tiling is a special variation of a monohedral tiling in which all tiles belong to the same transitivity class, that is, all tiles are transforms of the same prototile under the [[symmetry]] group of the tiling.<ref name=Horne2000/> If a prototile admits a tiling, but no such tiling is isohedral, then the prototile is called anisohedral and forms [[anisohedral tiling]]s. |
An isohedral tiling is a special variation of a monohedral tiling in which all tiles belong to the same transitivity class, that is, all tiles are transforms of the same prototile under the [[symmetry]] group of the tiling.<ref name=Horne2000/> If a prototile admits a tiling, but no such tiling is isohedral, then the prototile is called anisohedral and forms [[anisohedral tiling]]s. |
||
Line 77: | Line 77: | ||
{{Main|Wallpaper group}} |
{{Main|Wallpaper group}} |
||
[[File:Wallpaper group-p3-1.jpg|thumb|upright|This tessellated, monohedral street pavement uses curved shapes instead of polygons. It belongs to wallpaper group p3.]] |
[[File:Wallpaper group-p3-1.jpg|thumb|upright|This tessellated, monohedral street pavement uses curved shapes instead of polygons. It belongs to wallpaper group p3.]] |
||
Tilings with [[translational symmetry]] in two independent directions can be categorized by [[wallpaper group]]s, of which 17 exist.<ref name=armstrong>{{cite book | last=Armstrong | first=M.A. | title=Groups and Symmetry | url=https://archive.org/details/groupssymmetry0000arms | url-access=registration | year=1988 | publisher=Springer-Verlag | location=New York | isbn=978-3-540-96675-3}}</ref> It has been claimed that all seventeen of these groups are represented in the [[Alhambra]] palace in [[Granada]], [[Spain]]. Although this is disputed,<ref>{{cite journal |last=Grünbaum |first=Branko | journal=[[Notices of the American Mathematical Society]] | date=June–July 2006 | volume=53 | issue=6 | pages=670–673 | title=What symmetry groups are present in the Alhambra? | url=http://www.ams.org/notices/200606/comm-grunbaum.pdf}}</ref> the variety and sophistication of the Alhambra tilings have interested modern researchers.<ref>{{cite journal | last=Lu | first=Peter J. | author2=Steinhardt | journal=Science | date=23 February 2007 | volume=315 | issue=5815 | pages=1106–10 |doi=10.1126/science.1135491 | pmid=17322056 |title=Decagonal and quasi-crystalline tilings in medieval Islamic architecture| bibcode=2007Sci...315.1106L | s2cid=10374218 }}</ref> Of the three regular tilings two are in the ''p6m'' wallpaper group and one is in ''p4m''. Tilings in 2-D with translational symmetry in just one direction may be categorized by the seven frieze groups describing the possible [[frieze pattern]]s.<ref>{{MathWorld|title=Frieze Group|id=FriezeGroup}}</ref> [[Orbifold notation]] can be used to describe wallpaper groups of the Euclidean plane.<ref>{{ |
Tilings with [[translational symmetry]] in two independent directions can be categorized by [[wallpaper group]]s, of which 17 exist.<ref name=armstrong>{{cite book | last=Armstrong | first=M.A. | title=Groups and Symmetry | url=https://archive.org/details/groupssymmetry0000arms | url-access=registration | year=1988 | publisher=Springer-Verlag | location=New York | isbn=978-3-540-96675-3}}</ref> It has been claimed that all seventeen of these groups are represented in the [[Alhambra]] palace in [[Granada]], [[Spain]]. Although this is disputed,<ref>{{cite journal |last=Grünbaum |first=Branko | journal=[[Notices of the American Mathematical Society]] | date=June–July 2006 | volume=53 | issue=6 | pages=670–673 | title=What symmetry groups are present in the Alhambra? | url=http://www.ams.org/notices/200606/comm-grunbaum.pdf}}</ref> the variety and sophistication of the Alhambra tilings have interested modern researchers.<ref>{{cite journal | last=Lu | first=Peter J. | author2=Steinhardt | journal=Science | date=23 February 2007 | volume=315 | issue=5815 | pages=1106–10 |doi=10.1126/science.1135491 | pmid=17322056 |title=Decagonal and quasi-crystalline tilings in medieval Islamic architecture| bibcode=2007Sci...315.1106L | s2cid=10374218 }}</ref> Of the three regular tilings two are in the ''p6m'' wallpaper group and one is in ''p4m''. Tilings in 2-D with translational symmetry in just one direction may be categorized by the seven frieze groups describing the possible [[frieze pattern]]s.<ref>{{MathWorld|title=Frieze Group|id=FriezeGroup}}</ref> [[Orbifold notation]] can be used to describe wallpaper groups of the Euclidean plane.<ref>{{Cite web | last1=Huson | first1=Daniel H. | date=1991 | title=Two-Dimensional Symmetry Mutation |url=https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8536 | publisher=Princeton University | citeseerx=10.1.1.30.8536 |via=CiteSeerX}}</ref> |
||
=== Aperiodic tilings === |
=== Aperiodic tilings === |
||
Line 83: | Line 83: | ||
[[File:Penrose Tiling (Rhombi).svg|thumb|left|upright|A [[Penrose tiling]], with several symmetries, but no periodic repetitions]] |
[[File:Penrose Tiling (Rhombi).svg|thumb|left|upright|A [[Penrose tiling]], with several symmetries, but no periodic repetitions]] |
||
[[Penrose tiling]]s, which use two different quadrilateral prototiles, are the best known example of tiles that forcibly create non-periodic patterns. They belong to a general class of [[aperiodic tiling]]s, which use tiles that cannot tessellate periodically. The [[recursion|recursive process]] of [[substitution tiling]] is a method of generating aperiodic tilings. One class that can be generated in this way is the [[rep-tile]]s; these tilings have unexpected [[self-replication|self-replicating]] properties.{{sfn|Gardner|1989|pp=1–18}} [[Pinwheel tiling]]s are non-periodic, using a rep-tile construction; the tiles appear in infinitely many orientations.<ref>{{cite journal | author=Radin, C. | title=The Pinwheel Tilings of the Plane | journal=[[Annals of Mathematics]] | volume=139 | issue=3 | pages=661–702 | date=May 1994 | doi=10.2307/2118575 | jstor=2118575| citeseerx=10.1.1.44.9723 }}</ref> It might be thought that a non-periodic pattern would be entirely without symmetry, but this is not so. Aperiodic tilings, while lacking in [[translational symmetry]], do have symmetries of other types, by infinite repetition of any bounded patch of the tiling and in certain finite groups of rotations or reflections of those patches.<ref name=Austin>{{cite web | last1=Austin | first1=David | title=Penrose Tiles Talk Across Miles | url=http://www.ams.org/samplings/feature-column/fcarc-penrose | publisher=[[American Mathematical Society]] | access-date=29 May 2015}}</ref> A substitution rule, such as can be used to generate |
[[Penrose tiling]]s, which use two different quadrilateral prototiles, are the best known example of tiles that forcibly create non-periodic patterns. They belong to a general class of [[aperiodic tiling]]s, which use tiles that cannot tessellate periodically. The [[recursion|recursive process]] of [[substitution tiling]] is a method of generating aperiodic tilings. One class that can be generated in this way is the [[rep-tile]]s; these tilings have unexpected [[self-replication|self-replicating]] properties.{{sfn|Gardner|1989|pp=1–18}} [[Pinwheel tiling]]s are non-periodic, using a rep-tile construction; the tiles appear in infinitely many orientations.<ref>{{cite journal | author=Radin, C. | title=The Pinwheel Tilings of the Plane | journal=[[Annals of Mathematics]] | volume=139 | issue=3 | pages=661–702 | date=May 1994 | doi=10.2307/2118575 | jstor=2118575| citeseerx=10.1.1.44.9723 }}</ref> It might be thought that a non-periodic pattern would be entirely without symmetry, but this is not so. Aperiodic tilings, while lacking in [[translational symmetry]], do have symmetries of other types, by infinite repetition of any bounded patch of the tiling and in certain finite groups of rotations or reflections of those patches.<ref name=Austin>{{cite web | last1=Austin | first1=David | title=Penrose Tiles Talk Across Miles | url=http://www.ams.org/samplings/feature-column/fcarc-penrose | publisher=[[American Mathematical Society]] | access-date=29 May 2015}}</ref> A substitution rule, such as can be used to generate Penrose patterns using assemblies of tiles called rhombs, illustrates scaling symmetry.<ref>{{cite web | last1=Harriss | first1=E. O. | title=Aperiodic Tiling | url=http://www.mathematicians.org.uk/eoh/files/Aperiodic_Tilings.pdf | publisher=University of London and EPSRC | access-date=29 May 2015 | archive-date=29 August 2017 | archive-url=https://web.archive.org/web/20170829232941/http://mathematicians.org.uk/eoh/files/Aperiodic_Tilings.pdf | url-status=dead }}</ref> A [[Fibonacci word]] can be used to build an aperiodic tiling, and to study [[quasicrystal]]s, which are structures with aperiodic order.<ref>{{cite journal | last1=Dharma-wardana | first1=M. W. C. | last2=MacDonald | first2=A. H. | last3=Lockwood | first3=D. J. | last4=Baribeau | first4=J.-M. | last5=Houghton | first5=D. C. | journal=[[Physical Review Letters]] | pages=1761–1765 | title=Raman scattering in Fibonacci superlattices | volume=58 | issue=17 | year=1987 | doi=10.1103/physrevlett.58.1761 | pmid=10034529 | bibcode=1987PhRvL..58.1761D}}</ref> |
||
[[Image:wang tiles.svg|thumb|A set of 13 [[Wang tile]]s that tile the plane only [[aperiodic tiling|aperiodically]] ]] |
[[Image:wang tiles.svg|thumb|A set of 13 [[Wang tile]]s that tile the plane only [[aperiodic tiling|aperiodically]] ]] |
||
[[Wang tile]]s are squares coloured on each edge, and placed so that abutting edges of adjacent tiles have the same colour; hence they are sometimes called Wang [[dominoes]]. A suitable set of Wang dominoes can tile the plane, but only aperiodically. This is known because any [[Turing machine]] can be represented as a set of Wang dominoes that tile the plane if, and only if, the Turing machine does not halt. Since the [[halting problem]] is undecidable, the problem of deciding whether a Wang domino set can tile the plane is also undecidable.<ref>{{cite journal | last=Wang | first=Hao | author-link=Hao Wang (academic) | issue=1 | journal=[[Bell System Technical Journal]] | pages=1–41 | title=Proving theorems by pattern recognition—II | volume=40 | year=1961 | doi=10.1002/j.1538-7305.1961.tb03975.x}}</ref><ref>{{cite magazine | last=Wang | first=Hao | author-link=Hao Wang (academic) | date=November 1965 |magazine=[[Scientific American]] | pages=98–106 | title=Games, logic and computers}}</ref><ref>{{cite journal | last=Berger | first=Robert | author-link=Robert Berger (mathematician) | journal=Memoirs of the American Mathematical Society| title=The undecidability of the domino problem | volume=66 | issue=66 | page=72 | date=1966 | doi=10.1090/memo/0066}}</ref><ref>{{cite journal | last=Robinson | first=Raphael M. | author-link=Raphael Robinson | journal=[[Inventiones Mathematicae]] | mr=0297572 | pages=177–209 | title=Undecidability and nonperiodicity for tilings of the plane | volume=12 | issue=3 | year=1971 | doi=10.1007/bf01418780| bibcode=1971InMat..12..177R | s2cid=14259496 }}</ref><ref>{{cite journal | last=Culik | first=Karel |
[[Wang tile]]s are squares coloured on each edge, and placed so that abutting edges of adjacent tiles have the same colour; hence they are sometimes called Wang [[dominoes]]. A suitable set of Wang dominoes can tile the plane, but only aperiodically. This is known because any [[Turing machine]] can be represented as a set of Wang dominoes that tile the plane if, and only if, the Turing machine does not halt. Since the [[halting problem]] is undecidable, the problem of deciding whether a Wang domino set can tile the plane is also undecidable.<ref>{{cite journal | last=Wang | first=Hao | author-link=Hao Wang (academic) | issue=1 | journal=[[Bell System Technical Journal]] | pages=1–41 | title=Proving theorems by pattern recognition—II | volume=40 | year=1961 | doi=10.1002/j.1538-7305.1961.tb03975.x}}</ref><ref>{{cite magazine | last=Wang | first=Hao | author-link=Hao Wang (academic) | date=November 1965 |magazine=[[Scientific American]] | pages=98–106 | title=Games, logic and computers}}</ref><ref>{{cite journal | last=Berger | first=Robert | author-link=Robert Berger (mathematician) | journal=Memoirs of the American Mathematical Society| title=The undecidability of the domino problem | volume=66 | issue=66 | page=72 | date=1966 | doi=10.1090/memo/0066}}</ref><ref>{{cite journal | last=Robinson | first=Raphael M. | author-link=Raphael Robinson | journal=[[Inventiones Mathematicae]] | mr=0297572 | pages=177–209 | title=Undecidability and nonperiodicity for tilings of the plane | volume=12 | issue=3 | year=1971 | doi=10.1007/bf01418780| bibcode=1971InMat..12..177R | s2cid=14259496 }}</ref><ref>{{cite journal | last=Culik | first=Karel II | doi=10.1016/S0012-365X(96)00118-5 | issue=1–3 | journal=[[Discrete Mathematics (journal)|Discrete Mathematics]] | mr=1417576 | pages=245–251 | title=An aperiodic set of 13 Wang tiles | volume=160 | year=1996| doi-access=free }}</ref> |
||
[[File:Truchet base tiling.svg|thumb|upright|Random [[Truchet tile|Truchet tiling]] ]] |
[[File:Truchet base tiling.svg|thumb|upright|Random [[Truchet tile|Truchet tiling]] ]] |
||
Line 93: | Line 93: | ||
[[Truchet tiles]] are square tiles decorated with patterns so they do not have [[rotational symmetry]]; in 1704, [[Sébastien Truchet]] used a square tile split into two triangles of contrasting colours. These can tile the plane either periodically or randomly.<ref>{{cite journal | last=Browne | first=Cameron | doi=10.1016/j.cag.2007.10.001 | issue=2 | journal=Computers & Graphics | pages=268–281 | title=Truchet curves and surfaces | volume=32 | year=2008}}</ref><ref>{{cite journal | last=Smith | first=Cyril Stanley | author-link=Cyril Stanley Smith | doi=10.2307/1578535 | issue=4 | journal=[[Leonardo (journal)|Leonardo]] | pages=373–385 | title=The tiling patterns of Sebastian Truchet and the topology of structural hierarchy | volume=20 | year=1987| jstor=1578535 | s2cid=192944820 }}</ref> |
[[Truchet tiles]] are square tiles decorated with patterns so they do not have [[rotational symmetry]]; in 1704, [[Sébastien Truchet]] used a square tile split into two triangles of contrasting colours. These can tile the plane either periodically or randomly.<ref>{{cite journal | last=Browne | first=Cameron | doi=10.1016/j.cag.2007.10.001 | issue=2 | journal=Computers & Graphics | pages=268–281 | title=Truchet curves and surfaces | volume=32 | year=2008}}</ref><ref>{{cite journal | last=Smith | first=Cyril Stanley | author-link=Cyril Stanley Smith | doi=10.2307/1578535 | issue=4 | journal=[[Leonardo (journal)|Leonardo]] | pages=373–385 | title=The tiling patterns of Sebastian Truchet and the topology of structural hierarchy | volume=20 | year=1987| jstor=1578535 | s2cid=192944820 }}</ref> |
||
An ''[[ |
An ''[[einstein tile]]'' is a single shape that forces aperiodic tiling. The first such tile, dubbed a "hat", was discovered in 2023 by David Smith, a hobbyist mathematician.<ref>{{Cite web |last=Conover |first=Emily |date=2023-03-24 |title=Mathematicians have finally discovered an elusive 'einstein' tile |url=https://www.sciencenews.org/article/mathematicians-discovered-einstein-tile |access-date=2023-03-25 |website=[[Science News]] |language=en-US}} with image of the pattern</ref><ref>Smith, David; Myers, Joseph Samuel; Kaplan, Craig S.; Goodman-Strauss, Chaim (March 2023). "An aperiodic monotile". arXiv:2303.10798</ref> The discovery is under professional review and, upon confirmation, will be credited as solving a longstanding [[einstein problem|mathematical problem]].<ref>Roberts, Soibhan, ''[https://www.nytimes.com/2023/03/28/science/mathematics-tiling-einstein.html Elusive 'Einstein' Solves a Longstanding Mathematical Problem]'', the New York Times, March 28, 2023, with image of the pattern</ref> |
||
=== Tessellations and colour === |
=== Tessellations and colour === |
||
Line 100: | Line 100: | ||
[[File:Torus with seven colours.svg|thumb|left|At least seven colors are required if the colours of this tiling are to form a pattern by repeating this rectangle as the [[fundamental domain]]; more generally, at least [[four color theorem|four colours]] are needed.]] |
[[File:Torus with seven colours.svg|thumb|left|At least seven colors are required if the colours of this tiling are to form a pattern by repeating this rectangle as the [[fundamental domain]]; more generally, at least [[four color theorem|four colours]] are needed.]] |
||
Sometimes the colour of a tile is understood as part of the tiling; at other times arbitrary colours may be applied later. When discussing a tiling that is displayed in colours, to avoid ambiguity, one needs to specify whether the colours are part of the tiling or just part of its illustration. This affects whether tiles with the same shape, but different colours, are considered identical, which in turn affects questions of symmetry. The [[four color theorem|four colour theorem]] states that for every tessellation of a normal [[Euclidean plane]], with a set of four available colours, each tile can be coloured in one colour such that no tiles of equal colour meet at a curve of positive length. The colouring guaranteed by the four colour theorem does not generally respect the symmetries of the tessellation. To produce a colouring that does, it is necessary to treat the colours as part of the tessellation. Here, as many as seven colours may be needed, as demonstrated in the image at |
Sometimes the colour of a tile is understood as part of the tiling; at other times arbitrary colours may be applied later. When discussing a tiling that is displayed in colours, to avoid ambiguity, one needs to specify whether the colours are part of the tiling or just part of its illustration. This affects whether tiles with the same shape, but different colours, are considered identical, which in turn affects questions of symmetry. The [[four color theorem|four colour theorem]] states that for every tessellation of a normal [[Euclidean plane]], with a set of four available colours, each tile can be coloured in one colour such that no tiles of equal colour meet at a curve of positive length. The colouring guaranteed by the four colour theorem does not generally respect the symmetries of the tessellation. To produce a colouring that does, it is necessary to treat the colours as part of the tessellation. Here, as many as seven colours may be needed, as demonstrated in the image at left.<ref name=Hazewinkel2001>{{springer | title=Four-colour problem|id=p/f040970}}</ref> |
||
=== Tessellations with polygons === |
=== Tessellations with polygons === |
||
⚫ | |||
Next to the various [[tilings by regular polygons]], tilings by other polygons have also been studied. |
Next to the various [[tilings by regular polygons]], tilings by other polygons have also been studied. |
||
Any triangle or [[quadrilateral]] (even [[concave polygon|non-convex]]) can be used as a prototile to form a monohedral tessellation, often in more than one way. Copies of an arbitrary [[quadrilateral]] can form a tessellation with translational symmetry and 2-fold rotational symmetry with centres at the midpoints of all sides. For an asymmetric quadrilateral this tiling belongs to [[Wallpaper group#Group p2|wallpaper group p2]]. As [[fundamental domain]] we have the quadrilateral. Equivalently, we can construct a [[parallelogram]] subtended by a minimal set of translation vectors, starting from a rotational centre. We can divide this by one diagonal, and take one half (a triangle) as fundamental domain. Such a triangle has the same area as the quadrilateral and can be constructed from it by cutting and pasting.<ref>{{cite book | url=http://digital.library.wisc.edu/1711.dl/DLDecArts.GramOrnJones | title=The Grammar of Ornament | publisher=[[Bernard Quaritch]] | last=Jones | first=Owen | author-link=Owen Jones (architect) | year=1910 |edition=folio | orig-year=1856}}</ref> |
Any triangle or [[quadrilateral]] (even [[concave polygon|non-convex]]) can be used as a prototile to form a monohedral tessellation, often in more than one way. Copies of an arbitrary [[quadrilateral]] can form a tessellation with translational symmetry and 2-fold rotational symmetry with centres at the midpoints of all sides. For an asymmetric quadrilateral this tiling belongs to [[Wallpaper group#Group p2|wallpaper group p2]]. As [[fundamental domain]] we have the quadrilateral. Equivalently, we can construct a [[parallelogram]] subtended by a minimal set of translation vectors, starting from a rotational centre. We can divide this by one diagonal, and take one half (a triangle) as fundamental domain. Such a triangle has the same area as the quadrilateral and can be constructed from it by cutting and pasting.<ref>{{cite book | url=http://digital.library.wisc.edu/1711.dl/DLDecArts.GramOrnJones | title=The Grammar of Ornament | publisher=[[Bernard Quaritch]] | last=Jones | first=Owen | author-link=Owen Jones (architect) | year=1910 |edition=folio | orig-year=1856}}</ref> |
||
[[File:Texas tessellation.svg|thumb|left|upright|Tessellation using [[Texas]]-shaped non-convex 12-sided polygons]] |
|||
If only one shape of tile is allowed, tilings |
If only one shape of tile is allowed, tilings exist with convex ''N''-gons for ''N'' equal to 3, 4, 5, and 6. For {{nowrap|1=''N'' = 5}}, see [[Pentagonal tiling]], for {{nowrap|1=''N'' = 6}}, see [[Hexagonal tiling]], for {{nowrap|1=''N'' = 7}}, see [[Heptagonal tiling]] and for {{nowrap|1=''N'' = 8}}, see [[octagonal tiling]]. |
||
With non-convex polygons, there are far fewer limitations in the number of sides, even if only one shape is allowed. |
|||
⚫ | |||
⚫ | |||
=== Voronoi tilings === |
=== Voronoi tilings === |
||
⚫ | |||
[[Voronoi diagram|Voronoi or Dirichlet]] tilings are tessellations where each tile is defined as the set of points closest to one of the points in a discrete set of defining points. (Think of geographical regions where each region is defined as all the points closest to a given city or post office.)<ref>{{cite journal | author=Aurenhammer, Franz |author-link= Franz Aurenhammer | date=1991 | title=Voronoi Diagrams – A Survey of a Fundamental Geometric Data Structure | journal=ACM Computing Surveys | volume=23| issue =3 | pages=345–405 | doi=10.1145/116873.116880|s2cid= 4613674 }}</ref><ref>{{cite book |author1=Okabe, Atsuyuki |author2=Boots, Barry |author3=Sugihara, Kokichi |author4=Chiu, Sung Nok | date=2000 | title=Spatial Tessellations – Concepts and Applications of Voronoi Diagrams | edition=2nd | publisher=John Wiley | isbn=978-0-471-98635-5}}</ref> The ''Voronoi cell'' for each defining point is a convex polygon. The [[Delaunay triangulation]] is a tessellation that is the [[dual graph]] of a Voronoi tessellation. Delaunay triangulations are useful in numerical simulation, in part because among all possible triangulations of the defining points, Delaunay triangulations maximize the minimum of the angles formed by the edges.<ref name=George1998>{{cite book |author1=George, Paul Louis |author2=Borouchaki, Houman | title=Delaunay Triangulation and Meshing: Application to Finite Elements |year=1998 | publisher=[[Hermes]] | isbn=978-2-86601-692-0 | pages=34–35}}</ref> Voronoi tilings with randomly placed points can be used to construct random tilings of the plane.<ref>{{cite book | last1=Moller | first1=Jesper | title=Lectures on Random Voronoi Tessellations | date=1994 | publisher=Springer | isbn=978-1-4612-2652-9 | url=https://www.springer.com/gp/book/9780387942643}}</ref> |
[[Voronoi diagram|Voronoi or Dirichlet]] tilings are tessellations where each tile is defined as the set of points closest to one of the points in a discrete set of defining points. (Think of geographical regions where each region is defined as all the points closest to a given city or post office.)<ref>{{cite journal | author=Aurenhammer, Franz |author-link= Franz Aurenhammer | date=1991 | title=Voronoi Diagrams – A Survey of a Fundamental Geometric Data Structure | journal=ACM Computing Surveys | volume=23| issue =3 | pages=345–405 | doi=10.1145/116873.116880|s2cid= 4613674 }}</ref><ref>{{cite book |author1=Okabe, Atsuyuki |author2=Boots, Barry |author3=Sugihara, Kokichi |author4=Chiu, Sung Nok | date=2000 | title=Spatial Tessellations – Concepts and Applications of Voronoi Diagrams | edition=2nd | publisher=John Wiley | isbn=978-0-471-98635-5}}</ref> The ''Voronoi cell'' for each defining point is a convex polygon. The [[Delaunay triangulation]] is a tessellation that is the [[dual graph]] of a Voronoi tessellation. Delaunay triangulations are useful in numerical simulation, in part because among all possible triangulations of the defining points, Delaunay triangulations maximize the minimum of the angles formed by the edges.<ref name=George1998>{{cite book |author1=George, Paul Louis |author2=Borouchaki, Houman | title=Delaunay Triangulation and Meshing: Application to Finite Elements |year=1998 | publisher=[[Hermes]] | isbn=978-2-86601-692-0 | pages=34–35}}</ref> Voronoi tilings with randomly placed points can be used to construct random tilings of the plane.<ref>{{cite book | last1=Moller | first1=Jesper | title=Lectures on Random Voronoi Tessellations | date=1994 | publisher=Springer | isbn=978-1-4612-2652-9 | url=https://www.springer.com/gp/book/9780387942643}}</ref> |
||
Line 127: | Line 129: | ||
The [[Gyrobifastigium#Schmitt–Conway–Danzer biprism|Schmitt-Conway biprism]] is a convex polyhedron with the property of tiling space only aperiodically.<ref name="Senechal1996">{{cite book |last=Senechal |first=Marjorie |title=Quasicrystals and Geometry | title-link = Quasicrystals and Geometry |at =[https://books.google.com/books?id=LdQ8AAAAIAAJ&pg=PA209 p. 209] |date=26 September 1996 |publisher=CUP Archive |isbn=978-0-521-57541-6 }}</ref> |
The [[Gyrobifastigium#Schmitt–Conway–Danzer biprism|Schmitt-Conway biprism]] is a convex polyhedron with the property of tiling space only aperiodically.<ref name="Senechal1996">{{cite book |last=Senechal |first=Marjorie |title=Quasicrystals and Geometry | title-link = Quasicrystals and Geometry |at =[https://books.google.com/books?id=LdQ8AAAAIAAJ&pg=PA209 p. 209] |date=26 September 1996 |publisher=CUP Archive |isbn=978-0-521-57541-6 }}</ref> |
||
A [[Schwarz triangle]] is a [[spherical triangle]] that can be used to tile a [[sphere]].<ref>{{Cite journal | last1=Schwarz | first1=H. A. | title=Ueber diejenigen Fälle in welchen die Gaussichen hypergeometrische Reihe eine algebraische Function ihres vierten Elementes darstellt | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002155206 | year=1873 | volume=1873 | issue=75 | journal=[[Journal für die reine und angewandte Mathematik]] | issn=0075-4102 | pages=292–335 | doi=10.1515/crll.1873.75.292| s2cid=121698536 }}</ref> |
A [[Schwarz triangle]] is a [[spherical triangle]] that can be used to tile a [[sphere]].<ref>{{Cite journal | last1=Schwarz | first1=H. A. | title=Ueber diejenigen Fälle in welchen die Gaussichen hypergeometrische Reihe eine algebraische Function ihres vierten Elementes darstellt | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002155206 | year=1873 | volume=1873 | issue=75 | journal=[[Journal für die reine und angewandte Mathematik]] | issn=0075-4102 | pages=292–335 | doi=10.1515/crll.1873.75.292| s2cid=121698536 | doi-access=free }}</ref> |
||
=== Tessellations in non-Euclidean geometries === |
=== Tessellations in non-Euclidean geometries === |
||
Line 135: | Line 137: | ||
It is possible to tessellate in [[non-Euclidean]] geometries such as [[hyperbolic geometry]]. A [[Uniform tilings in hyperbolic plane|uniform tiling in the hyperbolic plane]] (that may be regular, quasiregular, or semiregular) is an edge-to-edge filling of the hyperbolic plane, with [[regular polygon]]s as [[Face (geometry)|faces]]; these are [[vertex-transitive]] ([[Transitive group action|transitive]] on its [[vertex (geometry)|vertices]]), and isogonal (there is an [[isometry]] mapping any vertex onto any other).<ref>{{cite arXiv |last1=Margenstern |first1=Maurice |title=Coordinates for a new triangular tiling of the hyperbolic plane |date=4 January 2011 |eprint=1101.0530 |class=cs.FL }}</ref><ref>{{cite web |title=Tiling the Hyperbolic Plane with Regular Polygons |author=Zadnik, Gašper |url=http://demonstrations.wolfram.com/TilingTheHyperbolicPlaneWithRegularPolygons/ | publisher=Wolfram | access-date=27 May 2015}}</ref> |
It is possible to tessellate in [[non-Euclidean]] geometries such as [[hyperbolic geometry]]. A [[Uniform tilings in hyperbolic plane|uniform tiling in the hyperbolic plane]] (that may be regular, quasiregular, or semiregular) is an edge-to-edge filling of the hyperbolic plane, with [[regular polygon]]s as [[Face (geometry)|faces]]; these are [[vertex-transitive]] ([[Transitive group action|transitive]] on its [[vertex (geometry)|vertices]]), and isogonal (there is an [[isometry]] mapping any vertex onto any other).<ref>{{cite arXiv |last1=Margenstern |first1=Maurice |title=Coordinates for a new triangular tiling of the hyperbolic plane |date=4 January 2011 |eprint=1101.0530 |class=cs.FL }}</ref><ref>{{cite web |title=Tiling the Hyperbolic Plane with Regular Polygons |author=Zadnik, Gašper |url=http://demonstrations.wolfram.com/TilingTheHyperbolicPlaneWithRegularPolygons/ | publisher=Wolfram | access-date=27 May 2015}}</ref> |
||
A [[Uniform honeycombs in hyperbolic space|uniform honeycomb in hyperbolic space]] is a uniform tessellation of [[uniform polyhedron|uniform polyhedral]] [[Cell (geometry)|cells]]. In three-dimensional (3-D) hyperbolic space there are nine [[Coxeter group]] families of compact [[convex uniform honeycomb]]s, generated as [[Wythoff construction]]s, and represented by [[permutation]]s of [[Coxeter-Dynkin diagram#Application with uniform polytopes|rings]] of the [[Coxeter diagram]]s for each family.<ref>{{cite book | author=Coxeter, H.S.M. | |
A [[Uniform honeycombs in hyperbolic space|uniform honeycomb in hyperbolic space]] is a uniform tessellation of [[uniform polyhedron|uniform polyhedral]] [[Cell (geometry)|cells]]. In three-dimensional (3-D) hyperbolic space there are nine [[Coxeter group]] families of compact [[convex uniform honeycomb]]s, generated as [[Wythoff construction]]s, and represented by [[permutation]]s of [[Coxeter-Dynkin diagram#Application with uniform polytopes|rings]] of the [[Coxeter diagram]]s for each family.<ref>{{cite book | author=Coxeter, H.S.M. | title=The Beauty of Geometry: Twelve Essays | publisher=[[Dover Publications]] | date=1999 | isbn=978-0-486-40919-1 | chapter=Chapter 10: Regular honeycombs in hyperbolic space | pages=212–213}}</ref> |
||
== In art == |
== In art == |
||
{{Further|Mathematics and art}} |
{{Further|Mathematics and art}} |
||
[[File:Mosaic floor panel - Google Art Project.jpg|thumb|upright|Roman [[mosaic]] floor panel of stone, tile, and glass, from a villa near [[Antakya|Antioch]] in Roman Syria. second century AD]] |
[[File:Mosaic floor panel - Google Art Project.jpg|thumb|upright|left|Roman [[mosaic]] floor panel of stone, tile, and glass, from a villa near [[Antakya|Antioch]] in Roman Syria. second century AD]] |
||
In architecture, tessellations have been used to create decorative motifs since ancient times. [[Mosaic]] tilings often had geometric patterns.<ref name=Field1988>{{cite book | title=Geometric Patterns from Roman Mosaics | publisher=Tarquin | author=Field, Robert | year=1988 | isbn=978-0-906-21263-9}}</ref> Later civilisations also used larger tiles, either plain or individually decorated. Some of the most decorative were the [[Moorish]] wall tilings of [[Islamic architecture]], using [[Girih tiles|Girih]] and [[Zellige]] tiles in buildings such as the [[Alhambra]]<ref>{{cite web | url=http://www.math.nus.edu.sg/aslaksen/teaching/math-art-arch.shtml#Symmetry | title=Mathematics in Art and Architecture | publisher=National University of Singapore |access-date=17 May 2015}}</ref> and [[Mosque–Cathedral of Córdoba|La Mezquita]].<ref>{{cite book | last=Whittaker | first=Andrew |title=Speak the Culture: Spain | url=https://books.google.com/books?id=2rZS8SWMroUC&pg=PT153 | year=2008 | publisher=[[Thorogood Publishing]] | isbn=978-1-85418-605-8 | page=153}}</ref> |
In architecture, tessellations have been used to create decorative motifs since ancient times. [[Mosaic]] tilings often had geometric patterns.<ref name=Field1988>{{cite book | title=Geometric Patterns from Roman Mosaics | publisher=Tarquin | author=Field, Robert | year=1988 | isbn=978-0-906-21263-9}}</ref> Later civilisations also used larger tiles, either plain or individually decorated. Some of the most decorative were the [[Moorish]] wall tilings of [[Islamic architecture]], using [[Girih tiles|Girih]] and [[Zellige]] tiles in buildings such as the [[Alhambra]]<ref>{{cite web | url=http://www.math.nus.edu.sg/aslaksen/teaching/math-art-arch.shtml#Symmetry | title=Mathematics in Art and Architecture | publisher=National University of Singapore |access-date=17 May 2015}}</ref> and [[Mosque–Cathedral of Córdoba|La Mezquita]].<ref>{{cite book | last=Whittaker | first=Andrew |title=Speak the Culture: Spain | url=https://books.google.com/books?id=2rZS8SWMroUC&pg=PT153 | year=2008 | publisher=[[Thorogood Publishing]] | isbn=978-1-85418-605-8 | page=153}}</ref> |
||
Line 145: | Line 147: | ||
Tessellations frequently appeared in the graphic art of [[M. C. Escher]]; he was inspired by the Moorish use of symmetry in places such as the Alhambra when he visited [[Spain]] in 1936.{{sfn|Escher|1974|pp=5, 17}} Escher made four "[[Circle Limit III|Circle Limit]]" drawings of tilings that use hyperbolic geometry.<ref>{{cite web | last1=Gersten |first1=S. M. | title=Introduction to Hyperbolic and Automatic Groups |url=http://www.math.utah.edu/~sg/Papers/banff.pdf | publisher=University of Utah | access-date=27 May 2015 | quote=Figure 1 is part of a tiling of the Euclidean plane, which we imagine as continued in all directions, and Figure 2 [Circle Limit IV] is a beautiful tesselation of the Poincaré unit disc model of the hyperbolic plane by white tiles representing angels and black tiles representing devils. An important feature of the second is that all white tiles are mutually congruent as are all black tiles; of course this is not true for the Euclidean metric, but holds for the Poincaré metric}}</ref><ref>{{cite web | last1=Leys | first1=Jos | title=Hyperbolic Escher | url=http://www.josleys.com/show_gallery.php?galid=325 | access-date=27 May 2015 | date=2015}}</ref> For his [[woodcut]] "Circle Limit IV" (1960), Escher prepared a pencil and ink study showing the required geometry.{{sfn|Escher|1974|pp=142–143}} Escher explained that "No single component of all the series, which from infinitely far away rise like rockets perpendicularly from the limit and are at last lost in it, ever reaches the boundary line."{{sfn|Escher|1974|p=16}} |
Tessellations frequently appeared in the graphic art of [[M. C. Escher]]; he was inspired by the Moorish use of symmetry in places such as the Alhambra when he visited [[Spain]] in 1936.{{sfn|Escher|1974|pp=5, 17}} Escher made four "[[Circle Limit III|Circle Limit]]" drawings of tilings that use hyperbolic geometry.<ref>{{cite web | last1=Gersten |first1=S. M. | title=Introduction to Hyperbolic and Automatic Groups |url=http://www.math.utah.edu/~sg/Papers/banff.pdf | publisher=University of Utah | access-date=27 May 2015 | quote=Figure 1 is part of a tiling of the Euclidean plane, which we imagine as continued in all directions, and Figure 2 [Circle Limit IV] is a beautiful tesselation of the Poincaré unit disc model of the hyperbolic plane by white tiles representing angels and black tiles representing devils. An important feature of the second is that all white tiles are mutually congruent as are all black tiles; of course this is not true for the Euclidean metric, but holds for the Poincaré metric}}</ref><ref>{{cite web | last1=Leys | first1=Jos | title=Hyperbolic Escher | url=http://www.josleys.com/show_gallery.php?galid=325 | access-date=27 May 2015 | date=2015}}</ref> For his [[woodcut]] "Circle Limit IV" (1960), Escher prepared a pencil and ink study showing the required geometry.{{sfn|Escher|1974|pp=142–143}} Escher explained that "No single component of all the series, which from infinitely far away rise like rockets perpendicularly from the limit and are at last lost in it, ever reaches the boundary line."{{sfn|Escher|1974|p=16}} |
||
[[File:Ralli Quilt.jpg|thumb |
[[File:Ralli Quilt.jpg|thumb|A quilt showing a regular tessellation pattern]] |
||
Tessellated designs often appear on textiles, whether woven, stitched in, or printed. Tessellation patterns have been used to design interlocking [[Motif (textile arts)|motifs]] of patch shapes in [[quilt]]s.<ref>{{cite book | last=Porter | first=Christine | title=Tessellation Quilts: Sensational Designs From Interlocking Patterns | year=2006 | publisher=F+W Media | isbn=978-0-7153-1941-3 | pages=4–8}}</ref><ref>{{cite book |last=Beyer |first=Jinny | title=Designing tessellations: the secrets of interlocking patterns |year=1999 |publisher=[[Contemporary Book]] |isbn=978-0-8092-2866-9 |pages=Ch. 7}}</ref> |
Tessellated designs often appear on textiles, whether woven, stitched in, or printed. Tessellation patterns have been used to design interlocking [[Motif (textile arts)|motifs]] of patch shapes in [[quilt]]s.<ref>{{cite book | last=Porter | first=Christine | title=Tessellation Quilts: Sensational Designs From Interlocking Patterns | year=2006 | publisher=F+W Media | isbn=978-0-7153-1941-3 | pages=4–8}}</ref><ref>{{cite book |last=Beyer |first=Jinny | title=Designing tessellations: the secrets of interlocking patterns |year=1999 |publisher=[[Contemporary Book]] |isbn=978-0-8092-2866-9 |pages=Ch. 7}}</ref> |
||
Line 151: | Line 153: | ||
== In manufacturing == |
== In manufacturing == |
||
Tessellation is used in [[manufacturing industry]] to reduce the wastage of material (yield losses) such as [[sheet metal]] when cutting out shapes for objects such as [[car door]]s or [[drinks can|drink cans]].<ref>{{cite web |
Tessellation is used in [[manufacturing industry]] to reduce the wastage of material (yield losses) such as [[sheet metal]] when cutting out shapes for objects such as [[car door]]s or [[drinks can|drink cans]].<ref>{{cite web| title=Reducing yield losses: using less metal to make the same thing| url=http://www.withbotheyesopen.com/pdftransponder.php?c=13| publisher=[[UIT Cambridge]]| access-date=29 May 2015| archive-date=29 May 2015| archive-url=https://web.archive.org/web/20150529163032/http://www.withbotheyesopen.com/pdftransponder.php?c=13| url-status=dead}}</ref> |
||
Tessellation is apparent in the [[mudcrack]]-like [[fracture|cracking]] of [[thin film]]s<ref>{{cite journal | last1 = Thouless | first1 = M. D. | year = 1990 | title = Crack Spacing in Brittle Films on Elastic Substrates | journal = J. Am. Chem. Soc. | volume = 73 | issue = 7| pages = 2144–2146 | doi = 10.1111/j.1151-2916.1990.tb05290.x }}</ref><ref>{{cite journal | last1 = Xia | first1 = Z. C. | last2 = Hutchinson | first2 = J. W. | year = 2000 | title = Crack patterns in thin films | journal = J. Mech. Phys. Solids | volume = 48 | issue = 6–7 | pages = 1107–1131 | doi = 10.1016/S0022-5096(99)00081-2 | bibcode = 2000JMPSo..48.1107X }}</ref> – with a degree of [[self-organisation]] being observed using [[microtechnology|micro]] and [[nanotechnology|nanotechnologies]].<ref>{{cite journal | last1 = Seghir | first1 = R. | last2 = Arscott | first2 = S. | year = 2015 | title = Controlled mud-crack patterning and self-organized cracking of polydimethylsiloxane elastomer surfaces | journal = Sci. Rep. | volume = 5 | page = 14787 | doi = 10.1038/srep14787 | pmid = 26437880 | bibcode = 2015NatSR...514787S | pmc = 4594096 }}</ref> |
Tessellation is apparent in the [[mudcrack]]-like [[fracture|cracking]] of [[thin film]]s<ref>{{cite journal | last1 = Thouless | first1 = M. D. | year = 1990 | title = Crack Spacing in Brittle Films on Elastic Substrates | journal = J. Am. Chem. Soc. | volume = 73 | issue = 7| pages = 2144–2146 | doi = 10.1111/j.1151-2916.1990.tb05290.x }}</ref><ref>{{cite journal | last1 = Xia | first1 = Z. C. | last2 = Hutchinson | first2 = J. W. | year = 2000 | title = Crack patterns in thin films | journal = J. Mech. Phys. Solids | volume = 48 | issue = 6–7 | pages = 1107–1131 | doi = 10.1016/S0022-5096(99)00081-2 | bibcode = 2000JMPSo..48.1107X }}</ref> – with a degree of [[self-organisation]] being observed using [[microtechnology|micro]] and [[nanotechnology|nanotechnologies]].<ref>{{cite journal | last1 = Seghir | first1 = R. | last2 = Arscott | first2 = S. | year = 2015 | title = Controlled mud-crack patterning and self-organized cracking of polydimethylsiloxane elastomer surfaces | journal = Sci. Rep. | volume = 5 | page = 14787 | doi = 10.1038/srep14787 | pmid = 26437880 | bibcode = 2015NatSR...514787S | pmc = 4594096 }}</ref> |
||
Line 158: | Line 160: | ||
{{Main|Patterns in nature#Tessellations}} |
{{Main|Patterns in nature#Tessellations}} |
||
[[File:Buckfast bee.jpg|thumb| |
[[File:Buckfast bee.jpg|thumb|left|A [[honeycomb]] is a natural tessellated structure.]] |
||
The [[honeycomb]] is a well-known example of tessellation in nature with its hexagonal cells.<ref>{{cite journal | last1=Ball | first1=Philip | title=How honeycombs can build themselves | url=http://www.nature.com/news/how-honeycombs-can-build-themselves-1.13398 | journal=[[Nature (journal)|Nature]] | year=2013 | doi=10.1038/nature.2013.13398 | s2cid=138195687 | access-date=7 November 2014}}</ref> |
The [[honeycomb]] is a well-known example of tessellation in nature with its hexagonal cells.<ref>{{cite journal | last1=Ball | first1=Philip | title=How honeycombs can build themselves | url=http://www.nature.com/news/how-honeycombs-can-build-themselves-1.13398 | journal=[[Nature (journal)|Nature]] | year=2013 | doi=10.1038/nature.2013.13398 | s2cid=138195687 | access-date=7 November 2014}}</ref> |
||
⚫ | |||
In botany, the term "tessellate" describes a checkered pattern, for example on a flower petal, tree bark, or fruit. Flowers including the [[Fritillaria|fritillary]],<ref>{{cite book | title=Shorter Oxford English dictionary | edition=6th | year=2007 | publisher=Oxford University Press | location=United Kingdom |isbn=978-0-19-920687-2 |page=3804}}</ref> and some species of ''Colchicum'', are characteristically tessellate.<ref>{{cite journal | last1=Purdy | first1=Kathy | title=Colchicums: autumn's best-kept secret | journal=[[American Gardener]] | date=2007 | issue=September/October | pages=18–22}}</ref> |
In botany, the term "tessellate" describes a checkered pattern, for example on a flower petal, tree bark, or fruit. Flowers including the [[Fritillaria|fritillary]],<ref>{{cite book | title=Shorter Oxford English dictionary | edition=6th | year=2007 | publisher=Oxford University Press | location=United Kingdom |isbn=978-0-19-920687-2 |page=3804}}</ref> and some species of ''Colchicum'', are characteristically tessellate.<ref>{{cite journal | last1=Purdy | first1=Kathy | title=Colchicums: autumn's best-kept secret | journal=[[American Gardener]] | date=2007 | issue=September/October | pages=18–22}}</ref> |
||
Many [[patterns in nature]] are formed by cracks in sheets of materials. These patterns can be described by [[Gilbert tessellation]]s,<ref>{{cite arXiv | last1=Schreiber | first1=Tomasz | last2=Soja | first2=Natalia | eprint=1005.0023 | title=Limit theory for planar Gilbert tessellations | year=2010| class=math.PR }}</ref> also known as random crack networks.<ref>{{cite journal | last1=Gray | first1=N. H. | last2=Anderson | first2=J. B. | last3=Devine | first3=J. D. | last4=Kwasnik | first4=J. M. | doi=10.1007/BF01031092 | issue=6 | journal=Mathematical Geology | pages=617–626 | title=Topological properties of random crack networks | volume=8 | year=1976| s2cid=119949515 }}</ref> The Gilbert tessellation is a mathematical model for the formation of [[mudcrack]]s, needle-like [[crystal]]s, and similar structures. The model, named after [[Edgar Gilbert]], allows cracks to form starting from being randomly scattered over the plane; each crack propagates in two opposite directions along a line through the initiation point, its slope chosen at random, creating a tessellation of irregular convex polygons.<ref>{{cite book | last=Gilbert | first=E. N. | author-link=Edgar Gilbert | editor-last=Noble | editor-first=B. | contribution=Random plane networks and needle-shaped crystals | location=New York | publisher=Macmillan | title=Applications of Undergraduate Mathematics in Engineering | year=1967}}</ref> [[Basalt]]ic [[lava flow]]s often display [[Columnar basalt|columnar jointing]] as a result of [[Thermal expansion#Contraction effects (negative thermal expansion)|contraction]] forces causing cracks as the lava cools. The extensive crack networks that develop often produce hexagonal columns of lava. One example of such an array of columns is the [[Giant's Causeway]] in Northern Ireland.<ref>{{cite journal |last1=Weaire |first1=D. |last2=Rivier |first2=N. |title=Soap, cells and statistics: Random patterns in two dimensions |journal=Contemporary Physics |date=1984|volume=25 |issue=1 |pages=59–99 | author-link=Denis Weaire |doi=10.1080/00107518408210979 |bibcode=1984ConPh..25...59W}}</ref> [[Tessellated pavement]], a characteristic example of which is found at [[Eaglehawk Neck, Tasmania|Eaglehawk Neck]] on the [[Tasman Peninsula]] of [[Tasmania]], is a rare sedimentary rock formation where the rock has fractured into rectangular blocks.<ref>{{cite book | author=Branagan, D.F. | date=1983 | title=Tesselated pavements |editor1=Young, R.W. |editor2=Nanson, G.C. | pages=11–20 | |
Many [[patterns in nature]] are formed by cracks in sheets of materials. These patterns can be described by [[Gilbert tessellation]]s,<ref>{{cite arXiv | last1=Schreiber | first1=Tomasz | last2=Soja | first2=Natalia | eprint=1005.0023 | title=Limit theory for planar Gilbert tessellations | year=2010| class=math.PR }}</ref> also known as random crack networks.<ref>{{cite journal | last1=Gray | first1=N. H. | last2=Anderson | first2=J. B. | last3=Devine | first3=J. D. | last4=Kwasnik | first4=J. M. | doi=10.1007/BF01031092 | issue=6 | journal=Mathematical Geology | pages=617–626 | title=Topological properties of random crack networks | volume=8 | year=1976| s2cid=119949515 }}</ref> The Gilbert tessellation is a mathematical model for the formation of [[mudcrack]]s, needle-like [[crystal]]s, and similar structures. The model, named after [[Edgar Gilbert]], allows cracks to form starting from being randomly scattered over the plane; each crack propagates in two opposite directions along a line through the initiation point, its slope chosen at random, creating a tessellation of irregular convex polygons.<ref>{{cite book | last=Gilbert | first=E. N. | author-link=Edgar Gilbert | editor-last=Noble | editor-first=B. | contribution=Random plane networks and needle-shaped crystals | location=New York | publisher=Macmillan | title=Applications of Undergraduate Mathematics in Engineering | year=1967}}</ref> [[Basalt]]ic [[lava flow]]s often display [[Columnar basalt|columnar jointing]] as a result of [[Thermal expansion#Contraction effects (negative thermal expansion)|contraction]] forces causing cracks as the lava cools. The extensive crack networks that develop often produce hexagonal columns of lava. One example of such an array of columns is the [[Giant's Causeway]] in Northern Ireland.<ref>{{cite journal |last1=Weaire |first1=D. |last2=Rivier |first2=N. |title=Soap, cells and statistics: Random patterns in two dimensions |journal=Contemporary Physics |date=1984|volume=25 |issue=1 |pages=59–99 | author-link=Denis Weaire |doi=10.1080/00107518408210979 |bibcode=1984ConPh..25...59W}}</ref> [[Tessellated pavement]], a characteristic example of which is found at [[Eaglehawk Neck, Tasmania|Eaglehawk Neck]] on the [[Tasman Peninsula]] of [[Tasmania]], is a rare sedimentary rock formation where the rock has fractured into rectangular blocks.<ref>{{cite book | author=Branagan, D.F. | date=1983 | title=Tesselated pavements |editor1=Young, R.W. |editor2=Nanson, G.C. | pages=11–20 | series=Aspects of Australian sandstone landscapes. Special Publication No. 1, Australian and New Zealand Geomorphology |location=Wollongong, NSW | publisher=[[University of Wollongong]] | isbn=978-0-864-18001-8 |oclc=12650092}}</ref> |
||
⚫ | |||
Other natural patterns occur in [[foam]]s; these are packed according to [[Plateau's laws]], which require [[minimal surface]]s. Such foams present a problem in how to pack cells as tightly as possible: in 1887, [[Lord Kelvin]] proposed a packing using only one solid, the [[bitruncated cubic honeycomb]] with very slightly curved faces. In 1993, Denis Weaire and Robert Phelan proposed the [[Weaire–Phelan structure]], which uses less surface area to separate cells of equal volume than Kelvin's foam.<ref>{{cite book | author=Ball, Philip | title=Shapes | publisher=[[Oxford University Press]] | date=2009 | pages=73–76 | isbn=978-0-199-60486-9}}</ref> |
Other natural patterns occur in [[foam]]s; these are packed according to [[Plateau's laws]], which require [[minimal surface]]s. Such foams present a problem in how to pack cells as tightly as possible: in 1887, [[Lord Kelvin]] proposed a packing using only one solid, the [[bitruncated cubic honeycomb]] with very slightly curved faces. In 1993, Denis Weaire and Robert Phelan proposed the [[Weaire–Phelan structure]], which uses less surface area to separate cells of equal volume than Kelvin's foam.<ref>{{cite book | author=Ball, Philip | title=Shapes | publisher=[[Oxford University Press]] | date=2009 | pages=73–76 | isbn=978-0-199-60486-9}}</ref> |
||
Line 172: | Line 175: | ||
{{Main|Tiling puzzle|recreational mathematics}} |
{{Main|Tiling puzzle|recreational mathematics}} |
||
Tessellations have given rise to many types of [[tiling puzzle]], from traditional [[jigsaw puzzle]]s (with irregular pieces of wood or cardboard)<ref>{{cite web | last1=McAdam | first1=Daniel | title=History of Jigsaw Puzzles | url=http://www.jigsaw-puzzle.org/jigsaw-puzzle-history.html | publisher=American Jigsaw Puzzle Society | access-date=28 May 2015 |archive-url=https://web.archive.org/web/20140211155914/http://www.jigsaw-puzzle.org/jigsaw-puzzle-history.html |archive-date=11 February 2014}}</ref> and the [[tangram]],<ref>{{cite book | title=The Tao of Tangram | last=Slocum | first=Jerry | year=2001 |publisher=Barnes & Noble | isbn=978-1-4351-0156-2 | page=9}}</ref> to more modern puzzles that often have a mathematical basis. For example, [[polyiamond]]s and [[polyomino]]es are figures of regular triangles and squares, often used in tiling puzzles.<ref>{{cite book | last1=Golomb | first1=Solomon W. | title=Polyominoes| title-link= Polyominoes: Puzzles, Patterns, Problems, and Packings | date=1994 | publisher=[[Princeton University Press]] | edition=2nd | isbn=978-0-691-02444-8}}</ref><ref>{{cite book | last1=Martin | first1=George E.|title=Polyominoes: A guide to puzzles and problems in tiling | url=https://archive.org/details/polyominoesguide00mart_0 | url-access=registration | date=1991 | publisher=Mathematical Association of America| isbn= |
Tessellations have given rise to many types of [[tiling puzzle]], from traditional [[jigsaw puzzle]]s (with irregular pieces of wood or cardboard)<ref>{{cite web | last1=McAdam | first1=Daniel | title=History of Jigsaw Puzzles | url=http://www.jigsaw-puzzle.org/jigsaw-puzzle-history.html | publisher=American Jigsaw Puzzle Society | access-date=28 May 2015 |archive-url=https://web.archive.org/web/20140211155914/http://www.jigsaw-puzzle.org/jigsaw-puzzle-history.html |archive-date=11 February 2014}}</ref> and the [[tangram]],<ref>{{cite book | title=The Tao of Tangram | last=Slocum | first=Jerry | year=2001 |publisher=Barnes & Noble | isbn=978-1-4351-0156-2 | page=9}}</ref> to more modern puzzles that often have a mathematical basis. For example, [[polyiamond]]s and [[polyomino]]es are figures of regular triangles and squares, often used in tiling puzzles.<ref>{{cite book | last1=Golomb | first1=Solomon W. | title=Polyominoes| title-link= Polyominoes: Puzzles, Patterns, Problems, and Packings | date=1994 | publisher=[[Princeton University Press]] | edition=2nd | isbn=978-0-691-02444-8}}</ref><ref>{{cite book | last1=Martin | first1=George E.|title=Polyominoes: A guide to puzzles and problems in tiling | url=https://archive.org/details/polyominoesguide00mart_0 | url-access=registration | date=1991 | publisher=Mathematical Association of America| isbn=978-0-88385-501-0}}</ref> Authors such as [[Henry Dudeney]] and [[Martin Gardner]] have made many uses of tessellation in [[recreational mathematics]]. For example, Dudeney invented the [[hinged dissection]],<ref>{{cite book | last=Frederickson | first=Greg N. | date=2002 | title=Hinged Dissections: Swinging and Twisting | url=https://archive.org/details/hingeddissection0000fred | url-access=registration | publisher=Cambridge University Press |isbn=978-0-521-81192-7}}</ref> while Gardner wrote about the "[[rep-tile]]", a shape that can be [[dissection (geometry)|dissected]] into smaller copies of the same shape.<ref>{{cite magazine | author=Gardner, Martin |author-link=Martin Gardner | date=May 1963 | title=On 'Rep-tiles,' Polygons that can make larger and smaller copies of themselves |magazine=[[Scientific American]] | volume=208 | issue=May | pages=154–164}}</ref><ref name="Gardner2006">{{cite book | last=Gardner | first=Martin |author-link=Martin Gardner | title=Aha! A Two Volume Collection: Aha! Gotcha Aha! Insight | url=https://books.google.com/books?id=3HzwNVMQOZkC&pg=RA1-PA48 | date=14 December 2006 | publisher=MAA | isbn=978-0-88385-551-5 | page=48}}</ref> Inspired by Gardner's articles in [[Scientific American]], the amateur mathematician [[Marjorie Rice]] found four new tessellations with pentagons.<ref>{{cite news | url=https://www.nytimes.com/2015/10/12/opinion/the-importance-of-recreational-math.html?ref=opinion&_r=0 | title=The Importance of Recreational Math | last1=Suri | first1=Mani | date=12 October 2015 | website=New York Times}}</ref><ref>{{cite journal |last1=Schattschneider |first1=Doris |title=Tiling the Plane with Congruent Pentagons |url=http://www.maa.org/sites/default/files/pdf/upload_library/22/Allendoerfer/1979/0025570x.di021103.02p0247f.pdf |publisher=MAA |journal=Mathematics Magazine |date=1978 |volume=51 |issue=1 |pages=29–44 |doi=10.2307/2689644|jstor=2689644 }}</ref> [[Squaring the square]] is the problem of tiling an integral square (one whose sides have integer length) using only other integral squares.<ref>{{cite web | last1=Tutte | first1=W. T. | title=Squaring the Square | url=http://www.squaring.net/history_theory/brooks_smith_stone_tutte_II.html | website=Squaring.net | access-date=29 May 2015}}</ref><ref>{{cite magazine | last1=Gardner | first1=Martin| last2=Tutte | first2=William T. | title=Mathematical Games |magazine=Scientific American | date=November 1958}}</ref> An extension is squaring the plane, tiling it by squares whose sizes are all natural numbers without repetitions; James and Frederick Henle proved that this was possible.<ref>{{cite journal | first1=Frederick V. | last1=Henle | first2=James M. | last2=Henle | url=http://maven.smith.edu/~jhenle/stp/stp.pdf | title=Squaring the plane | journal=[[American Mathematical Monthly]] | volume=115 | issue=1 | year=2008 | pages=3–12 | doi=10.1080/00029890.2008.11920491 | jstor=27642387 | s2cid=26663945 | url-status=dead | archive-url=https://web.archive.org/web/20060620150515/http://maven.smith.edu/%7Ejhenle/stp/stp.pdf | archive-date=20 June 2006 }}</ref> |
||
== Examples == |
== Examples == |
||
Line 187: | Line 190: | ||
== See also == |
== See also == |
||
* [[Discrete global grid]] |
* [[Discrete global grid]] |
||
⚫ | |||
* [[Space partitioning]] |
* [[Space partitioning]] |
||
⚫ | |||
== |
== Explanatory footnotes == |
||
{{Notelist}} |
{{Notelist}} |
||
Line 197: | Line 200: | ||
== Sources == |
== Sources == |
||
* {{ |
* {{Cite book |last=Coxeter |first=H. S. M. |author-link=Harold Scott MacDonald Coxeter |year=1973 |title-link=Regular Polytopes (book) |title=Regular Polytopes |contribution = Section IV : Tessellations and Honeycombs |publisher=[[Dover Publications]] |isbn=978-0-486-61480-9 }} |
||
* {{ |
* {{Cite book |last=Escher |first=M. C. |author-link=M. C. Escher |date=1974 |editor=J. L. Locher |title=The World of M. C. Escher |url=https://archive.org/details/worldofmcescher00esch |url-access=registration |edition=New Concise NAL |publisher=Abrams |isbn=978-0-451-79961-6}} |
||
* {{ |
* {{Cite book |last=Gardner |first=Martin |author-link=Martin Gardner |year=1989 |title=Penrose Tiles to Trapdoor Ciphers |publisher=[[Cambridge University Press]] |isbn=978-0-88385-521-8}} |
||
* {{ |
* {{Cite book |last1=Grünbaum |first1=Branko |author1-link=Branko Grünbaum |last2=Shephard |first2=G. C. |date=1987 |title=Tilings and Patterns |url=https://archive.org/details/isbn_0716711931 |url-access=registration |publisher=W. H. Freeman |isbn=978-0-7167-1193-3}} |
||
* {{ |
* {{Cite book |last=Gullberg |first=Jan |author-link=Jan Gullberg |year=1997 |title=Mathematics From the Birth of Numbers |url=https://archive.org/details/mathematicsfromb1997gull |url-access=registration |publisher=Norton |isbn=978-0-393-04002-9}} |
||
* {{ |
* {{Cite book |last=Stewart |first=Ian |author-link=Ian Stewart (mathematician) |year=2001 |title=What Shape Is a Snowflake? |publisher=Weidenfeld and Nicolson |isbn=978-0-297-60723-6}} |
||
== External links == |
== External links == |
||
{{Commons}} |
{{Commons}} |
||
<!--Please don't put links to your commercial website here: they'll be removed, and you could be blocked!--> |
<!-- Please don't put links to your commercial website here: they'll be removed, and you could be blocked! --> |
||
* [https://ab.inf.uni-tuebingen.de/software/tegula Tegula] (open-source software for exploring two-dimensional tilings of the plane, sphere and hyperbolic plane; includes databases containing millions of tilings) |
* [https://ab.inf.uni-tuebingen.de/software/tegula Tegula] (open-source software for exploring two-dimensional tilings of the plane, sphere and hyperbolic plane; includes databases containing millions of tilings) |
||
* [http://mathworld.wolfram.com/Tessellation.html Wolfram MathWorld: Tessellation] (good bibliography, drawings of regular, semiregular and demiregular tessellations) |
* [http://mathworld.wolfram.com/Tessellation.html Wolfram MathWorld: Tessellation] (good bibliography, drawings of regular, semiregular and demiregular tessellations) |
||
*Dirk Frettlöh and [[Edmund Harriss]]. "[http://tilings.math.uni-bielefeld.de/ Tilings Encyclopedia]" (extensive information on substitution tilings, including drawings, people, and references) |
* Dirk Frettlöh and [[Edmund Harriss]]. "[http://tilings.math.uni-bielefeld.de/ Tilings Encyclopedia]" (extensive information on substitution tilings, including drawings, people, and references) |
||
* [http://www.tessellations.org/ Tessellations.org] (how-to guides, Escher tessellation gallery, galleries of tessellations by other artists, lesson plans, history) |
* [http://www.tessellations.org/ Tessellations.org] (how-to guides, Escher tessellation gallery, galleries of tessellations by other artists, lesson plans, history) |
||
* {{cite web | author=Eppstein, David | author-link=David Eppstein | title=The Geometry Junkyard: Hyperbolic Tiling | url=http://www.ics.uci.edu/~eppstein/junkyard/hypertile.html}} (list of web resources including articles and galleries) |
* {{cite web | author=Eppstein, David | author-link=David Eppstein | title=The Geometry Junkyard: Hyperbolic Tiling | url=http://www.ics.uci.edu/~eppstein/junkyard/hypertile.html}} (list of web resources including articles and galleries) |
||
<!--PLEASE DO NOT ATTEMPT TO LINK YOUR SOFTWARE SITE HERE - YOU COULD BE BLOCKED FOR ADVERTISING!--> |
<!-- PLEASE DO NOT ATTEMPT TO LINK YOUR SOFTWARE SITE HERE - YOU COULD BE BLOCKED FOR ADVERTISING! --> |
||
{{Mathematical art}} |
{{Mathematical art}} |
||
Line 218: | Line 221: | ||
{{Patterns in nature}} |
{{Patterns in nature}} |
||
{{Authority control}} |
{{Authority control}} |
||
⚫ | |||
[[Category:Tessellation| ]] |
[[Category:Tessellation| ]] |
||
⚫ | |||
[[Category:Mosaic]] |
[[Category:Mosaic]] |
||
⚫ |
Latest revision as of 15:04, 19 August 2024
A tessellation or tiling is the covering of a surface, often a plane, using one or more geometric shapes, called tiles, with no overlaps and no gaps. In mathematics, tessellation can be generalized to higher dimensions and a variety of geometries.
A periodic tiling has a repeating pattern. Some special kinds include regular tilings with regular polygonal tiles all of the same shape, and semiregular tilings with regular tiles of more than one shape and with every corner identically arranged. The patterns formed by periodic tilings can be categorized into 17 wallpaper groups. A tiling that lacks a repeating pattern is called "non-periodic". An aperiodic tiling uses a small set of tile shapes that cannot form a repeating pattern (an aperiodic set of prototiles). A tessellation of space, also known as a space filling or honeycomb, can be defined in the geometry of higher dimensions.
A real physical tessellation is a tiling made of materials such as cemented ceramic squares or hexagons. Such tilings may be decorative patterns, or may have functions such as providing durable and water-resistant pavement, floor, or wall coverings. Historically, tessellations were used in Ancient Rome and in Islamic art such as in the Moroccan architecture and decorative geometric tiling of the Alhambra palace. In the twentieth century, the work of M. C. Escher often made use of tessellations, both in ordinary Euclidean geometry and in hyperbolic geometry, for artistic effect. Tessellations are sometimes employed for decorative effect in quilting. Tessellations form a class of patterns in nature, for example in the arrays of hexagonal cells found in honeycombs.
History
[edit]Tessellations were used by the Sumerians (about 4000 BC) in building wall decorations formed by patterns of clay tiles.[1]
Decorative mosaic tilings made of small squared blocks called tesserae were widely employed in classical antiquity,[2] sometimes displaying geometric patterns.[3][4]
In 1619, Johannes Kepler made an early documented study of tessellations. He wrote about regular and semiregular tessellations in his Harmonices Mundi; he was possibly the first to explore and to explain the hexagonal structures of honeycomb and snowflakes.[5][6][7]
Some two hundred years later in 1891, the Russian crystallographer Yevgraf Fyodorov proved that every periodic tiling of the plane features one of seventeen different groups of isometries.[8][9] Fyodorov's work marked the unofficial beginning of the mathematical study of tessellations. Other prominent contributors include Alexei Vasilievich Shubnikov and Nikolai Belov in their book Colored Symmetry (1964),[10] and Heinrich Heesch and Otto Kienzle (1963).[11]
Etymology
[edit]In Latin, tessella is a small cubical piece of clay, stone, or glass used to make mosaics.[12] The word "tessella" means "small square" (from tessera, square, which in turn is from the Greek word τέσσερα for four). It corresponds to the everyday term tiling, which refers to applications of tessellations, often made of glazed clay.
Overview
[edit]Tessellation in two dimensions, also called planar tiling, is a topic in geometry that studies how shapes, known as tiles, can be arranged to fill a plane without any gaps, according to a given set of rules. These rules can be varied. Common ones are that there must be no gaps between tiles, and that no corner of one tile can lie along the edge of another.[13] The tessellations created by bonded brickwork do not obey this rule. Among those that do, a regular tessellation has both identical[a] regular tiles and identical regular corners or vertices, having the same angle between adjacent edges for every tile.[14] There are only three shapes that can form such regular tessellations: the equilateral triangle, square and the regular hexagon. Any one of these three shapes can be duplicated infinitely to fill a plane with no gaps.[6]
Many other types of tessellation are possible under different constraints. For example, there are eight types of semi-regular tessellation, made with more than one kind of regular polygon but still having the same arrangement of polygons at every corner.[15] Irregular tessellations can also be made from other shapes such as pentagons, polyominoes and in fact almost any kind of geometric shape. The artist M. C. Escher is famous for making tessellations with irregular interlocking tiles, shaped like animals and other natural objects.[16] If suitable contrasting colours are chosen for the tiles of differing shape, striking patterns are formed, and these can be used to decorate physical surfaces such as church floors.[17]
More formally, a tessellation or tiling is a cover of the Euclidean plane by a countable number of closed sets, called tiles, such that the tiles intersect only on their boundaries. These tiles may be polygons or any other shapes.[b] Many tessellations are formed from a finite number of prototiles in which all tiles in the tessellation are congruent to the given prototiles. If a geometric shape can be used as a prototile to create a tessellation, the shape is said to tessellate or to tile the plane. The Conway criterion is a sufficient, but not necessary, set of rules for deciding whether a given shape tiles the plane periodically without reflections: some tiles fail the criterion, but still tile the plane.[19] No general rule has been found for determining whether a given shape can tile the plane or not, which means there are many unsolved problems concerning tessellations.[18]
Mathematically, tessellations can be extended to spaces other than the Euclidean plane.[6] The Swiss geometer Ludwig Schläfli pioneered this by defining polyschemes, which mathematicians nowadays call polytopes. These are the analogues to polygons and polyhedra in spaces with more dimensions. He further defined the Schläfli symbol notation to make it easy to describe polytopes. For example, the Schläfli symbol for an equilateral triangle is {3}, while that for a square is {4}.[20] The Schläfli notation makes it possible to describe tilings compactly. For example, a tiling of regular hexagons has three six-sided polygons at each vertex, so its Schläfli symbol is {6,3}.[21]
Other methods also exist for describing polygonal tilings. When the tessellation is made of regular polygons, the most common notation is the vertex configuration, which is simply a list of the number of sides of the polygons around a vertex. The square tiling has a vertex configuration of 4.4.4.4, or 44. The tiling of regular hexagons is noted 6.6.6, or 63.[18]
In mathematics
[edit]Introduction to tessellations
[edit]Mathematicians use some technical terms when discussing tilings. An edge is the intersection between two bordering tiles; it is often a straight line. A vertex is the point of intersection of three or more bordering tiles. Using these terms, an isogonal or vertex-transitive tiling is a tiling where every vertex point is identical; that is, the arrangement of polygons about each vertex is the same.[18] The fundamental region is a shape such as a rectangle that is repeated to form the tessellation.[22] For example, a regular tessellation of the plane with squares has a meeting of four squares at every vertex.[18]
The sides of the polygons are not necessarily identical to the edges of the tiles. An edge-to-edge tiling is any polygonal tessellation where adjacent tiles only share one full side, i.e., no tile shares a partial side or more than one side with any other tile. In an edge-to-edge tiling, the sides of the polygons and the edges of the tiles are the same. The familiar "brick wall" tiling is not edge-to-edge because the long side of each rectangular brick is shared with two bordering bricks.[18]
A normal tiling is a tessellation for which every tile is topologically equivalent to a disk, the intersection of any two tiles is a connected set or the empty set, and all tiles are uniformly bounded. This means that a single circumscribing radius and a single inscribing radius can be used for all the tiles in the whole tiling; the condition disallows tiles that are pathologically long or thin.[23]
A monohedral tiling is a tessellation in which all tiles are congruent; it has only one prototile. A particularly interesting type of monohedral tessellation is the spiral monohedral tiling. The first spiral monohedral tiling was discovered by Heinz Voderberg in 1936; the Voderberg tiling has a unit tile that is a nonconvex enneagon.[1] The Hirschhorn tiling, published by Michael D. Hirschhorn and D. C. Hunt in 1985, is a pentagon tiling using irregular pentagons: regular pentagons cannot tile the Euclidean plane as the internal angle of a regular pentagon, 3π/5, is not a divisor of 2π.[24][25]
An isohedral tiling is a special variation of a monohedral tiling in which all tiles belong to the same transitivity class, that is, all tiles are transforms of the same prototile under the symmetry group of the tiling.[23] If a prototile admits a tiling, but no such tiling is isohedral, then the prototile is called anisohedral and forms anisohedral tilings.
A regular tessellation is a highly symmetric, edge-to-edge tiling made up of regular polygons, all of the same shape. There are only three regular tessellations: those made up of equilateral triangles, squares, or regular hexagons. All three of these tilings are isogonal and monohedral.[26]
A semi-regular (or Archimedean) tessellation uses more than one type of regular polygon in an isogonal arrangement. There are eight semi-regular tilings (or nine if the mirror-image pair of tilings counts as two).[27] These can be described by their vertex configuration; for example, a semi-regular tiling using squares and regular octagons has the vertex configuration 4.82 (each vertex has one square and two octagons).[28] Many non-edge-to-edge tilings of the Euclidean plane are possible, including the family of Pythagorean tilings, tessellations that use two (parameterised) sizes of square, each square touching four squares of the other size.[29] An edge tessellation is one in which each tile can be reflected over an edge to take up the position of a neighbouring tile, such as in an array of equilateral or isosceles triangles.[30]
Wallpaper groups
[edit]Tilings with translational symmetry in two independent directions can be categorized by wallpaper groups, of which 17 exist.[31] It has been claimed that all seventeen of these groups are represented in the Alhambra palace in Granada, Spain. Although this is disputed,[32] the variety and sophistication of the Alhambra tilings have interested modern researchers.[33] Of the three regular tilings two are in the p6m wallpaper group and one is in p4m. Tilings in 2-D with translational symmetry in just one direction may be categorized by the seven frieze groups describing the possible frieze patterns.[34] Orbifold notation can be used to describe wallpaper groups of the Euclidean plane.[35]
Aperiodic tilings
[edit]Penrose tilings, which use two different quadrilateral prototiles, are the best known example of tiles that forcibly create non-periodic patterns. They belong to a general class of aperiodic tilings, which use tiles that cannot tessellate periodically. The recursive process of substitution tiling is a method of generating aperiodic tilings. One class that can be generated in this way is the rep-tiles; these tilings have unexpected self-replicating properties.[36] Pinwheel tilings are non-periodic, using a rep-tile construction; the tiles appear in infinitely many orientations.[37] It might be thought that a non-periodic pattern would be entirely without symmetry, but this is not so. Aperiodic tilings, while lacking in translational symmetry, do have symmetries of other types, by infinite repetition of any bounded patch of the tiling and in certain finite groups of rotations or reflections of those patches.[38] A substitution rule, such as can be used to generate Penrose patterns using assemblies of tiles called rhombs, illustrates scaling symmetry.[39] A Fibonacci word can be used to build an aperiodic tiling, and to study quasicrystals, which are structures with aperiodic order.[40]
Wang tiles are squares coloured on each edge, and placed so that abutting edges of adjacent tiles have the same colour; hence they are sometimes called Wang dominoes. A suitable set of Wang dominoes can tile the plane, but only aperiodically. This is known because any Turing machine can be represented as a set of Wang dominoes that tile the plane if, and only if, the Turing machine does not halt. Since the halting problem is undecidable, the problem of deciding whether a Wang domino set can tile the plane is also undecidable.[41][42][43][44][45]
Truchet tiles are square tiles decorated with patterns so they do not have rotational symmetry; in 1704, Sébastien Truchet used a square tile split into two triangles of contrasting colours. These can tile the plane either periodically or randomly.[46][47]
An einstein tile is a single shape that forces aperiodic tiling. The first such tile, dubbed a "hat", was discovered in 2023 by David Smith, a hobbyist mathematician.[48][49] The discovery is under professional review and, upon confirmation, will be credited as solving a longstanding mathematical problem.[50]
Tessellations and colour
[edit]Sometimes the colour of a tile is understood as part of the tiling; at other times arbitrary colours may be applied later. When discussing a tiling that is displayed in colours, to avoid ambiguity, one needs to specify whether the colours are part of the tiling or just part of its illustration. This affects whether tiles with the same shape, but different colours, are considered identical, which in turn affects questions of symmetry. The four colour theorem states that for every tessellation of a normal Euclidean plane, with a set of four available colours, each tile can be coloured in one colour such that no tiles of equal colour meet at a curve of positive length. The colouring guaranteed by the four colour theorem does not generally respect the symmetries of the tessellation. To produce a colouring that does, it is necessary to treat the colours as part of the tessellation. Here, as many as seven colours may be needed, as demonstrated in the image at left.[51]
Tessellations with polygons
[edit]Next to the various tilings by regular polygons, tilings by other polygons have also been studied.
Any triangle or quadrilateral (even non-convex) can be used as a prototile to form a monohedral tessellation, often in more than one way. Copies of an arbitrary quadrilateral can form a tessellation with translational symmetry and 2-fold rotational symmetry with centres at the midpoints of all sides. For an asymmetric quadrilateral this tiling belongs to wallpaper group p2. As fundamental domain we have the quadrilateral. Equivalently, we can construct a parallelogram subtended by a minimal set of translation vectors, starting from a rotational centre. We can divide this by one diagonal, and take one half (a triangle) as fundamental domain. Such a triangle has the same area as the quadrilateral and can be constructed from it by cutting and pasting.[52]
If only one shape of tile is allowed, tilings exist with convex N-gons for N equal to 3, 4, 5, and 6. For N = 5, see Pentagonal tiling, for N = 6, see Hexagonal tiling, for N = 7, see Heptagonal tiling and for N = 8, see octagonal tiling.
With non-convex polygons, there are far fewer limitations in the number of sides, even if only one shape is allowed.
Polyominoes are examples of tiles that are either convex of non-convex, for which various combinations, rotations, and reflections can be used to tile a plane. For results on tiling the plane with polyominoes, see Polyomino § Uses of polyominoes.
Voronoi tilings
[edit]Voronoi or Dirichlet tilings are tessellations where each tile is defined as the set of points closest to one of the points in a discrete set of defining points. (Think of geographical regions where each region is defined as all the points closest to a given city or post office.)[53][54] The Voronoi cell for each defining point is a convex polygon. The Delaunay triangulation is a tessellation that is the dual graph of a Voronoi tessellation. Delaunay triangulations are useful in numerical simulation, in part because among all possible triangulations of the defining points, Delaunay triangulations maximize the minimum of the angles formed by the edges.[55] Voronoi tilings with randomly placed points can be used to construct random tilings of the plane.[56]
Tessellations in higher dimensions
[edit]Tessellation can be extended to three dimensions. Certain polyhedra can be stacked in a regular crystal pattern to fill (or tile) three-dimensional space, including the cube (the only Platonic polyhedron to do so), the rhombic dodecahedron, the truncated octahedron, and triangular, quadrilateral, and hexagonal prisms, among others.[57] Any polyhedron that fits this criterion is known as a plesiohedron, and may possess between 4 and 38 faces.[58] Naturally occurring rhombic dodecahedra are found as crystals of andradite (a kind of garnet) and fluorite.[59][60]
Tessellations in three or more dimensions are called honeycombs. In three dimensions there is just one regular honeycomb, which has eight cubes at each polyhedron vertex. Similarly, in three dimensions there is just one quasiregular[c] honeycomb, which has eight tetrahedra and six octahedra at each polyhedron vertex. However, there are many possible semiregular honeycombs in three dimensions.[61] Uniform honeycombs can be constructed using the Wythoff construction.[62]
The Schmitt-Conway biprism is a convex polyhedron with the property of tiling space only aperiodically.[63]
A Schwarz triangle is a spherical triangle that can be used to tile a sphere.[64]
Tessellations in non-Euclidean geometries
[edit]It is possible to tessellate in non-Euclidean geometries such as hyperbolic geometry. A uniform tiling in the hyperbolic plane (that may be regular, quasiregular, or semiregular) is an edge-to-edge filling of the hyperbolic plane, with regular polygons as faces; these are vertex-transitive (transitive on its vertices), and isogonal (there is an isometry mapping any vertex onto any other).[65][66]
A uniform honeycomb in hyperbolic space is a uniform tessellation of uniform polyhedral cells. In three-dimensional (3-D) hyperbolic space there are nine Coxeter group families of compact convex uniform honeycombs, generated as Wythoff constructions, and represented by permutations of rings of the Coxeter diagrams for each family.[67]
In art
[edit]In architecture, tessellations have been used to create decorative motifs since ancient times. Mosaic tilings often had geometric patterns.[4] Later civilisations also used larger tiles, either plain or individually decorated. Some of the most decorative were the Moorish wall tilings of Islamic architecture, using Girih and Zellige tiles in buildings such as the Alhambra[68] and La Mezquita.[69]
Tessellations frequently appeared in the graphic art of M. C. Escher; he was inspired by the Moorish use of symmetry in places such as the Alhambra when he visited Spain in 1936.[70] Escher made four "Circle Limit" drawings of tilings that use hyperbolic geometry.[71][72] For his woodcut "Circle Limit IV" (1960), Escher prepared a pencil and ink study showing the required geometry.[73] Escher explained that "No single component of all the series, which from infinitely far away rise like rockets perpendicularly from the limit and are at last lost in it, ever reaches the boundary line."[74]
Tessellated designs often appear on textiles, whether woven, stitched in, or printed. Tessellation patterns have been used to design interlocking motifs of patch shapes in quilts.[75][76]
Tessellations are also a main genre in origami (paper folding), where pleats are used to connect molecules, such as twist folds, together in a repeating fashion.[77]
In manufacturing
[edit]Tessellation is used in manufacturing industry to reduce the wastage of material (yield losses) such as sheet metal when cutting out shapes for objects such as car doors or drink cans.[78]
Tessellation is apparent in the mudcrack-like cracking of thin films[79][80] – with a degree of self-organisation being observed using micro and nanotechnologies.[81]
In nature
[edit]The honeycomb is a well-known example of tessellation in nature with its hexagonal cells.[82]
In botany, the term "tessellate" describes a checkered pattern, for example on a flower petal, tree bark, or fruit. Flowers including the fritillary,[83] and some species of Colchicum, are characteristically tessellate.[84]
Many patterns in nature are formed by cracks in sheets of materials. These patterns can be described by Gilbert tessellations,[85] also known as random crack networks.[86] The Gilbert tessellation is a mathematical model for the formation of mudcracks, needle-like crystals, and similar structures. The model, named after Edgar Gilbert, allows cracks to form starting from being randomly scattered over the plane; each crack propagates in two opposite directions along a line through the initiation point, its slope chosen at random, creating a tessellation of irregular convex polygons.[87] Basaltic lava flows often display columnar jointing as a result of contraction forces causing cracks as the lava cools. The extensive crack networks that develop often produce hexagonal columns of lava. One example of such an array of columns is the Giant's Causeway in Northern Ireland.[88] Tessellated pavement, a characteristic example of which is found at Eaglehawk Neck on the Tasman Peninsula of Tasmania, is a rare sedimentary rock formation where the rock has fractured into rectangular blocks.[89]
Other natural patterns occur in foams; these are packed according to Plateau's laws, which require minimal surfaces. Such foams present a problem in how to pack cells as tightly as possible: in 1887, Lord Kelvin proposed a packing using only one solid, the bitruncated cubic honeycomb with very slightly curved faces. In 1993, Denis Weaire and Robert Phelan proposed the Weaire–Phelan structure, which uses less surface area to separate cells of equal volume than Kelvin's foam.[90]
In puzzles and recreational mathematics
[edit]Tessellations have given rise to many types of tiling puzzle, from traditional jigsaw puzzles (with irregular pieces of wood or cardboard)[91] and the tangram,[92] to more modern puzzles that often have a mathematical basis. For example, polyiamonds and polyominoes are figures of regular triangles and squares, often used in tiling puzzles.[93][94] Authors such as Henry Dudeney and Martin Gardner have made many uses of tessellation in recreational mathematics. For example, Dudeney invented the hinged dissection,[95] while Gardner wrote about the "rep-tile", a shape that can be dissected into smaller copies of the same shape.[96][97] Inspired by Gardner's articles in Scientific American, the amateur mathematician Marjorie Rice found four new tessellations with pentagons.[98][99] Squaring the square is the problem of tiling an integral square (one whose sides have integer length) using only other integral squares.[100][101] An extension is squaring the plane, tiling it by squares whose sizes are all natural numbers without repetitions; James and Frederick Henle proved that this was possible.[102]
Examples
[edit]-
Triangular tiling, one of the three regular tilings of the plane
-
Snub hexagonal tiling, a semiregular tiling of the plane
-
Floret pentagonal tiling, dual to a semiregular tiling and one of 15 monohedral pentagon tilings
-
All tiling elements are identical pseudo‑triangles by disregarding their colors and ornaments
-
Alternated octagonal or tritetragonal tiling is a uniform tiling of the hyperbolic plane
-
Topological square tiling, isohedrally distorted into I shapes
See also
[edit]Explanatory footnotes
[edit]- ^ The mathematical term for identical shapes is "congruent" – in mathematics, "identical" means they are the same tile.
- ^ The tiles are usually required to be homeomorphic (topologically equivalent) to a closed disk, which means bizarre shapes with holes, dangling line segments, or infinite areas are excluded.[18]
- ^ In this context, quasiregular means that the cells are regular (solids), and the vertex figures are semiregular.
References
[edit]- ^ a b Pickover, Clifford A. (2009). The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics. Sterling. p. 372. ISBN 978-1-4027-5796-9.
- ^ Dunbabin, Katherine M. D. (2006). Mosaics of the Greek and Roman world. Cambridge University Press. p. 280.
- ^ "The Brantingham Geometric Mosaics". Hull City Council. 2008. Retrieved 26 May 2015.
- ^ a b Field, Robert (1988). Geometric Patterns from Roman Mosaics. Tarquin. ISBN 978-0-906-21263-9.
- ^ Kepler, Johannes (1619). Harmonices Mundi [Harmony of the Worlds].
- ^ a b c Gullberg 1997, p. 395.
- ^ Stewart 2001, p. 13.
- ^ Djidjev, Hristo; Potkonjak, Miodrag (2012). "Dynamic Coverage Problems in Sensor Networks" (PDF). Los Alamos National Laboratory. p. 2. Retrieved 6 April 2013.
- ^ Fyodorov, Y. (1891). "Simmetrija na ploskosti [Symmetry in the plane]". Zapiski Imperatorskogo Sant-Petersburgskogo Mineralogicheskogo Obshchestva [Proceedings of the Imperial St. Petersburg Mineralogical Society]. 2 (in Russian). 28: 245–291.
- ^ Shubnikov, Alekseĭ Vasilʹevich; Belov, Nikolaĭ Vasilʹevich (1964). Colored Symmetry. Macmillan.
- ^ Heesch, H.; Kienzle, O. (1963). Flächenschluss: System der Formen lückenlos aneinanderschliessender Flächteile (in German). Springer.
- ^ "Tessellate". Merriam-Webster Online. Retrieved 26 May 2015.
- ^ Conway, R.; Burgiel, H.; Goodman-Strauss, G. (2008). The Symmetries of Things. Peters.
- ^ Coxeter 1973.
- ^ Cundy and Rollett (1961). Mathematical Models (2nd ed.). Oxford. pp. 61–62.
- ^ Escher 1974, pp. 11–12, 15–16.
- ^ "Basilica di San Marco". Section: Tessellated floor. Basilica di San Marco. Retrieved 26 April 2013.
- ^ a b c d e f Grünbaum & Shephard 1987, p. 59.
- ^ Schattschneider, Doris (September 1980). "Will It Tile? Try the Conway Criterion!". Mathematics Magazine. Vol. 53, no. 4. pp. 224–233. doi:10.2307/2689617. JSTOR 2689617.
- ^ Coxeter, H. S. M. (1948). Regular Polytopes. Methuen. pp. 14, 69, 149. ISBN 978-0-486-61480-9.
- ^ Weisstein, Eric W. "Tessellation". MathWorld.
- ^ Emmer, Michele; Schattschneider, Doris (8 May 2007). M.C. Escher's Legacy: A Centennial Celebration. Berlin Heidelberg: Springer. p. 325. ISBN 978-3-540-28849-7.
- ^ a b Horne, Clare E. (2000). Geometric Symmetry in Patterns and Tilings. Woodhead Publishing. pp. 172, 175. ISBN 978-1-85573-492-0.
- ^ Dutch, Steven (29 July 1999). "Some Special Radial and Spiral Tilings". University of Wisconsin. Archived from the original on 4 April 2013. Retrieved 6 April 2013.
- ^ Hirschhorn, M. D.; Hunt, D. C. (1985). "Equilateral convex pentagons which tile the plane". Journal of Combinatorial Theory. Series A. 39 (1): 1–18. doi:10.1016/0097-3165(85)90078-0.
- ^ Weisstein, Eric W. "Regular Tessellations". MathWorld.
- ^ Stewart 2001, p. 75.
- ^ NRICH (Millennium Maths Project) (1997–2012). "Schläfli Tessellations". University of Cambridge. Retrieved 26 April 2013.
- ^ Wells, David (1991). "two squares tessellation". The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 260–261. ISBN 978-0-14-011813-1.
- ^ Kirby, Matthew; Umble, Ronald (2011). "Edge Tessellations and Stamp Folding Puzzles". Mathematics Magazine. 84 (4): 283–89. doi:10.4169/math.mag.84.4.283. S2CID 123579388.
- ^ Armstrong, M.A. (1988). Groups and Symmetry. New York: Springer-Verlag. ISBN 978-3-540-96675-3.
- ^ Grünbaum, Branko (June–July 2006). "What symmetry groups are present in the Alhambra?" (PDF). Notices of the American Mathematical Society. 53 (6): 670–673.
- ^ Lu, Peter J.; Steinhardt (23 February 2007). "Decagonal and quasi-crystalline tilings in medieval Islamic architecture". Science. 315 (5815): 1106–10. Bibcode:2007Sci...315.1106L. doi:10.1126/science.1135491. PMID 17322056. S2CID 10374218.
- ^ Weisstein, Eric W. "Frieze Group". MathWorld.
- ^ Huson, Daniel H. (1991). "Two-Dimensional Symmetry Mutation". Princeton University. CiteSeerX 10.1.1.30.8536 – via CiteSeerX.
- ^ Gardner 1989, pp. 1–18.
- ^ Radin, C. (May 1994). "The Pinwheel Tilings of the Plane". Annals of Mathematics. 139 (3): 661–702. CiteSeerX 10.1.1.44.9723. doi:10.2307/2118575. JSTOR 2118575.
- ^ Austin, David. "Penrose Tiles Talk Across Miles". American Mathematical Society. Retrieved 29 May 2015.
- ^ Harriss, E. O. "Aperiodic Tiling" (PDF). University of London and EPSRC. Archived from the original (PDF) on 29 August 2017. Retrieved 29 May 2015.
- ^ Dharma-wardana, M. W. C.; MacDonald, A. H.; Lockwood, D. J.; Baribeau, J.-M.; Houghton, D. C. (1987). "Raman scattering in Fibonacci superlattices". Physical Review Letters. 58 (17): 1761–1765. Bibcode:1987PhRvL..58.1761D. doi:10.1103/physrevlett.58.1761. PMID 10034529.
- ^ Wang, Hao (1961). "Proving theorems by pattern recognition—II". Bell System Technical Journal. 40 (1): 1–41. doi:10.1002/j.1538-7305.1961.tb03975.x.
- ^ Wang, Hao (November 1965). "Games, logic and computers". Scientific American. pp. 98–106.
- ^ Berger, Robert (1966). "The undecidability of the domino problem". Memoirs of the American Mathematical Society. 66 (66): 72. doi:10.1090/memo/0066.
- ^ Robinson, Raphael M. (1971). "Undecidability and nonperiodicity for tilings of the plane". Inventiones Mathematicae. 12 (3): 177–209. Bibcode:1971InMat..12..177R. doi:10.1007/bf01418780. MR 0297572. S2CID 14259496.
- ^ Culik, Karel II (1996). "An aperiodic set of 13 Wang tiles". Discrete Mathematics. 160 (1–3): 245–251. doi:10.1016/S0012-365X(96)00118-5. MR 1417576.
- ^ Browne, Cameron (2008). "Truchet curves and surfaces". Computers & Graphics. 32 (2): 268–281. doi:10.1016/j.cag.2007.10.001.
- ^ Smith, Cyril Stanley (1987). "The tiling patterns of Sebastian Truchet and the topology of structural hierarchy". Leonardo. 20 (4): 373–385. doi:10.2307/1578535. JSTOR 1578535. S2CID 192944820.
- ^ Conover, Emily (24 March 2023). "Mathematicians have finally discovered an elusive 'einstein' tile". Science News. Retrieved 25 March 2023. with image of the pattern
- ^ Smith, David; Myers, Joseph Samuel; Kaplan, Craig S.; Goodman-Strauss, Chaim (March 2023). "An aperiodic monotile". arXiv:2303.10798
- ^ Roberts, Soibhan, Elusive 'Einstein' Solves a Longstanding Mathematical Problem, the New York Times, March 28, 2023, with image of the pattern
- ^ "Four-colour problem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- ^ Jones, Owen (1910) [1856]. The Grammar of Ornament (folio ed.). Bernard Quaritch.
- ^ Aurenhammer, Franz (1991). "Voronoi Diagrams – A Survey of a Fundamental Geometric Data Structure". ACM Computing Surveys. 23 (3): 345–405. doi:10.1145/116873.116880. S2CID 4613674.
- ^ Okabe, Atsuyuki; Boots, Barry; Sugihara, Kokichi; Chiu, Sung Nok (2000). Spatial Tessellations – Concepts and Applications of Voronoi Diagrams (2nd ed.). John Wiley. ISBN 978-0-471-98635-5.
- ^ George, Paul Louis; Borouchaki, Houman (1998). Delaunay Triangulation and Meshing: Application to Finite Elements. Hermes. pp. 34–35. ISBN 978-2-86601-692-0.
- ^ Moller, Jesper (1994). Lectures on Random Voronoi Tessellations. Springer. ISBN 978-1-4612-2652-9.
- ^ Grünbaum, Branko (1994). "Uniform tilings of 3-space". Geombinatorics. 4 (2): 49–56.
- ^ Engel, Peter (1981). "Über Wirkungsbereichsteilungen von kubischer Symmetrie". Zeitschrift für Kristallographie, Kristallgeometrie, Kristallphysik, Kristallchemie. 154 (3–4): 199–215. Bibcode:1981ZK....154..199E. doi:10.1524/zkri.1981.154.3-4.199. MR 0598811..
- ^ Oldershaw, Cally (2003). Firefly Guide to Gems. Firefly Books. p. 107. ISBN 978-1-55297-814-6.
- ^ Kirkaldy, J. F. (1968). Minerals and Rocks in Colour (2nd ed.). Blandford. pp. 138–139.
- ^ Coxeter, Harold Scott Macdonald; Sherk, F. Arthur; Canadian Mathematical Society (1995). Kaleidoscopes: Selected Writings of H.S.M. Coxeter. John Wiley & Sons. p. 3 and passim. ISBN 978-0-471-01003-6.
- ^ Weisstein, Eric W. "Wythoff construction". MathWorld.
- ^ Senechal, Marjorie (26 September 1996). Quasicrystals and Geometry. CUP Archive. p. 209. ISBN 978-0-521-57541-6.
- ^ Schwarz, H. A. (1873). "Ueber diejenigen Fälle in welchen die Gaussichen hypergeometrische Reihe eine algebraische Function ihres vierten Elementes darstellt". Journal für die reine und angewandte Mathematik. 1873 (75): 292–335. doi:10.1515/crll.1873.75.292. ISSN 0075-4102. S2CID 121698536.
- ^ Margenstern, Maurice (4 January 2011). "Coordinates for a new triangular tiling of the hyperbolic plane". arXiv:1101.0530 [cs.FL].
- ^ Zadnik, Gašper. "Tiling the Hyperbolic Plane with Regular Polygons". Wolfram. Retrieved 27 May 2015.
- ^ Coxeter, H.S.M. (1999). "Chapter 10: Regular honeycombs in hyperbolic space". The Beauty of Geometry: Twelve Essays. Dover Publications. pp. 212–213. ISBN 978-0-486-40919-1.
- ^ "Mathematics in Art and Architecture". National University of Singapore. Retrieved 17 May 2015.
- ^ Whittaker, Andrew (2008). Speak the Culture: Spain. Thorogood Publishing. p. 153. ISBN 978-1-85418-605-8.
- ^ Escher 1974, pp. 5, 17.
- ^ Gersten, S. M. "Introduction to Hyperbolic and Automatic Groups" (PDF). University of Utah. Retrieved 27 May 2015.
Figure 1 is part of a tiling of the Euclidean plane, which we imagine as continued in all directions, and Figure 2 [Circle Limit IV] is a beautiful tesselation of the Poincaré unit disc model of the hyperbolic plane by white tiles representing angels and black tiles representing devils. An important feature of the second is that all white tiles are mutually congruent as are all black tiles; of course this is not true for the Euclidean metric, but holds for the Poincaré metric
- ^ Leys, Jos (2015). "Hyperbolic Escher". Retrieved 27 May 2015.
- ^ Escher 1974, pp. 142–143.
- ^ Escher 1974, p. 16.
- ^ Porter, Christine (2006). Tessellation Quilts: Sensational Designs From Interlocking Patterns. F+W Media. pp. 4–8. ISBN 978-0-7153-1941-3.
- ^ Beyer, Jinny (1999). Designing tessellations: the secrets of interlocking patterns. Contemporary Book. pp. Ch. 7. ISBN 978-0-8092-2866-9.
- ^ Gjerde, Eric (2008). Origami Tessellations. Taylor and Francis. ISBN 978-1-568-81451-3.
- ^ "Reducing yield losses: using less metal to make the same thing". UIT Cambridge. Archived from the original on 29 May 2015. Retrieved 29 May 2015.
- ^ Thouless, M. D. (1990). "Crack Spacing in Brittle Films on Elastic Substrates". J. Am. Chem. Soc. 73 (7): 2144–2146. doi:10.1111/j.1151-2916.1990.tb05290.x.
- ^ Xia, Z. C.; Hutchinson, J. W. (2000). "Crack patterns in thin films". J. Mech. Phys. Solids. 48 (6–7): 1107–1131. Bibcode:2000JMPSo..48.1107X. doi:10.1016/S0022-5096(99)00081-2.
- ^ Seghir, R.; Arscott, S. (2015). "Controlled mud-crack patterning and self-organized cracking of polydimethylsiloxane elastomer surfaces". Sci. Rep. 5: 14787. Bibcode:2015NatSR...514787S. doi:10.1038/srep14787. PMC 4594096. PMID 26437880.
- ^ Ball, Philip (2013). "How honeycombs can build themselves". Nature. doi:10.1038/nature.2013.13398. S2CID 138195687. Retrieved 7 November 2014.
- ^ Shorter Oxford English dictionary (6th ed.). United Kingdom: Oxford University Press. 2007. p. 3804. ISBN 978-0-19-920687-2.
- ^ Purdy, Kathy (2007). "Colchicums: autumn's best-kept secret". American Gardener (September/October): 18–22.
- ^ Schreiber, Tomasz; Soja, Natalia (2010). "Limit theory for planar Gilbert tessellations". arXiv:1005.0023 [math.PR].
- ^ Gray, N. H.; Anderson, J. B.; Devine, J. D.; Kwasnik, J. M. (1976). "Topological properties of random crack networks". Mathematical Geology. 8 (6): 617–626. doi:10.1007/BF01031092. S2CID 119949515.
- ^ Gilbert, E. N. (1967). "Random plane networks and needle-shaped crystals". In Noble, B. (ed.). Applications of Undergraduate Mathematics in Engineering. New York: Macmillan.
- ^ Weaire, D.; Rivier, N. (1984). "Soap, cells and statistics: Random patterns in two dimensions". Contemporary Physics. 25 (1): 59–99. Bibcode:1984ConPh..25...59W. doi:10.1080/00107518408210979.
- ^ Branagan, D.F. (1983). Young, R.W.; Nanson, G.C. (eds.). Tesselated pavements. Aspects of Australian sandstone landscapes. Special Publication No. 1, Australian and New Zealand Geomorphology. Wollongong, NSW: University of Wollongong. pp. 11–20. ISBN 978-0-864-18001-8. OCLC 12650092.
- ^ Ball, Philip (2009). Shapes. Oxford University Press. pp. 73–76. ISBN 978-0-199-60486-9.
- ^ McAdam, Daniel. "History of Jigsaw Puzzles". American Jigsaw Puzzle Society. Archived from the original on 11 February 2014. Retrieved 28 May 2015.
- ^ Slocum, Jerry (2001). The Tao of Tangram. Barnes & Noble. p. 9. ISBN 978-1-4351-0156-2.
- ^ Golomb, Solomon W. (1994). Polyominoes (2nd ed.). Princeton University Press. ISBN 978-0-691-02444-8.
- ^ Martin, George E. (1991). Polyominoes: A guide to puzzles and problems in tiling. Mathematical Association of America. ISBN 978-0-88385-501-0.
- ^ Frederickson, Greg N. (2002). Hinged Dissections: Swinging and Twisting. Cambridge University Press. ISBN 978-0-521-81192-7.
- ^ Gardner, Martin (May 1963). "On 'Rep-tiles,' Polygons that can make larger and smaller copies of themselves". Scientific American. Vol. 208, no. May. pp. 154–164.
- ^ Gardner, Martin (14 December 2006). Aha! A Two Volume Collection: Aha! Gotcha Aha! Insight. MAA. p. 48. ISBN 978-0-88385-551-5.
- ^ Suri, Mani (12 October 2015). "The Importance of Recreational Math". New York Times.
- ^ Schattschneider, Doris (1978). "Tiling the Plane with Congruent Pentagons" (PDF). Mathematics Magazine. 51 (1). MAA: 29–44. doi:10.2307/2689644. JSTOR 2689644.
- ^ Tutte, W. T. "Squaring the Square". Squaring.net. Retrieved 29 May 2015.
- ^ Gardner, Martin; Tutte, William T. (November 1958). "Mathematical Games". Scientific American.
- ^ Henle, Frederick V.; Henle, James M. (2008). "Squaring the plane" (PDF). American Mathematical Monthly. 115 (1): 3–12. doi:10.1080/00029890.2008.11920491. JSTOR 27642387. S2CID 26663945. Archived from the original (PDF) on 20 June 2006.
Sources
[edit]- Coxeter, H. S. M. (1973). "Section IV : Tessellations and Honeycombs". Regular Polytopes. Dover Publications. ISBN 978-0-486-61480-9.
- Escher, M. C. (1974). J. L. Locher (ed.). The World of M. C. Escher (New Concise NAL ed.). Abrams. ISBN 978-0-451-79961-6.
- Gardner, Martin (1989). Penrose Tiles to Trapdoor Ciphers. Cambridge University Press. ISBN 978-0-88385-521-8.
- Grünbaum, Branko; Shephard, G. C. (1987). Tilings and Patterns. W. H. Freeman. ISBN 978-0-7167-1193-3.
- Gullberg, Jan (1997). Mathematics From the Birth of Numbers. Norton. ISBN 978-0-393-04002-9.
- Stewart, Ian (2001). What Shape Is a Snowflake?. Weidenfeld and Nicolson. ISBN 978-0-297-60723-6.
External links
[edit]- Tegula (open-source software for exploring two-dimensional tilings of the plane, sphere and hyperbolic plane; includes databases containing millions of tilings)
- Wolfram MathWorld: Tessellation (good bibliography, drawings of regular, semiregular and demiregular tessellations)
- Dirk Frettlöh and Edmund Harriss. "Tilings Encyclopedia" (extensive information on substitution tilings, including drawings, people, and references)
- Tessellations.org (how-to guides, Escher tessellation gallery, galleries of tessellations by other artists, lesson plans, history)
- Eppstein, David. "The Geometry Junkyard: Hyperbolic Tiling". (list of web resources including articles and galleries)