Teoria da ordem: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Etiquetas: Inserção do elemento "nowiki", possivelmente errônea Editor Visual
Linha 1:
'''Teoria da ordem''' é um ramo da [[matemática]] que estuda vários tipos de [[relação binária|relações binárias]] que capturam a noção intuitiva de [[ordem matemática]]. Este artigo fornece uma detalhada introdução ao campo que inclui algumas das definições mais básicas. Para uma olhada rápida sobre os termos da teoria de ordem, existe também um [[glossário da teoria de ordem]]. Uma [[lista de tópicos da teoria de ordem]] reúne vários artigos relacionados a teoria de ordem.
 
== Ordem ==
É chamada de ''ordem parcial'', a relação binária  <math><</math> em um conjunto <math>X</math> se
 
# <math>x\nless x</math> para todo <math>x\in X</math>.
# Se <math>x < y < z</math>, então <math>x<z</math>com <math>x,y,z\in X</math>.
 
Diz-se que <math>(X,<)</math>é um conjunto parcialmente ordenado. Se <math><</math> é uma ordem, então <math>\leqslant</math>também é uma ordem. Dados <math>x,y\in X</math>, então vale <math>x < y </math>, ou <math>x = y</math>ou <math>x>y</math>.
 
Uma ordem <math>\leqslant</math> em <math>X</math>, é dita ''boa ordem'' se para todo <nowiki><math> A\subseteq X</math></nowiki>
 
== Ligações externas ==