Relacja trójargumentowa lub relacja ternarna – dowolny podzbiór iloczynu kartezjańskiego trzech zbiorów. Analogicznie do relacji dwuargumentowej, która jest zdefiniowana jako zbiór uporządkowanych dwójek, relacja trójargumentowa jest zbiorem uporządkowanych trójek postaci
należących do zbioru
Definicja ta oddaje intuicję związku, czy zależności między elementami tych trzech zbiorów (elementy wspomnianych trzech zbiorów pozostają w pewnym związku, łączy je pewna zależność, własność, albo nie).
Przykłady
Współliniowość punktów
Przykładem relacji trójargumentowej jest relacja współliniowości trzech punktów. Podobnie relacja leżenia między trzech punktów oznaczająca leżenie punktu między dwoma innymi.
Funkcje dwuargumentowe
Funkcją dwóch zmiennych
nazywamy taką funkcję, która każdej uporządkowanej parze
in
przyporządkowuje element
ze zbioru
a więc wykres funkcji
składa się z uporządkowanych par
które są utożsamiane z uporządkowanymi trójkami
Wtedy wykres
jest relacją trójargumentową zbiorów
oraz
do której należą wszystkie trójki postaci
dla każdego
należącego do
i
należącego do
Porządek cykliczny
Dla dowolnego zbioru
którego elementy ułożyliśmy w okrąg, można zdefiniować relację
na zbiorze
będącą podzbiorem
przy założeniu, że
zachodzi wtedy i tylko wtedy, gdy
są parami różne i kiedy przechodząc z
do
zgodnie z ruchem wskazówek zegara musimy przejść przez
Na przykład dla zbioru
reprezentującego godziny na tarczy zegara,
zachodzi oraz
nie zachodzi.
Relacja przystawania
Relacja przystawania:
![{\displaystyle a\equiv b{\pmod {m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad3dfcf6e055fce344fa935fbed43aacd9bcc613)
trzech liczb całkowitych
i
zachodzi wtedy i tylko wtedy, gdy
dzieli
a zatem może zostać uznana za relację trójargumentową. Przyjmuje się jednak, że jest to rodzina relacji między
i
oraz kolejnych liczb całkowitych
Wówczas dla każdego ustalonego
taka relacja dwuargumentowa jest m.in. relacją równoważności.
pojęcia podstawowe |
|
---|
własności i typy | według liczby argumentów |
|
---|
konkretne przykłady |
|
---|
własności relacji binarnych |
|
---|
praporządki |
|
---|
inne zestawy własności |
|
---|
|
---|
działania na relacjach | |
---|
powiązane struktury | |
---|
pozostałe pojęcia |
|
---|