Diskret matematik: använder jag notationen för relation på ett godkänt sätt?

Hej!

Kul att vara tillbaka på PA nu till hösten. Känns lite som att vara hemma, haha.

Jag har en kort fråga om notation för relationer. Jag hoppas ni förstår vad jag menar.

Låt säga att vi har en relation

$x\mathcal R y\text{ om } x = y$

Är det gilltigt att skriva att

$x\mathcal R y\text{ om } x = y \iff \mathcal R = \lbrace (x,y) | x=y \rbrace$

dvs. kan jag använda notationen $x\mathcal R y$ och $(x,y)\in \mathcal R$ utan att behöva definiera $\lbrace (x,y) | x=y \rbrace$ som en separat grej med godtycklig bokstav.

Jag hoppas ni förstår vad jag menar. Annars försöker jag förtydliga när jag sovit på saken.

Ja, om du har skrivit $xRy \iff x=y$ tycker jag du direkt kan gå över till mängdnotationen! Man brukar ju annars definiera själva relationen i termer av mängder:

$xRy \iff (x,y)\in R$ då $R\subseteq (X\times Y)$ och $x\in X, y\in Y$ .

naytte skrev:
Ja, om du har skrivit $xRy \iff x=y$ tycker jag du direkt kan gå över till mängdnotationen! Man brukar ju annars definiera själva relationen i termer av mängder:

$xRy \iff (x,y)\in R$ då $R\subseteq (X\times Y)$ och $x\in X, y\in Y$ .

Yes okej, tack så mycket! Min föreläsare har hållit sig utanför mängdnotationerna så det var därför jag undrade, efter många andra källor istället använder mängdnotationerna.

Svara