www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Englisch
  Status Grammatik
  Status Lektüre
  Status Korrekturlesen
  Status Übersetzung
  Status Sonstiges (Englisch)

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Relationen" - Beweis für Äquivalenzrelation
Beweis für Äquivalenzrelation < Relationen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Relationen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweis für Äquivalenzrelation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:23 Mo 13.07.2009
Autor: Lockenheld

Aufgabe
Welche der folgenden Relationen sund Äquivalenzrelationen?
Falls eine Äquivalenzrelation vorliegt: geben sie die Äquivalenzklassen an.

Ich habe mich jetzt an der ersten versucht. Ich hoffe der Eigenschaftennachweis stimmt einigermaßen. Wir hatten noch nie Relationen mit "2 Bedingungen", daher auch die eckigen Klammern (der Übersicht wegen).
[Dateianhang nicht öffentlich]

Dateianhänge:
Anhang Nr. 1 (Typ: jpg) [nicht öffentlich]
        
Bezug
Beweis für Äquivalenzrelation: Antwort
Status: (Antwort) fertig Status 
Datum: 17:47 Mo 13.07.2009
Autor: abakus


> Welche der folgenden Relationen sund
> Äquivalenzrelationen?
>  Falls eine Äquivalenzrelation vorliegt: geben sie die
> Äquivalenzklassen an.
>  Ich habe mich jetzt an der ersten versucht. Ich hoffe der
> Eigenschaftennachweis stimmt einigermaßen. Wir hatten noch
> nie Relationen mit "2 Bedingungen", daher auch die eckigen
> Klammern (der Übersicht wegen).
>  [Dateianhang nicht öffentlich]

Hallo,
die Aufgabe wurde euch etwas verklausuliert gestellt.
Es gilt x|y UND y|x genau dann, wenn x=y.
Es handelt sich also um die Gleichheitsrelation.
Gruß Abakus


Bezug
                
Bezug
Beweis für Äquivalenzrelation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:53 Mo 13.07.2009
Autor: Lockenheld

Doofe Frage, aber ist meine Beweisführung dann korrekt?

Wo ist denn dann bei x|y UND y|x genau dann, wenn x=y, der Unterschied zur Bedingung der Antisymmetrie?

Bezug
                        
Bezug
Beweis für Äquivalenzrelation: Antwort
Status: (Antwort) fertig Status 
Datum: 10:20 Di 14.07.2009
Autor: angela.h.b.


> Doofe Frage, aber ist meine Beweisführung dann korrekt?

Hallo,

nein, Deine Beweisführung ist nicht richtig, meine Lust, auf Einzelheiten einzugehen,
ist jedoch gering, denn da Du Dir nicht die Mühe gemacht hast, die paar Zeilen einzutippen, kann man ja gar nichts kopieren und dazwischenschreiben.

Nur mal zur Reflexivität:

Zeigen will man hier doch, daß xRx gilt.

Du tust hingegen folgendes:

Aus xRx folgerst Du, daß  k=1 ist - was ja nicht unbedingt verkehrt ist. (Wie habt Ihr Teilbarkeit eigentlich definiert? Je nach Def. könnte auch (k=1 oder x=0) folgen.)

Boß man will ja nicht wissen, was folgt, falls xRx gilt, sondern man will wissen, ob xRx richtig ist. Dafür muß man genau andersrum argumentieren.

Auch deine Argumentation mit den k,q,l,m erschließt sich nicht so richtig. Der logische Ablauf und das, was Du mit den geschweiften Klammern ausdrücken möchtest, wird mir nicht recht klar.

Vielleicht wären ein paar erklärende Worte nicht übel. Man will so einen Beweis doch von links nach rechts durchlesen und ohne zu denken verstehen können.


> Wo ist denn dann bei x|y UND y|x genau dann, wenn x=y, der
> Unterschied zur Bedingung der Antisymmetrie?  

Irgendwie verstehe ich die Frage nicht richtig...  

Antisymmetrie ist doch dies:  (xRy  und yRx) ==> x=y
In Deinem Fall also:  (x|y und y|x und y|x und x|y) ==> x=y,
dh. (x|y und y|x ) ==> x=y.
Das gilt ja nicht. Nimm beispielsweise x=5 und y=-5.

Insofern ist der Unterschied Deiner Relation zu einer zu einer antisymmetrischen Relation  der, daß Deine Relation nicht antisymmetrisch ist.

Gruß v. Angela










Bezug
                
Bezug
Beweis für Äquivalenzrelation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:51 Di 14.07.2009
Autor: angela.h.b.


> Hallo,
>  die Aufgabe wurde euch etwas verklausuliert gestellt.
>  Es gilt x|y UND y|x genau dann, wenn x=y.
>  Es handelt sich also um die Gleichheitsrelation.

Hallo,

nein, das stimmt nicht. Das ganze spielt ja in [mm] \IZ, [/mm] also ist (x|y UND y|x)  <==> (x=y oder x=-y)

Gruß v. Angela


Bezug
                        
Bezug
Beweis für Äquivalenzrelation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:07 Di 14.07.2009
Autor: abakus


>
> > Hallo,
>  >  die Aufgabe wurde euch etwas verklausuliert gestellt.
>  >  Es gilt x|y UND y|x genau dann, wenn x=y.
>  >  Es handelt sich also um die Gleichheitsrelation.
>  
> Hallo,
>  
> nein, das stimmt nicht. Das ganze spielt ja in [mm]\IZ,[/mm] also
> ist (x|y UND y|x)  <==> (x=y oder x=-y)
>  
> Gruß v. Angela
>  

Autsch,
das mit dem Grundbereich Z hatte ich nicht beachtet.
Damit sind aber wenigstens die Äquivalenzklassen klar. Alle betragsgleichen ganzen Zahlen bilden jeweils eine Äquialenzklasse. Mit einer Ausnahme enthalten also alle Äquivalenzklassen genau 2 Elemente.
Gruß Abakus


Bezug
                                
Bezug
Beweis für Äquivalenzrelation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:59 Di 14.07.2009
Autor: Lockenheld

Mmm, ich wäre hier in diesem Fall froh, wenn mir einfach jemand mal eine Lösung für den Beweis einer Eigenschaft (z.B. reflexiv) hinknallt. Das ganze ganze sind nämlich Aufgaben von der Klausur aus dem letzten Semester und ich schreibe morgen die entsprechende "richtige" Klausur. Dann könnte ich mir den ersten Lösungsweg anschauen und versuchen zu verstehen, um dann die restlichen Eigenschaften nachzuweisen.... Wenn das gehen würde ...

Bezug
        
Bezug
Beweis für Äquivalenzrelation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:14 Di 14.07.2009
Autor: angela.h.b.


> Welche der folgenden Relationen sund
> Äquivalenzrelationen?
>  Falls eine Äquivalenzrelation vorliegt: geben sie die
> Äquivalenzklassen an.
>  Ich habe mich jetzt an der ersten versucht. Ich hoffe der
> Eigenschaftennachweis stimmt einigermaßen. Wir hatten noch
> nie Relationen mit "2 Bedingungen", daher auch die eckigen
> Klammern (der Übersicht wegen).
>  [Dateianhang nicht öffentlich]

Hallo,

ich zeige Dir das mal - obgleich ich es tippen muß.

Reflexivität

zu zeigen: es ist xRx für alle [mm] x\in \IZ [/mm]

Bew: Sei [mm] x\in \IZ. [/mm]

es ist  1*x=x ==> x|x ==> (x|x und x|x) ==> xRx


Symmetrie

Zu zeigen: xRy ==> yRx.

Beweis:

Es seinen x,y [mm] \in \IZ [/mm] mit xRy.

==> x|y und y|x

==> y|x und x|y

==> yRx


Läppisch, oder?


Für die Transitivität  brauchst Du allerdings wirklich die Def. von "teilt".

zu zeigen:

xRy und yRz  ==> xRy

Beweis:

seine [mm] x,y,z\in \IZ [/mm] mit xRy und yRz

==> x|y und y|x und y|z und z|y

==> es gibt k,l,m,n [mm] \in [/mm] mit kx=y und ly=x und my=z und nz=y

==>   [... nun mach mal weiter ]

==> x|z und z|y

==> xRz

Gruß v. Angela




Bezug
                
Bezug
Beweis für Äquivalenzrelation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:29 Di 14.07.2009
Autor: Lockenheld

x|y und y|x und y|z und z|y

es gibt k,l,m,n $ [mm] \in [/mm] $ mit kx=y und ly=x und my=z und nz=y

z = m(kx) und x = l(nz)
z = kmx und x = lnz  -- km = q und ln = p mit q,p E [mm] \IZ [/mm]
z = qx und x = pz


==> x|z und z|y

==> xRz

Bezug
                        
Bezug
Beweis für Äquivalenzrelation: Antwort
Status: (Antwort) fertig Status 
Datum: 19:34 Di 14.07.2009
Autor: schachuzipus

Hallo Johannes,

> x|y und y|x und y|z und z|y
>  
> es gibt k,l,m,n [mm]\in[/mm] mit kx=y und ly=x und my=z und nz=y [ok]
>  
> z = m(kx) und x = l(nz) [ok]

Hier bist du doch schon fertig, denn $z=(mk)x$ bedeutet [mm] $x\mid [/mm] z$ und $x=(ln)z$ bedeutet [mm] $z\mid [/mm] x$, also $xRz$

> z = kmx und x = lnz  -- km = q und ln = p mit q,p E [mm]\IZ[/mm]
> z = qx und x = pz
>  
> ==> x|z und z|y
>  
> ==> xRz  


LG

schachuzipus

Bezug
                                
Bezug
Beweis für Äquivalenzrelation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:37 Di 14.07.2009
Autor: Lockenheld

Ja, das ist klar. Ich wollte das nur ganz ordentlich aufschreiben.

Bezug
                                        
Bezug
Beweis für Äquivalenzrelation: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:40 Di 14.07.2009
Autor: Lockenheld

Wenn ich nun die gleiche Relation in [mm] \IN\times\IN [/mm] behandeln soll (ÄR-Eigenschaften nachweisen) ändert sich doch an der prinzipiellen Beweisführung nichts. Dann sind meine k,l,m,n doch lediglich [mm] \in\IN. [/mm]

Bezug
                                                
Bezug
Beweis für Äquivalenzrelation: Antwort
Status: (Antwort) fertig Status 
Datum: 19:53 Di 14.07.2009
Autor: angela.h.b.


> Wenn ich nun die gleiche Relation in [mm]\IN\times\IN[/mm] behandeln
> soll (ÄR-Eigenschaften nachweisen) ändert sich doch an
> der prinzipiellen Beweisführung nichts. Dann sind meine
> k,l,m,n doch lediglich [mm]\in\IN.[/mm]  

Hallo,

an der Beweisführung ändert sich nichts.

Es ändern sich aber die Äquivalenzklassen.

Gruß v. Angela




Bezug
                                                        
Bezug
Beweis für Äquivalenzrelation: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:58 Di 14.07.2009
Autor: Lockenheld

Das habe ich hier in den Lösungen gesehen. Das ist mir auch klar.

Zum Schluss möchte ich mich noch für die Mithilfe und die Geduld mit meinen mathematischen Fähigkeiten bedanken. Ich bin wirklich froh, dass es das Forum hier gibt.

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Relationen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.englischraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]