ВУЗ:
Составители:
Рубрика:
A
T
B A B
A
S
B A B
A ⊂ X A X
C(A) := X \ A.
C(
[
A
α
) =
\
C(A
α
) , C(
\
A
α
) =
[
C(A
α
).
{x}
x
{x | b1(x) , b2(x) . . .},
b1(x) , b2(x) . . . x
b1(x) , b2(x) . . .
{f(x) | b1(x) , b2(x), . . .}
f(x)
x b1(x) , b2(x), . . .
a = sup{f(x) | b1(x) , b2(x) , . . .}
x b1(x) , b2(x) , . . .
A
I(A | x) =
(
1 , x ∈ A;
0 , x 6∈ A.
A.3 Óêàçàòåëü îáîçíà÷åíèé.
Îáîçíà÷åíèÿ, ñâÿçàííûå ñ òåîðèåé ìíîæåñòâ.
Ìû ïðåäïîëàãàåì, ÷òî ÷èòàòåëü çíàêîì ñ îñíîâíûìè ïîíÿòèÿìè òåîðèè
ìíîæåñòâ â îáúåìå ïåðâûõ ãëàâ êíèã [1], [2].
Ñèìâîë A B îáîçíà÷àåò ïåðåñå÷åíèå ìíîæåñòâ A è B .
T
Ñèìâîë A B îáîçíà÷àåò îáúåäèíåíèå ìíîæåñòâ A è B .
S
Åñëè A ⊂ X , òî äîïîëíåíèå ìíîæåñòâà A â X ìû îáîçíà÷àåì ñèìâîëì
C(A) := X \ A.
Ôîðìóëû äå Ìîðãàíà â ýòèõ îáîçíà÷åíèÿõ èìåþò âèä
[ \ \ [
C( Aα ) = C(Aα ) , C( Aα ) = C(Aα ). (A.41)
Ñèìâîë {x} îçíà÷àåò ìíîæåñòâî, îáùèé ýëåìåíò êîòîðîãî îáîçíà÷åí
ñèìâîëîì x.
Ñèìâîë
{x | b1(x) , b2(x) . . .},
ãäå b1(x) , b2(x) . . . -áóëåâñêèå âûðàæåíèÿ, îçíà÷àåò ìíîæåñòâî âñåõ x,
äëÿ êîòîðûõ áóëåâñêèå âûðàæåíèÿ b1(x) , b2(x) . . . ïðèíèìàþò çíà÷åíèå
"èñòèíà".
Ñèìâîë
{f (x) | b1(x) , b2(x), . . .}
îáîçíà÷àåò ìíîæåñòâî âñåõ òåõ çíà÷åíèé ôóíêöèè f (x), êîòîðûå îíà ïðè-
íèìàåò ïðè òåõ x, äëÿ êîòîðûõ âñå áóëåâñêèå âûðàæåíèÿ b1(x) , b2(x), . . .
ïðèíèìàþò çíà÷åíèÿ èñòèíà.
Ñèìâîë
a = sup{f (x) | b1(x) , b2(x) , . . .}
îçíà÷àåò, ÷òî òî÷íàÿ âåðõíÿÿ ãðàíü âû÷èñëÿåòñÿ ïî òåì çíà÷åíèÿì ïåðå-
ìåííîé x, äëÿ êîòîðûõ áóëåâñêèå âûðàæåíèÿ b1(x) , b2(x) , . . . ïðèíèìà-
þò çíà÷åíèÿ èñòèíà. Àíàëîãè÷íîå ïðàâèëî ïðèìåíÿåòñÿ ïðè óêàçàíèè
îáëàñòè èçìåíåíèÿ ïåðåìåííûõ ïðè âû÷èñëåíèè òî÷íîé íèæíåé ãðàíè è
ò.ä.
Õàðàêòåðèñòè÷åñêóþ ôóíêöèþ ìíîæåñòâà A ìû îáîçíà÷àåì ñèìâî-
ëîì (
1 , x ∈ A;
I(A | x) =
0 , x 6∈ A.
481
Страницы
- « первая
- ‹ предыдущая
- …
- 491
- 492
- 493
- 494
- 495
- …
- следующая ›
- последняя »
