Relação binária: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
→Endorrelação: Adicionado tópico de grafos |
|||
Linha 38:
* Se C = {a, b}, a relação ⟨C, =⟩ será um conjunto R = {(a, a), (b, b)}.
* Se D = {1, 2, 3}, a relação <math>\geq:</math> D <math>\longrightarrow</math> D será um conjunto R = {(1, 1), (2, 1), (2, 2), (3, 1), (3, 2), (3, 3)}.
=== Grafos ===
O '''grafo''' é um ramo importante da matemática discreta (ver [[Teoria dos grafos]]). Podemos observar os grafos de maneira clara a partir de endorrelações. Dessa maneira, toda relação R: A <math>\longrightarrow</math> A pode ser representada como um grafo com arestas ligando cada par ordenado '''(a,b)''' com origem em '''a''' destino em '''b'''. Assim:
* Cada elemento do conjunto A é representado por um vértice do grafo.
* Cada par ordenado '''(a,b)''' no grafo é representado por uma aresta (setas) de '''a''' para '''b'''.
[[Ficheiro:Grafos.png|miniaturadaimagem|Figura 1]]
Tomemos como exemplo o primeiro exemplo dado em endorrelações. Se A = {0, 1, 2}, a relação “menor que” de A em A será R = {(0, 1), (0, 2), (1, 2)}. Logo, teremos um grafo configurado da seguinte maneira (ver ''figura 1'').
===Outra definição===
| |||