Розглядаються скінченні частково впорядковані множини, (орієнтований) граф Хассе яких не містить обходів (наприклад, є однозв"язним). Для таких множин встановлюється канонічна Z-еквівалентність між характеристичною формою відношення часткового порядку та формою Тітса графа Хассе. Як наслідок, у цьому випадку ми знаходимо дуже прості та ефективні критерії для доданої на невід"ємної визначеності характеристичної форми. Вказаний результат одержується як частинний випадок більш загального та глибокого аналогічного факту, справедливого для довільних скінченних частково впорядкованих множин (а саме: щодо канонічного Z-еквівалентності певної білінійної форми, побудованої в цій статті природним чином за графом Хассе, та несиметричної білійної форми графа, що є анти ізоморфним останньому).
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин