Antilanac

Izvor: Hrvatska internetska enciklopedija
Inačica 346850 od 25. studenoga 2021. u 02:40 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)
(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Skoči na:orijentacija, traži

Antilanac je parcijalno uređen skup u kojem nikoja dva elementa nisu usporediva, dok u lancu vrijedi suprotno. Ako je A antilanac, onda mu je veličina |A|. Antilancima se bavi Spernerov teorem, Lubell-Yamamoto-Meshalkinova nejednakost, Mirskyev teorem, Dilworthov teorem i dr. [1]

Svaki lanac i antilanac u P imaju presjek u kojem je najviše jedan član. Zbog toga je duljina svakog lanca manja od najmanjeg broja antilanaca koji čija unija sadrži cijeli P, a veličina svakog antilanca je najviše jednaka najmanjem broju lanaca čija unija sadrži čitavi P.[1]

Izvori

  1. 1,0 1,1 PMF Zagreb Matija Bašić: Uvod u algebarsku topologiju - Parcijalno uređeni skupovi - O lancima i antilancima, 21. svibnja 2014., str. 1 (pristupljeno 19. prosinca 2019.)