Projekt:Mathematik ist überall/Strukturen

Dieser Beitrag ist im Aufbau. Zur Zeit fehlen noch wesentliche Bestandteile. Nach deren Ergänzung und Fertigstellung kann dieser Baustein entfernt werden. Wende Dich auch an den Ersteller kmh.

Algebraische Strukturen

Bearbeiten

Mathematik beschäftigt sich nur am Rande mit reinem Rechnen. Vielmehr widmet sie sich der Lösbarkeit von Problemen an sich.

„Denken ist besser als Rechnen.“

Lautet eine oft gemachte Aussage, wenn Mathematiker auf ihre „Rechenkünste“ angesprochen werden.

So bedeutet nicht jede Verknüpfung auch eine Berechnung. Jedoch ist jede Berechnung eine (strukturelle) Verknüpfung. Damit haben Verknüpfungen Eigenschaften. Seien sie arithmetischer, geometrischer oder sonst einer Art. Mit der Untersuchung dieser Eigenschaften beschäftigt sich die allgemeine Strukturlehre.

Verknüpfungen

Bearbeiten

Was sind denn nun Verknüpfungen? Die Mathematik erlaubt doch alles Denkbare und damit auch völlig sinnlose Verknüpfungen.

Genau darum geht es! Sinnvolle Verknüpfungen sind genau diejenigen, mit denen sich die Mathematik auseinandersetzt. Deshalb gibt es bestimmte Voraussetzungen und Regeln. Ganz allgemein ist eine Verknüpfung eine Abbildung. Schon sind die Mengen wieder da, denn eine Verknüfung in der Menge M ist stets eine Abbildung von

 

Damit wird jedem Paar (x, y) ein Element z aus M zugeordnet. In der Sprache der Mathematik:

 

Wenn diese Voraussetzungen gegeben sind, ist das Verknüpfungsgebilde   eine Struktur. Eine etwas weiter gefasste Definition macht nur die Verknüpfung   für das Enthaltensein des Ergebnisses in M verantwortlich. In diesem Fall wird die Verküpfung als „abgeschlossen in M “ bezeichnet. So kann noch zwischen den Eigenschaften von Gebilde und Verknüpfung unterschieden werden.

Eigenschaften von Strukturen

Bearbeiten

Das ist schon sehr abstrakt, was die Mathematik verlangt. Aber wer nicht rechnen will, muss eben um so mehr Denken. Was könnte denn an dem Gebilde   so erwähnenswert sein, dass es der näheren Untersuchung bedarf?

Die Verknüpfung könnte Klammerterme enthalten. Dann muss geklärt werden, ob

 

gilt. Die Eigenschaft ist dann die Assoziativität. Wie wichtig diese Eigenschaft ist, kann schnell gezeigt werden. So ist das Gebilde   stets assoziativ. Beispiel:

 

 

Wird statt der Addition die Subtraktion als Verknüpfung verwendet, ist das Gebilde   keine Struktur mehr, denn  . Also wird statt   einfach mal   genommen. Nun kann das Gebilde   auf Assoziativität untersucht werden.

 

Die Gleichheit beider Seiten ist nicht vorhanden (einfach mal 3, 4, 5 einsetzen). Das Gebilde   ist nicht assoziativ. Die Eigenschaft „assoziativ“ erlaubt also, Klammern einfach wegzulassen. Daraus lassen sich dann weitere Vereinfachungen gewinnen, wie zum Beispiel die Potenzregeln für das assoziative Gebilde  .

 

 

Deshalb gilt allgemein

 

Aber noch mehr kann aus dieser Eigenschaft gewonnen werden. Ohne auch nur im Entferntesten auf die Elemente der Menge M oder die Verknüpfung   selbst einzugehen, kann die Gültigkeit von

 
 

bewiesen werden. Weil die bisherigen Darstellungen rekursiv (ganz viele Klammern) erfolgten, wird der Beweis induktiv erbracht.

Beweis  : Für   und beliebiges   gilt die Behauptung aufgrund der gegebenen Definition. Zu zeigen ist die Gültigkeit für  .
 
Beweis  : Für   und beliebiges   gilt die Behauptung aufgrund der gegebenen Definition. Zu zeigen ist die Gültigkeit für  .
 

Strukturen und die Kenntnis ihrer Eigenschaften erlauben es offenbar, beweisbare Aussagen zu erhalten, ohne die Details (Elemente, Wesen der Verknüpfung) zu kennen. Damit hat die Mathematik ein Instrumentarium geschaffen, das es erlaubt die Eigenschaften bereits „im Vorfeld“ zu klären und die eigentliche Rechenarbeit anderen (Computern) zu überlassen.

Potenzierte Addition?

Bearbeiten

Alles schön und gut. Aber seit wann gelten die Potentgesetze für die Addition. Wenn den bisherigen Aussagen Glauben geschenkt werden darf, dann gilt für das Gebilde  :

  1. Es ist die Addition in der Menge der natürlichen Zahlen.
  2. Es liegt eine assoziative Struktur vor.
  3. Für die Addition gelten die Regeln der Potenzrechnung.

Gelernt habe ich aber, dass die Potenzbildung einer Bündelung der Multiplikation entspricht und die Multiplikation einer Bündelung der Addition. Wenn die eben gezeigte „Potenzgeschichte“ stimmt, dann wäre

 .

Wie Jeder weiß ist aber

 .

Mathematik ist (auch) eine Sprache. Leider ist diese Sprache nicht gänzlich kontextfrei. Im vorliegenden Fall liefert das Gebilde   den additiven Kontext. Die knapp gehaltene Sprache setzt (leider) die Kenntnis über die Eigenschaften der Verknüpfung voraus. Der Begriff „Potenz“ ist in deisem Zusammenhang nur als Bündelung im Sinne der wiederholten Anwendung zu verstehen. Um es ganz genau zu haben wären

 

 

korrekt. Zum Glück ist meistens bekannt, ob die Verknüpfung additiv oder multiplikativ ist. Etwas schwieriger, dafür aber gewohnter, sind Strukturen mit mehreren Verknüpfungen. Dabei ist oft eine Verknüpfung additiv und die andere multiplikativ – oft, nicht immer.

Noch eine Eigenschaft

Bearbeiten

Mathemaik ist pingelig. Sie will alles immer ganz genau ge- und erklärt haben. In den bisher betrachteten Gebilden (die heißen wirklich so)   ist zwar die Verwendung von Klammern geklärt, aber keinesfalls ob

 

ist. Wenn die beiden Seiten gleich sind, dann hat die Struktur die Eigenschaft kommutativ zu sein. Jetzt können auch die Potenzgesetze erweitert werden. Denn es fehlt ja noch

 

Auch diese Beziehung muß bewiesen werden, was aber nur mit einer assoziativen und kommutativen Struktur gelingt.

Beweis: Für   gilt die Behauptung aufgrund der gegebenen Definition. Zu zeigen ist die Gültigkeit für  .
 

Jetzt ist tatsächlich klar, daß die „normale“ Rechnung mit plus und mal funktioniert. Es gilt

 

 

Die Potenzierung ist also wirklich die wiederholte Anwendung der Verknüpfung. Mit der Strukturlehre konnte diese Tatsache bewiesen werden, ohne näher auf die Verknüpfung oder die Elemente einzugehen. Allein die Eigenschaften der Struktur genügten für die Beweisführung.

Neutrale Elemente

Bearbeiten

Es kann sein, dass einzelne Elemente ganz besondere Eigenschaften innerhalb von Strukturen haben. Diese Elemente wirken sich dann auch auf die Eigenschaft der Struktur aus. Eine bedeutende Rolle spielen die neutralen Elemente. Ihre Bezeichnung leitet sich unmittelbar aus der Verknüpfung ab. So gilt für alle natürlichen Zahlen n :

 

Die 0 (Null) ist also neutrales Element der Addition (in der gegebenen Struktur). Bei der Multiplikation zeigt ein anderes Element dieses „neutrale“ Verhalten.

 

Für neutrale Elemente hat sich e als Bezeichner etabliert. Eigentlich könnte für jedes strukturelle Verknüpfungsgebilde   auch

 

formuliert werden, wenn die Struktur ein neutrales Element enthält. Vorsicht ist jedoch angebracht. Das hier verwendete neutrale Element ist nur „linksneutral“. Es ist ja keinesfalls geklärt, ob   auch assoziativ ist. Allgemein muss es

 

heißen; mit   als linksneutralem und   als rechtsneutralem Element. Nur bei assoziativen Verknüpfungen gibt es höchstens ein neutrales Element  .

Inverse Elemente

Bearbeiten
geht bald weiter

Spezielle Strukturen

Bearbeiten

In diesem Abschnitt geht es um hilfreiche Strukturen die einem immer wieder über den Weg laufen.

Definitionen

Bearbeiten

Halbgruppe

Bearbeiten

Eine algebraische Struktur   heißt Halbgruppe, falls gilt:

  •   ist eine nichtleere Menge.
  •   ist eine assoziative, innere Verknüpfung auf dieser Menge.

Eine algebraische Struktur   heißt Gruppe, falls gilt:

  •   ist eine Menge.
  •   ist eine assoziative, innere Verknüpfung auf dieser Menge.
  •   enthält ein neutrales Element   bezüglich  .

Für alle   existiert ein inverses Element   bezüglich  .

Eine algebraische Struktur   heißt Ring, falls gilt:

  •   ist eine abelsche Gruppe.
  •   ist eine Halbgruppe.

Die Verknüpfung   ist distributiv bezüglich  .

Die algebraische Struktur   ist ein kommutativer Ring wenn:

  •   ist eine Untergruppe von  .

 

JR ≔ { j ⊙ r  : j ∈ J, r ∈ R } ⊆ J

Allgemeines zu Gruppen

Bearbeiten

Assoziativität: a∘(b∘c) = (a∘b)∘c

Innere Verknüpfung: a, b ∈ G ⇒ a∘b ∈ G

Jede Gruppe enthält mindestens ein Element, nämlich das neutrale Element e.

Das neutrale Element: a∘e = e∘a = a

Das inverse Element: a∘a^-1 = a^-1∘a = e

Achtung: Kommutativität gilt nicht unbedingt! Allgemein ist a∘b ≠ b∘a.

Besondere Gruppen

Bearbeiten

Kommutative bzw. abelsche Gruppen

Bearbeiten

a∘b = b∘a mit a, b ∈ G

Zyklische Gruppen

Bearbeiten

Jedes Element aus G lässt sich als „Potenz“ von einem Element a erzeugen; a∘a∘a∘...∘a, geschrieben ak, wobei r ∈ Z.

Untergruppen

Bearbeiten

U ⊆ G und (U,∘) ist eine Gruppe.

Um zu zeigen, dass ein bestimmtes Gebilde eine Untergruppe von der Gruppe G ist, genügt auch Folgendes nachzuweisen:

U ⊆ G

a, b ∈ U ⇒ a∘b ∈ U

e ∈ U

a ∈ U ⇒ a^-1 ∈ U

Achtung: Assoziativität braucht nicht gezeigt werden, da U Teilmenge von G ist.

Beispiele für Gruppen

Bearbeiten

Die Menge der ganzen Zahlen bezüglich der Addition (Z,+) ist eine zyklisch abelsche Gruppe.

Die Menge der geraden ganzen Zahlen bezüglich der Addition ist eine abelsche Gruppe.

Die Menge der invertierbaren Matrizen bezüglich der Multiplikation ist eine Gruppe.