Pré-ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Impróprio |
|||
Linha 1: | Linha 1: | ||
{{About|Relação Binária|Depth-first search|}} |
|||
{{ER|20|2=[[Usuário(a):Reporter|Reporter]] ([[Usuário(a) Discussão:Reporter|discussão]]) 21h51min de 26 de maio de 2013 (UTC)|3=A WP [[WP:DIC|não é um dicionário]].}} |
{{ER|20|2=[[Usuário(a):Reporter|Reporter]] ([[Usuário(a) Discussão:Reporter|discussão]]) 21h51min de 26 de maio de 2013 (UTC)|3=A WP [[WP:DIC|não é um dicionário]].}} |
||
Em [[matemática]], uma ''pré-ordem'' é uma [[relação binária]] reflexiva e transitiva. |
Em [[matemática]], uma ''pré-ordem'' é uma [[relação binária]] reflexiva e transitiva. |
||
Toda [[ordem parcial]] é também uma pré-ordem. |
Toda [[ordem parcial]] ou [[relação de equivalência]] é também uma pré-ordem. |
||
Para toda pré-ordem há um [[grafo direto]] relacionado, com elementos do conjunto de vértices e com a relação de ordem dos pares de elementos correspondendo à direção dos arcos. |
|||
==Definição Formal== |
|||
Seja ''A'' um [[Conjunto (matemática)|conjunto]] e R uma [[relação binária]] sobre ''A'' (ou seja, R subconjunto de AxA). Então, R é uma pré-ordem se, e somente se, R é reflexiva e transitiva. Isto é: |
|||
[[Category:Relações Matemáticas]] |
Revisão das 22h39min de 26 de maio de 2013
Este artigo foi proposto para eliminação rápida por não cumprir com alguma política da Wikipédia. |
Em matemática, uma pré-ordem é uma relação binária reflexiva e transitiva. Toda ordem parcial ou relação de equivalência é também uma pré-ordem.
Para toda pré-ordem há um grafo direto relacionado, com elementos do conjunto de vértices e com a relação de ordem dos pares de elementos correspondendo à direção dos arcos.
Definição Formal
Seja A um conjunto e R uma relação binária sobre A (ou seja, R subconjunto de AxA). Então, R é uma pré-ordem se, e somente se, R é reflexiva e transitiva. Isto é: