Vous êtes sur la page 1sur 26

 

 

n

 

 

 

Q

R

R n

 

N

 

 

E 2 E

E E 2

 

 

 

 

U U U × U ( x, y ) U x y x y U x y x y x y U A U A x x A U

A B x ( x A) ( x B ) A B

x A, [

] −→

x ( x A) [

]

] −→ ∃ x ( x A) [

]

x A, [

AB [( x ( x A) ( x B )) A = B ]

A B A

x y A( z ( z A) ( z = x z = y ))

x y A x y {x, y }

I A( z ( z A) ( y I, z y ))

A I I I I I

AB ( X ( X B ) ( X A))

B A P ( A)

F

u 1

u n X Y ( x ( x Y ) (( x X ) ( F ( x, u 1 ,

, u n )))

( n +1)

( n + 1) x, u 1 ,

X X U Y

x ( x Y ) (( x X ) x = x )

, u n

A B X

z ( z X ) (( z A) ( z B ))

A ( A B )

, u n ) ( n + 2)

F ( x, y, u 1 ,

x y

x y y u 1

u n ( F ( x, y, u 1 ,

, u n ) F ( x, y , u 1 ,

, u n )) ( y = y )

x, u 1 ,

x F F A F ( A)

, u n y F ( x, y, u 1 ,

, u n )

( F ( x, y, u 1 ,

,

u n ) ) [ u 1

u n AB ( y ( y B ) ( x AF ( x, y, u 1 ,

, u n )))]

B F ( A)

X (( x X ) ( x X, x ∪ { x } ∈ X ))

{ x } x

x i x i +1 x i i

x ( x =

) ( y x, ( x y ) = )

N x y

x y y 1 x

x y

, x n

, x n

x y {x, y } x 1 ,

x 1 ,

{x 1 ,

,

x n }

n = 1 n = 2

n 2 X = { x 1 ,

I = {X, Y } I I { x 1 ,

, x n 1 } Y = {x n }

, x n }

( x, y ) ( x, y ) {{ x }, {x, y }} ( x, y ) = ( x , y ) x = x y = y

n

n n

(

x 1 ,

, x n ) = (( x 1 ,

, x n 1 ) , x n )

( x, y, z ) = {{ x }, {x, y }, {x, y, z }}

( a, b, b ) ( a, b, a )

A B A B I = {A, B }

X Y X × Y ( x, y ) x X y Y ( x, y ) P ( P ( X Y )) X × Y P ( P ( X Y ))

X 1 ,

, X n X 1 ×

X 1 ×

× X n = ( X 1 ×

× X n 1 ) × X n

× X n

n ( x 1 , i 1 n

, x n ) x i X i

E E R E × E x y ( x, y ) R E P ( E × E )

E E E

E E

E R E E/R A E R

x A, y E, ( y A) (( x, y ) R )

E/R P ( E ) R

f {{ x } , { x, y }}

( x y y (( x, y ) f ( x, y ) f ) ( y = y ))

f x f y ( x, y ) f f P 1 ( X, x )

y, X = ( x, y )

P 1 f f

f y x ( x, y ) f

( f ) f ( f )

f

E F E F

f E F f E × F

E F P ( E × F ) F E ( E, F )

f : E F E F

x E, x E, ( y F, ( x, y ) f

( x , y ) f ) ( x = x )

f : E F E F

y F, x E, ( x, y ) f

f : E F E F

f ( f ) ( f ) ( , F ) ( E, ) E

I I I

I I

F = ( X i ) I X i F X i i I

X X i x I X i

I X i x X i

x ( I, X )

i y Y (( i, y ) x ( i, Y ) F )) ( y Y )

X i

U N

N Z N × N

( x, y ) R ( x , y )

x + y = x + y

x + y + N × N N ( x, y ) N × N Z + Z × Z × Z ( A, B, C ) +

( a 1 , a 2 ) A, ( b 1 , b 2 ) B, ( c 1 , c 2 ) C, a 1 + b 1 + c 2 = a 2 + b 2 + c 1

× Z × Z × Z ( X, Y, Z )

( a 1 , a 2 ) A, ( b 1 , b 2 ) B, ( c 1 , c 2 ) C, a 1 × b 1 + a 2 × b 2 + c 2 = a 1 × b 2 + a 2 × b 1 + c 1

+ × Z × Z Z

Q Z × Z R N Q 0

F F F

F ( F ) F F ( F ) F G

( F ) F F F

F

E f P ( E ) \{∅} E A E f ( A) A

E f ( f P ( E ) \{∅} E ) ( A ∈ P ( E ) \{∅}, ( A, a ) f a A)

f E

p : A B s : B A p s = B

I F = ( X i ) I I X i f ( i) X i i

g X i f ( i ) g ( X i ) E E P ( E ) \{∅} P ( E ) \{∅} E

I ( X i ) I X X X i X

I

X i I X i I

N N f N f

f ( P ( N) − {∅}) × N

( X, x ) f

( x X y X, x y )

f

X X N N

I ( X i ) I X i I N ( X n ) N X n

E f : E → P (