Pré-ordem: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Lp.vitor (discussão | contribs)
Lp.vitor (discussão | contribs)
Linha 14:
 
==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 [[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.
* A [[net (mathematics)|net]] is a [[directed set|directed]] preorder, that is, each pair of elements has an [[upper bound]]. The definition of convergence via nets is important in [[topology]], where preorders cannot be replaced by [[partially ordered set]]s without losing important features.
* 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.
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 ==