„Reláció inverze” változatai közötti eltérés

[nem ellenőrzött változat]

[ellenőrzött változat]

← Régebbi szerkesztés Újabb szerkesztés →

Tartalom törölve Tartalom hozzáadva

Sorban

A lap 2008. augusztus 21., 18:56-kori változata

Legyen $\rho$ az $A\times A$ -n értelmezett reláció, ahol $A$ tetszőleges nemüres halmaz. A $\rho$ reláció inverzét – ami szintén $A\times A$ -n értelmezett és amit $\rho ^{\vee }$ -vel vagy $\rho ^{-1}$ -gyel szoktak jelölni – a következő módon definiáljuk.

Bármely $a,b\in A$ -ra $a$ akkor áll $b$ -vel a $\rho ^{\vee }$ relációban, ha $b$ és $a$ a $\rho$ relációban állnak egymással.

Ugyanez formálisabban:

$\rho ^{\vee }:=\{(a,b)\in A^{2}:(b,a)\in \rho \}$

Vegyük észre, hogy a definíció csak homogén és binér relációkra alkalmazható.

Forrás

S. Burris – H. P. Sankappanavar: Bevezetés az univerzális algebrába. Tankönyvkiadó, Budapest, 1988

A lap 2007. június 28., 14:20-kori változata szerkesztés Gubbubu (vitalap \| szerkesztései) járőrök, megerősített szerkesztők 62 950 szerkesztés →‎Forrás ← Régebbi szerkesztés		A lap 2008. augusztus 21., 18:56-kori változata szerkesztés visszavonás SamatBot (vitalap \| szerkesztései) botok 247 461 szerkesztés a kozmetikai javítások Újabb szerkesztés →
1. sor:		1. sor:
	Legyen <math>\rho</math> az <math>A \times A</math>-n értelmezett [[reláció]], ahol <math>A</math> tetszőleges nemüres halmaz. A <math>\rho</math> '''reláció inverzét''' – ami szintén <math>A \times A</math>-n értelmezett és amit <math>\rho^\vee</math>-vel vagy <math>\rho^{-1}</math>-gyel szoktak jelölni – a következő módon definiáljuk.		Legyen <math>\rho</math> az <math>A \times A</math>-n értelmezett [[reláció]], ahol <math>A</math> tetszőleges nemüres halmaz. A <math>\rho</math> '''reláció inverzét''' – ami szintén <math>A \times A</math>-n értelmezett és amit <math>\rho^\vee</math>-vel vagy <math>\rho^{-1}</math>-gyel szoktak jelölni – a következő módon definiáljuk.


	Bármely <math>a,b \in A</math>-ra <math>a</math> akkor áll <math>b</math>-vel a <math>\rho^\vee</math> relációban, ha <math>b</math> és <math>a</math> a <math>\rho</math> relációban állnak egymással.		Bármely <math>a,b \in A</math>-ra <math>a</math> akkor áll <math>b</math>-vel a <math>\rho^\vee</math> relációban, ha <math>b</math> és <math>a</math> a <math>\rho</math> relációban állnak egymással.