1
12 (47-48)
: 䒺
: 2
:
䒺 ;
䳿 ;
.
:
䒺 ;
.
- 䒺 .
- , . . []: . / . . , . . . .: , 1987. . 178-188.
- []: - / . . . , . . , . . , . . . , 2010.
. 64-66.
- , . . []: . / . . , . . . .: , 1988. . 142-147
-
- 䒺 [ ]: // : . : http://5fan.ru/ wievjob.php?id=18287. .
- [ ]: // shkolo.ru. : http://shkolo.ru/umnozhenie-i-ego-svoystva. .
, 䒺 .
- 1 2 .
- , .
1, 2 . . . 143.
- 䒺 .
- ?
- ( 1), 䒺 . .
- ( 2) .
- 䒺 .
䒺
䒺 . . : , , , , , .
, , . , : .
. 䒺 b , , , b .
|
|
䒺 . 䒺 a b ( ab) A B, a b: " a, b Î N0: ab:= |A ´ B|, a = |A|, b = |B|.
1. 䒺 -.
► a b 䒺 .
, . , a b .
a = |A| b = |B|. ³ C D , A ~ C B ~ D. ᳺ f: A → C i g: B → D. φ A ´ B C ´ D : (x, y) Î A ´ B (u, v) Î C ´ D, u = f(x) i v = g(y). , φ ᳺ A ´ B C ´ D, A ´ B ~ C ´ D. , ab = |A ´ B| = |C ´ D|. ◄
2. ' 䒺 . ³ .
► , 䒺 ' .
a b 䒺 , a = |A| b = |B|. .
1. a b , A B . . , 䒺 ab = |A ´ B| = |Æ| = 0.
2. a b , , b = 1. A B B, , B = {y}. A ´ B A φ , : (x, y) Î A ´ B x A. ᳺ A ´ B A. , A ´ B ~ A, ab = |A ´ B| = |A| = a ab .
, A .
3. a b , . A B , . B ᒺ , , B = {y1} È {y2} È È{yb}. ᒺ , A ´ B = (A ´ {y1}) È (A ´ {y2}) È È (A ´ {yb}).
, A. ᒺ , A ´ B , .
, , 䒺 䒺 .
䒺 -, , 䒺 , , , 䒺 .
|
|