Лекции по упорядоченным множествам и универсальной алгебре. Гуров С.И. - 81 стр.

UptoLike

Составители: 

ι
a
b
c
d
e
f
g
h
o
P
L
0
=
N
5
o a c d e
L c u d L
b L
0
o
ι
e
c
d
a
b
o
4.2. Ðåø¼òî÷íûå ãîìîìîðôèçìû, èäåàëû è ôèëüòðû                                     81



                                                    ι   [[
                                        [    
                                a[   b     c4
                                   [[  44
                                             4
                                                                     4
                                                    •
                                                                     4
                                                                         44
                                     
                                dN                  e   [[                     f
                                     N
                                         N                 [           
                                             N                        
                                               N                   • [
                                                 N                [[
                                                   N           
                                                     N
                                                       N g
                                                        N
                                                          N           AA A h
                                                            N     A A
                                                    o
                                                              AAA

              Ðèñ. 4.5: Çàìûêàíèå Ìàêíèëà ÷.ó. ìíîæåñòâà P ñ ðèñ. 4.4

Ïðèìåð 4.3.   1. Ðåø¼òêà L 0 ∼
                             = N5 , îáðàçîâàííàÿ ýëåìåíòàìè o, a, c, d, e (âûäåëåíû
    æèðíûì) íå ÿâëÿåòñÿ ïîäðåø¼òêîé ðåø¼òêè L (ñì. ðèñ. 4.6), ïîñêîëüêó c u d â L
    åñòü b, à â L 0  o.


                                                          ι




                                           [[            e
                                              [
                                     
                                   c [          d
                                 [[         
                                           
                             a[           b
                                [[      
                                     
                                               o


Ðèñ. 4.6: ×.ó. ïîäìíîæåñòâî (âûäåëåíî æèðíûì)  ðåø¼òêà, íî íå ïîäðåø¼òêà èñõîäíîé

  2. Ïåðåñå÷åíèå ïîäðåø¼òîê ëèáî ïóñòî, ëèáî ÿâëÿåòñÿ ïîäðåø¼òêîé.
      ñèëó ýòîãî, îêàçûâàåòñÿ óäîáíûì ñ÷èòàòü ïîäðåø¼òêîé è ïóñòîå ìíîæåñòâî. Òîãäà
     ïåðåñå÷åíèå ëþáîé ñîâîêóïíîñòè ïîäðåø¼òîê è ëþáîé èíòåðâàë ðåø¼òêè îêàçûâà-