ÄÈÑÊÐÅÒÍÀß ÌÀÒÅÌÀÒÈÊÀ ÈÓ5 | 4 ñåìåñòð • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ââåäåíèå Ðàçâèòèå êëàññè÷åñêîé ( íåïðåðûâíîé\) ìàòåìàòèêè áûëî îáóñëîâëåíî " ïðåæäå âñåãî ðåøåíèåì çàäà÷ åñòåñòâîçíàíèÿ, ãëàâíûì îáðàçîì ôèçèêè. Äèñêðåòíàÿ\ æå ìàòåìàòèêà ðàçâèâàëàñü â ñâÿçè ñ èçó÷åíèåì çàêîíîâ " è ïðàâèë ÷åëîâå÷åñêîãî ìûøëåíèÿ, ÷òî è îáóñëîâèëî åå ïðèìåíåíèå â òåõ îáëàñòÿõ òåõíèêè, êîòîðûå ñâÿçàíû ñ ìîäåëèðîâàíèåì ìûøëåíèÿ, è â ïåðâóþ î÷åðåäü â âû÷èñëèòåëüíîé òåõíèêå è ïðîãðàììèðîâàíèè. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Êóðñ ñîñòîèò èç ñëåäóþùèõ ðàçäåëîâ: 1. Ìíîæåñòâà è îòíîøåíèÿ. 2. Ýëåìåíòû êëàññè÷åñêîé îáùåé àëãåáðû. 3. Òåîðèÿ ãðàôîâ. 4. Ðåãóëÿðíûå ÿçûêè è êîíå÷íûå àâòîìàòû. 5. Áóëåâû ôóíêöèè. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ëåêöèÿ 1. ÝËÅÌÅÍÒÛ ÒÅÎÐÈÈ ÌÍÎÆÅÑÒ • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit 1.1. Ìíîæåñòâà Ïîíÿòèå ìíîæåñòâà ÿâëÿåòñÿ èñõîäíûì, äëÿ íåãî íåëüçÿ äàòü ñòðîãîãî ìàòåìàòè÷åñêîãî îïðåäåëåíèÿ. Ìíîæåñòâî ñîñòîèò èç ýëåìåíòîâ. Îñíîâîïîëîæíèê òåîðèè ìíîæåñòâ Ãåîðã Êàíòîð, ïîÿñíÿÿ èíòóèòèâíóþ èäåþ ìíîæåñòâà, ïèñàë: Ïîä ìíîãîîáðàçèåì èëè ìíîæåñòâîì ÿ ïîíèìàþ âîîáùå âñå ìíîãîå, " êîòîðîå âîçìîæíî ìûñëèòü êàê åäèíîå, ò.å. òàêóþ ñîâîêóïíîñòü îïðåäåëåííûõ ýëåìåíòîâ, êîòîðàÿ ïîñðåäñòâîì îäíîãî çàêîíà ìîæåò áûòü ñîåäèíåíà â îäíî öåëîå.\ • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ìíîæåñòâà áóäåì îáîçíà÷àòü áîëüøèìè áóêâàìè ëàòèíñêîãî àëôàâèòà, à èõ ýëåìåíòû | ìàëûìè, õîòÿ èíîãäà îò ýòîãî ñîãëàøåíèÿ ïðèäåòñÿ îòñòóïàòü, òàê êàê ýëåìåíòàìè íåêîòîðîãî ìíîæåñòâà ìîãóò áûòü äðóãèå ìíîæåñòâà. Òîò ôàêò, ÷òî ýëåìåíò a ïðèíàäëåæèò ìíîæåñòâó A , çàïèñûâàåòñÿ â âèäå a ∈ A. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Äëÿ ýëåìåíòîâ ýòèõ ìíîæåñòâ ìû èñïîëüçóåì äâà îñíîâíûõ âèäà îáîçíà÷åíèé: êîíñòàíòû è ïåðåìåííûå. Êîíñòàíòà ñ îáëàñòüþ çíà÷åíèé A îáîçíà÷àåò ôèêñèðîâàííûé ýëåìåíò ìíîæåñòâà A . Íàïðèìåð, îáîçíà÷åíèÿ äåéñòâèòåëüíûõ ÷èñåë (â äåñÿòè÷íîé ñèñòåìå ñ÷èñëåíèÿ): 0 ; 2 ; 7,34 . Äëÿ äâóõ êîíñòàíò a è b ñ îáëàñòüþ çíà÷åíèé A áóäåì ïèñàòü a = b , ïîíèìàÿ ïîä ýòèì ñîâïàäåíèå îáîçíà÷àåìûõ èìè ýëåìåíòîâ ìíîæåñòâà A. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïåðåìåííîå ñ îáëàñòüþ çíà÷åíèé A îáîçíà÷àåò ïðîèçâîëüíûé, çàðàíåå íå îïðåäåëåííûé ýëåìåíò ìíîæåñòâà A .Ïåðåìåííîå x ïðîáåãàåò ìíîæåñòâî A èëè ïåðåìåííîå x ïðèíèìàåò ïðîèçâîëüíûå çíà÷åíèÿ íà ìíîæåñòâå A . Ìîæíî ôèêñèðîâàòü çíà÷åíèå ïåðåìåííîãî x , çàïèñàâ x = a , ãäå a | êîíñòàíòà ñ òîé æå îáëàñòüþ çíà÷åíèé, ÷òî è x .Âìåñòî ïåðåìåííîãî x ïîäñòàâëåíî åãî êîíêðåòíîå çíà÷åíèå a , èëè ïðîèçâåäåíà ïîäñòàíîâêà a âìåñòî x , èëè ïåðåìåííîå x ïðèíÿëî çíà÷åíèå a . • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ðàâåíñòâî ïåðåìåííûõ x = y : âñÿêèé ðàç, êîãäà ïåðåìåííîå x ïðèíèìàåò ïðîèçâîëüíîå çíà÷åíèå a , ïåðåìåííîå y ïðèíèìàåò òî æå ñàìîå çíà÷åíèå a , è íàîáîðîò. Ðàâíûå ïåðåìåííûå ñèíõðîííî\ ïðèíèìàþò âñåãäà îäíè è òå æå " çíà÷åíèÿ. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Êîíñòàíòû è ïåðåìåííûå, îáëàñòü çíà÷åíèé êîòîðûõ åñòü íåêîòîðîå ÷èñëîâîå ìíîæåñòâî íàçûâàþò: N | íàòóðàëüíûìè. Z | öåëûìè. Q | ðàöèîíàëüíûìè. R | äåéñòâèòåëüíûìè. C |êîìïëåêñíûìè. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Äëÿ ñîêðàùåíèÿ çàïèñè ìû áóäåì ïîëüçîâàòüñÿ ëîãè÷åñêîé ñèìâîëèêîé, ïîçâîëÿþùåé êîðîòêî, çàïèñûâàòü âûñêàçûâàíèÿ. Ïîíÿòèå âûñêàçûâàíèÿ íå îïðåäåëÿåòñÿ. Óêàçûâàåòñÿ òîëüêî, ÷òî âñÿêîå âûñêàçûâàíèå ìîæåò áûòü èñòèííûì èëè ëîæíûì (íå îäíîâðåìåííî!). Äëÿ îáðàçîâàíèÿ èç óæå èìåþùèõñÿ âûñêàçûâàíèé íîâûõ âûñêàçûâàíèé èñïîëüçóþòñÿ ñëåäóþùèå ëîãè÷åñêèå îïåðàöèè (èëè ëîãè÷åñêèå ñâÿçêè). • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit 1. Äèçúþíêöèÿ ∨ : âûñêàçûâàíèå P ∨ Q P èëè Q \ " èñòèííî òîãäà è òîëüêî òîãäà, êîãäà èñòèííî õîòÿ áû îäíî èç âûñêàçûâàíèé P è Q. 2. Êîíúþíêöèÿ ∧ : âûñêàçûâàíèå P ∧ Q P è Q\ " èñòèííî òîãäà è òîëüêî òîãäà, êîãäà èñòèííû îáà âûñêàçûâàíèÿ P è Q . 3. Îòðèöàíèå ¬ : âûñêàçûâàíèå ¬P íå P \ " èñòèííî òîãäà è òîëüêî òîãäà, êîãäà P ëîæíî. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit 4. Èìïëèêàöèÿ ⇒ : âûñêàçûâàíèå P ⇒ Q åñëè P , òî Q \ èëè P âëå÷åò Q \ " " èñòèííî òîãäà è òîëüêî òîãäà, êîãäà èñòèííî âûñêàçûâàíèå Q èëè îáà âûñêàçûâàíèÿ ëîæíû. 5. Ýêâèâàëåíòíîñòü (èëè ðàâíîñèëüíîñòü) ⇔ : âûñêàçûâàíèå P ⇔ Q P , åñëè è òîëüêî åñëè Q \ " èñòèííî òîãäà è òîëüêî òîãäà, êîãäà îáà âûñêàçûâàíèÿ P è Q ëèáî îäíîâðåìåííî èñòèííû, ëèáî îäíîâðåìåííî ëîæíû. Ëþáûå äâà âûñêàçûâàíèÿ P è Q , òàêèå, ÷òî èñòèííî P ⇔ Q , íàçûâàþò ëîãè÷åñêè ýêâèâàëåíòíûìè èëè ðàâíîñèëüíûìè. Î÷åðåäíîñòü âûïîëíåíèÿ âñåõ îïåðàöèé îïðåäåëÿåòñÿ ðàññòàíîâêîé ñêîáîê.Ïðè îòñóòñòâèè ñêîáîê ïîðÿäîê âûïîëíåíèÿ îïåðàöèé îïðåäåëÿåòñÿ ñîãëàøåíèåì î ïðèîðèòåòàõ\. " • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Îïåðàöèÿ îòðèöàíèÿ âñåãäà èìååò âûñøèé ïðèîðèòåò, ò.å. âûïîëíÿåòñÿ ïåðâîé (åå â ñêîáêè îáû÷íî íå çàêëþ÷àþò). Âòîðîé âûïîëíÿåòñÿ îïåðàöèÿ êîíúþíêöèè, çàòåì äèçúþíêöèè. Îïåðàöèè èìïëèêàöèè è ýêâèâàëåíòíîñòè èìåþò ðàâíûé ïðèîðèòåò è âûïîëíÿþòñÿ â ïîñëåäíþþ î÷åðåäü. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïðèìåðû. Âûñêàçûâàíèå (¬P ) ∨ Q îáû÷íî çàïèñûâàþò áåç ñêîáîê: ¬P ∨ Q . Ýòî âûñêàçûâàíèå åñòü äèçúþíêöèÿ äâóõ âûñêàçûâàíèé: ïåðâîå ÿâëÿåòñÿ îòðèöàíèåì P , à âòîðîå | Q . Âûñêàçûâàíèå ¬(P ∨ Q) åñòü îòðèöàíèå äèçúþíêöèè âûñêàçûâàíèé P è Q. Âûñêàçûâàíèå ¬P ∧ Q ∨ ¬Q ∧ P ⇒ ¬Q ïîñëå ðàññòàíîâêè ñêîáîê â ñîîòâåòñòâèè ñ ïðèîðèòåòàìè ïðèìåò âèä (((¬P ) ∧ Q) ∨ ((¬Q) ∧ P )) ⇒ (¬Q). • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Äëÿ îïðåäåëåíèÿ èñòèííîñòè èëè ëîæíîñòè ñëîæíîãî âûñêàçûâàíèÿ â çàâèñèìîñòè îò èñòèííîñòè èëè ëîæíîñòè âõîäÿùèõ â íåãî âûñêàçûâàíèé èñïîëüçóþò òàáëèöû èñòèííîñòè.  ïåðâûõ äâóõ ñòîëáöàõ òàáëèöû çàïèñûâàþò âñå âîçìîæíûå íàáîðû çíà÷åíèé, êîòîðûå ìîãóò ïðèíèìàòü âûñêàçûâàíèÿ P è Q . Èñòèííîñòü âûñêàçûâàíèÿ îáîçíà÷àþò áóêâîé È\, à ëîæíîñòü | áóêâîé " Ë\. Îñòàëüíûå ñòîëáöû çàïîëíÿþò ñëåâà íàïðàâî. " Òàê äëÿ êàæäîãî íàáîðà çíà÷åíèé P è Q íàõîäÿò ñîîòâåòñòâóþùèå çíà÷åíèÿ âûñêàçûâàíèé. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Òàáëèöû èñòèííîñòè ëîãè÷åñêèõ îïåðàöèé P Q P ∨Q P Q P ∧Q P Q P ⇒Q P Q P ⇔Q Ë Ë È È Ë Ë È È Ë Ë È È Ë Ë È È Ë È Ë È Ë È È È Ë È Ë È Ë Ë Ë È P ¬P Ë È È Ë Ë È Ë È È È Ë È Ë È Ë È È Ë Ë È • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ðàññìîòðèì ñëîæíîå âûñêàçûâàíèå (¬P ∧ Q) ⇒ (¬Q ∧ P ). Îáîçíà÷èì âûñêàçûâàíèå ¬P ∧ Q ÷åðåç A , âûñêàçûâàíèå ¬Q ∧ P ÷åðåç B , à èñõîäíîå âûñêàçûâàíèå çàïèøåì â âèäå A ⇒ B . Òàáëèöà èñòèííîñòè ýòîãî âûñêàçûâàíèÿ ñîñòîèò èç ñëåäóþùèõ ñòîëáöîâ. P , Q , ¬P , ¬Q , A , B è A ⇒ B . P Q ¬P ¬Q A B A ⇒ B Ë Ë È È Ë È Ë È È È Ë Ë È Ë È Ë Ë È Ë Ë Ë Ë È Ë È Ë È È • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ñëîæíûå âûñêàçûâàíèÿ îáðàçóþòñÿ íå òîëüêî ïîñðåäñòâîì ëîãè÷åñêèõ ñâÿçîê, íî è ñ ïîìîùüþ ïðåäèêàòîâ è êâàíòîðîâ. Ïðåäèêàò åñòü âûñêàçûâàíèå, ñîäåðæàùåå îäíî èëè íåñêîëüêî ïåðåìåííûõ. Íàïðèìåð, x åñòü ÷åòíîå ÷èñëî\ èëè " x åñòü ñòóäåíò ÌÃÒÓ èì. Áàóìàíà, ïîñòóïèâøèé â 2012 ã.\. "  ïåðâîì ïðåäèêàòå x åñòü öåëî÷èñëåííîå ïåðåìåííîå, âî âòîðîì | ïåðåìåííîå, ïðîáåãàþùåå ìíîæåñòâî ÷åëîâå÷åñêèõ èíäèâèäîâ\. " Ïðåäèêàòû, ñîäåðæàùèå íåñêîëüêî ïåðåìåííûõ: x äåëèòñÿ íà y \, x " " ìåíüøå y \. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïðåäèêàòû çàïèñûâàþò â âèäå P (x) , Q(x, y) , R(x, y, z) , â ñêîáêàõ ïåðå÷èñëÿþò âñå ïåðåìåííûå, âõîäÿùèå â äàííûé ïðåäèêàò. Ïîäñòàâëÿÿ âìåñòî êàæäîãî ïåðåìåííîãî, âõîäÿùåãî â ïðåäèêàò P (x1, . . . , xn) , êîíêðåòíîå çíà÷åíèå, ò.å. ôèêñèðóÿ çíà÷åíèÿ x1 = a1, . . . , xn = an , ãäå a1, . . . , an | íåêîòîðûå êîíñòàíòû ñ ñîîòâåòñòâóþùåé îáëàñòüþ çíà÷åíèé, ïîëó÷àåì âûñêàçûâàíèå, íå ñîäåðæàùåå ïåðåìåííûõ. Íàïðèìåð, 2 åñòü ÷åòíîå ÷èñëî\, " Èñààê Íüþòîí åñòü ñòóäåíò ÌÃÒÓ èì. Áàóìàíà, ïîñòóïèâøèé â 2012 ã.\, " 5 äåëèòñÿ íà 7\. " • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit  çàâèñèìîñòè îò òîãî, èñòèííî èëè ëîæíî ïîëó÷åííîå òàêèì îáðàçîì âûñêàçûâàíèå, ãîâîðÿò, ÷òî ïðåäèêàò P âûïîëíÿåòñÿ èëè íå âûïîëíÿåòñÿ íà íàáîðå çíà÷åíèé ïåðåìåííûõ x1 = a1 , . . . , xn = an . Ïðåäèêàò, âûïîëíÿþùèéñÿ íà ëþáîì íàáîðå âõîäÿùèõ â íåãî ïåðåìåííûõ, íàçûâàþò òîæäåñòâåííî èñòèííûì. Ïðåäèêàò, íå âûïîëíÿþùèéñÿ íè íà îäíîì íàáîðå çíà÷åíèé âõîäÿùèõ â íåãî ïåðåìåííûõ, | òîæäåñòâåííî ëîæíûì. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Âûñêàçûâàíèå èç ïðåäèêàòà ìîæíî ïîëó÷àòü íå òîëüêî ïîäñòàíîâêîé çíà÷åíèé åãî ïåðåìåííûõ, íî è ïîñðåäñòâîì êâàíòîðîâ. Ââîäÿò äâà êâàíòîðà | ñóùåñòâîâàíèÿ è âñåîáùíîñòè, îáîçíà÷àåìûå ∃ è ∀ ñîîòâåòñòâåííî. Âûñêàçûâàíèå (∀x ∈ A)P (x) èñòèííî, òîãäà è òîëüêî òîãäà, êîãäà ïðåäèêàò P (x) âûïîëíÿåòñÿ äëÿ êàæäîãî çíà÷åíèÿ ïåðåìåííîãî x .(÷èòàåòñÿ: äëÿ êàæäîãî ýëåìåíòà x , ïðèíàäëåæàùåãî ìíîæåñòâó A ( äëÿ âñåõ " " x ∈ A ) èñòèííî P (x) \). Âûñêàçûâàíèå (∃x ∈ A)P (x) èñòèííî, òîãäà è òîëüêî òîãäà, êîãäà íà íåêîòîðûõ çíà÷åíèÿõ ïåðåìåííîãî x âûïîëíÿåòñÿ ïðåäèêàò P (x) .(÷èòàåòñÿ: ñóùåñòâóåò ( íàéäåòñÿ) òàêîé ýëåìåíò x ìíîæåñòâà A , ÷òî èñòèííî P"(x) \). • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïðè îáðàçîâàíèè âûñêàçûâàíèÿ èç ïðåäèêàòà ïîñðåäñòâîì êâàíòîðà ãîâîðÿò, ÷òî ïåðåìåííîå ïðåäèêàòà ñâÿçûâàåòñÿ êâàíòîðîì. îáùåì ñëó÷àå èñïîëüçóþò ôîðìû âûñêàçûâàíèé âèäà (Q1x1 ∈ A1)(Q2x2 ∈ A2) . . . (Qnxn ∈ An)P (x1, x2, . . . , xn), ãäå âìåñòî êàæäîé áóêâû Q ñ èíäåêñîì ìîæåò áûòü ïîäñòàâëåí ëþáîé èç êâàíòîðîâ ∀ èëè ∃ . Íàïðèìåð, âûñêàçûâàíèå (∀x ∈ A)(∃y ∈ B)P (x, y) ÷èòàåòñÿ òàê: äëÿ " âñÿêîãî x ∈ A ñóùåñòâóåò y ∈ B , òàêîé, ÷òî èñòèííî P (x, y) \. Ìàòåìàòè÷åñêèå òåîðåìû ìîæíî çàïèñàòü â ïîäîáíîé ôîðìå: (∃ lim f (x) = b1) ∧ (∃ lim g(x) = b2) ⇒ (∃ lim f (x)g(x) = b1b2) x→a x→a x→a • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ìíîæåñòâî ïîëíîñòüþ îïðåäåëÿåòñÿ ñâîèìè ýëåìåíòàìè. Ñïîñîáû çàäàíèÿ ìíîæåñòâ Äëÿ êîíå÷íîãî ìíîæåñòâà, ÷èñëî ýëåìåíòîâ êîòîðîãî îòíîñèòåëüíî íåâåëèêî, ìîæåò áûòü èñïîëüçîâàí ñïîñîá íåïîñðåäñòâåííîãî ïåðå÷èñëåíèÿ ýëåìåíòîâ. Ýëåìåíòû êîíå÷íîãî ìíîæåñòâà ïåðå÷èñëÿþò â ôèãóðíûõ ñêîáêàõ â ïðîèçâîëüíîì ôèêñèðîâàííîì ïîðÿäêå {1, 3, 5} . Ïîñêîëüêó ìíîæåñòâî ïîëíîñòüþ îïðåäåëåíî ñâîèìè ýëåìåíòàìè, òî ïðè çàäàíèè êîíå÷íîãî ìíîæåñòâà ïîðÿäîê, â êîòîðîì ïåðå÷èñëåíû åãî ýëåìåíòû, íå èìååò çíà÷åíèÿ. Çàïèñè {1, 3, 5} , {3, 1, 5} , {5, 3, 1} è ò.ä. âñå çàäàþò îäíî è òî æå ìíîæåñòâî. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit  îáùåì ñëó÷àå äëÿ êîíå÷íîãî ìíîæåñòâà èñïîëüçóþò ôîðìó çàïèñè {a1, . . . , an} . Òîãäà êîíå÷íîå ìíîæåñòâî, çàäàííîå çàïèñüþ {a1 , . . . , an } , ñîñòîèò èç n ýëåìåíòîâ. Åãî íàçûâàþò òàêæå n -ýëåìåíòíûì ìíîæåñòâîì. Ñïîñîá çàäàíèÿ ìíîæåñòâà ïóòåì íåïîñðåäñòâåííîãî ïåðå÷èñëåíèÿ åãî ýëåìåíòîâ ïðèìåíèì â âåñüìà óçêîì äèàïàçîíå êîíå÷íûõ ìíîæåñòâ. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Íàèáîëåå îáùèì ñïîñîáîì çàäàíèÿ êîíêðåòíûõ ìíîæåñòâ ÿâëÿåòñÿ óêàçàíèå íåêîòîðîãî ñâîéñòâà, êîòîðûì äîëæíû îáëàäàòü âñå ýëåìåíòû îïèñûâàåìîãî ìíîæåñòâà, è òîëüêî îíè. Ïóñòü ïåðåìåííîå x ïðîáåãàåò íåêîòîðîå ìíîæåñòâî U , íàçûâàåìîå óíèâåðñàëüíûì ìíîæåñòâîì. Ñâîéñòâî, êîòîðûì îáëàäàþò èñêëþ÷èòåëüíî ýëåìåíòû äàííîãî ìíîæåñòâà A , ìîæåò áûòü âûðàæåíî ïîñðåäñòâîì ïðåäèêàòà P (x) , âûïîëíÿþùåãîñÿ òîãäà è òîëüêî òîãäà, êîãäà ïåðåìåííîå x ïðèíèìàåò ïðîèçâîëüíîå çíà÷åíèå èç ìíîæåñòâà A . P (x) èñòèííî òîãäà è òîëüêî òîãäà, êîãäà âìåñòî x ïîäñòàâëÿåòñÿ êîíñòàíòà a ∈ A . • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïðåäèêàò P íàçûâàþò â ýòîì ñëó÷àå õàðàêòåðèñòè÷åñêèì ïðåäèêàòîì ìíîæåñòâà A , à ñâîéñòâî, âûðàæàåìîå ñ ïîìîùüþ ýòîãî ïðåäèêàòà, | õàðàêòåðèñòè÷åñêèì ñâîéñòâîì èëè êîëëåêòèâèçèðóþùèì ñâîéñòâîì. Ìíîæåñòâî, çàäàííîå ÷åðåç õàðàêòåðèñòè÷åñêèé ïðåäèêàò, çàïèñûâàåòñÿ â ñëåäóþùåé ôîðìå: A = {x: P (x)} . • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Íàïðèìåð, A = {x: x åñòü ÷åòíîå íàòóðàëüíîå ÷èñëî} îçíà÷àåò, ÷òî A åñòü ìíîæåñòâî, ñîñòîÿùåå èç âñåõ òàêèõ ýëåìåíòîâ x , " ÷òî êàæäîå èç íèõ åñòü ÷åòíîå íàòóðàëüíîå ÷èñëî\ Ïðåäèêàò, çàäàþùèé êîëëåêòèâèçèðóþùåå ñâîéñòâî, ìîæåò áûòü òîæäåñòâåííî ëîæíûì. Ìíîæåñòâî, îïðåäåëåííîå òàêèì îáðàçîì, íå áóäåò èìåòü íè îäíîãî ýëåìåíòà. Åãî íàçûâàþò ïóñòûì ìíîæåñòâîì è îáîçíà÷àþò ∅ . • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Òîæäåñòâåííî èñòèííûé õàðàêòåðèñòè÷åñêèé ïðåäèêàò çàäàåò óíèâåðñàëüíîå ìíîæåñòâî. Êîíêðåòíîå ñîäåðæàíèå ïîíÿòèÿ óíèâåðñàëüíîãî ìíîæåñòâà îïðåäåëÿåòñÿ ðåøàåìîé çàäà÷åé . Çàôèêñèðîâàâ óíèâåðñàëüíîå ìíîæåñòâî, ìû òåì ñàìûì ôèêñèðóåì îáëàñòü çíà÷åíèé âñåõ ôèãóðèðóþùèõ â íàøèõ ìàòåìàòè÷åñêèõ ðàññóæäåíèÿõ ïåðåìåííûõ è êîíñòàíò.  ýòîì ñëó÷àå ìîæíî íå óêàçûâàòü â êâàíòîðàõ òî ìíîæåñòâî, êîòîðîå ïðîáåãàåò ñâÿçûâàåìîå êâàíòîðîì ïåðåìåííîå. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Îïåðàöèè íàä ìíîæåñòâàìè Äëÿ ëþáûõ äâóõ ìíîæåñòâ A è B îïðåäåëåíû íîâûå ìíîæåñòâà, íàçûâàåìûå îáúåäèíåíèåì, ïåðåñå÷åíèåì, ðàçíîñòüþ è ñèììåòðè÷åñêîé ðàçíîñòüþ. • A ∪ B = {x | x ∈ A ∨ x ∈ B} | îáúåäèíåíèå A è B åñòü ìíîæåñòâî âñåõ òàêèõ x , ÷òî x ÿâëÿåòñÿ ýëåìåíòîì õîòÿ áû îäíîãî èç ìíîæåñòâ A , B ; • A ∩ B = {x | x ∈ A ∧ x ∈ B} | ïåðåñå÷åíèå A è B åñòü ìíîæåñòâî âñåõ òàêèõ x , ÷òî x | îäíîâðåìåííî ýëåìåíò A è ýëåìåíò B ; • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit • A \ B = {x | x ∈ A ∧ x ∈ / B} | ðàçíîñòü A è B åñòü ìíîæåñòâî âñåõ òàêèõ x , ÷òî x | ýëåìåíò A , íî íå ýëåìåíò B ( x ∈ / B ); • A 4 B = (A \ B) ∪ (B \ A) , à ñèììåòðè÷åñêàÿ ðàçíîñòü A è B | ìíîæåñòâî âñåõ òàêèõ x , ÷òî x | ýëåìåíò A , íî íå ýëåìåíò B èëè x | ýëåìåíò B , íî íå ýëåìåíò A . Ôèêñèðóÿ óíèâåðñàëüíîå ìíîæåñòâî U , ìû ìîæåì îïðåäåëèòü äîïîëíåíèå A ìíîæåñòâà A .Äîïîëíåíèå ìíîæåñòâà A | ýòî ìíîæåñòâî âñåõ ýëåìåíòîâ óíèâåðñàëüíîãî ìíîæåñòâà, íå ïðèíàäëåæàùèõ A . A = U \A. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïóñòü ìíîæåñòâî A çàäàíî ïîñðåäñòâîì õàðàêòåðèñòè÷åñêîãî ïðåäèêàòà P A = {x: P (x)} , à ìíîæåñòâî B | ïîñðåäñòâîì õàðàêòåðèñòè÷åñêîãî ïðåäèêàòà Q B = {x: Q(x)} . Òîãäà A ∪ B = {x: P (x) ∨ Q(x)} . A ∩ B = {x: P (x) ∧ Q(x)} . A \ B = {x: P (x) ∧ ¬Q(x)} . • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïîäìíîæåñòâà Ìíîæåñòâî B åñòü ïîäìíîæåñòâî ìíîæåñòâà A , åñëè âñÿêèé ýëåìåíò B åñòü ýëåìåíò A : B⊆A Ãîâîðÿò òàêæå, ÷òî B ñîäåðæèòñÿ â A , B âêëþ÷åíî â A , A âêëþ÷àåò B (èìååò ìåñòî âêëþ÷åíèå B ⊆ A ). Ïóñòîå ìíîæåñòâî åñòü ïîäìíîæåñòâî ëþáîãî ìíîæåñòâà. Åñëè ôèêñèðîâàíî íåêîòîðîå óíèâåðñàëüíîå ìíîæåñòâî, êàæäîå ðàññìàòðèâàåìîå ìíîæåñòâî åñòü åãî ïîäìíîæåñòâî. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Åñëè A = {x: P (x)} , B = {x: Q(x)} , òî B ⊆ A òîãäà è òîëüêî òîãäà, êîãäà âûñêàçûâàíèå Q(x) ⇒ P (x) òîæäåñòâåííî èñòèííî. Äâà ìíîæåñòâà A è B ñ÷èòàþò ðàâíûìè, åñëè ëþáîé ýëåìåíò x ìíîæåñòâà A ÿâëÿåòñÿ ýëåìåíòîì ìíîæåñòâà B è íàîáîðîò. Ìíîæåñòâî A ðàâíî ìíîæåñòâó B òîãäà è òîëüêî òîãäà, êîãäà A åñòü ïîäìíîæåñòâî B è íàîáîðîò, ò.å. A = B ⇔ ((A ⊆ B) ∧ (B ⊆ A)). (1.1) • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ôîðìóëà (1.1) ÿâëÿåòñÿ îñíîâîé äëÿ ïîñòðîåíèÿ äîêàçàòåëüñòâ î ðàâåíñòâå ìíîæåñòâ. ×òîáû äîêàçàòü ðàâåíñòâî äâóõ ìíîæåñòâ X è Y , ò.å. ÷òî X = Y , äîñòàòî÷íî äîêàçàòü äâà âêëþ÷åíèÿ X ⊆ Y è Y ⊆ X . 1. Äîêàçàòü, ÷òî èç ïðåäïîëîæåíèÿ x ∈ X (äëÿ ïðîèçâîëüíîãî x ) ñëåäóåò, ÷òî x ∈ Y . 2. Äîêàçàòü, ÷òî èç ïðåäïîëîæåíèÿ x ∈ Y ñëåäóåò, ÷òî x ∈ X . Òàêîé ìåòîä äîêàçàòåëüñòâà òåîðåòèêî-ìíîæåñòâåííûõ ðàâåíñòâ íàçûâàþò ìåòîäîì äâóõ âêëþ÷åíèé. Åñëè B ⊆ A , íî B 6= A , òî ïèøóò B ⊂ A è B íàçûâàþò ñòðîãèì ïîäìíîæåñòâîì (èëè ñîáñòâåííûì ïîäìíîæåñòâîì) ìíîæåñòâà A , à ñèìâîë ⊂ | ñèìâîëîì ñòðîãîãî âêëþ÷åíèÿ. . • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Äëÿ âñÿêîãî ìíîæåñòâà A ìîæåò áûòü îáðàçîâàíî ìíîæåñòâî âñåõ ïîäìíîæåñòâ ìíîæåñòâà A . Åãî îáîçíà÷àþò 2A : 2A = {X: X ⊆ A} . Ýòî ìíîæåñòâî ÷àñòî íàçûâàþò áóëåàíîì ìíîæåñòâà A Áóëåàí ìíîæåñòâà {a, b} ñîñòîèò èç ÷åòûðåõ ìíîæåñòâ ∅ , {a} , {b} , {a, b} , ò.å. 2{a, b} = {∅, {a}, {b}, {a, b}} . Áóëåàí 2N ñîñòîèò èç âñåõ âîçìîæíûõ, êîíå÷íûõ èëè áåñêîíå÷íûõ, ïîäìíîæåñòâ ìíîæåñòâà N . Òàê, ∅ ∈ 2N , {5} ∈ 2N , âîîáùå äëÿ ëþáîãî n ìíîæåñòâî {n} ∈ 2N , ìíîæåñòâî {1, . . . , n} ∈ 2N , {n: n = 2k, k = 1, 2, . . .} ∈ 2N è ò.ï. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Òåîðåòèêî-ìíîæåñòâåííûå òîæäåñòâà. 1. A ∪ B = B ∪ A ; 2. A ∩ B = B ∩ A ; 3. A ∪ (B ∪ C) = (A ∪ B) ∪ C ; 4. A ∩ (B ∩ C) = (A ∩ B) ∩ C ; 5. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) ; 6. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) ; 7. A ∪ B = A ∩ B ; 8. A ∩ B = A ∪ B ; • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit 9. A ∪ ∅ = A ; 10. A ∩ ∅ = ∅ ; 11. A ∩ U = A ; 12. A ∪ U = U ; 13. A ∪ A = U ; 14. A ∩ A = ∅ ; 15. A ∪ A = A ; 16. A ∩ A = A ; 17. A = A ; • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit 18. A \ B = A ∩ B ; 19. A 4 B = (A ∪ B) \ (A ∩ B) ; 20. (A 4 B) 4 C = A 4(B 4 C) ; 21. A 4 B = B 4 A ; 22. A ∩ (B 4 C) = (A ∩ B) 4(A ∩ C) . • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Äîêàæåì òîæäåñòâî A ∩ (B ∩ C) = (A ∩ B) ∩ C ; Ïîêàæåì ïåðâîå âêëþ÷åíèå x ∈ (A ∩ (B ∩ C)) ⇒ ⇒ (x ∈ A) ∧ (x ∈ (B ∩ C)) ⇒ ⇒ (x ∈ A) ∧ ((x ∈ B) ∧ (x ∈ C)) ⇒ ⇒ ((x ∈ A) ∧ (x ∈ B)) ∧ (x ∈ C) ⇒ ⇒ (x ∈ (A ∩ B)) ∧ (x ∈ C) ⇒ ⇒ x ∈ ((A ∩ B) ∩ C) Ïåðâîå âêëþ÷åíèå óñòàíîâëåíî. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Ïîêàæåì âòîðîå âêëþ÷åíèå. x ∈ ((A ∩ B) ∩ C) ⇒ (x ∈ (A ∩ B)) ∧ (x ∈ C) ⇒ ⇒ ((x ∈ A) ∧ (x ∈ B)) ∧ (x ∈ C) ⇒ ⇒ (x ∈ A) ∧ ((x ∈ B) ∧ (x ∈ C)) ⇒ ⇒ (x ∈ A) ∧ (x ∈ (B ∩ C)) ⇒ ⇒ x ∈ (A ∩ (B ∩ C)) ⇒ Îáà âêëþ÷åíèÿ èìåþò ìåñòî, òîæäåñòâî äîêàçàíî. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Äëÿ äîêàçàòåëüñòâà òåîðåòèêî-ìíîæåñòâåííûõ òîæäåñòâ ìîãóò áûòü èñïîëüçîâàíû: ìåòîä õàðàêòåðèñòè÷åñêèõ ôóíêöèé (ñì. ñåìèíàð 1); ìåòîä ýêâèâàëåíòíûõ ïðåîáðàçîâàíèé. Ïðè äîêàçàòåëüñòâå òåîðåòèêî-ìíîæåñòâåííûõ òîæäåñòâ ìåòîäîì ýêâèâàëåíòíûõ ïðåîáðàçîâàíèé èñïîëüçóþòñÿ ðàíåå äîêàçàííûå òîæäåñòâà äëÿ ïðåîáðàçîâàíèÿ ëåâîé ÷àñòè ê ïðàâîé èëè íàîáîðîò. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit Äîêàæåì ìåòîäîì ýêâèâàëåíòíûõ ïðåîáðàçîâàíèé òîæäåñòâî A \ (B ∪ C) = (A \ B) \ C, ïîëüçóÿñü òîæäåñòâàìè 1{19. Ïðåîáðàçóåì ëåâóþ ÷àñòü ê ïðàâîé: A \ (B ∪ C) = = A ∩ (B ∪ C) = = A ∩ (B ∩ C) = = (A ∩ B) ∩ C = = (A \ B) ∩ C = = (A \ B) \ C Òîæäåñòâî äîêàçàíî. • First • Prev • Next • Last • Go Back • Full Screen • Close • Quit