Abschwächung der Gruppendefinition: Unterschied zwischen den Versionen

Aus DMUW-Wiki
Wechseln zu: Navigation, Suche
Zeile 1: Zeile 1:
 
+
__NOTOC__
 
==Aussage==
 
==Aussage==
  
Sei <math>(G,\cdot)</math> eine Halbgruppe (d.h. Zweistellige Verknüpfung + Abgeschlossenheit + Assoziativität). Hat G rechtsinverse Elemente <math>x^{-1}</math> und ein rechtsneutrales Element <math>e</math>. Dann sind die rechtsinversen Elemente auch linksinvers und das rechtsneutrale Element auch linksneutral.
+
Sei <math>(G,\cdot)</math> eine Halbgruppe (d.h. Zweistellige Verknüpfung + Abgeschlossenheit + Assoziativität). Hat G hat ein rechtsneutrales Element <math>e</math> und rechtsinverse Elemente <math>x^{-1}</math>. Dann sind die rechtsinversen Elemente auch linksinvers und das rechtsneutrale Element auch linksneutral.
 +
 
 +
==Definitionen==
 +
 
 +
Die Halbgruppe hat ein rechtsneutrales Element, d.h. es existiert ein Element in G (welches wir mit  <math> e </math> bezeichnen), sodass <math> \forall g \in G </math> gilt <math> g \cdot e = e </math>. Diese Gleichung muss für alle Elemente aus G gelten, also auch für <math> e </math> selbst, also gilt auch insbesondere <math> e \cdot e = e </math>.
 +
 
 +
Die Halbgrupe hat rechtsinverse Elemente <math>x^{-1}</math>, d.h. <math> \forall x \in G </math> <math> \exists  x^{-1} \in G \text{ mit } x \cdot x^{-1} = e </math>. Wobei e ein neutrales Element ist. Um von inversen Elementen in einer Gruppe zu sprechen, muss es also auch ein neutrales Element geben, sonst ergibt es keinen Sinn von inversen Elementen zu sprechen. Das inverse Element ist abhängig von  <math>x</math>, wenn ich ein anderes Element aus der Gruppe wähle, dann ist das inverse Element auch ein anderes. [[Sodukoregel in Gruppen|(Sodukoregel in Gruppen)]]
  
 
==Beweis==
 
==Beweis==
Zeile 27: Zeile 33:
 
:Zum Beispiel betrachten wir im Beweis der Teilaussage (1) ein Produkt von vier Faktoren. Hier verwenden wir, dass jede beliebige Klammerung äquivalent zu einer anderen frei wählbaren Klammerung ist. Das verallgemeinerte Assoziativgesetz kann induktiv gezeigt werden. <br/>
 
:Zum Beispiel betrachten wir im Beweis der Teilaussage (1) ein Produkt von vier Faktoren. Hier verwenden wir, dass jede beliebige Klammerung äquivalent zu einer anderen frei wählbaren Klammerung ist. Das verallgemeinerte Assoziativgesetz kann induktiv gezeigt werden. <br/>
  
*Wir haben beim Beweis der Teilaussage (1) in den einzelnen Schritten sowohl, dass ein rechtsneutrales Element existiert, als auch, dass rechtsinverse Elemente existieren, verwendet. Ebenso die Assoziativität. Also sind alle diese Vorraussetzungen für die gemachten Folgerungen hinreichend. Allerdings ist die Frage offen, ob nicht mit weniger Vorraussetzungen und gewissen, noch nicht präzisierten Folgerungen das gleiche Ergebnis erreicht werden kann. <br/>
+
*Wir haben beim Beweis der Teilaussage (1) in den einzelnen Schritten sowohl, dass ein rechtsneutrales Element existiert, als auch, dass rechtsinverse Elemente existieren, verwendet. Ebenso die Assoziativität. Es werden also alle gemachten Vorraussetzungen verwendet. <br/>
  
 
*Falls eine Halbgruppe ein linksneutrales Element und linksinverse Elemente enthält, kann analog gefolgert werden, dass ein linksneutrales Element auch rechtsneutral ist und, dass die linksinversen Elemente auch rechtsinvers sind. <br/>
 
*Falls eine Halbgruppe ein linksneutrales Element und linksinverse Elemente enthält, kann analog gefolgert werden, dass ein linksneutrales Element auch rechtsneutral ist und, dass die linksinversen Elemente auch rechtsinvers sind. <br/>
Zeile 33: Zeile 39:
 
*Da links- und rechtsinvers in einer Gruppe zusammenfällt, fassen wir diese zwei Eigenschaften unter dem Begriff '''invers''' zusammen und sagen: Es existieren inverse Elemente. <br/>
 
*Da links- und rechtsinvers in einer Gruppe zusammenfällt, fassen wir diese zwei Eigenschaften unter dem Begriff '''invers''' zusammen und sagen: Es existieren inverse Elemente. <br/>
  
*Genauso ist ein rechtsneutrales Element in einer Gruppe auch immer linksneutral. Wir fassen diese zwei Eigenschaften zusammen und sagen: Es existiert ein neutrales Element.
+
*Genauso ist ein rechtsneutrales Element in einer Gruppe auch immer linksneutral. Wir fassen auch zusammen und sagen: Es existiert ein '''neutrales''' Element.
  
 
*Im zweiten Teil der Aussage (2) verwenden wir, dass ein rechtsinverses Element auch linksinvers ist. Deswegen ist es gut und auch Absicht, dass wir zuerst (1) bewiesen haben. Da wir in Teilaussage (2) die Teilaussage (1) verwenden. <br/>
 
*Im zweiten Teil der Aussage (2) verwenden wir, dass ein rechtsinverses Element auch linksinvers ist. Deswegen ist es gut und auch Absicht, dass wir zuerst (1) bewiesen haben. Da wir in Teilaussage (2) die Teilaussage (1) verwenden. <br/>
  
*G hat rechtsinverse Element, d.h. zu jedem Element <math> x \in G </math> existiert ein Element aus G, welches wir mit  <math> x^{-1} </math> bezeichnen und für dieses gilt:  <math> x \cdot x^{-1} = e </math>.  <math> x^{-1} </math> ist ein Element aus G. D.h. auch für dieses Element muss es ein rechtsinverses Element geben. Dieses bezeichnen wir mit  <math> (x^{-1})^{-1} </math>. Es stellt sich heraus, dass  <math> (x^{-1})^{-1} = x </math> .
+
*G hat rechtsinverse Elemente, d.h. zu jedem Element <math> x \in G </math> existiert ein Element aus G, welches wir mit  <math> x^{-1} </math> bezeichnen und für dieses gilt:  <math> x \cdot x^{-1} = e </math>.  <br/>
 +
:<math> x^{-1} </math> ist ein Element aus G. D.h. auch für dieses Element muss es ein rechtsinverses Element geben. Dieses bezeichnen wir mit  <math> (x^{-1})^{-1} </math>. Es stellt sich heraus, dass  <math> (x^{-1})^{-1} = x </math> .
 
:[[Doppelte Invertierung eines Gruppenelements/Shoes and Socks|(Doppelte Invertierung eines Gruppenelements)]] <br/>
 
:[[Doppelte Invertierung eines Gruppenelements/Shoes and Socks|(Doppelte Invertierung eines Gruppenelements)]] <br/>
  
Zeile 43: Zeile 50:
 
:[[Doppelte Invertierung eines Gruppenelements/Shoes and Socks|(Shoes and Socks)]] <br/>
 
:[[Doppelte Invertierung eines Gruppenelements/Shoes and Socks|(Shoes and Socks)]] <br/>
  
*Wir haben gezeigt: Ist ein Gruppenelement ein rechtsneutrales Element der Gruppe, dann ist dieses Gruppenelement auch linksneutral. D.h. es könnte auch mehrere rechtsneutrale Elemente, und all diese sind dann auch linksneutral. Wie sich herausstellen wird, gibt es aber nur genau ein neutrales (rechts- und linksneutrales) Element. Genauso wird sich zeigen, dass das zu jedem Gruppenelement inverse Element eindeutig bestimmt ist.  
+
*Wir haben gezeigt: Ist ein Gruppenelement ein rechtsneutrales Element der Gruppe, dann ist dieses Gruppenelement auch linksneutral. Wir haben gesagt: Es existiert (mindestens) ein rechtsneutrales Element, es könnten also auch mehrere rechtsneutrale Elemente existieren, und all diese wären dann auch linksneutral. Wie sich herausstellen wird, gibt es aber nur genau ein neutrales (rechts- und linksneutrales) Element in einer Gruppe. Genauso wird sich zeigen, dass das zu jedem Gruppenelement inverse Element eindeutig bestimmt ist. Es gibt zu <math> x </math> also neben <math> x^{-1} </math> kein zweites Element <math> z \in G </math>, sodass <math> x \cdot z = e </math> gelten würde.
 
:[[Eindeutigkeit des neutralen Elements und der inversen Elemente in einer Gruppe|(Eindeutigkeit des neutralen Elements und der inversen Elemente in einer Gruppe)]]
 
:[[Eindeutigkeit des neutralen Elements und der inversen Elemente in einer Gruppe|(Eindeutigkeit des neutralen Elements und der inversen Elemente in einer Gruppe)]]
  
 
[[Kategorie:Beweis Gruppe|Beweis]]
 
[[Kategorie:Beweis Gruppe|Beweis]]

Version vom 27. November 2018, 15:05 Uhr

Aussage

Sei (G,\cdot) eine Halbgruppe (d.h. Zweistellige Verknüpfung + Abgeschlossenheit + Assoziativität). Hat G hat ein rechtsneutrales Element e und rechtsinverse Elemente x^{-1}. Dann sind die rechtsinversen Elemente auch linksinvers und das rechtsneutrale Element auch linksneutral.

Definitionen

Die Halbgruppe hat ein rechtsneutrales Element, d.h. es existiert ein Element in G (welches wir mit  e bezeichnen), sodass  \forall g \in G gilt  g \cdot e = e . Diese Gleichung muss für alle Elemente aus G gelten, also auch für  e selbst, also gilt auch insbesondere  e \cdot e = e .

Die Halbgrupe hat rechtsinverse Elemente x^{-1}, d.h.  \forall x \in G  \exists  x^{-1} \in G \text{ mit } x \cdot x^{-1} = e . Wobei e ein neutrales Element ist. Um von inversen Elementen in einer Gruppe zu sprechen, muss es also auch ein neutrales Element geben, sonst ergibt es keinen Sinn von inversen Elementen zu sprechen. Das inverse Element ist abhängig von x, wenn ich ein anderes Element aus der Gruppe wähle, dann ist das inverse Element auch ein anderes. (Sodukoregel in Gruppen)

Beweis

Die Aussage enthält zwei Teilaussagen, die wir nacheinander beweisen:

1. Die rechtsinversen Elemente sind auch linksinvers.

Reduzierte gruppendefinition 1.jpg



2. Ein rechtsneutrales Element ist auch linksneutral.

Reduzierte gruppendefinition 2.jpg


Aspekte

  • An gewissen Stellen in den Umformungen sind Klammern weggelassen worden. Denn wir wissen, dass die Verknüpfung assoziativ ist. Es gilt also:
Reduzierte gruppendefinition 3.jpg
Jede mögliche Klammerung darf gewählt werden. Denn jede mögliche Klammerung bildet auf dasselbe Element ab.
  • Für ein Produkt endlich vieler Faktoren ist jede Klammerung äquivalent zu jeder anderen. (Verallgemeinertes Assoziativgesetz).
Reduzierte gruppendefinition 4.jpg
Zum Beispiel betrachten wir im Beweis der Teilaussage (1) ein Produkt von vier Faktoren. Hier verwenden wir, dass jede beliebige Klammerung äquivalent zu einer anderen frei wählbaren Klammerung ist. Das verallgemeinerte Assoziativgesetz kann induktiv gezeigt werden.
  • Wir haben beim Beweis der Teilaussage (1) in den einzelnen Schritten sowohl, dass ein rechtsneutrales Element existiert, als auch, dass rechtsinverse Elemente existieren, verwendet. Ebenso die Assoziativität. Es werden also alle gemachten Vorraussetzungen verwendet.
  • Falls eine Halbgruppe ein linksneutrales Element und linksinverse Elemente enthält, kann analog gefolgert werden, dass ein linksneutrales Element auch rechtsneutral ist und, dass die linksinversen Elemente auch rechtsinvers sind.
  • Da links- und rechtsinvers in einer Gruppe zusammenfällt, fassen wir diese zwei Eigenschaften unter dem Begriff invers zusammen und sagen: Es existieren inverse Elemente.
  • Genauso ist ein rechtsneutrales Element in einer Gruppe auch immer linksneutral. Wir fassen auch zusammen und sagen: Es existiert ein neutrales Element.
  • Im zweiten Teil der Aussage (2) verwenden wir, dass ein rechtsinverses Element auch linksinvers ist. Deswegen ist es gut und auch Absicht, dass wir zuerst (1) bewiesen haben. Da wir in Teilaussage (2) die Teilaussage (1) verwenden.
  • G hat rechtsinverse Elemente, d.h. zu jedem Element  x \in G existiert ein Element aus G, welches wir mit  x^{-1} bezeichnen und für dieses gilt:  x \cdot x^{-1} = e .
 x^{-1} ist ein Element aus G. D.h. auch für dieses Element muss es ein rechtsinverses Element geben. Dieses bezeichnen wir mit  (x^{-1})^{-1} . Es stellt sich heraus, dass  (x^{-1})^{-1} = x .
(Doppelte Invertierung eines Gruppenelements)
  •  a \cdot b ist auch ein Element aus G, weil die Verknüpfung  \cdot wieder nach G abbildet (Abgeschlossenheit/ innere Verknüpfung). Also muss es auch ein inverses Element zu  a \cdot b geben. Es stellt sich heraus, dass  (a \cdot b)^{-1} = b^{-1} \cdot a^{-1} .
(Shoes and Socks)
  • Wir haben gezeigt: Ist ein Gruppenelement ein rechtsneutrales Element der Gruppe, dann ist dieses Gruppenelement auch linksneutral. Wir haben gesagt: Es existiert (mindestens) ein rechtsneutrales Element, es könnten also auch mehrere rechtsneutrale Elemente existieren, und all diese wären dann auch linksneutral. Wie sich herausstellen wird, gibt es aber nur genau ein neutrales (rechts- und linksneutrales) Element in einer Gruppe. Genauso wird sich zeigen, dass das zu jedem Gruppenelement inverse Element eindeutig bestimmt ist. Es gibt zu  x also neben  x^{-1} kein zweites Element  z \in G , sodass  x \cdot z = e gelten würde.
(Eindeutigkeit des neutralen Elements und der inversen Elemente in einer Gruppe)