220
Ç ˚ ‚ Ó ‰ 2. éÔ‰ÂÎÂÌËfl ÓÔ‡ˆËÈ Ë ÓÚÌÓ¯ÂÌËÈ Ì‡‰ ̘ÂÚ-
ÍËÏË ÏÌÓÊÂÒÚ‚‡ÏË ‚ ÒÎÛ˜‡Â, ÍÓ„‰‡ ӷ·ÒÚ¸ Á̇˜ÂÌËÈ ÙÛÌ͈ËË
ÔË̇‰ÎÂÊÌÓÒÚË M – ‰‚Ûı˝ÎÂÏÂÌÚÌÓ ÏÌÓÊÂÒÚ‚Ó, ÔÂÂıÓ‰flÚ ‚
ÓÔ‰ÂÎÂÌËfl ÓÔ‡ˆËÈ Ë ÓÚÌÓ¯ÂÌËÈ Ì‡‰ Ó·˚˜Ì˚ÏË ÏÌÓÊÂÒÚ‚‡-
ÏË ÚÂÓËË ÏÌÓÊÂÒÚ‚.
èÓ‚ÂËÏ ˝ÚÓ, ̇ÔËÏÂ, ‰Îfl ÓÚÌÓ¯ÂÌËfl ‚Íβ˜ÂÌËfl. èÛÒÚ¸
Ä, B – ÔÓ‰ÏÌÓÊÂÒÚ‚‡ U Ë B ⊆ A. èÛÒÚ¸ M = {0, 1}. èÓ͇ÊÂÏ,
˜ÚÓ ‚ ˝ÚÓÏ ÒÎÛ˜‡Â ÓÔ‰ÂÎÂÌˠ̘ÂÚÍÓ„Ó ÓÚÌÓ¯ÂÌËfl ‚Íβ˜ÂÌËfl
ÒÓÓÚ‚ÂÚÒÚ‚ÛÂÚ ‡Ì‡Îӄ˘ÌÓÏÛ ÓÔ‰ÂÎÂÌ˲ ÓÚÌÓ¯ÂÌËfl ‚Íβ˜Â-
ÌËfl ‚ Ó·˚˜ÌÓÈ ÚÂÓËË ÏÌÓÊÂÒÚ‚.
ÑÂÈÒÚ‚ËÚÂθÌÓ, ‰Îfl Ì.Ï. Ä Ë B ‚˚ÔÓÎÌÂÌË ÓÚÌÓ¯ÂÌËfl
B ⊆ Ä ÓÁ̇˜‡ÂÚ, ˜ÚÓ ‰Îfl ‚ÒÂı ˝ ÎÂÏÂÌÚÓ‚ ı ∈ U
µµ
ÄB
ıı() ()≥ .
çÓ ÂÒÎË M
= {0, 1}, ÚÓ ÙÛÌ͈ËË
µ
Ä
ı() Ë
µ
B
ı( ) ÏÓ„ÛÚ ÔËÌË-
χڸ Î˯¸ Á̇˜ÂÌËfl 0 Ë 1. ÇÓÁ¸ÏÂÏ ÔÓËÁ‚ÓθÌ˚È ˝ÎÂÏÂÌÚ
ı ∈ U. ÖÒÎË
µ
B
ı() = 1, ÚÓ ‰ÓÎÊÌÓ ·˚Ú¸
µ
Ä
ı() = 1, ˜ÚÓ·˚ ‚˚-
ÔÓÎÌflÎÓÒ¸ ̇‚ÂÌÒÚ‚Ó
µµ
ÄB
ıı() ()≥ . ùÚÓ ÓÁ̇˜‡ÂÚ, ˜ÚÓ ËÁ
ÚÓ„Ó, ˜ÚÓ ı ∈ B, ÒΉÛÂÚ ı ∈ Ä. Ä ÔÓÒΉÌ ÒÓÓÚ‚ÂÚÒÚ‚ÛÂÚ ÓÔ-
‰ÂÎÂÌ˲ ÓÚÌÓ¯ÂÌËfl ‚Íβ˜ÂÌËfl Ó·˚˜ÌÓÈ ÚÂÓËË ÏÌÓÊÂÒÚ‚.
èÓ‚ÂËÏ ÚÂÔ¸ ‚˚‚Ó‰ 2 ‰Îfl ͇ÍÓÈ-ÌË·Û‰¸ ÓÔ‡ˆËË, ̇-
ÔËÏÂ, ‰Îfl Ó·˙ ‰ËÌÂÌËfl.
èÛÒÚ¸ ë = Ä ∪ B – Ó·˙‰ËÌÂÌË ‰‚Ûı ̘ÂÚÍËı ÏÌÓÊÂÒÚ‚ Ä
Ë B. èÛÒÚ¸ M = {0, 1}. èÓ ÓÔ‰ÂÎÂÌ˲, ÓÔ‡ˆËË Ì˜ÂÚÍÓ„Ó
Ó·˙‰ËÌÂÌËfl
µµµ
ëAB
ııı( ) max( ( ), ( ))= ‰Îfl β·Ó„Ó ı ∈ U. çÓ
Ú‡Í Í‡Í ÙÛÌ͈ËË
µ
Ä
ı(),
µ
B
ı( ) ÏÓ„ÛÚ ÔËÌËχڸ Î˯¸ Á̇˜Â-
ÌËfl 0 Ë 1, ÚÓ Ë Û ÙÛÌ͈ËË
µ
C
ı( ) Ì ÏÓÊÂÚ ·˚Ú¸ ‰Û„Ëı Á̇˜Â-
ÌËÈ, ‡
µ
C
ı()= 1 ÚÓθÍÓ ‚ ÒÎÛ˜‡Â, ÍÓ„‰‡ ıÓÚfl ·˚ Ó‰ÌÓ ËÁ Á̇˜Â-
ÌËÈ
µ
Ä
ı(),
µ
B
ı() ‡‚ÌÓ 1. ùÚÓ Á̇˜ËÚ, ˜ÚÓ ˝ÎÂÏÂÌÚ ı ÔË̇‰-
ÎÂÊËÚ Ó·˙‰ËÌÂÌ˲ ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌ ÔË̇‰ÎÂÊËÚ, ÔÓ
͇ÈÌÂÈ ÏÂÂ, Ó‰ÌÓÏÛ ËÁ ÏÌÓÊÂÒÚ‚. èÓÎÛ˜ÂÌÌÓ ÛÚ‚ÂʉÂÌËÂ
ÒÓÓÚ‚ÂÚÒÚ‚ÛÂÚ ÓÔ‰ÂÎÂÌ˲ ÓÔ‡ˆËË Ó·˙‰ËÌÂÌËfl, ‰‡ÌÌÓÏÛ ‚
Í·ÒÒ˘ÂÒÍÓÈ ÚÂÓËË ÏÌÓÊÂÒÚ‚.
å‡ Ì˜ÂÚÍÓÒÚË. å˚ ÔËÒÚÛÔ‡ÂÏ Í ËÁÛ˜ÂÌ˲ ÔÓÌflÚËÈ, ÍÓ-
ÚÓ˚ ÔÓÁ‚ÓÎflÚ Ì‡Ï ‚ ‰‡Î¸ÌÂȯÂÏ ÔÓÁ̇ÍÓÏËÚ¸Òfl Ò ÓÒÌÓ‚ÌÓÈ
ı‡‡ÍÚÂËÒÚËÍÓÈ Ì˜ÂÚÍÓ„Ó ÏÌÓÊÂÒÚ‚‡ – ÏÂÓÈ Ì˜ÂÚÍÓÒÚË.
èÓÒÍÓθÍÛ Â˜¸ ÔÓȉÂÚ Ó· ËÁÏÂÂÌËË ‚Â΢ËÌ, ÌÂÓ·ıÓ‰ËÏÓ
‚ÒÔÓÏÌËÚ¸, ˜ÚÓ Ú‡ÍӠχ. ÖÒÎË Ï˚ ıÓÚËÏ ‚‚ÂÒÚË ÏÂÛ (ËÎË
ÙÛÌÍˆË˛ ‡ÒÒÚÓflÌËfl) d(x, y) ̇ ÏÌÓÊÂÒÚ‚Â R, „‰Â x, y ∈ R,
ÚÓ ‰Îfl Ì ‰ÓÎÊÌ˚ ‚˚ÔÓÎÌflÚ¸Òfl ÒÎÂ‰Û˛˘Ë ˜ÂÚ˚ ÛÒÎÓ‚Ëfl:
‡) d(x, y) ≥ 0 (ÌÂÓÚˈ‡ÚÂθÌÓÒÚ¸);
·) d(x, y) = d(x, y) (ÒËÏÏÂÚ˘ÌÓÒÚ¸);