Relações Binárias
🔗 relações binárias · conectando elementos
Em matemática, uma relação binária é uma associação entre elementos de dois conjuntos. Formalmente, dados os conjuntos \(A\) e \(B\), uma relação \(R\) de \(A\) para \(B\) é um subconjunto do produto cartesiano \(A \times B\), ou seja, \(R \subseteq \{(a,b) \mid a \in A,\; b \in B\}\). Se \((a,b) \in R\), escrevemos \(a\,R\,b\).
📌 Definição formal
Seja \(R\) uma relação de \(A\) para \(B\). O domínio de \(R\) é o conjunto dos primeiros elementos dos pares: \(\operatorname{dom}(R) = \{ a \in A \mid \exists b \in B,\; (a,b) \in R \}\). A imagem é \(\operatorname{im}(R) = \{ b \in B \mid \exists a \in A,\; (a,b) \in R \}\). Quando \(A = B\), dizemos que \(R\) é uma relação sobre \(A\).
🧩 Tipos de relações binárias
Certas propriedades definem classes importantes de relações (sempre considerando uma relação \(R\) sobre um conjunto \(A\)):
- Reflexiva: \(\forall a \in A,\; (a,a) \in R\). Todo elemento está relacionado consigo mesmo.
- Simétrica: \(\forall a,b \in A,\; (a,b) \in R \Rightarrow (b,a) \in R\).
- Antissimétrica: \(\forall a,b \in A,\; (a,b) \in R \land (b,a) \in R \Rightarrow a = b\).
- Transitiva: \(\forall a,b,c \in A,\; (a,b) \in R \land (b,c) \in R \Rightarrow (a,c) \in R\).
Combinações dessas propriedades definem relações de equivalência (reflexiva, simétrica, transitiva) e relações de ordem parcial (reflexiva, antissimétrica, transitiva).
📚 Exemplos de relações binárias
Considere \(A = \{1,2,3\}\). Veja exemplos para cada propriedade:
🔹 Reflexiva: \(R_1 = \{(1,1), (2,2), (3,3)\}\) — apenas os pares diagonais.
🔹 Simétrica: \(R_2 = \{(1,2), (2,1), (2,3), (3,2)\}\) — para cada par, o inverso também pertence.
🔹 Antissimétrica: \(R_3 = \{(1,2), (2,3)\}\) — não há pares \((a,b)\) e \((b,a)\) com \(a \neq b\).
🔹 Transitiva: \(R_4 = \{(1,2), (2,3), (1,3)\}\) — a presença de \((1,2)\) e \((2,3)\) exige \((1,3)\).
Uma relação pode ter várias propriedades simultaneamente. Por exemplo, a relação de igualdade \(=\) é reflexiva, simétrica, antissimétrica e transitiva (sim, antissimetria não conflita com simetria quando só há pares iguais).
📊 Representação de relações binárias
Existem três formas comuns de representar uma relação finita:
- Diagrama de setas: elementos de \(A\) à esquerda, elementos de \(B\) à direita, setas ligando relacionados.
- Matriz de adjacência (0-1): linhas indexadas por \(A\), colunas por \(B\); entrada \(m_{ij}=1\) se \((a_i,b_j)\in R\).
- Lista de pares ordenados: enumeração explícita, como \(R = \{(1,2),(2,3),(1,3)\}\).
Exemplo de matriz para \(R = \{(1,2),(2,3),(1,3)\}\) com \(A = \{1,2,3\}\) e \(B = \{1,2,3\}\):
| \(R\) | 1 | 2 | 3 |
|---|---|---|---|
| 1 | 0 | 1 | 1 |
| 2 | 0 | 0 | 1 |
| 3 | 0 | 0 | 0 |
🌟 importância das relações binárias
As relações binárias são a base conceitual para:
- Funções: são relações funcionais (cada \(a\) se relaciona com um único \(b\)).
- Teoria dos grafos: grafos dirigidos são relações binárias sobre o conjunto de vértices.
- Álgebra: relações de equivalência definem partições; ordens parciais estruturam conjuntos.
- Banco de dados: modelo relacional é baseado em relações (tabelas).
- Lógica e computação: relações são usadas em semântica de programas e raciocínio automático.
Comentários
Postar um comentário