matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenRelationenRelation auf zwei Mengen
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Relationen" - Relation auf zwei Mengen
Relation auf zwei Mengen < Relationen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Relationen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Relation auf zwei Mengen: Darstellung und Äauival.rel.
Status: (Frage) beantwortet Status 
Datum: 11:25 Di 26.02.2008
Autor: RalU

Aufgabe
Hallo!
Habe ein paar Probleme bei folgender Aufgabe:

Es seien A={a,c} und B={b,c} zweielementige Mengen mit dem gemeinsamen Element c. R= A x A [mm] \cup [/mm] B x B ist dann eine Relation auf A [mm] \cup [/mm] B.

a) Stellen Sie R durch Angabe ihrer Elemente, Matrix und Graph dar.

also zunächst hab ich mich natürlich gefragt, welche Elemente denn A [mm] \cup [/mm] B nun hat.
Also: A x A ={(a,a),(a,c),(c,a),(c,c)} und
B x B={(b,b),(b,c),(c,b),(c,c)}

Und A [mm] \cup [/mm] B = {(a,a),(a,c),(c,a),(c,c),(b,b),(b,c),(c,b)}

Darstellung als Matrix und Graph: siehe Bildanhang:

[Dateianhang nicht öffentlich]


b) Ist R eine Äquivalenzrelation (mit Begründung)?

Es muss also geprüft werden, ob R reflexiv, symmetrisch und transitiv ist.

R reflexiv:
[mm] \forall [/mm] x [mm] \in [/mm] R [mm] \exists [/mm] (x,x) [mm] \in [/mm] R
Also: R={(x,x)}.
Das ist offensichtlich erfüllt, denn es gilt ja für jedes Element in R. Es gibt ja (a,a), (b,b) und (c,c). Also isr R reflexiv.

Wie kann ich das genauer zeigen? Oder ist das so in Ordnung?


R symmetrisch:
Zu jedem (x,y) [mm] \in [/mm] R [mm] \exists [/mm] (y,x) [mm] \in [/mm] R

Hier weiß ich gerade nicht weiter, denn es gilt zwar (a,c) und (c,a) sowie (b,c) und (c,b) aber es gibt ja kein (a,b) und (b,a). Wie muss ich denn hier vorgehen?


R transitiv:
Falls (x,y) [mm] \in [/mm] R und (y,z) [mm] \in [/mm] R [mm] \Rightarrow [/mm] (x,z) [mm] \in [/mm] R

Auch hier denk ich, dass Transitivität erfüllt ist, denn es gilt ja z.B. (a,a) [mm] \in [/mm] R und (a,c) [mm] \in [/mm] R -> (c,a) [mm] \in [/mm] R
Aber wie kann ich das jetzt allgemein beschreiben?


Wer kann mir bei dieser Aufgabe helfen?
Gruß, Ralf

Dateianhänge:
Anhang Nr. 1 (Typ: JPG) [nicht öffentlich]
        
Bezug
Relation auf zwei Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 12:59 Di 26.02.2008
Autor: statler

Mahzeit Ralf!

>  Habe ein paar Probleme bei folgender Aufgabe:
>  
> Es seien A={a,c} und B={b,c} zweielementige Mengen mit dem
> gemeinsamen Element c. R= A x A [mm]\cup[/mm] B x B ist dann eine
> Relation auf A [mm]\cup[/mm] B.
>  a) Stellen Sie R durch Angabe ihrer Elemente, Matrix und
> Graph dar.
>  
> also zunächst hab ich mich natürlich gefragt, welche
> Elemente denn A [mm]\cup[/mm] B nun hat.
>  Also: A x A ={(a,a),(a,c),(c,a),(c,c)} und
> B x B={(b,b),(b,c),(c,b),(c,c)}
>  
> Und A [mm]\cup[/mm] B = {(a,a),(a,c),(c,a),(c,c),(b,b),(b,c),(c,b)}

Das ist falsch, weil das nicht A [mm]\cup[/mm] B ist, sondern R. A [mm]\cup[/mm] B hat 3 Elemente und besteht nicht aus geordneten Paaren.

> Darstellung als Matrix und Graph: siehe Bildanhang:
>  
> [Dateianhang nicht öffentlich]
>  

Wenn ihr das so macht, könnte das richtig sein.

> b) Ist R eine Äquivalenzrelation (mit Begründung)?
>  
> Es muss also geprüft werden, ob R reflexiv, symmetrisch und
> transitiv ist.
>  
> R reflexiv:
>  [mm] \forall [/mm] x [mm] \in [/mm] R [mm] \exists [/mm] (x,x) [mm] \in [/mm] R
>  Also: R={(x,x)}.

Das ist falsch hingeschrieben. Richtig wäre nach meinem Dafürhalten

[mm] \forall [/mm] x [mm] \in [/mm] A [mm] \cup [/mm] B: (x,x) [mm] \in [/mm] R
Also: {(x,x)|x [mm] \in [/mm] A [mm] \cup [/mm] B} [mm] \subset [/mm] R.

>  Das ist offensichtlich erfüllt, denn es gilt ja für jedes
> Element in R. Es gibt ja (a,a), (b,b) und (c,c). Also isr R
> reflexiv.

Anschaulich heißt reflexiv, daß alle Paare mit gleichen Einträgen in R liegen müssen, und das ist erfüllt.

> Wie kann ich das genauer zeigen? Oder ist das so in
> Ordnung?

In diesem Fall kannst du die Reflexivität durch Aufzählen der betreffenden El. beweisen, also OK.

> R symmetrisch:
>  Zu jedem (x,y) [mm]\in[/mm] R [mm]\exists[/mm] (y,x) [mm]\in[/mm] R

Das sollte man als 'wenn-dann'-Aussage schreiben.

> Hier weiß ich gerade nicht weiter, denn es gilt zwar (a,c)
> und (c,a) sowie (b,c) und (c,b) aber es gibt ja kein (a,b)
> und (b,a). Wie muss ich denn hier vorgehen?

Eben drum die 'wenn-dann'-Formulierung: Eine Implikation ist dann wahr, wenn die Voraussetzung nicht erfüllt ist. wenn also (a,b) nicht in R liegt, ist es unerheblich, ob (b,a) in R liegt.

> R transitiv:
>  Falls (x,y) [mm]\in[/mm] R und (y,z) [mm]\in[/mm] R [mm]\Rightarrow[/mm] (x,z) [mm]\in[/mm] R
>  
> Auch hier denk ich, dass Transitivität erfüllt ist, denn es
> gilt ja z.B. (a,a) [mm]\in[/mm] R und (a,c) [mm]\in[/mm] R -> (c,a) [mm]\in[/mm] R

Das denke ich mal eben nicht. Es ist (a,c) in R und (c,b) in R, aber was ist mit (a,b)?

Gruß aus HH-Harburg
Dieter

Bezug
                
Bezug
Relation auf zwei Mengen: vielen Dank
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:19 Di 26.02.2008
Autor: RalU

Vielen Dank für deine Hilfe.

Oben muss es natürlich heißen: R=A x A [mm] \cup [/mm] B X B = ...
wie du richtig sagtest.

Ok, es handelt sich also um keine Äquivalenzrelation, weil R nicht transitiv ist.

Gruß, Ralf

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


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