[WISKUNDE] Equivalence Relations

Moderators: ArcherBarry, Fuzzwood

Reageer
Berichten: 7

[WISKUNDE] Equivalence Relations

Wie kan me alsjeblieft helpen met het volgende vraagstuk?

Set S=
\($\mathbb{N}$\)
x
\($\mathbb{N}$\)
, and for any two members
\((a,b),(c,d)\)
of S, define
\((a,b)\simeq (c,d)\)
provided that ad=bc. Prove that
\(\simeq \)
is an equivalence relation on S and list four members of [(6,8)]

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: [WISKUNDE] Equivalence Relations

Jessie88 schreef:Wie kan me alsjeblieft helpen met het volgende vraagstuk?

Set S=
\($\mathbb{N}$\)
x
\($\mathbb{N}$\)
, and for any two members
\((a,b),(c,d)\)
of S, define
\((a,b)\simeq (c,d)\)
provided that ad=bc. Prove that
\(\simeq \)
is an equivalence relation on S and list four members of [(6,8)]
Weet je wat je moet doen om een equivalentie-relatie aan te tonen?

Berichten: 7

Re: [WISKUNDE] Equivalence Relations

Volgens mij door aan te tonen dat hij en reflexive en symmetric en transitive is

Maar ik begrijp niet precies hoe ik daaraan moet beginnen.

Voor symmetrie moet ik waarschijnlijk gebruiken dat (c,d)
\(\simeq \)
(a,b) omdat cb=da ? (zit ik op het goede spoor?)

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: [WISKUNDE] Equivalence Relations

Jessie88 schreef:Volgens mij door aan te tonen dat hij en reflexive en symmetric en transitive is

Maar ik begrijp niet precies hoe ik daaraan moet beginnen.  

Voor symmetrie moet ik waarschijnlijk gebruiken dat (c,d)
\(\simeq \)
(a,b) omdat cb=da ? (zit ik op het goede spoor?)
Wat je moet doen is:

1. (a,a)~(a,a) (reflexief )

2. (a,b)~(c,d) <=> (c,d)~(a,b) (symmetrisch)

3. (a,b)~(c,d) en (c,d)~(e,f) => (a,b)~(e,f) (transitief)

1 en 2 zijn eenvoudig, 3 iets lastiger. Probeers het eens!

Berichten: 7.068

Re: [WISKUNDE] Equivalence Relations

Jessie88 schreef:Volgens mij door aan te tonen dat hij en reflexive en symmetric en transitive is

Maar ik begrijp niet precies hoe ik daaraan moet beginnen.  

Voor symmetrie moet ik waarschijnlijk gebruiken dat (c,d)
\(\simeq \)
(a,b) omdat cb=da ? (zit ik op het goede spoor?)
Heet! Heet! (dat is een ja). :)

Ikzelf zou alleen zeggen:

Een relatie is symmetrisch als het bestaan van:
\((a,b) \simeq (c,d)\)
ook het bestaan van het volgende impliceert:
\((c,d) \simeq (a,b)\)
We weten dat dit moet gelden op basis van de definitie van de relatie:
\((c,d) \simeq (a,b) \rightarrow c b = d a\)
We weten vanuit de axioma's van algebra dat geldt:
\(c b = d a \rightarrow c b = b c, d a = a d \rightarrow a d = b c\)
Dat dit laatste geldt weten we, want de relatie geldt voor:
\((a,b) \simeq (c,d)\)
dus de relatie is symmetrisch.

Berichten: 7

Re: [WISKUNDE] Equivalence Relations

Heel erg bedankt, ik heb hem nu helemaal

Alleen bedoelen ze met de 4 members van 6,8

dat je a=6 neemt en b=8 en dan 4 koppels (c,d) moet vinden waarvoor geldt ad=bc?

Dus bijv. de volgende oplossingen:

(3,4)

(6,8)

(12,16)

(18,24)

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: [WISKUNDE] Equivalence Relations

Jessie88 schreef:Heel erg bedankt, ik heb hem nu helemaal

Alleen bedoelen ze met de 4 members van 6,8

dat je a=6 neemt en b=8 en dan 4 koppels (c,d) moet vinden waarvoor geldt ad=bc?

Dus bijv. de volgende oplossingen:

(3,4)

(6,8)

(12,16)

(18,24)
OK!

Je weet nu misschien ook, dat een equivalentie-relatie de verz NxN verdeeld in equivalentie-klassen.

Heb je dan door wat de equivalentie-klasse (a,a) voorstelt?

En de andere klassen?

Berichten: 33

Re: [WISKUNDE] Equivalence Relations

voor het bewijs dat het transitief is zit ik te klooien, niet normaal, kan iemand mij uit de brand helpen
QED

Berichten: 33

Re: [WISKUNDE] Equivalence Relations

never mind, ik heb hem net zelf gevonden, brainwave!

BTW hoe doe je in latex dat mislukte isgelijkteken met die tilde erboven op
QED

Berichten: 110

Re: [WISKUNDE] Equivalence Relations

Hm... Ik kom niet uit die transitieve, terwijl het niet echt moeilijk lijkt... Misschien dat iemand anders weet hoe het werkt...

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: [WISKUNDE] Equivalence Relations

Hm... Ik kom niet uit die transitieve, terwijl het niet echt moeilijk lijkt... Misschien dat iemand anders weet hoe het werkt...
(a,b)~(c,d) en (c,d)~(e,f)

Je weet dus ad=bc en cf=de, vermenigvuldig de eerste met f (l en r), dus adf=bcf wat kan je nu rechts vervangen mbv de tweede ... , en dan ... ? Waar wil je naartoe?

Succes!

Reageer