Вы находитесь на странице: 1из 80

Mathematics Theory

PDF mwlib. . http://code.pediapress.com/


.
PDF generated at: Wed, 19 Mar 2014 02:12:25 UTC

1
6
13
23
29
33
43
45
50
() 52
56
() 59
62
66

76
, 77


78
1


.
, TeX,
.
, , ,
,
, ,
.
:
: +
:
: , ( *)
: :, /, ,
, , : =, ,
( .): (), [], {}, <>
:
: <, >, , , ,
(): ~
-:
():
: !
:
: ^ ( ;
, **,
).

(TeX)
()

, , . ,
( , (
, ..) ).
( ,

, ..).

, .

, . ,

, . ,

, .

, ,

, ( 5)

= . 1+2=63

:= .
(
:
/
)

(
)

{,} , , (

{|} , , .
{:}

, .
{}


.
,
, .

, ( ).

3


.
,
, .

, ( ).

,
( ).
, ,

, , .

" ", ,

\ , ,

, , .

() ,

, .

, , ,

. :

( ).

R ()
( : )

< , .
> , .
,

, .
, .
;


103 , 2,718 107.
103.

,
.


. , /
/
.

|| ( .
, ) , , ,

.
;

( ),
, 1 ,

.
,
, .


1 ,

! 1
,



( )
( d)
.

df/dx
()
f'(x)

.

f/y
()

dnf/dxn -
( ,
(n)
f (x) -
) -
.


. . . . , 2003, ISBN 5-17-009554-6.


// : 86 (82 . 4 .).
., 18901907.
6


( ) ,
- . (
) ,
. ,
,
.
, , ,
- .
,
, ( ) , , ,
, .
.


, , (.
), ,
( , ). ,
, ( ,
, ..),
. , ,
, ,
, .


( , )
,
. ,
, . ,
.
.


, , ,
( ). , - ,
. ,
, , ( )
.. - ,
, ,
.
( , ) ISO
31-11, .
7


.
; .
, ,
: 200038. , ,
(, , ),
. , ,
10 15 A F.
, .
(,
, , ). ,
,
. ( ) ,
.
( )
: . ( )
E,, , ( )
.
,
, .


, , . .
I ( ) l ( ) ,
, ,
. . ,
.

, log ( ,
..); . . ( )
( , , , ).
, .
( ),
(.).
8

,
() ( ) (.
# ), .
.
[ ] ,
. ( ) ,
, .

.
{ } , , ,
. . #
{ [ .

, .
(, ) .
( ) ,
, . . #
() , .
.
(, ) , (,
) ,
.
,
( ),
/ .


, .
( ) , . .
,
, ,
.


, :

(. )
( , )
(, )
()
(. #)
, .
( #)
9


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


,
(), .
,
( ) , - ,
, .
X , {x}.
, {x}
.


(),
.
, ,
, ,
. .
, ,
.

( )
,
. ;
( ). (,
x )
(, t ).
,
. .
10


: (
..) . ,
( ).
,
. -

. - f, g
.

()

, , , . , i
, ,
- . ,
( ) ( )
, .


( , ) ,
, . ,
( ) .


, ,
. : . - ,
.
, , . ,
,
, .


, , ( )
, .
.

. , .
(: ), .
. ,
.
11

()
, .
, , .
():
(2 )
(2 ) .. ( )
[ ]:
(2 )
.
{ }:
# ( , {|})
(2 )
:
(2 3 , ), (2 )
( ..; , 0)
| | :
(), (1 )


, , ,
( ), ..
, , ,
. , ,
.
, x (
), M , x .
: {}, {, }, {, , }
..
. .


, , ..,
. . :
& ( , )
( "|", , )
: ( ), ( );
, :
( , ; ,
, ,
)
,
(, , ).
12


..
{ .
, [ .
, :


( )
,
! ()


TeX .[1]


[1] LaTeX,
:.
13


()





(-)





O(n)

SU(n)
G2 F4 E6 E7 E8

. : :

, .
. [],
.

#
14

P
<dfn> -</dfn>
, , (
). (. -).


<dfn> </dfn>
, .
<dfn></dfn>
, , .
<dfn> </dfn>
, ,
.
<dfn> </dfn>
,
( ).
<dfn> -</dfn>
-, , , -
.


<dfn> </dfn>
, .
<dfn> </dfn>
, ,
.
<dfn></dfn>
(
) ,
.
<dfn> </dfn>
, a
b G.
<dfn></dfn>
,
,
, , ,
.
<dfn> </dfn>
, .
<dfn> </dfn>
15

, .
<dfn> </dfn>
,
, .


<dfn> </dfn>
, ,
. ,
, .
<dfn> </dfn>
.


<dfn> </dfn>
,
.
.


<dfn> </dfn>

, . ,
( ),
.


<dfn> </dfn>
.
<dfn> </dfn>
, .
<dfn> </dfn>
, .
<dfn> </dfn>
, ,
, .
<dfn> </dfn>
( ) .
<dfn> </dfn>
.
16


<dfn> </dfn>
.
<dfn> </dfn>
, ,
.
<dfn> </dfn>
.
<dfn></dfn>
, , .
<dfn> </dfn>
( );
.
<dfn> </dfn>
, , , ,
, .
<dfn></dfn>
.
<dfn> </dfn>
.
<dfn> </dfn>
, .
<dfn> </dfn>
.
<dfn> -</dfn>
- .
<dfn> </dfn>
,
; .
<dfn> </dfn>
, .
<dfn> </dfn>
, .
<dfn> </dfn>
, .
<dfn></dfn>
,
, .
17


<dfn> </dfn>
, ,
.
, .
<dfn> </dfn>
, ,
, , . :
, .


<dfn> </dfn>
, ( ).
<dfn> </dfn>
, , 2.
<dfn> </dfn>
2.
<dfn> </dfn>
, ,
. , (
- ), .
<dfn> </dfn>
( ) ( , )
.


<dfn> </dfn>
, ,
.
<dfn> </dfn>
, .
.
<dfn> </dfn>
, ,
.
<dfn></dfn>
, . ,
,
.
<dfn> </dfn>
, ,
. ,
18

. , .
<dfn> </dfn>
, .
<dfn> </dfn>
, , .


<dfn></dfn>
,
: .


<dfn> </dfn>
.
<dfn> </dfn>
. , ,
.
<dfn> </dfn>
, .
<dfn></dfn>
, , .
<dfn> </dfn>
, .
<dfn>, </dfn>
, ,
.
<dfn> (.)</dfn>
, ; .
<dfn> (.)</dfn>
, ; .
<dfn> (.)</dfn>
, ,
; .
<dfn> </dfn>
, , .
<dfn> </dfn>
, .
<dfn> </dfn>
( -,
) , ,
, .
19

<dfn> </dfn>
,
.
<dfn> </dfn>
, ( ).
<dfn> </dfn>
, . ,
, , .
<dfn>- -</dfn>
- , ,
; , ,
.
<dfn> </dfn>
1. ,
.
2. , .
<dfn> </dfn>
, , (
) .
<dfn> </dfn>
, , (
). -.
<dfn> </dfn>
,
: .


<dfn> </dfn>
, .
<dfn> </dfn>
, .
.
<dfn> </dfn>
, , .
<dfn> </dfn>
, ,
.
.
<dfn> -</dfn>
-,
, , , .
20


<dfn> (.)</dfn>
, .
<dfn> </dfn>
, ,
, . ,
, .
<dfn> </dfn>
, ,
, .
<dfn> </dfn>
- , ,
1.
<dfn> </dfn>
( , )
.
<dfn></dfn>
, (
).
<dfn></dfn>
, ,
: .
<dfn> </dfn>
.
<dfn> </dfn>
, , .


<dfn></dfn>

, : .
<dfn> </dfn>
.
21


<dfn> </dfn>
, .
<dfn> </dfn>
, .


<dfn> </dfn>
, :
. :
, .
<dfn></dfn>
, :
.
<dfn> </dfn>
, , .
<dfn> </dfn>
, . ,
.


<dfn></dfn>
,
, . , , .
<dfn> </dfn>
, ,
, , .
<dfn> </dfn>
, f .


<dfn> </dfn>
. ,
.


, .

( , ). , ,
, , .
22


() (Unicode)

,
, , ()
, , .

[:] , ,

, , ,
.

[,] ,

G' .

< >n ,
.
,

.
AT

Ei, j -, ,
,

.
* , ,
.
, (
), .
, ;
,
, ;
.

Sn - ( )
.

An - (
) .

GLn(F)
( general linear).

23

SLn(F) c
1 1 ( special linear).

UTn(F)

( upper triangular).

SUTn(F)

( special upper triangular),


.

Dn - - (
-).

V4 .


. . . 3- . .: , 2002. 544. 3000 . ISBN
5-88688-060-7
. .; . .; . .; . .; . . II.
// / . .. .: , 1990. .1.
.66290. 592. ( ). 30000 . ISBN 5-02-014426-6


,
,

(
) ;

.


status [1].

1746 ,

,
( )
,
,
. ,
: ,
, . [2].

:
, , , , ,
24


.
(III
II ..).

. , 1792 :
.
.
. ,
.
, .
1833 , [3].
2- XIX XX ,
.
XX .
, , , ,
. 1954. ..
: :
1. , , -
;
2. , ,
;
3. . ,
, .
. -,
- . -,
,
.


, .
, , .
.
(, , XVII )
. ,
, 0.5, ,
, , . .
1794. ( 1795.)
. XIX
,
, ,
.
25

. ,
, .
.
, , . ,
, .
,
,
. ,
. , - ,
.
: ,
;
, , , .

.
: , -
. .
: k=1+3,322lgn, k - , n -
. : , , .
- . -
. -
, . :
. .
.
.


. ,
,
, .
, ,
, , .


.
, - (
) .

( ,
):
) , ;
)
;
) .
26


, .

.
.
, .
,
. , ,

. ,
- .
, .
,
. ,
. .

. .
. , ()
, .
, , . ,
, ,
. ,
. .
. , . ,
()
, , .

(, , ), , ..
,
. .

.
, , . ,
. .
()
.
, ,
, , .
. .
().
(
, ) .
, ,
, , .. (. [2]).
27

. , ,
. ,
, ,
, ,
.
.


, ,
. ,
.
. ,
. , , ,
,
, , .


.
,
. ,
. ,
.
, , .

.


XX .
.

, ,
,
.
,
,
.
.
28


,
, ,
[4]. ,
. (1954) ? (.How to Lie
With Statistics)
. ,
(, , , , (2012))[5]. ,

. ,
,
. ,
() ,
. ,
, . , , ,
, (
). , ,
.


: , , .There are three kinds of lies: lies,
damned lies, and statistics) , -
,
North American Review 5 1907 : , ,
; : : ,
. .
, .


[1] . ., . ., .. . 5- ., . . .:
-, 2007. 495 . (- -)
[2] (http:/ / chaliev. narod. ru/ statistics/ lection1-predmet-i-metod-statistiki. html)
[3] . ., . ., .
[4] Huff, Darrell, How to Lie With Statistics, WW Norton & Company, Inc. New York, NY, 1954. ISBN 0-393-31072-8
[5] Warne, R. Lazo, M., Ramos, T. and Ritter, N. (2012). Statistical Methods Used in Gifted Education Journals, 20062010. Gifted Child
Quarterly, 56(3) 134149. doi: 10.1177/0016986212444122
29


. ., // : 86
(82 . 4 .). ., 18901907.
.. . . .: , 2006. 671 . (http://orlovs.pp.ru/stat.
php#k1)
, . . = Applied
Regression Analysis. 3- . .: , 2007. .912. ISBN 0-471-17082-8


(http://www.gks.ru/)
(http://www.ukrstat.gov.ua)(.)
US Census Bureau (http://www.census.gov)
(.)
,
(http://www.gks.ru/metod/prilojenie4.htm)


,
. .


. .


adj ;
Ai ;
arccos ;
arccosec ( arccsc);
arcctg ( arccot);
arcsch ( arcosech);
arch ( arcosh);
arcth ( arcoth);
arcsec ;
arcsin ;
arctg ( arctan);
arg ;
arg max ;
arg min ;
arsch ( arsech);
arsh ( arsinh);
arth ( artanh);
Aut ;
Bi ;
card ;
30

ch ( cosh);
char ;
Ci, ci, Cin ;
cl ;
cod ;
const ;
cos ;
cosec ( csc);
cov ;
csch ( cosech);
ctg ( cot);
cth ( coth);
D ( var);
def ;
deg ( );
del ( , );
det ( );
diag ;
dim ;
div ( );
dom ;
End ;
Ei ;
erf ;
erfc, Erf ;
exp ;
ext ;
Gal ( );
gcd, hcf ( );
grad ( );
id ;
Im ( );
inf ;
int ;
Ker ;
lb (log2);
lcm ( );
lg (log10) (log2);
Li, li ;
lim ;
ln , loge;
log ;
logit ;
max ;
min ;
QED quod erat demonstrandum;
probit ;
31

Re ( );
Rk ( Rg, Rang, Rank);
rot ( , curl);
sch ( sech);
sec ;
sgn ( sign);
Si, si ;
sin ;
sh ( sinh);
Sp . Tr;
span ;
sup ( lub);
supp ;
Sym ;
tg ( tan);
th ( tanh);
Tr ( Sp);
whp
WO ;
ZF ;
ZFC .


( gcd, hcf);
( lcm);


, ( ,
, ):

: , ..
32


(, )
[1]

.. - ,
, .
. .: , 1966. 49 .


[1] http:/ / www. calc. ru/ 101. html
33


()





(-)





O(n)

SU(n)
G2 F4 E6 E7 E8

. : :

, , ,
. ,
, , , ,
. ,
.
, ,
, .

.
, ,
,
.
XX [1]
, 10 .
, 1960 1980 .
34


: , .
, , , ,
, . ,
, , .
, ,
m, m n (m < n).
(1659 .). 1740 . ,
6 , (1748 .) ( 1762
1782 .) .
, , 17701771 . ,
. , ,
, .
, (Calcul des Combinaisons).
(1770 .) .
1799 .
. , .
, , .
, ,
, 1) , ,
, , 2)
. 1829 ., 18 ,
, 1846 . .
, .
.[2]
, , ,
(Trait des Substitutions) , (1882 .), 1892 .
.
XIX : , , , .
1882 . .[3]
1884 . ,
; , , ,
. , ,
.
XX ( , 1955 1983 .)
, .
, , ,
.
35



.

. ,
, .
. (
), [4],
:
.
, 2

. :

. E,
A A:

. A A1,
E:

.
, , . ,
, .

. ,
, :

.. .
,
.
( ) : (1,
1, i, i) :
36

1 1 i i

1 1 1 i i

1 1 1 i i

i i i 1 1

i i i 1 1

1, 1 1 , i
i .
, .
- , ,
. , ,
. .
,
( ).
; , , ,
, .
, ,
, . - ,
, .
[5].
, -
. ,
.
;
. , ,
.

; , .
.
.
, .
, , ,
.
, a,
a (, , na, n
). : .
, ,
.
.
37


,
1. 1 :

1 1

,
(1, 1). 1 ,
:

1 1

1 1 -1

-1 -1 1

,
(1, 1, i, -i). 1, 1 1
, i -i .

1 1 i -i

1 1 -1 i -i

-1 -1 1 -i i

i i -i -1 1

-i -i i 1 -1

0 180 ,
. C2.
( ) 1 1. 0,
, E.

C2 E R180

E E R180

R180 R180 E

E I,
.
. S2. C2.
38

S2 E I

E E I

I I E

C2 C3, 0, 120
240. , C3 ,
.

C3

C3 E R120 R240

E E R120 R240

R120 R120 R240 E

R240 R240 E R120

C3 (R1, R2, R3),


, .
D3.

D3

D3 E R120 R240 R1 R2 R3

E E R120 R240 R1 R2 R3

R120 R120 R240 E R2 R3 R1

R240 R240 E R120 R3 R1 R2

R1 R1 R3 R2 E R240 R120

R2 R2 R1 R3 R120 E R240

R3 R3 R2 R1 R240 R120 E

, R2.
R(a), a , 0 a < 360.
,
39

,
R2 .

R3
, . .
R(,,a) : , , a
.
Sn n n! n
.

, n pn. P

, S3 D3, ,
,
:


, ;
.
.
, ,
.
.


.
. , ,
.
, ,
.
() .
.
, , ,
. , , , .
40


, .
,
.


.
.
. ,
, , +,
( ) .
, ( ),
.
.

. ,
, , ,
( , ).


,
,
.
, .
, .
,

:

, , .
, 3
5: .
, , 15 .


,
, . .
, ,
.


- ,
.
41

, -
. , , ,
.
,
.
, ,
( )
.
PSL(2,Z) .
.
.
-:
. ( ,
.)
(, , )
: , N ,
CN (
).
. , . , [6]
(P. de la Harpe, E. Ghys, Sur les groupes hyperboliques daprs Mikhael Gromov)
Mikhail Gromov, Hyperbolic groups. Essays in group theory, 75263, Math. Sci. Res. Inst. Publ., 8, Springer,
New York, 1987.


.
, ,
( ) .
.
.
.
.


()



( )


42


[1] Elwes, Richard, An enormous theorem: the classification of finite simple groups, (http:/ / plus. maths. org/ issue41/ features/ elwes/ index.
html) Plus Magazine, Issue 41, December 2006.
[2] ,
[3] ., . , .1, 2, ., 1980.
[4] ,
[5] , ,
[6] http:/ / lib. mexmat. ru/ books/ 2229


. ., .. , - , 1983.
., . , .1, 2, ., 1980.
.. , ., 1970.
. ., .. , ., 1980.
. ., .. , - , 1972.


History of the abstract group concept (http://www-history.mcs.st-andrews.ac.uk/history/HistTopics/
Abstract_groups.html)
Higher dimensional group theory (http://www.bangor.ac.uk/r.brown/hdaweb2.htm)
Plus teacher and student package: Group Theory (http://plus.maths.org/issue48/package/index.html)
GAP Groups, Algorithms, Programming a System for Computational Discrete Algebra (http://www.gap-system.
org/index.html)
43


(, )
.


.
,

, , ().

. ,
.
. ,

4.
(
) ( , ).


,
() .


, ,
, ,
. .

(
),


,
.
,
,
.
,
( , )
.
44

.
.
,


,
. , (
) ,
. :


,
.


U(1)
.
.
.


-
,

,


,
. :

.


.-. , .
. . , .
. . , .
. ., . ., . ., . . [1]
. . , .: - , 2004.
. ., . . , , , 2009.
45


[1] http:/ / www. mathnet. ru/ php/ getFT. phtml?jrnid=rm& paperid=7926& what=fullt& option_lang=rus


,
, .
[1],
[2], [3][4][].
.

Haskell.


:
;
A, B ( ) ,
A B;

;
;
:
:
:
:
. , , . ,
( ) ,
, [5].
,
, .


Set . ,
.
Group . , ,
.
VectK K. .
.
.
Top . .
,
, x y
, xy (,
!).
46


.
, ,
, .
, ( )
:


, :
;
:
,
, .
- (. ).

, ,
, ,
. , ,
. , ,
.
, , .

.
, , .
.
47

, ,
,
, . .
,
.
, .
, .
, ,
. ,
, , .


(, ) ,
.
, .

, .
: Set ,
.
: Group
.


() A B
,


, .

.

.
. , .
,
.
: Set A B
, .
: Ring ,
.
: VectK ()
.

, . ,
48

VectK ,
.

, .


, . ,
()
,

.
, ,
, . ,
, :
.


.
,
.
() ,
,
:

,
, .
49


[1] . . . :, 2004 ISBN 5-94057-065-8
[2] D.E. Rydeheard, R.M. Burstall Computational Category Theory, New York: Prentice Hall. 1988. XIII, 257 p. ISBN
0-13-162736-8.
[3] ? (http:/ / elementy. ru/ news/ 430819). http:/ / arxiv. org/ abs/ 0808. 1032
[4] (http:/ / topos-physics. org/ ) .
[5] J. Admek, H. Herrlich, G. E. Strecker Abstract and concrete categories: The joy of cats (http:/ / katmat. math. uni-bremen. de/ acc), New
York: John Wiley and Sons, 1990.

Category Theory in Stanford Encyclopedia of Philosophy (http://plato.stanford.edu/entries/category-theory/


)


. [Maclane S.] . .: , 2004 [1998].
. [Maclane S.] . .: 114 Springer-Verlag Grundlehren der
mathematischen wissenschaften, 1966 [1963].
. ., . . . 06 ,
--`, 1969.
. ., . . . .: , 1970.
. ., . . . .: , 1974.
., . . .: , 1972. 259 .
[Faith C.] , , 1. .: 190
Springer-Verlag Grundlehren der mathematischen wissenschaften 1977 [1973].
[Faith C.] , , 2. .: 191
Springer-Verlag Grundlehren der mathematischen wissenschaften 1977 [1976].
[Gabriel P.], [Zisman M.] . .: 35
Springer-Verlag Ergebnisse der mathematik und ihrer grenzgebiete 1971 [1967].
[Goldblatt R.] . 98 Studies in logic &
foundation of mathematics 1983 [1979].
, - . . 33
, . . . 1983.
50


, -
. :
(: , : , ,
, ).
(: , : ).
.
, , (
) ( M, ).


x 5. ,
(, ):
1. 5;
2. 5;
3. 5;
:
.
( ) :
1. , 5;
2. , 5;
3. 5.
:
.


: .
. (
, 2 ).
,
, (, ).
, , (,
), .
51


,
.
( ).
, .
( ).


* F , :
.
, , ,
F F,
, F G,
(F G),
F v Kv F.
.
, .
.
v F, F Kv, K .
,


,
, :


,
, . , ,
.[1]
- , ,
1879., .
.
,
( .Exists ), 1885.,
(.Any ), 1935.
. , .
52


. . , . ., ., 1957, . 7280, 130138
. ., . . . . 3-, . .: , 2006.
240 .
. . . .: , 1973, 400 .
. , . ., . 1, ., 1960, . 4248.


[2].


[1] : , , .., , ,
. ( )
[2] http:/ / energy. bmstu. ru/ gormath/ mathan1s/ logic/ logic2. htm

()
,
.



, :
1.
2. ( );
3.
.
, (1-3)
.
:
.
, : , 2
.
: . ,
.
( ) .

, :

. ,
.
() 53


,
:
1. , ;
2. , ;
3. ;
4. .
, . ,
, ,
. , .
,
.

:

.
, , ,
, , , ,
. (
).


, , :

,
.
:

:
1. , ;
2. , ;
3. ;
4. .
.
.
() 54


1.
2.

3. [ ]

4.
5.


,
, .
.
.

- (): ,

( , ). :

( ),

( ).
( )
[0,1]:

.
, , :


, ,
( ).
() 55

-:

-:

: .

, .

- ( ):

p = 2 ( ) m = n ( ),
. A A

:

, .


( ),
, ,
, .
, -
, .
56


( ) .
, ,
.
.., . , -
.
,
.
,
.
: det(A), || (A).

( )
:

1 , ,
. ,
, .

( )
. ,
, :
1. () .
2. () .
3. , nn-.

( 2- )

:
22.

.
.
, :
57

.
, ( ,
, ,
):

():

( ),
k ():


, :


() .
, ():
,
.. , .
() ()
.
() , .
( ) () , .
() , (-1).
- .
() , .
.

.

(. -).
33
- :
58

3*3 ,
- .


,
, .
, (n!) - .
. ,
( ),

, . ,
, .
, , ,
, :

, ,
, . , ,
.
, LU- . ,
, .
.
, ,
, ,
[1]
. , ,
, .


()


()

59


[1] J. R. Bunch and J.E. Hopcroft. Triangular factorization and inversion by fast matrix multiplication, Mathematics of Computation, 28 (1974)
231236.


.., .. , .: , 1999.
. . . .: , 2000.
. . . 1. : . .: , 2004.

()
( .vector, )

,
. ,


(
).

: -, ,
.
, . ,
.
() .
.
,
, , , ,
- -, .
.


, ()
:
.
, , ( ), , ,
:

:
.
, , :
,
.
() 60

, ,
.
, .


, , ()
.
(, 1831).
( ).
(.vector, ) .
, .
(1880- ), (1903)
.


.
, , .
, ,
: .
.


,
, . : , ,
, , .
,
( ).
, (, ),
,
, .
(, , ..), ,
( ) ,
, .



. .
. ,
.
,
.
() 61


.
, ,
. .
,
:
1. ,
2. ,
3. ,
4. ,
( ),
, ,
.

, , , ,
.


, () , ,
, .
(, ) .


(, ) .
, , ,
.
, , , -
(, object[]).
. , .
, , ,
.


.., .. [1]. .: ,
1985. 232.
. . ., . . [2]. .: , 1978. .14.
( ).


[1] http:/ / reslib. com/ book/ Vektornaya_algebra_v_primerah_i_zadachah
[2] http:/ / ilib. mccme. ru/ djvu/ geometry/ kokseter. htm
62


() ,
, ,
[1]. .[]
, .
, , ,
. ,
.
,
, [2].
.

.[]
, , ,
, .
, ,
. ,
(.),
. ,
.
, ,
. , ,
, .
, (
0, 1).
, , XVII .
, , ,
.


, ,

, ;
() , ;
,
, ;
,
,
;
, ()
:
1. , ( );
2. , ( );
63

3. , (
), ;
4. , (
).
5. ( );
6. (: ( ) F
).
7. ( );
8. ( ).
, () .
, , ,
.
() :
(
, ,
),
, , (
). , ()
: ,
, ,

.


1. .
2. , .
3. .
4. ,
.
5. .
6. .
7. .


:
,
.
. ,
,
1. , , ;
2. , .
:
, .
64

, , ,
; . ,
, .


;
.
, :

[3]
.
( ) ,
, (,
).
, .
[4] , 1,
, 0.

.
[5] ,
, .
.
:
, ,
, .
[6], ()
. ,
, , (
). .
:
- .
( )
:
.
65



, .
.
, . ,
.

. , ,
.
,
.


, .

.
-
.
.


[1] .
[2] , , 2010, . 45
[3] , , 1986, . 8
[4] , , 1986, . 198
[5] , , 1986, . 16
[6] , , 1986, . 14


.. . 5- . .: , , 1998. 320. ISBN
5-7913-0016-6.
. ., . . . 6- . .: , 2010. 280. ISBN
978-5-9221-0481-4.
. ., . . . 2- . .: , 1986. 304.
66


,
, - .
XIX ,
, ,
XIX XX
[] - ,
[]. XX ,
[],
,
[].
, ,

[1]. XX -
, ,
.
XX

, ,
- (
). ,
- .
XX [], ,
( ), en:Semiset (
).
[]: ( ),
, , , ,
- , (, , ) .


, ,
: ,

, , , ,
.
:
,
(
)[2].

67

1800- ,
en:Disquisitiones Arithmeticae,
( ),
, ,
,
( )
,
- [3]:
, - ,
XIX . ,
, , , ,
[4].
,

[5].
,
18561857 [6], . ,
18201850-
- , 1857 ,

, ,
[7].
18301860- :
-
, ,
( ).
,
, , 1867
, (
, ,
-)[8].
[9],
, en:The Paradoxes of the Infinite,
1851 , ,
- , (.menge)
. ,
, , ,
, -
[10]. ,
, , 1850- 1860-
,
, [11].
68



,
18701872

( ),
, [12]

( , )[13].
, 1873

en:Cantor's first uncountability proof

( 1874
[14][15]. 1877
- (
).
,
, 1879 1870
1884 Mathematische
Annalen
[16][17].

1877
,
, , , ,
( <
>), ( +) (
), , ,
,
, :

,

,

[18]. 1878
,
- ,
. ,
,
,
.


,

(de:Jacob Lroth,
69

de:Carl Johannes Thomae, de:Eugen Netto)



[19] ( 1911 ).
1880
. 1881
: , -, se:Ivar Bendixson, de:Axel Harnack (Mathematiker),
[20]. 1883
,
( , ,
), (
)[21], - (
,
ZFC 1963 ).
18851895
( 10 - ). ,
? ( ,
)
( ),
,
[22], -
[23]. 1895
, .
18951897 ,
[24][25].
1880- , , ,
- ,
, , ,
, ,
( , ,
).
,
[26]. , 1890- ,

(1897), ,
-
[27].


,
, - , , 18951925
,
,
[28].
,
1895 [29], - (.Cesare Burali-Forti)
1887 , -[30]. 1899
70

,
[31]
, ,
.
(.mengen), ,
(vielheiten) ,
[32].
,
, 1901
1903 (.The Principles of Mathematics).

, . ,
, en:GrellingNelson
paradox,
.

: ,
,
.
, , , , ,
[]
. , ,
, , , ,
.


1908 ,
(.aussonderung),
,
[32]
. 1922
, , , , ,
, .
, ZFC,
ZF.

, .
, , , ,
, , ,
, ZF[33].

1925 , 1930- , 1940 (
- ),
NGB[34].
71


XX , , .
19101930 ,
, -
,
, .
, , , . 1970-
.


:
(
[35]
,
). ,
, .

(

).
:
, , ,
,
, , ,

, ,
,
, ( ,
),
,
, , ,
, ,
,
.


, ,

, ,
, .
, .
( )
, , .
.
:
.

: .
72

, (
).
( ) ,
,
- , . ,
, . ,
, ,
( ),
, , -
,
.[36]


- ,
()
,
.
en:Ordinal
arithmetic ( ),
(
),

, :

,
-en::

.
[37]
- - , .


, ,
, (.Miles Tierney) 1970 ,

- ,
.
, 1960-
,
:
, ,
. ,
, .
, ,
, ,
,
73

: ,
(
( ).
.
en:Alternative set theory ,
1970- , (. Petr Vopnka),
,
, , ,
,
en:Semiset.


1960- 1970-
en:Set theory (music),
(
, , ),
( , en:Inversion
(music)).
, , , :
-
-
;
.

,
(.Dieter Binninger)
1975 -
(.Mengenlehreuhr) ( ,
.Berlin-Uhr), ,

(
, ,
).
- Europa-Center.

-
9:32

[1] <> (
, , , .) <>

[2] , 1963, . 39
[3] , 1965, . 1517
[4] , 1965, . 2223
[5] , 1965, . 24
[6] , ,
[7] , 1965, . 2427
[8] , 1965, . 2832
[9] , 1965, . 7477
[10] , 1963, . 3940
74

[11] , 1965, . 6167


[12] , 1965, . 8687
[13] , 1963, . 40
[14] , 1965, . 9495
[15] , 1985, 2. . : ber eine Eigenschaft des Inbegriffes aller
reellen algebraischen Zahlen. (http:/ / www. digizeitschriften. de/ main/ dms/ img/ ?PPN=GDZPPN002155583) Journal fr die Reine und
Angewandte Mathematik, 77 (1874), p. 258262, . 1821
[16] , 1985, 5. . : ber unendliche, lineare Punktmannichfahltigkeiten.
Mathematische Annalen, Bd. 15 (1879), 17 (1880), 20 (1882), 21 (1883), 23 (1884), . 40141
[17] , 1963, . 4041
[18] , 1965, . 103105
[19] , 1965, . 107110
[20] , 1965, . 113117
[21] , 1965, . 126131
[22] 1897
[23] , 1965, 14. ? . , . 144157
[24] , 1985, 10. . : Beitrge zur Begrndung der transfiniten
Mengenlehre. Mathematische Annalen, Bd. 46 (1895) p. 481512; Bd. 49 (1897), p. 207246, . 173245
[25] , 1965, 17. , . 171178
[26] , 1965, . 133137
[27] , 1964, ,
, 1899 , . 44,49
[28] , 1963, , . 4453
[29] ,
[30] , 1965
[31] , 1963, . 44
[32] , 1963, . 46
[33] , , 1970, . 61
[34] , 1963, . 4647
[35] UNIQ-math-0-381acde6402fb571-QINU ( ) .
[36] , , 1970, . 176211, 305327
[37] , , 1970, . 273303


. . . // / . .
( ). : , 1963. .3753.
292. ( ).
. . .: , 1985. 430. ( ). 3450
.</ref>.
. . (http://www.mathnet.ru/links/
1ade91ff5fb820b9ec5be2544b38e762/rm4418.pdf)(.) = P. J. hen, Comments on the foundations of set
theory, Proc. Sym. Pure Math. 13:1 (1971), 915. // / . .
(). ., 1974. .5 (179). .XXIX. .169176. ISSN 0042-1316 (http://www.sigla.ru/
table.jsp?f=8&t=3&v0=0042-1316&f=1003&t=1&v1=&f=4&t=2&v2=&f=21&t=3&v3=&f=1016&
t=3&v4=&f=1016&t=3&v5=&bf=4&b=&d=0&ys=&ye=&lng=&ft=&mt=&dt=&vol=&pt=&iss=&
ps=&pe=&tr=&tro=&cc=UNION&i=1&v=tagged&s=0&ss=0&st=0&i18n=ru&rlf=&psz=20&bs=20&
ce=hJfuypee8JzzufeGmImYYIpZKRJeeOeeWGJIZRrRRrdmtdeee88NJJJJpeeefTJ3peKJJ3UWWPtzzzzzzzzzzzzzzzzzbzzvzzpy5
c8.NzrGJJvufeeeeeJheeyzjeeeeJh*peeeeKJJJJJJJJJJmjHvOJJJJJJJJJfeeeieeeeSJJJJJSJJJ3TeIJJJJ3..E.
UEAcyhxD.eeeeeuzzzLJJJJ5.
e8JJJheeeeeeeeeeeeyeeK3JJJJJJJJ*s7defeeeeeeeeeeeeeeeeeeeeeeeeeSJJJJJJJJZIJJzzz1..6LJJJJJJtJJZ4....
EK*&debug=false).
. , . / . . .
. . .: , 1970. 416.
75

. . XIX . .: , 1965. 232. 2500 .


. , . - / . .
. . -. .: , 1966. 556.
76


: http://ru.wikipedia.org/w/index.php?oldid=60729364 : -), Abyr, Ars Tapatun, Bezik, Deepak-nsk, DmitTrix, Fractaler, Ghossen,
Infovarius, KleverI, KostikBigOne, Kv75, LGB, Michaello, Nik1986, OneLittleMouse, PaRaDoXaD, Qwertic, Rasim, Schekinov Alexey Victorovich, Stassats, Tosha, V1adis1av, Xantolus,
, 41

: http://ru.wikipedia.org/w/index.php?oldid=61969980 : Centurion198, Homk, Incnis Mrsi, Infovarius, LGB, MagnusFit, Nashev,


TEXHNK77, 11

: http://ru.wikipedia.org/w/index.php?oldid=61816862 : Abyr, Alex Spade, AndyVolykhov, Artem M. Pelenitsyn, Bandar Lego, Bezik, Bor75,
Burivykh, Ch00b, Charlie23, Danneks, Deniska47, Dodonov, Evdokim.Kovach, GapingHoles, Hasse.Weyl, Igor Zhukov, Knyf, LGB, Mashiah Davidson, Mathusic, Mousy, Nente,
PlatypeanArchcow, Se0808, Serebr, Strcpy, Tosha, Vlad.Leo, Wikism, Xtr, Yakovf, Yanpas, , ., , , , 65

: http://ru.wikipedia.org/w/index.php?oldid=60264110 : 4epenOK, Abiyoyo, Ace111, AndyVolykhov, Ante, Aqui, Atten.tiff, Bezik, Brateevsky, CaesarIII,
Chaliev, Charmbook, Convallaria majalis, Deyteriy, Eksterulo, El-chupanebrej, Estard, GBuilder, Gamliel Fishkin, HedgeHog, Helgi-S, ID burn, Julia0001, KPu3uC B Poccuu, Kaganer,
Kalendar, Kink, Klip game, Lordakryl, Loveless, MagiRus83, Mariluna, MaxSem, Maximaximax, Michaello, Mnishka, Natalyaanuchina, OKr, OneLittleMouse, Philip J.1987qazwsx, Pyclanmap,
Ramir, Reddle, Sasha l, Sauron AZM, Schekinov Alexey Victorovich, Serebr, Shade, Suisui, TEXHNK77, Testus, Tutaishy, W2, Xlabuchi, -67, , ,
, ., , , , , , , , ,
, 90

: http://ru.wikipedia.org/w/index.php?oldid=62002161 : Bezik, Ghossen, Igor1008, Inc ru, Infovarius, Kirsim, LaOl, SEA99,
Sigwald, Stypex, V1adis1av, 7

: http://ru.wikipedia.org/w/index.php?oldid=61039023 : Abyr, AdmiralHood, Alex Spade, Alex-engraver, Anutinka, Arventur, Ashik, Bezik, Bggoldie,
Bums, Burivykh, Eleferen, Ghostwriter23, Hammunculs, Insider, Kotov, Kroschka Ru, Nikkita, Njarlatotep, OckhamTheFox, Postoronniy-13, Robiteria, Tosha, Unomano, Vlsergey, Vovik, W2,
, , , , , 53

: http://ru.wikipedia.org/w/index.php?oldid=57910354 : Artem M. Pelenitsyn, Burivykh, Danneks, Dims, Fun, Gruznov, Gvozdet, Infovarius,
Ivan Pozdeev, Roundabout, Serebr, Tamok, Tosha, Tretyak, 5

: http://ru.wikipedia.org/w/index.php?oldid=61986644 : Alex Spade, Ash108, Ashik, Avosco, Bezik, Bums, Carn, Codedot, DIG, DIRS, DLeading,
Danilo, Danneks, Dark Magus, Diademodon, Gamak57, Igor Zhukov, Inc ru, Kalinin Nikita, Kotov, LEMeZza, LGB, Laddassm, Laurentius, Lirik, Magmalex, Mashiah Davidson, Maxim Razin,
Mburyakov, Melirius, Mir76, Mousy, Prijutme4ty, Senalba, Serebr, Tamok, Tosha, Vi2, VladimirReshetnikov, WebCite Archiver, WindEwriX, , , , , ,
, 23

: http://ru.wikipedia.org/w/index.php?oldid=61732662 : Amcour, Bezik, Ckazochnic, Darkswarmzero, Diver, Doomych, Dpakoha, Evatutin, Fifis, Fractaler,
GranD, Infovarius, Ivan-Sochi, Karachay523, Kuzmaka, LGB, Matist Krusoe, Michaello, Mrpam, Multimeter, Obersachse, Rucar, Sirmax07, Tatyana Thulien, Tosha, Velikodniy, Yaroslav
Blanter, Zimin.V.G., 1e0nid, , , , , , , , 72

() : http://ru.wikipedia.org/w/index.php?oldid=61432911 : Abyr, AlekseyP, Alexandrov, Amber-octopus, Bezik, Bosik GN, CYCC, Convallaria
majalis, Discaprio, Dmitri83, Fifis, Forodirch, Fractaler, Glaue2dk, Halyavin, Helgus, Homo Computeris, Infovarius, Ll0l00l, MPI3, Maksim-e, Martynas Patasius, Mihaild, Moonrise, Mousy,
Mr.Selivanov, Msaushkin, Nickst, OZH, Obakeneko, Orel Sokolov, Orfest, Prijutme4ty, Rasim, SHTrassEr, Savenok, Siomax, Tosha, Vogel, Zserghei, . ., , 80

: http://ru.wikipedia.org/w/index.php?oldid=61071491 : Alex Smotrov, AlexBystrikov, Aviator12, Berserkerus, Bff, Butko, Camoy4ka, Colt browning,
Connexx, Coverback, DeltaChameleon, Dims, DmitrySA, Drakosh, Dreamer.mas, Fractaler, Glaue2dk, Gribozavr, Gruznov, Halyavin, Hikin1987, Illythr, Infovarius, Ivanius, KAVA,
KIlIOPTIMIST, Kkk2007, Lite, Magin, Mashiah Davidson, Moriture, Mousy, Movses, Nerevar, Niceblack, Nifus, OVOSKR, Obersachse, Ofegenia, OneLittleMouse, Rasim, Rivercarry,
Roundabout, Sabunero, Satels, Smylic, Sonic86, Stassats, Teretalexev, Termar, Tosha, Valentin, Victor M., Vogel, X5wg, X7q, Zirnis, , , , ,
162

() : http://ru.wikipedia.org/w/index.php?oldid=61673322 : 9595, Ajacied, Alex Smotrov, Anqai, Basla, Bezik, Bosik GN, Bsdemon, Burivykh,
Centurion198, Danneks, Demihalf, Dims, Dinamik, Doctor ngs, Dodonov, EZer0, Gorwikilinkonly, Gryllida, Guamokolatokint, Infernus, Infovarius, JenVan, Konstantin Pest, KostikBigOne,
Krassotkin, LGB, MPI3, Maksim-e, Malkolm, Maximaximax, MrLambdaMu, Nagato, Nashev, Nickst, OZH, Oleg, Onek, Passenger, Rasim, Robiteria, Sanek-x107, Semen341, ShinePhantom,
Torin, Tosha, Tpyvvikky, Uhbif19, V0d01ey, Vald, Zooro-Patriot, 1967, , , , , 161

: http://ru.wikipedia.org/w/index.php?oldid=61192574 : A5b, Agor153, Alex Spade, Antak, Artur0xyz, Babina, Bezik, Bosik GN, Burivykh,
CYCC, DerLetzteRegenbogen, Diademodon, Dims, Dinamik, Euandrew, Fractaler, Glyad, Grebenkov, Gvozdet, Halyavin, Hashar, Hasse.Weyl, HellenAlvane, Ikanus, Infovarius, Jaroslavz,
Kaganer, LGB, Laddassm, Lordakryl, MPI3, ManN, MathStud, Maxim Razin, Maximaximax, Milenc, Mir76, Newt, NickShaforostoff, Nikiforov, OZH, Obakeneko, Palica, Raoul NK, Rasim,
Sagrael, Suisui, Tosha, Tretyak, ViLco, X7q, YuSh, ., , , , , , , , 78

: http://ru.wikipedia.org/w/index.php?oldid=61309264 : Albedo, Alex Smotrov, Alexsmail, Arbnos, Artem Korzhimanov, Avosco, Bes island, Bezik,
Bkmd, Brateevsky, Centurion198, D12, Danneks, Dark Magus, Dmitry Gerasimov, Dpakoha, Fractaler, GS, Gabrusenko, Grigory Grin, GrinD, Gruzd, GunVan, Gvozdet, Halyavin, Helgus,
Hq3473, Inc ru, KleverI, Kneiphof, Korvin2050, Kotov, LGB, Maqivi, Maximaximax, Melirius, Michaello, Mir76, NN21, Nikiforov, Obersachse, PCode, Paul Pogonyshev, Qupear, Romanm,
Salmin, Sergey kudryavtsev, Softy, Splux, Stassats, Structor, Terabucks, Timwi, Tosha, UG72, Volkov, WindEwriX, , , , , , 70

, 77

,

:Rubik's_cube.svg : http://ru.wikipedia.org/w/index.php?title=:Rubik's_cube.svg : GNU Free Documentation License : This image was created by
me, Booyabazooka
:Fisher iris versicolor sepalwidth.svg : http://ru.wikipedia.org/w/index.php?title=:Fisher_iris_versicolor_sepalwidth.svg : Creative Commons
Attribution-Sharealike 3.0 : en:User:Qwfp (original); Pbroks13 (talk) (redraw)
:Gebrochene_Schriften.svg : http://ru.wikipedia.org/w/index.php?title=:Gebrochene_Schriften.svg : Creative Commons Zero : Conversion made
by Kat888 using Inkscape 0.46. Original author: BK (http://commons.wikimedia.org/wiki/User:BK)
File:Old English typeface.svg : http://ru.wikipedia.org/w/index.php?title=:Old_English_typeface.svg : Public Domain : DarkEvil
:Cayley graph of F2.svg : http://ru.wikipedia.org/w/index.php?title=:Cayley_graph_of_F2.svg : Public Domain : User:Dbenbenn
:C3_group.gif : http://ru.wikipedia.org/w/index.php?title=:C3_group.gif : Creative Commons Attribution-Sharealike 3.0,2.5,2.0,1.0 : AdmiralHood
:D3_group.gif : http://ru.wikipedia.org/w/index.php?title=:D3_group.gif : Creative Commons Attribution-Sharealike 3.0,2.5,2.0,1.0 : AdmiralHood
:Diag ax cat.gif : http://ru.wikipedia.org/w/index.php?title=:Diag_ax_cat.gif : Public Domain : , 1
:Diag product.gif : http://ru.wikipedia.org/w/index.php?title=:Diag_product.gif : Public Domain :
:Natural transformation.svg : http://ru.wikipedia.org/w/index.php?title=:Natural_transformation.svg : Public Domain : Ryan Reich (talk)
:Determinant 2x2.svg : http://ru.wikipedia.org/w/index.php?title=:Determinant_2x2.svg : Public Domain : Hikin1987
:Vector AB from A to B.svg : http://ru.wikipedia.org/w/index.php?title=:Vector_AB_from_A_to_B.svg : GNU Free Documentation License :
Original uploader was Silly rabbit at en.wikipedia
:3D Cantor set.jpg : http://ru.wikipedia.org/w/index.php?title=:3D_Cantor_set.jpg : : Solkoll, 1
:Georg Cantor3.jpg : http://ru.wikipedia.org/w/index.php?title=:Georg_Cantor3.jpg : Public Domain : unknown
:Diagonal argument.svg : http://ru.wikipedia.org/w/index.php?title=:Diagonal_argument.svg : Creative Commons Attribution-Sharealike 2.5 :
Cronholm144
:Cantor-bernstein.svg : http://ru.wikipedia.org/w/index.php?title=:Cantor-bernstein.svg : Creative Commons Attribution-ShareAlike 3.0 Unported
: Toobaz (http://it.wikipedia.org/wiki/Utente:Toobaz).
:Venn diagram showing Greek, Latin and Cyrillic letters.svg :
http://ru.wikipedia.org/w/index.php?title=:Venn_diagram_showing_Greek,_Latin_and_Cyrillic_letters.svg : Public Domain : original by mate2code,derivate work by
Timwi
:Cartesian Product qtl1.svg : http://ru.wikipedia.org/w/index.php?title=:Cartesian_Product_qtl1.svg : Creative Commons Attribution-Sharealike 3.0,2.5,2.0,1.0
: Quartl
:Omega-exp-omega-labeled.svg : http://ru.wikipedia.org/w/index.php?title=:Omega-exp-omega-labeled.svg : Creative Commons Zero : Pop-up
casket (talk); original by User:Fool
:Berlin-Uhr Budapester Str 45 (Charl) Berlin-Uhr.jpg : http://ru.wikipedia.org/w/index.php?title=:Berlin-Uhr_Budapester_Str_45_(Charl)_Berlin-Uhr.jpg :
Creative Commons Attribution-Sharealike 3.0,2.5,2.0,1.0 : OTFW, Berlin
78


Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/