Lanac (skup): razlika između inačica
Prijeđi na navigaciju
Prijeđi na pretraživanje
Bot: Automatski unos stranica |
m Zamjena teksta - '<!--'''La(.*)'''-->' u '' |
||
| Redak 1: | Redak 1: | ||
{{drugoznačenje2|[[Lanac]]}} | |||
'''Lanac''' je [[totalno uređen skup|totalno uređeni]] [[podskup]] [[parcijalno uređen skup|parcijalno uređenog skupa]].<ref name=Krijan>[https://web.math.pmf.unizg.hr/nastava/studnatj/Krijan_skupovi.pdf Prirodoslovno matematički fakultet u Zagrebu] Ivan Krijan: ''Skupovi'', Zagreb: Sveučilište u Zagrebu, str. 1.-2. (pristupljeno 5. listopada 2019.)</ref> U lancu su svaka dva elementa usporediva, dok u [[antilanac|antilancu]] vrijedi suprotno. Ako je C lanac, onda mu je ''duljina'' |C|−1 . <ref name=Bašić>[https://web.math.pmf.unizg.hr/nastava/studnatj/poset.pdf 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.)</ref> Lancima se bavi [[Spernerov teorem]], [[Lubell-Yamamoto-Meshalkinova nejednakost]], [[Mirskyev teorem]], [[Dilworthov teorem]] i dr. <ref name=Bašić/> | '''Lanac''' je [[totalno uređen skup|totalno uređeni]] [[podskup]] [[parcijalno uređen skup|parcijalno uređenog skupa]].<ref name=Krijan>[https://web.math.pmf.unizg.hr/nastava/studnatj/Krijan_skupovi.pdf Prirodoslovno matematički fakultet u Zagrebu] Ivan Krijan: ''Skupovi'', Zagreb: Sveučilište u Zagrebu, str. 1.-2. (pristupljeno 5. listopada 2019.)</ref> U lancu su svaka dva elementa usporediva, dok u [[antilanac|antilancu]] vrijedi suprotno. Ako je C lanac, onda mu je ''duljina'' |C|−1 . <ref name=Bašić>[https://web.math.pmf.unizg.hr/nastava/studnatj/poset.pdf 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.)</ref> Lancima se bavi [[Spernerov teorem]], [[Lubell-Yamamoto-Meshalkinova nejednakost]], [[Mirskyev teorem]], [[Dilworthov teorem]] i dr. <ref name=Bašić/> | ||
Posljednja izmjena od 22. lipanj 2025. u 08:55
Za druga značenja, pogledajte Lanac.Lanac je totalno uređeni podskup parcijalno uređenog skupa.[1] U lancu su svaka dva elementa usporediva, dok u antilancu vrijedi suprotno. Ako je C lanac, onda mu je duljina |C|−1 . [2] Lancima se bavi Spernerov teorem, Lubell-Yamamoto-Meshalkinova nejednakost, Mirskyev teorem, Dilworthov teorem i dr. [2]
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.[2]
Jedan od preduvjeta Zornove leme je da lanac mora biti neprazan.[1]
Izvori
- ↑ 1,0 1,1 Prirodoslovno matematički fakultet u Zagrebu Ivan Krijan: Skupovi, Zagreb: Sveučilište u Zagrebu, str. 1.-2. (pristupljeno 5. listopada 2019.)
- ↑ 2,0 2,1 2,2 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.)