Anticadea: Diferenzas entre revisións
Contido eliminado Contido engadido
m →top: Arranxos varios |
|||
Liña 2:
Na [[Teoría da orde]] das [[matemáticas]], unha '''anticadea''' é un conxunto parcialmente ordenado. ''S'' é un subconxunto ''A'' de ''S'' tal que cada par de membros de ''A'' é incomparable, isto é, para calquera ''x'', ''y'' en ''A'', nin ''x'' ≤ ''y'' nin ''y'' ≤ ''x''.<br>
O '''teorema de Dilworth''' establece que a non existencia dunha anticadea de tamaño ''n+1'' en ''S'' é unha condición necesaria e suficiente para que ''S'' sexa a unión de ''n'' [[orde total|ordes totais ou cadeas]]. Isto motiva preguntas sobre o tamaño da anticadea máxima.
[[Categoría:Matemáticas]]
|