В математиці, а саме в теорії порядку, для частково впорядкованої множини (P,≤)
найбільшим елементом називається такий елемент для якого справедливо:
найменшим елементом називається такий елемент для якого справедливо:
Найбільшого або найменшого елементів може не існувати. Якщо ж вони існують, то вони єдині.
Теорема
В кожній частково упорядкованій множині існує не більше одного найменшого (а в силу принципу двоїстості, і найбільшого) елементу.
Доведення
Припустимо, що x і y – два найменші елементи в множині A , тоді : в силу того, що x – найменший елемент і : в силу того, що y – найменший елемент. Але тоді із антисиметричності відношення випливає, що x=y .
Див. також
Джерела
- Биркгоф Г. Теория решёток / пер. с англ. В. Н. Салий ; под ред. Л. А. Скорнякова. — 3-е изд. — Москва : Наука, 1984. — 568 с.(рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет