Zgodność relacji z działaniem

Zgodność relacji z działaniem – pojęcie algebry abstrakcyjnej; własność pewnych relacji, zwłaszcza dwuczłonowych, określonych na strukturach algebraicznych. Mówi się, że relacja $R$ na zbiorze $X$ jest zgodna z działaniem $*$ na tym zbiorze $(*:X\times X\to X),$ jeśli zachodzi implikacja:

$\forall x,y,x',y'\in X:xRy\land x'Ry'\Rightarrow (x*x')R(y*y').$

Innymi słowy dowolne dwa zdania wyrażające tę relację można ze sobą łączyć przez wykonywanie działania stronami. Definiuje się też zgodność relacji z działaniami zewnętrznymi oraz z działaniami o większej liczbie argumentów .

Przykłady

Standardowy porządek liczb rzeczywistych jest zgodny z dodawaniem tych liczb:

$\forall x,y,x',y'\in \mathbb {R} :(x<y\land x'<y')\Rightarrow (x+x'<y+y').$

Porządek ten nie jest jednak zgodny z takimi działaniami na tym zbiorze jak:

• odejmowanie: $0<1$ i $0<1,$ ale $0-0\nless 1-1;$
• mnożenie: $1<2$ i $-2<-1,$ ale $1(-2)\nless 2(-1).$

Relacja podzbioru jest zgodna z działaniami sumy zbiorów i ich przekroju:

$(A_{1}\subseteq B_{1}\land A_{2}\subseteq B_{2})\Rightarrow (A_{1}\cup A_{2}\subseteq B_{1}\cup B_{2});$

$(A_{1}\subseteq B_{1}\land A_{2}\subseteq B_{2})\Rightarrow (A_{1}\cap A_{2}\subseteq B_{1}\cap B_{2}).$

Rola

Zgodność skierowania z działaniami pojawia się w definicjach grupy uporządkowanej oraz ciała uporządkowanego. Dowodzi się też, że przystawanie elementów grupy względem podgrupy jest zgodne z działaniem tej struktury wtedy i tylko wtedy, gdy ta podgrupa jest normalna; jest to jedna z równoważnych definicji podgrupy normalnej:

$H<G,$

$a\equiv _{H}b:\Leftrightarrow ab^{-1}\in H,$

$(\forall a,b,c,d\in G:a\equiv _{H}b\land c\equiv _{H}d\Rightarrow ac\equiv _{H}bd)\Leftrightarrow H\trianglelefteq G.$

Dowodzi się też, że jeśli jakaś relacja równoważności jest zgodna z działaniem grupy, to istnieje podgrupa definiująca tę relację w powyższy sposób.

Bibliografia

• Wojciech Guzicki, Piotr Zakrzewski: Wykłady ze wstępu do matematyki. Wydawnictwo Naukowe PWN, 2012.
• Zdzisław Opial: Algebra wyższa. Warszawa: Państwowe Wydawnictwo Naukowe, 1972.
• Marek Ptak, Karol Gryszka, Beata Hejmej: Algebra liniowa. Notatki do wykładu. Kraków: Wydawnictwo Szkolne Omega, 2019. ISBN 978-83-7267-734-1.