Porządek zupełny – własność porządków częściowych postulująca istnienie kresów. W literaturze matematycznej istnieje kilka definicji tego pojęcia różniących się szczegółami technicznymi zależnymi od kontekstu matematycznego.
Zupełność porządków liniowych W teorii mnogości pojęcie zupełności rozważa się zwykle dla porządków liniowych. Własność ta stwierdza, że żaden przekrój Dedekinda w danym porządku nie wyznacza "luki" i była ona wprowadzona przez Richarda Dedekinda w 1872. Z tego powodu czasami mówi się o porządkach zupełnych w sensie Dedekinda.
Niech będzie porządkiem liniowym. Powiemy, że porządek jest zupełny jeśli każdy niepusty ograniczony z góry podzbiór ma kres górny. Równoważnie, porządek liniowy jest zupełny jeśli każdy jego niepusty podzbiór ograniczony z dołu ma kres dolny.
Kraty zupełne Krata jest zupełna jeśli, kiedy rozważamy ją jako zbiór częściowo uporządkowany, każdy jej podzbiór ma kres górny oraz kres dolny.
Niektórzy autorzy formułują tę definicję dla porządków częściowych, określając porządki zupełne jako takie, w których każdy podzbiór ma oba (górny i dolny) kresy. Porządek zupełny jest wtedy tym samym co krata zupełna.
Zupełność posetów W teorii porządków częściowych rozważa się inną definicję zupełności motywowaną zastosowaniami w teoretycznej informatyce. Niech będzie porządkiem częściowym: niepusty podzbiór jest skierowany jeśli każde dwa elementy zbioru mają wspólne ograniczenie górne w tym zbiorze; powiemy, że porządek jest zupełny jeśli ma on element najmniejszy oraz każdy podzbiór skierowany ma kres górny.
Zobacz też aksjomat ciągłości
Przypisy
Bibliografia
Strona 64 w pliku PostScript dostępnym na stronie autora.
Kategoria:Własności porządków
ru:Частично упорядоченное множество#Полное частично упорядоченное множество