Hypercell ein ] Hypercell aus ] Zeige Navigation ] Verstecke Navigation ]
c++.de  
   
Forentreff 2012     
Bücher-Shop mit Amazon (Buchkategorien)C++ : Referenzen zu C++ : C++ Builder : Visual C++ : C# : Java : Spieleprogrammierung : Systemprogrammierung Linux : Software-Entwicklung : .NET : Compilertechnik : Algorithmen & Datenstrukturen : Objektorientierung : Entwurfsmuster : UML : eXtreme Programming : Scrum : Projektmanagement : Software-Testing : Datenbanken : Tom DeMarco : Dilbert : User Friendly
C/C++ Forum :: Mathematik und Physik ::  Mathematische Ringe     Zeige alle Beiträge auf einer Seite Auf Beitrag antworten
Autor Nachricht
seux
Mitglied

Benutzerprofil
Anmeldungsdatum: 08.11.2007
Beiträge: 174
Beitrag seux Mitglied 17:54:55 02.02.2012   Titel:   Mathematische Ringe            Zitieren

Hallo,
ich hab in Mathe ja im moment Gruppen, Ringe, Körper und diesen kram. Leider hab ich so meine schwirigkeiten damit. Was eine Gruppe ist, versteh ich ja noch, aber was ein Ring ist und wofür ich den brauch, will mir einfach nicht klar werden.

Wäre schon, wenn ihr mir da weiterhelfen könntet. Achja, den Wikipedia Artikel kenn ich, bevor ihr mich dahin verweisen wollt.

Ich hoffe das kommt jetzt nicht so rüber, dass ich zu faul zum suchen bin und es mir daher lieber von jemandem erklären lassen will. Ich kann damit bloß nichts anfangen.

gruß
seux
SG1
Mitglied

Benutzerprofil
Anmeldungsdatum: 19.03.2001
Beiträge: 2438
Beitrag SG1 Mitglied 18:00:43 02.02.2012   Titel:              Zitieren

Denk mal an die ganzen Zahlen. Da kann man addieren, subtrahieren und multiplizieren, aber nicht (oder zumindest nicht immer) dividieren. Ringe sind eine Abstraktion genau davon: Man kann addieren, subtrahieren und multiplizieren, aber im allgemeinen nicht dividieren.

Sagen Dir Polynome etwas? Die bilden auch einen Ring, aber keinen Körper.
SeppJ
Moderator

Benutzerprofil
Anmeldungsdatum: 10.06.2008
Beiträge: 13604
Beitrag SeppJ Moderator 18:20:21 02.02.2012   Titel:              Zitieren

Ziel davon ist es, sich vom konkreten Zahlenbegriff zu lösen. Dann kann man nämlich auch komplexere Objekte betrachten, ohne jedes Mal die grundlegenden Rechengesetze herleiten zu müssen. Das Polynombeispiel war schon gut: Wenn du gezeigt hast, dass die Polynome mit komponentenweise Addition und Faltung als Multiplikation die Ringaxiome erfüllt (also dass die Addition eine abelsche Gruppe bildet, die Multiplikation eine Halbgruppe und dass das Distributivgesetz gilt), dann gelten automatisch alle Rechengesetze die für alle Ringe gelten auch für die Polynome. Dann weißt du zum Beispiel, dass jedes Polynom ein Inverses bezüglich der Addition hat (also ein "Negatives") oder dass (−a) ⋅ b = a ⋅ (−b) = −(a ⋅ b) gilt, egal ob a und b nun Polynome, Ganzzahlen oder quadratische Matrizen sind.


Zuletzt bearbeitet von SeppJ am 18:20:57 02.02.2012, insgesamt 1-mal bearbeitet
seux
Mitglied

Benutzerprofil
Anmeldungsdatum: 08.11.2007
Beiträge: 174
Beitrag seux Mitglied 18:38:43 02.02.2012   Titel:              Zitieren

Also, ich hab Ringe bisher so verstanden, dass sie so eine Art erweiterte Gruppe sind, mit einem zusätzlichen Rechenzeichen mehr. Zusätzlich zu den dem Assoziativgesetz und dem kommutativgesetz der (abelschen) Gruppe kommt bei Ringen auch noch das Distributivgesetz hinzu.

Ringe sind also im grunde genommen nur Mengen, auf die sich zwei Verknüpfungen (wie + und *) anwenden lassen, solange sie die Bedingungen(Assoziativgesetz, neutrales Element,...) nicht verletzen.

Bei Ringen kann ich doch auch angeben, für welchen Zahlenraum das gilt, oder?
Also ich mein z.B
z5 = {0,1,2,3,4}
oder
z10 = {0,1,2,3,4,5,6,7,8,9} (wobei ich mir hier grad unsicher bin, ob die 5 hier auch auftauchen würde)

Wie ich Sepp jetzt verstanden hab, versuch ich letztenendes nicht mehr mit zahlen, sondern mit "Objekten"/"Dingen" rechnen zu können. Daher fasse ich bestimmte Eigenschaften zusammen, und diese nennen sich dann Gruppen, Ringe, Körper, usw., damit ich mir die Rechengesetze nicht immer neu herleiten muss. Aber meine Rechenoperationen müssten dann doch auch undefiniert sein?!

Ja, Polynome sagen mir auch was, ich bin grad dabei, die Sachen zu wiederholen, da ich in ca drei wochen meine Klausur schreibe.

Ein Polynom war doch ein Term in dieser Form:
f(x) = ax^3+bx^2+cx+d
Ich versteh jetzt nicht was die mit den Ringen zu tun haben.
seux
Mitglied

Benutzerprofil
Anmeldungsdatum: 08.11.2007
Beiträge: 174
Beitrag seux Mitglied 18:47:31 02.02.2012   Titel:              Zitieren

seux schrieb:

Ein Polynom war doch ein Term in dieser Form:
f(x) = ax^3+bx^2+cx+d
Ich versteh jetzt nicht was die mit den Ringen zu tun haben.


Bzw, verrät mir der Ring nur, dass alle meine Variablen ein neutrales Element, ein Inverses, ... haben.
!rr!rr_.
Unregistrierter




Beitrag !rr!rr_. Unregistrierter 19:05:43 02.02.2012   Titel:   mat            Zitieren

Zitat:

Ich versteh jetzt nicht was die mit den Ringen zu tun haben.


nimm an du hast einen Ring R und Unbestimmte x1 ... xn.

Welche Ausdrücke kannst du aus R und x1 ... xn erzeugen, wenn du nur die Ringoperationen +, * benutzen darfst und mit x1 ... xn rechnen darfst wie mit Ringelementen ? Na eben genau die Polynome.

Beispiel eines aus R und x1 ... x2 irgendwie erzeugten Ausdrucks:

((x1+x2)*(x2+1))*x1

ausmultiplizieren => x1^2*x2+x1^2+x1*x2^2+x1*x2: das ist ein Polynom.

Und mehr als Polynome kannst du damit nicht erzeugen, denn schon zum Herstellen gebrochen-rationaler Funktionen wie 1/x braucht man Division, und die steht im Ring nicht zur Debatte.
SeppJ
Moderator

Benutzerprofil
Anmeldungsdatum: 10.06.2008
Beiträge: 13604
Beitrag SeppJ Moderator 19:10:00 02.02.2012   Titel:              Zitieren

Die Rechenoperationen sind nicht unbedingt die Addition und die Multiplikation die du kennst. Man nennt sie bloß so, weil sie sich wie die klassische Addition und die klassische Multiplikation verhalten, d.h. es gelten die gleichen Rechengesetze. Das wiederum folgt z.B. bei der Addition daraus, dass es eine abelsche Gruppe sein soll. Jetzt sieht du, wozu der Gruppenbegriff da ist.

Allgemein sind das bloß abstrakte Operationen, wo man zwei Elemente reinsteckt und man bekommt ein drittes heraus.

Für die Polynome definiert man das z.B. so:
Polynom 1: f1(x) = a1 + b1*x +c1*x^2 + d1*x^3 + ...
Polynom 2: f2(x) = a2 + b2*x +c2*x^2 + d2*x^3 + ...
(f1 + f2)(x) = (a1+a2) + (b1+b2)*x + (c1+c2)*x^2 + ...
Dann ist diese Addition wieder eine abelsche Gruppe. Du musst aber aufpassen:
Bei f1 + f2 steht das +-Zeichen für die Addition von Polynomen. Bei a1 + a2 steht das +-Zeichen für die Addition der Koeffizienten. Ich habe leider nicht so viele verschiedene +-Zeichen, um das kenntlich zu machen. Die a1 und a2 sind klassischerweise reelle Zahlen und deren Addition ist die Addition die du kennst. Aber auch hier können wir wieder ganz abstrakte Objekte nehmen, es reicht, wenn die Koeffizienten wiederrum Elemente aus einem Ring sind. Man kann also auch Polynome mit anderen Polynomen als Koeffizienten haben. Und da deren Addition sich genauso verhält wie die Addition der reellen Zahlen, ist dann auch die Addition dieser Polynome der Polynome eine Addition mit den gleichen Rechengesetzen, also gilt z.B. f1 + f2 = f2 + f1.

Das gleiche kann man dann auch noch mit der Multiplikation machen, ist aber etwas komplizierter.


Zuletzt bearbeitet von SeppJ am 19:11:02 02.02.2012, insgesamt 1-mal bearbeitet
seux
Mitglied

Benutzerprofil
Anmeldungsdatum: 08.11.2007
Beiträge: 174
Beitrag seux Mitglied 19:56:19 02.02.2012   Titel:              Zitieren

!rr!rr_. schrieb:

Und mehr als Polynome kannst du damit nicht erzeugen, denn schon zum Herstellen gebrochen-rationaler Funktionen wie 1/x braucht man Division, und die steht im Ring nicht zur Debatte.

Also bräuchte ich wenn ich dividieren möchte einen Körper. Und ein Körper ist von den Eigenschaften her ein Ring, mit dem Unterschied, dass bei der Multiplikation von der Menge die 0 nicht enhalten sein darf.

So langsam wirds klarer denk ich. Scheint sich halt auf Definitionen zu beschränken, die man lernen muss.

Da wir gerade schon bei der Multiplikation von Polynomen sind, ich hab grad in meinen Unterlagen nachgeschaut und hab da auch eine Frage zu:
Wir hatten dazu eine Übungsaufgabe, in der sich unser Ring R auf Z5 beschränkt.
Das Produkt der beiden Polynome haben wir über die Schulmethode berechnet(Wie gesagt, der andere Weg ist komplizierter).
f1 = 3x^3 + 1x^2 + x + 2
f2 = 4x^2 + 2x + 1

Code:
3112 * 421
----------
      3112
     1224
    2443
----------
    204102
Code:
3112 * 421
----------
3112
1224
2443
----------
204102
Code:
3112 * 421
----------
      3112
     1224
    2443
----------
    204102

f1f2 = 2x^5 + 4x^3 + x^2 + 2
So, ich hoffe, ich hab bei dem Beispiel jetzt keinen Fehler gemacht. Wie mach ich das jetzt aber, wenn sich Z auf einen Zahlenbereich bezieht, der größer als 9 ist, z.B Z14?
Normalerweise nimmt man bei der Multiplikation ja nur den Wert kleiner als 10 und schreibt die 1 über den Strich in der nächsten Spalte. Das darf man hier nun nicht machen, oder?
Und wie würde es aussehen, wenn ich nun irgenwo ein Minuszeichen hätte?
otze
Mitglied

Benutzerprofil
Anmeldungsdatum: 15.01.2004
Beiträge: 6659
Beitrag otze Mitglied 22:35:52 02.02.2012   Titel:              Zitieren

Ich versuchs mal auf programmiererisch :)

Ringe sind ein Abstraktes Konzept, eine Schnittstellendefinition. Im Grunde ist das nicht viel anders als die Definition eines STL-Containers:
http://www.sgi.com/tech/stl/Container.html

Du weißt, wenn eine Klasse all diese Anforderungen genügt, dann ist sie ein STL-Container und kann überall dort verwendet werden, wo drüber steht. "hier nur STL-Container verwenden".

Im Grunde sind diese ganzen Konzepte der Gruppentheorie: Gruppen, Ringe, Körper, Vektorräume, Algebren nichts anderes als das. Ihre Abhängigkeiten sind dabei konzeptionell ähnlich wie die Iterator-Hierarchie der STL (input<forward< bidirectional<random-access iterator). Wenn dir also jemand sagt: "dieses Ergebnis gilt für einen Ring" weißt du: "Okay, sobald mein Ding die Eigenschaften eines Rings erfüllt, dann gilt das Ergebnis schon dafür". Konkret kannst du mit einem Ring eine ganze Menge Dinge tun, aber du musst halt noch etwas aufpassen, weil er noch nicht alle schönen Eigenschaften eines Körpers hat.

Diese Kategorien sind damit nur eine Vereinfachung: wenn du ein Ergebnis für einen beliebigen Ring zeigst, gilt es automatisch für alle.

Ein weiteres Beispiel für einen Ring ist nebenbei der Raum der nxn-Matrizen :
Du kannst zwei Matrizen problemlos addieren, auch kommutativ (abelsche Gruppe), bei der Multiplikation gilt Assoziativität, das Distributivgesetz gilt auch, aber du hast keine multiplikative inverse (In der Tat ist das ganze ein "kommutativer Ring mit Eins" UND ein Vektorraum -> Algebra)

_________________
Jesus Christus! Da blickt ja kein Mensch mehr durch.


Zuletzt bearbeitet von otze am 22:36:22 02.02.2012, insgesamt 1-mal bearbeitet
!rr!rr_.
Unregistrierter




Beitrag !rr!rr_. Unregistrierter 09:21:46 03.02.2012   Titel:   ringe            Zitieren

otze schrieb:

Du kannst zwei Matrizen problemlos addieren [...] (In der Tat ist das ganze ein "kommutativer Ring mit Eins" [...]

ich hab' auf der Baumschule 'n bisschen was anderes gelernt
Code:
(10)     (01)     (01)
(11)  x  (11)  =  (12)

(01)     (10)     (11)
(11)  x  (11)  =  (21)

=> Matrizenplutimilkation ist nicht kommutativ
Code:
(10) (01) (01)
(11) x (11) = (12)

(01) (10) (11)
(11) x (11) = (21)

=> Matrizenplutimilkation ist nicht kommutativ
Code:
(10)     (01)     (01)
(11)  x  (11)  =  (12)

(01)     (10)     (11)
(11)  x  (11)  =  (21)

=> Matrizenplutimilkation ist nicht kommutativ
!rr!rr_.
Unregistrierter




Beitrag !rr!rr_. Unregistrierter 12:27:27 03.02.2012   Titel:   math            Zitieren

ps. die Quantenphysiker wären übrigens auch nicht sehr angetan, wenn alle linearen operatoren kommutieren würden
SeppJ
Moderator

Benutzerprofil
Anmeldungsdatum: 10.06.2008
Beiträge: 13604
Beitrag SeppJ Moderator 13:38:22 03.02.2012   Titel:   Re: ringe            Zitieren

!rr!rr_. schrieb:
otze schrieb:

Du kannst zwei Matrizen problemlos addieren [...] (In der Tat ist das ganze ein "kommutativer Ring mit Eins" [...]

ich hab' auf der Baumschule 'n bisschen was anderes gelernt
Code:
(10)     (01)     (01)
(11)  x  (11)  =  (12)

(01)     (10)     (11)
(11)  x  (11)  =  (21)

=> Matrizenplutimilkation ist nicht kommutativ
Code:
(10) (01) (01)
(11) x (11) = (12)

(01) (10) (11)
(11) x (11) = (21)

=> Matrizenplutimilkationist nicht kommutativ
Code:
(10)     (01)     (01)
(11)  x  (11)  =  (12)

(01)     (10)     (11)
(11)  x  (11)  =  (21)

=> Matrizenplutimilkation ist nicht kommutativ
Plutimilkation :D ist eben was anderes als Addition.
Bashar
Mitglied

Benutzerprofil
Anmeldungsdatum: 15.05.2001
Beiträge: 16828
Beitrag Bashar Mitglied 13:58:01 03.02.2012   Titel:   Re: ringe            Zitieren

SeppJ schrieb:
!rr!rr_. schrieb:
otze schrieb:

Du kannst zwei Matrizen problemlos addieren [...] (In der Tat ist das ganze ein "kommutativer Ring mit Eins" [...]

=> Matrizenplutimilkation ist nicht kommutativ
Plutimilkation :D ist eben was anderes als Addition.

Aber bei einem kommutativen Ring ist die Plutimikation kommutativ.

_________________
OSL♥
Prof84
Mitglied

Benutzerprofil
Anmeldungsdatum: 13.12.2001
Beiträge: 2960
Beitrag Prof84 Mitglied 14:55:40 03.02.2012   Titel:   Re: Mathematische Ringe            Zitieren

seux schrieb:
Hallo,
ich hab in Mathe ja im moment Gruppen, Ringe, Körper und diesen kram. Leider hab ich so meine schwirigkeiten damit. Was eine Gruppe ist, versteh ich ja noch, aber was ein Ring ist und wofür ich den brauch, will mir einfach nicht klar werden.

Wäre schon, wenn ihr mir da weiterhelfen könntet. Achja, den Wikipedia Artikel kenn ich, bevor ihr mich dahin verweisen wollt.

Ich hoffe das kommt jetzt nicht so rüber, dass ich zu faul zum suchen bin und es mir daher lieber von jemandem erklären lassen will. Ich kann damit bloß nichts anfangen.

gruß
seux

http://de.wikipedia.org/wiki/Hierarchie_mathematischer_Strukturen
Ich vergesse eher meine Muttersprache als diese Seite :leak:.

_________________
"Primitive(n) Kulturen moderne Technologie näherzubringen stellt einen klaren Verstoß gegen die Hauptdirektive dar!"(Star Trek)
!rr!rr_.
Unregistrierter




Beitrag !rr!rr_. Unregistrierter 17:33:14 03.02.2012   Titel:   ringe            Zitieren

Matrizenringe sind aber keine kommutativen Ringe mit 1 !! :idea: :idea: :idea:
otze
Mitglied

Benutzerprofil
Anmeldungsdatum: 15.01.2004
Beiträge: 6659
Beitrag otze Mitglied 19:37:48 03.02.2012   Titel:              Zitieren

jap, da smit dem kommutativ war im Eifer des Gefechts. Das ihr euch aber immer an sowas hoch ziehen müsst :)

_________________
Jesus Christus! Da blickt ja kein Mensch mehr durch.
!rr!rr_.
Unregistrierter




Beitrag !rr!rr_. Unregistrierter 21:29:27 03.02.2012   Titel:   ringe            Zitieren

soviel Zeit muß sein :D
C/C++ Forum :: Mathematik und Physik ::  Mathematische Ringe   Auf Beitrag antworten

Zeige alle Beiträge auf einer Seite




Nächstes Thema anzeigen
Vorheriges Thema anzeigen
Sie können Beiträge in dieses Forum schreiben.
Sie können auf Beiträge in diesem Forum antworten.
Sie können Ihre Beiträge in diesem Forum nicht bearbeiten.
Sie können Ihre Beiträge in diesem Forum nicht löschen.
Sie können an Umfragen in diesem Forum nicht mitmachen.

Powered by phpBB © 2001, 2002 phpBB Group :: FI Theme

c++.de ist Teilnehmer des Partnerprogramms von Amazon Europe S.à.r.l. und Partner des Werbeprogramms, das zur Bereitstellung eines Mediums für Websites konzipiert wurde, mittels dessen durch die Platzierung von Werbeanzeigen und Links zu amazon.de Werbekostenerstattung verdient werden kann.

Die Vervielfältigung der auf den Seiten www.c-plusplus.de, www.c-plusplus.info, www.c-sar.de, www.c-plusplus.net und www.baeckmann.de enthaltenen Informationen ohne eine schriftliche Genehmigung des Seitenbetreibers ist untersagt (vgl. §4 Urheberrechtsgesetz). Die Nutzung und Änderung der vorgestellten Strukturen und Verfahren in privaten und kommerziellen Softwareanwendungen ist ausdrücklich erlaubt, soweit keine Rechte Dritter verletzt werden. Der Seitenbetreiber übernimmt keine Gewähr für die Funktion einzelner Beiträge oder Programmfragmente, insbesondere übernimmt er keine Haftung für eventuelle aus dem Gebrauch entstehenden Folgeschäden.