Иппотенттік қатынас - Idempotent relation - Wikipedia

Математикада ан идемпотенттік екілік қатынас Бұл екілік қатынас R жиынтықта X (кіші Декарттық өнім X × X) ол үшін қатынастардың құрамы R ∘ R сияқты R.[1][2] Бұл түсінік ан идемпотенттік функция қатынастарға.

Анықтама

Стенография ретінде, жазба xRy жұп екенін көрсетеді (х,ж) қатынасқа жатады Rмәтіндері қатынастардың құрамы R ∘ R қатынас болып табылады Sорнату арқылы анықталады xSz элементтердің жұбы үшін дұрыс болуы керек х және з жылы X бар болған сайын ж жылы X біргеxRy және yRz екеуі де дұрыс. R егер идемпотентті болса R = S.

Эквивалентті қатынас R келесі екі қасиет болған жағдайда ғана идемпотентті болып табылады:

  • R Бұл өтпелі қатынас, бұл дегеніміз R ∘ R ⊆ R. Эквивалентті, жеке элементтер тұрғысынан, әрқайсысы үшін х, ж, және з ол үшін xRy және yRz екеуі де шындық, xRz бұл да шындық.
  • R ∘ R ⊇ R. Эквивалентті, жеке элементтер тұрғысынан, әрқайсысы үшін х және з ол үшін xRz шындық бар, бар ж бірге xRy және yRz екеуі де дұрыс. Кейбір авторлар мұндай ан R а тығыз қатынас.[3]

Идемпотенция транзитивтілікті де, жоғарыдағы екінші қасиетті де қамтитындықтан, бұл транзитивтілікке қарағанда күшті қасиет.

Мысалдар

Мысалы, <қатынасы рационал сандар идемпотентті. Тапсырыстың қатаң қатынасы ауыспалы және әрқашан екі рационал сан болады х және з қатынасқа бағыну х < з міндетті түрде тағы бір ұтымды сан бар з олардың арасындағы (мысалы, олардың орташа мәні) х < ж және ж < з.

Керісінше, сол реттілік қатынас <бойынша бүтін сандар идемпотентті емес. Ол әлі де өтпелі, бірақ идемпотентті қатынастың екінші қасиетіне бағынбайды. Мысалы, 1 <2, бірақ басқа бүтін сан жоқ ж 1 мен 2 аралығында.

Ан логикалық векторлардың сыртқы көбейтіндісі идемпотенттік қатынасты қалыптастырады. Мұндай қатынас неғұрлым күрделі қатынаста болуы мүмкін, бұл жағдайда ол а деп аталады тұжырымдама сол үлкен контекстте. Қатынастарды олардың тұжырымдамалары тұрғысынан сипаттау деп аталады тұжырымдаманы талдау.

Қолданады

Импотенттік қатынастар мысал ретінде Изабель / HOL интерактивті теоремасын қолдана отырып, математиканы механикаландырылған формалдауды қолдануды мысал ретінде келтірді. Шектелген идемпотенттік қатынастардың математикалық қасиеттерін тексеруден басқа, изабель / HOL-де идемпотенттік қатынастар санын санау алгоритмі алынған.[4][5]

Импотенттік қатынастар әлсіз ықшам кеңістіктер сонымен қатар «satisf шартын» қанағаттандыратыны көрсетілген: яғни мұндай кеңістіктегі барлық ерекше емес идемпотенттік қатынастарда нүктелер болады кейбіреулер үшін . Бұл белгілі бір нәрсені көрсету үшін қолданылады ішкі кеңістіктер санамайтын өнім Mahavier өнімі деп аталатын кеңістіктің болуы мүмкін емес өлшенетін нейтривиалды идемпотенттік қатынаспен анықталған кезде.[6]

Әдебиеттер тізімі

  1. ^ Флориан Каммюллер, Дж. В. Сандерс (2004). Изабельдегі импотенттік қатынас / HOL (PDF) (Техникалық есеп). Берлин. б. 27. 2004-04. Архивтелген түпнұсқа (PDF) 2014-05-12. Алынған 2014-05-10. Мұнда: 3-бет
  2. ^ Флориан Каммюллер (2011). «Шекті импотенттік қатынастарды механикалық талдау». Fundamenta Informaticae. 107: 43–65. дои:10.3233 / FI-2011-392.
  3. ^ Гунтер Шмидт (2011) Реляциялық математика, 212 бет, Кембридж университетінің баспасы ISBN  978-0-521-76268-7
  4. ^ Флориан Каммюллер (2006). «N таңбаланған элементтер бойынша идемпотенттік қатынастардың саны». Бүтін тізбектердің On-Line экиклопедасы (A12137).
  5. ^ Флориан Каммюллер (2008). Иппотенттік қатынастарды санау (PDF) (Техникалық есеп). Берлин. б. 27. 2008-15.
  6. ^ Клонц, Стивен; Варагона, Скотт (2018). «Mahavier өнімдері, импотенттік қатынастар және жағдай Γ». arXiv:1805.06827 [math.GN ].

Әрі қарай оқу