Відношення порядку, Детальна інформація
Відношення порядку
b
t
®
°
Oe
Ue
ae
i
o
B
D
\x00B2
A
AE
U
TH
i
;верхня та нижня грані (якщо вони існують), є порівнюваними з усіма елементами даної множини M або підмножини A відповідно.
Елемент x(M називається максимальним в множині M, якщо не існує елемента a(M такого, що x
Приклад 1.18. 1. У множині Z цілих чисел множина N натуральних чисел має найменший елемент (число 1) і не має найбільшого елемента.
2. У довільній множині M з тривіальним порядком iM (відношенням рівності) кожен елемент a(M є одночасно максимальним і мінімальним елементом. Найбільший і найменший елементи в множині M відсутні.
3. Булеан ((A) множини A з відношенням часткового порядку містить найменший елемент - порожню множину і найбільший елемент - саму множину A. У множині D всіх непорожніх підмножин множини A (тобто в множині ((A)\{(}) не існує найменшого елемента, але всі одноелементні множини {a}, a(A є мінімальними елементами множини D.
4. У множині N натуральних чисел, частково впорядкованій за відношенням "ділить", число 1 є найменшим елементом, а найбільшого елемента не існує. Якщо ж множину N доповнити числом 0, тобто розглянути множину невід'ємних цілих чисел із відношенням часткового порядку "ділить", то окрім найменшого елемента (як і раніше, число 1) з'являється найбільший елемент - число 0.
Лінійно впорядкована множина (ланцюг) M називається цілком впорядкованою множиною, якщо кожна непорожня підмножина A(M має найменший елемент.
Зокрема, множина N натуральних чисел з традиційним відношенням порядку є цілком впорядкованою, а множина Z цілих чисел - не є цілком впорядкованою, оскільки будь-яка її нескінченна підмножина від'ємних чисел не має найменшого елемента.
Якщо M - частково впорядкована множина, то множина L всіх її ланцюгів (тобто лінійно впорядкованих підмножин множини M) є також частково впорядкованою за відношенням теоретико-множинного включення. Максимальні елементи множини L називають максимальними ланцюгами множини M.
Наведемо ряд важливих тверджень про частково впорядковані множини, які часто застосовуються у вищій алгебрі, математичному аналізі, топології та інших розділах сучасної математики.
Теорема Куратовського-Цорна або лема Цорна. Якщо в частково впорядкованій множині M будь-який ланцюг має верхню (нижню) грань, то множина M має максимальний (мінімальний) елемент.
Теорема Хаусдорфа. Будь-який ланцюг частково впорядкованої множини M міститься в деякому максимальному ланцюзі множини M.
Теорема Цермело. Будь-яку множину M можна цілком впорядкувати.
t
®
°
Oe
Ue
ae
i
o
B
D
\x00B2
A
AE
U
TH
i
;верхня та нижня грані (якщо вони існують), є порівнюваними з усіма елементами даної множини M або підмножини A відповідно.
Елемент x(M називається максимальним в множині M, якщо не існує елемента a(M такого, що x
Приклад 1.18. 1. У множині Z цілих чисел множина N натуральних чисел має найменший елемент (число 1) і не має найбільшого елемента.
2. У довільній множині M з тривіальним порядком iM (відношенням рівності) кожен елемент a(M є одночасно максимальним і мінімальним елементом. Найбільший і найменший елементи в множині M відсутні.
3. Булеан ((A) множини A з відношенням часткового порядку містить найменший елемент - порожню множину і найбільший елемент - саму множину A. У множині D всіх непорожніх підмножин множини A (тобто в множині ((A)\{(}) не існує найменшого елемента, але всі одноелементні множини {a}, a(A є мінімальними елементами множини D.
4. У множині N натуральних чисел, частково впорядкованій за відношенням "ділить", число 1 є найменшим елементом, а найбільшого елемента не існує. Якщо ж множину N доповнити числом 0, тобто розглянути множину невід'ємних цілих чисел із відношенням часткового порядку "ділить", то окрім найменшого елемента (як і раніше, число 1) з'являється найбільший елемент - число 0.
Лінійно впорядкована множина (ланцюг) M називається цілком впорядкованою множиною, якщо кожна непорожня підмножина A(M має найменший елемент.
Зокрема, множина N натуральних чисел з традиційним відношенням порядку є цілком впорядкованою, а множина Z цілих чисел - не є цілком впорядкованою, оскільки будь-яка її нескінченна підмножина від'ємних чисел не має найменшого елемента.
Якщо M - частково впорядкована множина, то множина L всіх її ланцюгів (тобто лінійно впорядкованих підмножин множини M) є також частково впорядкованою за відношенням теоретико-множинного включення. Максимальні елементи множини L називають максимальними ланцюгами множини M.
Наведемо ряд важливих тверджень про частково впорядковані множини, які часто застосовуються у вищій алгебрі, математичному аналізі, топології та інших розділах сучасної математики.
Теорема Куратовського-Цорна або лема Цорна. Якщо в частково впорядкованій множині M будь-який ланцюг має верхню (нижню) грань, то множина M має максимальний (мінімальний) елемент.
Теорема Хаусдорфа. Будь-який ланцюг частково впорядкованої множини M міститься в деякому максимальному ланцюзі множини M.
Теорема Цермело. Будь-яку множину M можна цілком впорядкувати.
The online video editor trusted by teams to make professional video in
minutes
© Referats, Inc · All rights reserved 2021