ÄÈÇÚÞÍÊÒÍÎÅ ÄÎÏÎËÍÅÍÈÅ

ÄÈÇÚÞÍÊÒÍÎÅ ÄÎÏÎËÍÅÍÈÅ ìíîæåñòâà À - ìíîæåñòâî A^d = {x ∈ X; õ ⊥ À} âñåõ ýëåìåíòîâ õ âåêòîðíîé ðåøåòêè (âåêòîðíîé ñòðóêòóðû) X, äèçúþíêòíûõ ìíîæåñòâó A ⊂ X (ñì. Äèçúþíêòíûå ýëåìåíòû). A ⊂ A^dd = (A^d)^d; êðîìå òîãî, åñëè X - âåêòîðíàÿ óñëîâíî ïîëíàÿ ðåøåòêà, òî A^dd ÿâëÿåòñÿ íàèìåíüøåé êîìïîíåíòîé ïðîñòðàíñòâà X, ñîäåðæàùåé À.

Â. È. Ñîáîëåâ

Èñòî÷íèêè:

1. Ìàòåìàòè÷åñêàÿ ýíöèêëîïåäèÿ: Ãë. ðåä. È. Ì. Âèíîãðàäîâ, ò. 2 Ä - Êîî.-Ì.: «Ñîâåòñêàÿ Ýíöèêëîïåäèÿ», 1979.-1104 ñòá., èë.