Pré-ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 17: | Linha 17: | ||
* Sobre os arcos de um [[Teoria dos grafos|grafo]] orientado (também conhecido por ''digrafo''), a relação ''ser acessível por'' é uma pr[e-ordem. Se o digrafo é acíclico, essa relação vira uma ordem. |
* Sobre os arcos de um [[Teoria dos grafos|grafo]] orientado (também conhecido por ''digrafo''), a relação ''ser acessível por'' é uma pr[e-ordem. Se o digrafo é acíclico, essa relação vira uma ordem. |
||
* Em um [[anel comutativo]], a relação ''divide'' é uma pré-ordem. |
* Em um [[anel comutativo]], a relação ''divide'' é uma pré-ordem. |
||
* A relação definida por <math>x \le y \ |
* A relação definida por <math>x \le y \RightLeftarrow \exist f<math>, [[função injetora|injetora]] de <math>x</math> para <math>y</math>. |
||
* Uma [[Teoria das categorias|categoria]] com no máximo um [[morfismo]] de algum objeto <math>x</math> para algum outro onjeto <math>y</math> é uma pré-ordem. |
* Uma [[Teoria das categorias|categoria]] com no máximo um [[morfismo]] de algum objeto <math>x</math> para algum outro onjeto <math>y</math> é uma pré-ordem. |
||
Neste sentido, categorias "generalizam" pré-ordens aceitando mais do que uma relação entre objetos: cada morfismo é uma relação de pré-ordem diferente. |
Neste sentido, categorias "generalizam" pré-ordens aceitando mais do que uma relação entre objetos: cada morfismo é uma relação de pré-ordem diferente. |
Revisão das 23h18min 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, mais específicamente em teoria da ordem, 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 orientado 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 é:
(propriedade reflexiva)
(propriedade transitiva)
Exemplos
- Todo espaço topológico finito gera uma pré-ordem nos seus pontos, na qual x ≤ y se, e somente se, x pertence a toda vizinhança de y.
- Sobre os arcos de um grafo orientado (também conhecido por digrafo), a relação ser acessível por é uma pr[e-ordem. Se o digrafo é acíclico, essa relação vira uma ordem.
- Em um anel comutativo, a relação divide é uma pré-ordem.
- A relação definida por Falhou a verificação gramatical (SVG (MathML pode ser ativado através de uma extensão do ''browser''): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "http://localhost:6011/pt.wikipedia.org/v1/":): {\displaystyle x \le y \RightLeftarrow \exist f<math>, [[função injetora|injetora]] de <math>x} para .
- Uma categoria com no máximo um morfismo de algum objeto para algum outro onjeto é uma pré-ordem.
Neste sentido, categorias "generalizam" pré-ordens aceitando mais do que uma relação entre objetos: cada morfismo é uma relação de pré-ordem diferente.
Esquema de temas relacionados
|
Ver também
- Relação de ordem - pré-ordem que é também anti-simétrica.
- Relação de equivalência - pré-ordem que é também uma relação simétrica.
- Ordem total - pré-ordem que é também total e anti-simétrica.
- Lema de Newman
Referências
- Schröder, Bernd S. W. (2002), Ordered Sets: An Introduction, ISBN 0-8176-4128-9, Boston: Birkhäuser