Введение в универсальную и категорную алгебру - 51 стр.

UptoLike

ВУЗ: 

КФУ | Казань

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

Рубрика: 

    pRIMER 6.6 .  pRIMER ALGEBRY gEJTINGA, NE QWLQ@]EJSQ BULEWOJ
ALGEBROJ { OTREZOK I = 0 1] , W KOTOROM sup = max , inf = min . oTNO-
SITELXNYE PSEWDODOPOLNENIQ SU]ESTWU@T I WY^ISLQ@TSQ TAK:
                                 8
                                 >
                                 < 1 , ESLI x  y
                    (x ! y ) = >
                                 : y , ESLI x > y:
   w ^ASTNOSTI, :x = 1 PRI x = 0 , A PRI x =      6 0 :x = 0 . oTS@DA
SLEDUET, ^TO ::x = x TOLXKO PRI x = 0 ILI x = 1 , W OSTALXNYH VE
SLU^AQH ::x = 1 .
tEOREMA       6.4.   ( kRITERIJ BULEWOSTI). aLGEBRA gEJTINGA H BULE-
WA TOGDA I TOLXKO TOGDA, ESLI WYPOLNENO L@BOE IZ \KWIWALENTNYH
USLOWIJ:
(B1 ) ::a = a DLQ WSEH a 2 H
(B2 ) (a ! b) = :a _ b DLQ WSEH a b 2 H .
  oTS@DA SLEDUET, ^TO ALGEBRA gEJTINGA I = 0 1] NE QWLQETSQ BULE-
WOJ.




                                    51

Страницы