Um dos principais conceitos é o de par ordenado. Chamamos de par todo conjunto formado por dois elementos. Sendo assim {1, 2}, {5, 8}, {a, c} indicam pares, mas observe que pela teoria de conjunto quando invertemos a ordem dos elementos não produzimos um novo par, ou seja:
{5, 8} = {8, 5}
Mas nesse caso precisamos distinguir os pares ordenados pela ordem dos seus elementos. Sendo assim admitimos a noção de par ordenado como um conceito primitivo. Para cada elemento a e cada elemento b, admitiremos a existência de um terceiro elemento (a, b), que denominamos de par ordenado, de modo que se tenha:
\( \left(a, b\right) = \left(c, d\right) \Leftrightarrow a = c \; e \; b = d \)
Dados dois conjuntos A e B chamamos de relação binária de A em B, qualquer subconjunto R do produto cartesiano \(A \times B\). Se B = A todo subconjunto R de \(A \times A\) ou \(B \times B\) é chamado de relação binária em A ou relação binária sobre A. Uma relação \(R: A \rightarrow B\) é um conjunto de pares ordenados \(\left(x, y\right) \in A \times B\).
Chamamos de antecedentes os primeiros elementos dos pares da relação R e de imagens os segundos elementos dos pares da relação R.
Por exemplo:
Dados os conjuntos A = {1, 3, 0, 6} e B = {4, 5, 6, 7, 11, 13}, e a relação \(R = \left\{\left(a, b\right) \in A \times B \; | \; a \; é \; divisor \; de \; b\right\}\).
Enumerando o nosso conjunto temos:
\[ R = \left\{\left(2, 4\right), \left(2, 6\right), \left(3, 6\right), \left(6, 6\right) \right\} \]
Referências:
Iezzi, Gelson. Fundamentos da matemática elementar, 1: conjuntos, funções / Gelson Iezzi, Carlos Murakami. – 9. ed. — São Paulo: Atual, 2013.
Aranha, Álvaro Zimmermann. Funções e logaritmos/Álvaro, Zimmermann Aranha, Manoel Benedito Rodrigues. -2.ed. rev. melhor. – São Paulo: Policarpo. 1994 – (Exercícios de matemática; v.2).
Tag:Cartesiano, Funções, Plano, Relações
[amount] estão lendo esse conteúdo agora.
Ainda não é membro? Registrar agora
Are you a member? Login now