You are on page 1of 16

∗ !" !" !

∗ ! #
∗ $
% & ' ! ∗(
) * ! ! ' # ∗(
" +,+!
∀ ∈ ∗ ∗ = ∗ ∗
% ∀ ∈ ∗ = ∗ =
) ∀ ∈ ∃ ∈ ∗ = ∗ =
- #
. ∗ ' ! ! /
,$ (
.! ∗ $ ! # ∗ (

0 12

• + " (
• + (
• × " (
• × " 3× (
• , ={ }
4 ♥! ! ' ! ♥
5

6 ♥ = ♥ =

- !
1 7 8 9

. !" ∗ (
• & ' !
4"2 ! /, ! ! !" (
. # : ! 2 (
= ∗ := : : ;! 2
6 ! ! ∗ (
• * ! ! ' # ∗
4"2 / ! ! !" (
. # : :: ! 2 ' # ! (
: = :∗ = :∗ ∗ : : = :∗ ∗ : : = ∗ : : = : :
6 ! ' # ! (
• ∈ =
∗ = ∗ =
' # ! (
• ∈ ∗ = ∗
∗ ∗ ∗ = ∗= ∗ ∗ < = ∗= ∗ ∗ < = ∗= ∗ < = ∗ =
1 ∗ ∗ ∗ == ∗ ∗ <∗ = = ∗ ∗ <∗ = = ∗ <∗ = ∗ =
∗ = ∗
• - #
6 ∈ ∗ ∗ = ∗ ∗ (
6 ! > ∗ ∗
• 7- !"# 9

∗ = ⇔ = ∗
% ∗ = ⇔ = ∗
!
. ∗ = ∗ ∗ = ∗ (
6 ∗ ∗ = ∗ ∗ = ∗ = ( = ∗
. = ∗ ∗ = ∗ ∗ = ∗ ∗ = ∗ =
4 ! ? %@
• -

∗ = ∗ =
% ∗ = ∗ =
4 $ $!
!
. ∗ = ∗ ∗ ∗ = ∗ ∗
. ∗ ∗ = ∗ ∗ ! ∗ = ∗ : +,+! =
4 ! ? %(
# ! ! ' !" ∗
$ / ! 2 ? ! ?
. ∗ = ∗ %= %∗ = ∗ = ∗ % ∗ = % ∗
= % A = %(
• & !"
. ∈ (6 !
∗ = B% ∗ ∗ = ∗ ∗ = B)

6 ! ∈ B
− BC =
−∀ ∈ B + = B ∗

%
, !" # ∈
B + = B ∗ B B B = B ×
• & 7 ! 9
. ∈ ∈ (
6 B− = B
B− = B
4 ! , (

% 1 7 $ 9

× $ $
+ 4

+ 4 ' # ! ∈ $ ! (
+ 4" (
+ 4 ' × $ × (

4 ! !
− −
• =
− − −
• =

• = ⇔ =

= ⇔ =
• = =
= =
• C
=
=
+
∀ ∈ =
− − −
∀ ∈ = =
+
∀ ∈ =
×
=

) 1 7 !! $ 9 $ 2

+ $ $
+ 4 C " !
+ 4 ' # ! ∈ − ! (
+ 4" ( (
+ 6 ! # + : +,+!
∀ ∈ + = +
4 !
• − − =

)
• − + = − + − = − + −
• + = + = ⇔ = + − ; + − −
• + = + =
• C( = C
( =
∀ ∈ + ( = ( +
∀ ∈ − ( = ( − =− ( − (
∀ ∈ ( + ( = + (
( ( = ×

2 !

+-
!
+ + + + 3× 3× 3×
+ !
. $! # # ( 6 " !
! / ! ! ( !
!
! ( ! # (

+ 6 ! 2 / ! ! / !
! (
+ 4 $
∀ ∈ =
! /
+ E &! ∈

+ * ∈ ' # , $ (
(
F # ! ! "

. ! ! (
. → !
= =
= =
∀ ∈ 5{ } = ∀ ∈ 5{ } =
! # ! ! !
$ !" $ + ? $ $ (
1 ≠
= = =
= = =

D
12
+ 6 # = { % ) ((( }(
! ! H(
• * ! ' ! %

% = {&! τ } I
&! { %} → { %}
τ { %} → { %} ! τ = % ;τ % =
* !
5 &! τ
&! &! τ
τ τ &!
• * ! ' ! )

) = {&! τ τ% ) τ) % :} I
&! { % )} → { % )}
τ { % )} → { % )} ! τ = ;τ = ;τ = (
{ % )} → { % )} ! = %; % = ); ) =
: { % )} → { % )} ! : = ); : % = ; : ) = %(
* !
5 &! τ % τ ) τ% ) :
&! &! τ % τ ) τ% ) :
τ % τ % &! : τ% ) τ )
τ ) τ ) &! : τ % τ% )
τ% ) τ% ) : &! τ ) τ %
τ ) τ% ) τ % : &!
: : τ% ) τ % τ ) &!
+ ⊗ I
# # × $
⊗ !
∀ ∈ ⊗ →

1 !"# $ ! (

. ∈ ≥ %(
6 ! ≡
∈ ≡ ⇔ − ∈
" ! ! (
6 J ≡ ! ≡ = <

G
!"# $
∀ ∈ ≡ # − = C∈
% ∈ ≡ − ∈ ! − ∈ ≡
) . ∈ ( . ≡ ≡ − " − = I ∈
− " − = : I :∈ ( − = − + − = :+ ∈ (
≡ (
≡ 2$ ' # % ' # ) " !
!"# $ (

$ K
: :∈
. ≡ : ≡ :
− :∈ − :∈ ! − :+ − :∈ :+ : − + ∈ : +
,+! + ≡ :+ : (
∈ !"# $ !
" ! ! , ! ( "!#
#" $ ! (6 "# $
∀ ∈ = ⇔ ≡ = < (
1
. ∈
. = ( / , ∈ ≡ 2$ " ,! ∈ ! ≡ = <(
. ≡ = <( . ∈ ( ≡ = <( ≡ = < ≡ $ (
∈ ( ⊂ ( ? ⊂ ( = (
" I "# $ ∈ (

6 A " ! !"# $ ! (
A ={ ∈ }(
!
A ! ! (
∈ ⊕ = + (
⊕ ! ! A A ⊕
(

• . ∈ (
2 ∈ [C − ] # = : +,+! # ≡ = <(
1
1 = − I =[ ]
≤ < + ! ≤ < + C≤ − < : +,+! C≤ ≤ −
!" I "2 (
∀ ∈ ∃ ∈ [C − ] =
A , $ ∈ [C − ]( 6 !
! # ! (
. ∈ [C − ] # = : +,+! # ≡ = <(
& 2 ! ∈ # − = (
= + (6
C≤ ≤ − ( ≤ ≤ + − < +
≤ < +
= [ ]( 6 C ≤ ≤ − ( C≤ ≤ − <
= [ ]= C ( = + = (
∀ ∈ [C − ] = =
. ∀ ∈ [C − ] ≠ ≠ (
A , $ ∈ [C − ]
A ! ! (
• F ! /, # ⊕ ! : +,+! #
∈ + ! !# ! + ! !
. : # := : # := :≡ :≡ :+ : ≡ +

! + = :+ : (
/, ⊕ $! ! A
⊕ $ ∈
⊕ ⊕ = + ⊕ = + + = + + = ⊕ + = ⊕ ⊕

⊕C = +C = = C+ = C⊕
A ! ⊕ , $ C(
. ∈ =− ∈ (6
⊕ = + = + − =C= − + = + = ⊕
! A ! ' # ⊕(
1 ⊕ $ ∈
⊕ = + = + = ⊕
A ⊕ ( JK ⊕

. × (
. ! (
6 ! # + ! × #

% × ∀ ∈ × ∈

) , "$ ∀ ∈ ∈

L
. + ! × × !
× (
+ /, × ! !" %
+ 4" $ " ! (
+ E " # ! !"
+ 12 !" $ ! !" )(

0 12

+ 3 + ! 3× 3 ! 3× ! 3×
{% ∈ } {− } 3
+ ! + ! 3×
+ ! 3× ={ ∈ = }
+ ! × ={ ∈ = }
+ + ! + {C}∪ { ∈ 3 = α =π <}
4 ! ! ! 2
+ ∈ + ! (
+. × { } ! + !
+ + !
+ {&! :} + ! ) = {&! τ % τ% ) τ) :} #
" (
. ∈ 3 % ((( } ! { $! (
. = {σ ∈ σ ⊂ } : +,+! # " !
# # σ∈ σ / $ σ ?
! # ! σ ⊂ ⇔σ =
+ !
+ &! ∈
+ σ ⊂ σ: ⊂ σ σ: ⊂
+ ' # σ ⊂ σ− ⊂
1
. # σ ⊂ ( σ =
. ∈ ( ∈σ (
& 2 ! ! # =σ $ ∈
σ −
= ! σ −

"I " σ −
⊂ ? " # σ− / $
+ + ! +
• 4" ! '
• {λ λ ∈ } I 2 ! (
• { ∈ C = C}
• I ∈ I ∈
• 1 ! + !# , 2
• 1 ! + 8 , 2

M
• 1 !
• 1 ! @
+. + ! A
=
{ }{
C C %)DG } {C % D}{C )}
+

! A G (
% D ! { C%D ( }
) ! {C )}(
6 ! # !" ! % D !" ! ) ) !" ! %(

+
4 + ! (

/, I ∈ ! + ! (
O + + !" P
. + ! # {C}(
& ! ! " !" 2
! 3 ( " ∩ 3 $! ! ( ! !
! ≥ ( = (
1
/, ! # ∀ ∈ ∈
, "$ ∀ ∈ ∈ ! ⊂
4"
. ∈ (4 !$ ! ! !
= + I ∈ ∈ [C − ](
= − = + − (

∈ ( ! ∩ 3
=C <

+ ! 2 I ∈ (

! ! +

. × ! (

+ ! × ⇔ −
∀ ∈ ∈

4 $! ( "

. # −
∀ ∈ ∈

N
! /, ∈ @

1 = ∈ ∈ (
− − −
∈ ∈ ! ∈ : +,+! ∈

1 & ! +

*
. × (
! + ! + ! (

. ∈ ! + ! ! 2 (E =

/, ∈ # ∀ ∈ ∈ (

. ∈ ( ∈ ∈ ∈ ! ∈ (

∈ (
+ ! × (

Q. + !

. × (
. ! (
6 + ! + ! (
& ' # ! /, ( " ε ! +
! " $! (
! ( " + !
∈ε
! + ! (
6 =
∈ε

+ ! {} ! +
! " (
12
+ A
% = C%D { }
) = {C )}
G = A ! # G ! A
{% )} = A {% )} ! A
+ + %π = %π
+ ) = {&! τ % τ% ) τ) :}
= {&! :} ; : = {&! :} ; τ % = {&! τ % }; τ = )

C
. × (
6 ! # #" ! : +,+! #"
2 ∈ # = : +,+! ∃ ∈ =
- #
={ ∈ }
1
+. + ! ( ×
, "$ $! #" { ∈ }(
+ 4" { ∈ } $ + !
& = C(
& × # ∈{ ∈ } " = "
= :
I :∈ = = : + :
∈{ ∈ }
& , "$ # ∈{ ∈ } "
= I ∈ −
= −
= −
∈{ ∈ }(
" ! + ! # = (
{ ∈ } + ! # " (

- #
" ! ! ! !" ! (

! ' # #" (
12
+ + ={ ( ∈ }= !! $
* + ! ={ ( ∈ }=
+ A + ' # ! # "
= {ω }= %π
+ × ' # ∈ ω I (

F !

7 8 9

. R ♥ ! 2 (
! R $ ♥ ϕ → #
∀ ∈ ϕ R = ϕ ♥ϕ

12
• 2 ! + $ 3×
• ! 3× $ 3× $ 3×
+ +
• ! + $ +
• θ θ
! 3+ $ 3×
• 4" ! $ + !
+ " ! + $
+ (

0 $

. ϕ !" × $ × (

•∀ ∈ ϕ =ϕ ϕ
•ϕ =
•∀ ∈ ϕ −
= ϕ −

•∀ ∈ ∀ ∈ ϕ = ϕ

• " ! (
• ϕ =ϕ × =ϕ ×ϕ (
4" =ϕ ! $ ! × = ( = × −
=
• . ∈ ( ϕ −
ϕ =ϕ −
=ϕ =
? ϕ ϕ −
=
ϕ −
= ϕ −

• . ∈ (F # ∀ ∈ ϕ = ϕ
=C ϕ C
=ϕ = = ϕ C

. ∈ # ϕ = ϕ (
ϕ +
=ϕ =ϕ ϕ = ϕ ϕ = ϕ +

6 2 $ ! (

E ' !"

. ϕ !" × $ × (
4" ! ϕ & ϕ " ϕ : +,+! {ϕ ∈ }
& ϕ + ! (

+ & ϕ =ϕ
+ & ϕ ×
. ∈& ϕ ( " ϕ I ∈ " ϕ I ∈ (
× = ϕ ×ϕ =ϕ ∈& ϕ

%
+ & ϕ , "$
. ∈& ϕ ( " ϕ I ∈ (
1 −
= ϕ −
=ϕ −
∈& ϕ

. ϕ !" × $ × (
4 ' ! ϕ S ϕ !
S ϕ ={ ∈ ϕ = }
S ϕ + ! (

+ ∈S ϕ ϕ = (
+ ∈S ϕ ϕ =ϕ ×ϕ = × = ! ∈S ϕ (
+ ∈S ϕ ϕ −
= ϕ −
= −
= ! −
∈S ϕ (

*
. ϕ !" × $ × (
∈ ϕ =ϕ ⇔ −
∈S ϕ
% ϕ / $ ⇔ S ϕ ={ }

6 # $
ϕ =ϕ ⇔ϕ ϕ −
= ⇔ϕ ϕ −
= ⇔ϕ −
=
⇔ −
∈S ϕ
% . ϕ / $
. ∈S ϕ ( ϕ = =ϕ (
ϕ / $ = ( S ϕ ⊂{ }
S ϕ + ! ! ∈S ϕ ! { }⊂ S ϕ (
"I " (
- # # S ϕ ={ }
. ∈ (. # ϕ =ϕ (

∈S ϕ( −
= ( = (
ϕ / $(

12
4" ϕ → 3 ! + $ 3× ! '
θ θ

%π !"

4 # ! ! ! ! 2 !
! (

)
. ∗ R ♥ (
. ϕ → ϕ → ! 2 (
ϕ ϕ ! $ ! ∗ ! ♥ (
. ∈ (6
ϕ ϕ ∗ =ϕ ϕ ∗
=ϕ ϕ Rϕ
=ϕ ϕ ♥ϕ ϕ
= ϕ ϕ ♥ϕ ϕ

1 &

!
ϕ
. / ! × $ × ( ϕ−
/ ! × $ × (6 ! # ϕ (
4 #" 2 ! 2 ! # ! 2
(

. ϕ / ! × $ × (
. ∈ (
. ∈ # ϕ = ϕ = ( : +,+! =ϕ− =ϕ− (
ϕ−
× =ϕ −
ϕ ×ϕ =ϕ ϕ −
= × =ϕ− ×ϕ −
ϕ− ! × $ × (
12
• < − π% π% = ∗ + I∗ !
∀ ∈< − % % =
π π
∗ = +
: +,+! ∀ ∈< − π% π% = ∗ = +
∀ ∈< − π% π% = ϕ ∗ = ϕ +ϕ Iϕ = #
/ ! < − π% π% = !
• → %π / ! + $ ×

/ (. '
/, " # ∈
% + π % π % π
+ = = = (
% π
/ $ # ∈ " I ∈ (
F " / $ ∈ # $
∈S ⇔ = ⇔ % π
∈ %π ⇔ ∈ ⇔ ∈
' ! ! " / $(
ϕ A → I # = / (
% π

D
% π
/, # ! ! ϕ : +,+! #
! !# ! ! (
.! 2 :∈ # = :
− :∈ ( − :∈ S ( = : !! $
% π % :π
= (
"
:∈ A " $ = := : I :∈
% + :π % π :π
ϕ =ϕ ϕ : (
%
+ : = =
% π
ϕ / $ # ∈ " I ∈ (
ϕ / $
. ∈S ϕ ( " I ∈ (
ϕ =
% π
= ( ∈ ( = = C( S ϕ⊂ C ( {}
S ϕ + ! " !
" ( ϕ / $(
ϕ / $( × A + (
- #
4 7? ,9 !"# $ " !

+1 2 $ "! !" $
+1 ' # , ,
+1 $ ! ! 2

QT

+ ! $ ! $ (
+ ! $ / ! $ (
+ ! ! ! $ (
+ ! / ! $ + ? (
! $ + ? (
! / ! (

. × (
* !
. ∈ ∈ 3( $ # $
! ! (
% & 2 ∈ 3 # = ! (
) 4" {∈ = } " ! , {C} " ? (
4 # " ! ! $ ! #
!" ! ! , (

G
! ϕ → ( ϕ ! + $ × (
+ :
1 ∀ :∈ = :
(
6
& ϕ ={ ∈ }=
S ϕ ! + ! ! ' I ∈ (
+ . = C S ϕ = {C} ! ϕ / $( ϕ / !
& ϕ= ( (
+ . ≥ ={ C
((( −
}( 1
{ C
((( −
}⊂ ! /, $! (
. ∈ (
" I ∈ (4 !$ ! ! ≠C !
= + $ ∈ [C − ](
= +
= = ∈{ C
((( −
} !" I " " (
=
∈ =S ϕ

! = "2 ! ! ! [C − ] # = !

−!
2 C≤ < !≤ − $ = !
= #
C< − !≤ − ! !− ∉ (

$ ! # % )
. (
! ! = (
! ∈ 3 # = =
∀ ∈[ − ] ≠ # C
= # ∈ [C − ] !
1 !" " ! ∈ # = " S ϕ
% ) (
. ) 6 ! = ≥ S ϕ ≠ {C}
+ ! ! ! (
? % (
12
A +
% !" ! ) % = C%D ! { } ! )
/ )( % = % + % + % = C (% = % ≠ C %(% = D ≠ C
) !" ! % G !" ! C !" ! (
+ C !" ! !" ! (
M
% ) M
E ! ((( (
% ) M

2 σ= % ) D G
) G L % D M
L M
( σ !" ! σ∈ M M

! ! σ !" ! ! , $ G

You might also like