Friesgruppe

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 14. September 2022 um 22:06 Uhr durch imported>BrunoBoehmler(292800) (→‎Bandornamente in der Kunstethnologie: unnötige Zeilenschaltung entfernt, Abkürzung vermieden).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Fries- oder Bandornamentgruppen sind spezielle Gruppen, die in der Mathematik, genauer der diskreten Geometrie, untersucht werden.

Grundidee

Bandornamente (oder Friese) sind Muster, die gebildet werden, indem man eine bestimmte kleinste Einheit (z. B. ein Muster oder eine Figur) entlang einer festen Richtung (der sogenannten Friesrichtung) immer wieder aneinandersetzt. Eine Bandornamentgruppe wiederum ist anschaulich gesehen die Symmetriegruppe eines bestimmten Bandornamentes, dabei stellt man sich das Bandornament allerdings in beide Richtungen ins Unendliche verlängert vor. Bandornamente können viele verschiedene Formen und Figuren aufweisen, die mathematisch schwer handhabbar sind, so dass Bandornamentgruppen mathematisch gesehen nur schlecht auf diese Art und Weise definiert werden können.

Allerdings haben alle Bandornamentgruppen eines gemeinsam: Aufgrund seiner Konstruktion wird ein Bandornament auf jeden Fall auf sich selbst abgebildet, wenn man es um eine Einheit oder um ein Vielfaches dieser Einheit entlang der Friesrichtung verschiebt. Solche Verschiebungen oder Translationen (Parallelverschiebungen) gehören also zu der Symmetriegruppe eines Bandornamentes. Sie sind aber auch die einzig möglichen Verschiebungen, die ein

Beispiel eines Frieses und wichtigste Bezeichnungen

Bandornament auf sich abbildet, insbesondere treten keinerlei Verschiebungen in eine andere Richtung als in Friesrichtung (bzw. in die entgegengesetzte Richtung) auf. Die einzigen Verschiebungen, die also innerhalb einer Symmetriegruppe eines Frieses auftauchen können und müssen, sind Verschiebungen um ein Vielfaches eines Vektors, dessen Länge gleich dem Abstand zwischen zwei kleinsten Einheiten ist und der in Friesrichtung zeigt. Bezeichnet man einen solchen Vektor mit , so gilt für jede Verschiebung aus der Symmetriegruppe des Frieses: . Mit anderen Worten: Alle in der Symmetriegruppe des Bandornamentes vorkommenden Verschiebungen gehören zu der von erzeugten Gruppe, insbesondere bilden die Translationen einer Bandornamentgruppe eine zyklische Gruppe. Diese Eigenschaft von Friessymmetriegruppen wird zur mathematischen Definition einer Bandornamentgruppe herangezogen.

Mathematische Definition

Friesgruppe
Sei ein zweidimensionaler euklidischer Raum und die Menge seiner Isometrien. Eine Untergruppe heißt Friesgruppe, wenn die Gruppe seiner Translationen zur additiven Gruppe isomorph ist, d. h. wenn eine Translation existiert, so dass für jede beliebige Translation gilt: mit passendem .

Den zu einer erzeugenden Translation gehörigen Translationsvektor nennt man auch Friesvektor, er ist bis auf das Vorzeichen eindeutig bestimmt. Die Gerade heißt Friesrichtung. Da die Menge der Translationen einer aus Isometrien bestehenden Gruppe selbst wieder eine Gruppe ist, nennt man T(G) auch die Translationsgruppe von G. Es sei darauf hingewiesen, dass die n-fache Hintereinanderschaltung der Abbildung bezeichnet und dass gilt:

Hintergrund: Ist eine diskrete Bewegungsgruppe der Ebene, so gibt es nur drei Möglichkeiten:[1] 1) , und ist eine Punktgruppe; 2) , und ist eine Friesgruppe; 3) , und ist eine Ornamentgruppe.

Klassifizierung

Bei genauerer Untersuchung stellt man fest, dass es „so viele“ Friesgruppen gar nicht gibt, d. h. viele Friesgruppen sind sich in einem gewissen Sinn ähnlich. Dabei denkt man an den Ähnlichkeitsbegriff, der im nächsten Abschnitt definiert wird.

Klassifizierung

Ähnlichkeit
Zwei Untergruppen und heißen ähnlich, wenn es eine bijektive affine Abbildung gibt mit

Die Ähnlichkeit von Gruppen hat die Eigenschaften einer Äquivalenzrelation, so dass man mit der Definition der Ähnlichkeit die Menge aller Untergruppen von disjunkt zerlegt.

Es zeigt sich, dass es nur sieben Typen von Bandornamentgruppen bzgl. der Ähnlichkeit gibt. Wählt man also eine beliebige Bandornamentgruppe G aus, so gibt es eine Gruppe H von einem der sieben nachfolgend beschriebenen Typen sowie eine bijektive affine Abbildung mit . Alle Typen sind systematisch durchnummeriert und in der nachfolgenden Liste aufgeführt und beschrieben (im Folgenden sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau_{v_G} =: \tau_G } ein Erzeugendenelement der Translationsgruppe von G).

Typen von Bandornamentgruppen:

F1 Eine Gruppe des Typs F1 enthält nur Translationen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau_G^n} .
F2 Gruppen des Typs F2 enthalten nur Translationen von obigem Typ sowie Punktspiegelungen an Zentren der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac n2 v_G } mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \mathbb Z}
F3 Bandornamentgruppen dieses Typs enthalten Translationen sowie Spiegelungen an Achsen senkrecht zu Friesrichtung. Die Achsen verlaufen durch die Punkte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac n2 v_G, n \in \mathbb Z}
F4.1 Solche Gruppen bestehen aus Translationen und aus (Schub-)spiegelungen an einer Achse parallel zur Friesrichtung. Die Verschiebevektoren dieser Schubspiegelungen sind von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n v_G, n \in \mathbb Z }
F4.2 Gruppen des Typs 4.2 enthalten Translationen sowie Schubspiegelungen an einer Achse parallel zur Friesrichtung mit Verschiebevektor der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac 12 v_G + n v_G, n \in \mathbb Z} .
F5.1 Gruppen dieses Typs enthalten die gleichen Abbildungen wie Gruppen des Typs F4.1 und zusätzlich die Abbildungen des Typs F2 und F3.
F5.2 Enthält alle Abbildungen, die unter F2, F3 und F4.2 beschrieben sind.

Beweis der Klassifizierung (Skizze)

Der Beweis der Klassifizierung wird über die sogenannte Punktgruppe S(G) einer Friesgruppe G geführt. Die Punktgruppe von G besteht aus allen linearen Anteilen der Abbildungen aus G: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S(G) = \{ L: E \rightarrow E \mbox{ linear}\; | \exists v \in E : \varphi_{v,L} \in G\}} . Im Beweis überlegt man sich, welche Punktgruppen möglich sind und rekonstruiert daraus mögliche Friesgruppen.

Da die Translationsgruppe zyklisch ist, enthält sie eine Translation mit kürzestmöglichem Translationsvektor. Dies zeigt man leicht, denn alle zu Translationen gehörige Vektoren sind von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v = n v_G, n \in \mathbb Z} , wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v_G} ein Vektor gehörig zu einem Erzeugendenelement der Translationsgruppe ist. Offenbar sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pm v_G } die kürzestmöglichen zu einer Translation gehörigen Vektoren. Wir betrachten nun ein beliebiges Element einer Friesgruppe, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_{v,L}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_{v,L}(x) = v + L(x)} (also mit Verschiebevektor v und linearem Anteil L). Aufgrund der Gruppeneigenschaften von G befindet sich mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_{v,L}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau_{v_G}} auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_{v,L} \tau_{v_G} \varphi_{v,L}^{-1}} in G, aber man rechnet direkt nach, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_{v,L} \tau_{v_G} \varphi_{v,L}^{-1} = \tau_{L(v_G)}} , also eine Translation ist, daher muss ihr Verschiebevektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L(v_G)} von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n v_G, n \in \mathbb Z} . Da L eine Isometrie ist und Längen erhält, ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L(v_G)} genauso lang wie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v_G} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L(v_G)} muss also auch einer der kürzestmöglichen Translationsvektoren sein, also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L(v_G) = \pm v_G} . Man ergänzt nun Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v_G} zu einer Orthogonalbasis Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (v_G, w_G)} und überlegt sich aufgrund der Isometrieeigenschaften von L, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L(w_G) = \pm w_G} gelten muss. Über den Existenz- und Eindeutigkeitssatz ergeben sich so alle möglichen linearen Anteile einer beliebigen Abbildung einer Bandornamentgruppe. So stellt man fest, dass es insgesamt vier mögliche Abbildungen gibt, also fünf mögliche Punktgruppen (nämlich die Gruppe aller Abbildungen und deren Untergruppen). Zur Rekonstruktion der Friesgruppen G überlegt man sich dann zu jeder Punktgruppe, welche Verschiebevektoren für eine Abbildung aus G in Frage kommen. Dabei stellt man fest: Enthält eine Punktgruppe eine Spiegelung an einer Geraden in Friesrichtung, so sind zwei Fälle zu unterscheiden:

  • Die Friesgruppe selbst enthält eine Spiegelung
  • Die Friesgruppe selbst enthält nur Schubspiegelungen

Diese Überlegung führt zu der Aufspaltung der Fälle 4 und 5 in zwei „Unterfälle“ 4.1 und 4.2 bzw. 5.1 und 5.2. Nachdem man durch die obigen Überlegungen alle mögliche Gruppentypen gefunden hat, zeigt man explizit durch Konstruktion einer geeigneten Abbildung, dass Gruppen, die zu gleichen Fällen gehören, zueinander ähnlich sind. Außerdem beweist man, dass Gruppen die zu verschiedenen Fällen gehören, einander nicht ähnlich sein können.

Beispiele

Nachfolgend einige Beispiele für jeden Typ einer Friesgruppe. Das dargestellte Fries weist dabei die entsprechende Friesgruppe als Symmetriegruppe auf. Die grauen Elemente gehören jeweils zu dem Muster, in schwarz sind Symmetrieelemente eingezeichnet: Punkte geben Inversionszentren an, gestrichelte Linien Spiegelachsen, durchgezogene oder strichpunktierte Linien echte Schubspiegelachsen, der Pfeil zeigt einen der beiden möglichen Friesvektoren an.

Die Symmetriegruppen der gezeigten Friese sind vom Typ der nebenstehend angegebenen Friesgruppe.

Das nachfolgende Bild zeigt ein Fries des Typs F5.1 (aus einem Bodenteppich):

Datei:Teppichfries.jpg

Variablen und Begriffsverzeichnis

Verzeichnis wichtiger im Artikel verwendeter Variablen:

Symbol Erläuterung
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau_v} Eine Translation, Abbildung der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau_v(x) = v + x}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau_G } Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle = \tau_{v_G}}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb R v } Die Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{ k v | k \in \mathbb R \} }
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v_G } Friesrichtung
E Ein zweidimensionaler Vektorraum
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Iso(E)} Die Menge aller Isometrien von E
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T(G)} Die Menge aller Translationen von G (Translationsgruppe)
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_{v,L}} Abbildung der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_{v,L} (x) = v + L(x)} . v heißt Verschiebevektor, L linearer Anteil.

Bandornamente in der Kunstethnologie

Bandornamente werden in vielen Kulturen zur Dekoration verwendet. Beispielsweise kommen alle sieben Friesgruppen bei den Inka vor, aber drei der sieben Friesgruppen stellen 71 Prozent aller bekannten Funde dar. Sowohl im Königreich der Kuba als auch im Königreich Benin verwendeten Kunsthandwerker alle sieben Friesgruppen und zwölf der siebzehn Ornamentgruppen, aber in jeder Kultur wurden andere Symmetriegruppen zahlenmäßig bevorzugt.[2]

Literatur

  • Erhard Quaisser: Diskrete Geometrie. Einführung, Probleme, Übungen. Spektrum Akademischer Verlag, Heidelberg u. a. 1994, ISBN 3-86025-309-3, 4.2. Die Friesgruppen (S. 42–52).
  • Klaus Lamotke: Die Symmetriegruppen der ebenen Ornamente. In: Mathematische Semesterberichte. Band 52, Nr. 2, August 2005, S. 153–174, doi:10.1007/s00591-005-0092-y (Abschnitt 3).
  • Harald Scheid, Wolfgang Schwarz: Elemente der Geometrie. 5. Auflage. Springer Spektrum, Berlin 2017, §4.2: Symmetrien und Ornamente, insbes. S. 139–148, doi:10.1007/978-3-662-50323-2_4 (ISBN 978-3-662-50322-5 (print), ISBN 978-3-662-50323-2 (E-book)).
  • Dorothy K. Washburn, Donald W. Crowe: Symmetries of Culture. Theory and Practice of plane pattern Analysis. 3. Auflage. University of Washington Press, Seattle WA u. a. 1998, ISBN 0-295-97084-7, 4 One-Dimensional Patterns (S. 81-125).
  • Mickaël Launay: Der große Roman der Mathematik. 2. Auflage. C. H. Beck Paperback, München 2021, ISBN 978-3-406-73955-2, S. 16–23 (Populärwissenschaftliche Einführung).

Weblinks

Einzelnachweise

  1. Folgerung 2.3 aus Michael Klemm: Symmetrien von Ornamenten und Kristallen. Springer, Berlin u. a. 1982, ISBN 3-540-11644-3.
  2. Dorothy K. Washburn, Donald W. Crowe: Symmetries of Culture. Theory and Practice of plane pattern Analysis. 3rd printing. University of Washington Press, Seattle WA u. a. 1998, ISBN 0-295-97084-7, Chapter 4.3, S. 94–125.