vavilov_n_a_ne_sovsem_naivnaya_teoriya_mnozhestv
.pdfMNOVESTWA, OTOBRAVENIQ, OTNO[ENIQ: not entirely naive |
191 |
²pUSTOE MNOVESTWO ?, QWLQ@]EESQ INICIALXNYM alias UNIWERSALXNYM OTTALKIWA@]IM OB_EKTOM, T.E. DLQ KAVDOGO MNOVESTWA X SU]ESTWUET EDINSTWENNOE OTOBRAVENIE ? ¡! X;
²oDNO\LEMENTNOE MNOVESTWO f?g, QWLQ@]EESQ FINALXNYM alias
UNIWERSALXNYM PRITQGIWA@]IM OB_EKTOM, T.E. DLQ KAVDOGO MNO-
VESTWA X SU]ESTWUET EDINSTWENNOE OTOBRAVENIE X ¡! f?g;
²dWUH\LEMENTNOE MNOVESTWO f?; f?gg, KOTOROE QWLQETSQ KLASSIFIKATOROM PODOB_EKTOW, T.E. OBLADAET TEM SWOJSTWOM, ^TO PODMNOVESTWA MNOVESTWA X OTWE^A@T OTOBRAVENIQM X ¡! f?; f?gg, SM. OB \TOM x 10.
2.pERWYE PRIMERY OTOBRAVENIJ. wOT NESKOLXKO O^EWIDNYH, NO OT \TOGO NE MENEE WAVNYH PRIMEROW OTOBRAVENIJ.
²pOSTOQNNOE OTOBRAVENIE. pUSTX X I Y — L@BYE MNOVESTWA,
A c 2 Y — PROIZWOLXNYJ, NO FIKSIROWANNYJ \LEMENT MNOVESTWA Y . oTOBRAVENIE f : X ¡! Y , PEREWOVQ]EE WSE \LEMENTY MNOVESTWA X W \LEMENT c NAZYWAETSQ POSTOQNNYM OTOBRAVENIEM, KOTOROE BUDET W
DALXNEJ[EM OBOZNA^ATXSQ ^EREZ coc. nAPRIMER, ESLI Y = R — KOMMUTATIWNOE KOLXCO, TO POSTOQNNOE OTOBRAVENIE co0 NAZYWAETSQ OBY^NO
NULEWYM OTOBRAVENIEM ILI NULEWOJ FUNKCIEJ. eSLI NET OPAS-
NOSTI DWUSMYSLENNOSTI, WMESTO co0 OBY^NO PI[UT PROSTO 0.
²tOVDESTWENNOE OTOBRAVENIE. pUSTX X — L@BOE MNOVESTWO.
tOGDA OPREDELENO OTOBRAVENIE id = idX : X ¡! X TAKOE, ^TO x 7!x DLQ WSEH x 2 X, NAZYWAEMOE TOVDESTWENNYM OTOBRAVENIEM X NA SE-
BQ. oBOZNA^ENIE idX QWLQETSQ SOKRA]ENIEM OT ANGLIJSKOGO identical. nEKOTORYE AWTORY OBOZNA^A@T idX ^EREZ 1X I NAZYWA@T EGO EDINI^- NYM OTOBRAVENIEM X NA SEBQ. w SLEDU@]EM PARAGRAFE MY POKAVEM, KAK POSTROITX GROMADNYE KLASSY OTOBRAVENIJ IZ \TIH DWUH BAZISNYH TIPOW.
²wLOVENIE. pUSTX TEPERX X µ Y — L@BAQ PARA MNOVESTW. tOGDA OPREDELENO OTOBRAVENIE ,!: X ¡! Y TAKOE, ^TO x 7!x DLQ WSEH x 2 X, NAZYWAEMOE WLOVENIEM X W Y . oBOZNA^ENIE ,! QWLQETSQ SOKRA]ENIEM OT ANGLIJSKOGO inclusion. wLOVENIE OBY^NO OBOZNA-
^AETSQ SPECIALXNOJ STRELKOJ f : X ,! Y , KOTORAQ TEXNI^ESKI NAZYWAETSQ nhookrightarrow. zAMETIM, ^TO HOTQ GRAFIK OTOBRAVENIQ
,!: X ¡! Y SOWPADAET S GRAFIKOM OTOBRAVENIQ idX, \TI OTOBRAVENIQ RAZLI^NY (NAPRIMER, PERWOE IZ NIH NE S@R_EKTIWNO, ESLI X 6= Y , W TO WREMQ KAK WTOROE S@R_EKTIWNO).
²dIAGONALXNOE OTOBRAVENIE. tOVDESTWENNOE OTOBRAVENIE QWLQETSQ ^ASTNYM SLU^AEM SLEDU@]EGO O^ENX WAVNOGO OTOBRAVENIQ. a
192 |
NIKOLAJ WAWILOW |
IMENNO, PUSTX Y = Xn ESTX n-Q DEKARTOWA STEPENX MNOVESTWA X. oPREDELIM OTOBRAVENIE : X 7!Xn POSREDSTWOM Δ(x) = (x; : : : ; x). |TO OTOBRAVENIE NAZYWAETSQ DIAGONALXNYM OTOBRAVENIEM.
² nAIMENX[IJ \LEMENT. pUSTX X NEKOTOROE UPORQDO^ENNOE MNOVESTWO, A Y µ X — KAKOE-TO EGO PODMNOVESTWO. oBOZNA^IM ^EREZ inf(Y ) NAIMENX[IJ \LEMENT MNOVESTWA Y , ESLI ON SU]ESTWUET. sOGLASNO OPREDELENI@ NAIMENX[EGO \LEMENTA, ESLI TAKOJ \LEMENT W MNOVESTWE Y SU]ESTWUET, TO ON EDINSTWENEN, TAK ^TO SOPOSTAWLENIE Y 7! inf(Y ) ZADAET OTOBRAVENIE IZ MNOVESTWA TEH Y 2 2X, DLQ KOTORYH NAIMENX[IJ \LEMENT SU]ESTWUET, W MNOVESTWO X. oDNAKO, PRIMER Y = ? POKAZYWAET, ^TO NAIMENX[IJ \LEMENT NE OBQZAN SU]ESTWOWATX. oDNA IZ FORMULIROWOK AKSIOMY INDUKCII SOSTOIT W TOM, ^TO DLQ L@BOGO NEPUSTOGO PODMNOVESTWA Y µ N NAIMENX[IJ \LEMENT SU]ESTWUET. tAKIM OBRAZOM, MATEMATI^ESKAQ INDUKCIQ OSNOWANA NA TOM, ^TO SOPOSTAWLENIE Y 7!inf(Y ) ZADAET OTOBRAVENIE inf : 2N n f?g ¡! N.
x 7. nEKOTORYE KLASSI^ESKIE FUNKCII
w \TOM PARAGRAFE MY UPOMINAEM NESKOLXKO KLASSI^ESKIH PRIMEROW FUNKCIJ, KOTORYE RASSMATRIWA@TSQ (ILI MOGLI BY RASSMATRIWATXSQ) W [KOLXNOM KURSE MATEMATIKI, NO NE QWLQ@TSQ “\LEMENTARNYMI”.
²aBSOL@TNAQ WELI^INA. rASSMOTRIM FUNKCI@ j j : R ¡! R+, x 7!xjj, SOPOSTAWLQ@]U@ WE]ESTWENNOMU ^ISLU x EGO ABSOL@TNU@
WELI^INU: |
ESLI |
|
|
0; |
jxj = |
x |
¸ |
||
½ x;x; ESLI |
x |
0: |
||
|
¡ |
|
· |
|
² zNAK. oPREDELIM FUNKCI@ sign : R ¡! f0; +1; ¡1g, POLAGAQ
|
> |
+1; |
ESLI x > 0; |
|
sign(x) = |
8 |
0; |
|
ESLI x = 0; |
|
> |
¡ |
|
|
|
: |
|
1; |
ESLI x < 0: |
|
< |
|
zNAK I ABSOL@TNAQ WELI^INA QWLQ@TSQ PRIMERAMI FUNKCIJ, POLU^ENNYH SKLEJKOJ, SM. x 31.
² pOL I POTOLOK. fUNKCIQ CELAQ ^ASTX Ent : R ¡! Z, x 7!
Ent(x), SOPOSTAWLQET KAVDOMU WE]ESTWENNOMU ^ISLU x NAIBOLX[EE CELOE, NE PREWOSHODQ]EE x. tRADICIONNO \TA FUNKCIQ NAZYWAETSQ ANTXE (OT FRANCUZSKOGO entier) I OBOZNA^AETSQ E]E x 7![x], A W POSLEDNEE WREMQ ONA WSE ^A]E NAZYWAETSQ POL (OT ANGLIJSKOGO floor) I OBOZNA^A- ETSQ x 7!xbc. oDNAKO NAM BUDET UDOBNO RAZLI^ATX POL I CELU@ ^ASTX.
MNOVESTWA, OTOBRAVENIQ, OTNO[ENIQ: not entirely naive |
193 |
a IMENNO, MY RASSMATRIWAEM POL KAK FUNKCI@ b c : R ¡! R. pO ANALOGII S NEJ OPREDELQETSQ FUNKCIQ POTOLOK d e : R ¡! R, x 7!xde, SOPOSTAWLQ@]AQ KAVDOMU WE]ESTWENNOMU ^ISLU x NAIMENX[EE CELOE, NE MENX[EE x. qSNO, ^TO dxe = ¡b¡xc.
²dROBNAQ ^ASTX. fUNKCIQ Frac : R ¡! [0; 1[, x 7!Frac(x), SO-
POSTAWLQET WE]ESTWENNOMU ^ISLU x RAZNOSTX x ¡ bxc. tRADICIONNO Frac(x) OBOZNA^AETSQ ^EREZ fxg, NO \TO PRIWODIT K TAKIM ^UDOWI]NYM KONFLIKTAM OBOZNA^ENIJ, ^TO MY PREDPO^ITAEM POLNOSTX@ OTKAZATXSQ OT \TOGO OBOZNA^ENIQ. nU W SAMOM DELE, NE PISATX VE f0g = 0.
²fUNKCIQ dIRIHLE. fUNKCIQ Dir : R ¡! f0; 1g, x 7!Dir(x),
OPREDELQETSQ FORMULOJ
Dir(x) =
½ 1; ESLI x RACIONALXNO; 0; ESLI x IRRACIONALXNO:
iNYMI SLOWAMI, FUNKCIQ dIRIHLE — \TO HARAKTERISTI^ESKAQ FUNKCIQ PODMNOVESTWA RACIONALXNYH ^ISEL W MNOVESTWE WE]ESTWENNYH ^I- SEL.
² fUNKCIQ rIMANA. fUNKCIQ R : R ¡! R, x 7!R(x), OPREDELQETSQ FORMULOJ R(x) = 1=n, ESLI x = m=n PREDSTAWLENIE RACIONALXNOGO ^ISLA x W WIDE NESOKRATIMOJ DROBI, I R(x) = 0, ESLI x IRRACIONALXNO.
zADA^A PO ANALIZU. dOKAZATX, ^TO R NEPRERYWNA WO WSEH IRRACIONALXNYH TO^KAH I RAZRYWNA WO WSEH RACIONALXNYH TO^KAH.
rE[ENIE. w KAVDOM INTERWALE (a; b), a < b, SODERVITSQ BESKONE^NOE ^ISLO IRRACIONALXNYH TO^EK, NO LI[X KONE^NOE ^ISLO RACIONALXNYH TO^EK WIDA m=n, GDE n NE PREWOSHODIT NAPERED ZADANNOE ^ISLO N.
² fUNKCIQ hEWISAJDA. fUNKCIQ H : R ¡! f0; 1g, x 7!H(x),
OPREDELQETSQ FORMULOJ
H(x) = ½ |
1; |
ESLI |
x ¸ 0: |
|
0; |
ESLI |
x < 0; |
x 8. nEKOTORYE ARIFMETI^ESKIE FUNKCII
aRIFMETI^ESKIMI FUNKCIQMI NAZYWA@TSQ FUNKCII, OPREDELENNYE NA N ILI N0, OBY^NO S KOMPLEKSNYMI ZNA^ENIQMI. wPRO^EM, NIVE MY RASSMATRIWAEM TOLXKO ARIFMETI^ESKIE FUNKCII, PRINIMA@]IE CELYE ILI NATURALXNYE ZNA^ENIQ. iSPOLXZUEMYE NAMI OBOZNA^ENIQ ARIFMETI^ESKIH FUNKCIJ TRADICIONNY, NAPRIMER, OBOZNA^ENIE Á(n) DLQ FUNKCII |JLERA WOSHODIT E]E K gAUSSU.
194 |
NIKOLAJ WAWILOW |
1.oSNOWNAQ TEOREMA ARIFMETIKI. pROWERKA KORREKTNOSTI MNO-
GIH PRIWODIMYH NIVE OPREDELENIJ ZAWISIT OT SLEDU@]EGO UTWERVDE-
NIQ, TRADICIONNO NAZYWAEMOGO OSNOWNOJ TEOREMOJ ARIFMETIKI,
KOTOROE BUDET DOKAZANO W kNIGE III. kAVDOE NATURALXNOE ^ISLO n 2 N MOVET BYTX EDINSTWENNYM S TO^NOSTX@ DO PORQDKA OBRAZOM RAZLOVE-
NO W PROIZWEDENIE PROSTYH MNOVITELEJ: n = p1 : : : pr, GDE pi 2 Prim. iNYMI SLOWAMI, ESLI n = q1 : : : qs, GDE qi 2 Prim, TO r = s I, BYTX MOVET POSLE PERESTANOWKI SOMNOVITELEJ, qi = pi. oBY^NO RAZ-
LOVENIE NA PROSTOE ZAPISYWAETSQ KAK KANONI^ESKOE RAZLOVENIE
n = pm1 1 : : : pms t , GDE PROSTYE p1; : : : ; pt POPARNO RAZLI^NY I RASPOLOVENY W PORQDKE WOZRASTANIQ, p1 < : : : < pt. mNOGIE IZ PRIWODIMYH NIVE FUNKCIJ OPREDELQ@TSQ W TERMINAH WHODQ]IH W KANONI^ESKOE RAZLOVENIE PROSTYH I IH STEPENEJ. kORREKTNOSTX OPREDELENIQ \TIH FUNKCIJ WYTEKAET IZ EDINSTWENNOSTI KANONI^ESKOGO RAZLOVENIQ.
2.aRIFMETI^ESKIE FUNKCII. wOT NESKOLXKO KLASSI^ESKIH PRIMEROW.
²fAKTORIAL. rASSMOTRIM OTOBRAVENIE ! : N0 ¡! N, n 7!n!, KOTOROE OPREDELQETSQ REKURSIWNO POSREDSTWOM 0! = 1, n! = (n ¡ 1)!n.
²fUNKCIQ |JLERA. fUNKCIQ ' : N ¡! N, n 7!Á(n), OBOZNA^A- ET KOLI^ESTWO \LEMENTOW IZ n, WZAIMNO PROSTYH S n. w gLAWE 5 MY POLU^IM FORMULU DLQ '(n) W TERMINAH KANONI^ESKOGO RAZLOVENIQ. w STARINNYH U^EBNIKAH FUNKCIQ Á(n) IMENOWALASX TOTIENTOJ.
²fUNKCIQ mEBIUSA. fUNKCIQ ¹ : N ¡! Z, n 7!¹(n), OPREDELQETSQ SLEDU@]IM OBRAZOM. ¹(n) = 0, ESLI n DELITSQ NA KWADRAT PROTSOGO ^ISLA p I ¹(n) = (¡1)t, GDE t — ^ISLO RAZLI^NYH PROSTYH DELITELEJ ^ISLA n (W ^ASTNOSTI, TAK KAK ^ISLO RAZLI^NYH PROSTYH DELITELEJ 1
RAWNO 0, TO ¹(1) = 0).
²~ISLO DELITELEJ. fUNKCIQ d : N ¡! N, n 7!d(n), SOPOSTAWLQET NATURALXNOMU n ^ISLO RAZLI^NYH NATURALXNYH DELITELEJ ^ISLA n.
²~ISLO PROSTYH DELITELEJ. fUNKCIQ ! : N ¡! N, n 7!!(n),
SOPOSTAWLQET NATURALXNOMU n ^ISLO RAZLI^NYH PROSTYH DELITELEJ ^ISLA n, A FUNKCIQ Ω : N ¡! N, n 7!Ω(n), — ^ISLO WSEH PROSTYH DELITELEJ ^ISLA n (T.E. KOLI^ESTWO MNOVITELEJ W RAZLOVENII n W PROIZWEDENIE PROSTYH). w OBOZNA^ENIQH PUNKTA 2 IMEEM !(n) = t,
aΩ(n) = s = m1 + : : : + mt.
²sUMMA DELITELEJ. fUNKCIQ ¾ : N ¡! N, n 7!¾(n), SOPOSTAWLQET NATURALXNOMU n SUMMU WSEH EGO RAZLI^NYH NATURALXNYH DELITELEJ ^ISLA n.
MNOVESTWA, OTOBRAVENIQ, OTNO[ENIQ: not entirely naive |
195 |
² fUNKCIQ lIUWILLQ. fUNKCIQ ¸ : N ¡! N, n 7!¸(n), ZADAETSQ
POSREDSTWOM
¸(n) = (¡1)Ω(n) = (¡1)m1+:::+mt :
² fUNKCIQ hARMSA. oPREDELIM FUNKCI@ h : N ¡! N, POLAGAQ
1 7!1; 2 7!22; 3 7!333 ; 4 7!444 |
4 |
5 7!555 |
55 |
; |
; : : : |
|TA FUNKCIQ HORO[O IZWESTNA SPECIALISTAM PO TEORII ALGORITMOW KAK PRIMER aKKERMANA122;123. oNA ZAME^ATELXNA TEM, ^TO QWLQETSQ OB]EREKURSIWNOJ, NO PRI \TOM RASTET BYSTREE, ^EM L@BAQ PRIMITIWNO REKURSIWNAQ FUNKCIJ.
² pODRQD IDU]IE CIFRY ^ISLA ¼. oPREDELIM FUNKCI@ f :
N ¡! f0; 1g SLEDU@]IM OBRAZOM. pOLOVIM f(n) = 1 ESLI W DESQTI^NOM RAZLOVENII ^ISLA ¼ ESTX ROWNO n IDU]IH PODRQD CIFR 7 I f(n) = 0 W PROTIWNOM SLU^AE. pODAWLQ@]EE BOLX[INSTWO MATEMATIKOW SOGLASITSQ S TEM, ^TO PRIWEDENNAQ WY[E FRAZA POLNOSTX@ OPISYWAET PRAWILO OPREDELQ@]EE NEKOTORU@ FUNKCI@ NA N. tEM NE MENEE, W NASTOQ]EE WREMQ NE IZWESTNO NIKAKOGO ALGORITMA DLQ WY^ISLENIQ ZNA^ENIQ FUNKCII f W DANNOJ TO^KE n.
x 9. gEOMETRI^ESKIE PREOBRAZOWANIQ
w DEJSTWITELXNOSTI, KROME ^ISLOWYH FUNKCIJ W [KOLXNOM KURSE RASSMATRIWAETSQ SOWSEM DRUGOJ TIP OTOBRAVENIJ, W KOTOROM DINAMI- ^ESKIJ ASPEKT WYRAVEN GORAZDO OT^ETLIWEE, ^EM W ^ISLOWYH FUNKCIQH
— GEOMETRI^ESKIE PREOBRAZOWANIQ. rASSMOTRIM, NAPRIMER, WOZ-
NIKA@]IE W [KOLXNOM KURSE GEOMETRII PREOBRAZOWANIQ \WKLIDOWOJ PLOSKOSTI R2. mY OTOVDESTWLQEM TO^KU PLOSKOSTI S PAROJ (a; b) EE KO-
ORDINAT, PRI \TOM \WKLIDOWO RASSTOQNIE MEVDU TO^KAMI x = (a; b) p
I y = (c; d) OPREDELQETSQ KAK d(x; y) = (a ¡ c)2 + (b ¡ d)2.
1. |WKLIDOWY DWIVENIQ. w \LEMENTARNOJ GEOMETRII ^A]E WSEGO ISPOLXZU@TSQ IZOMETRII, T.E. PREOBRAZOWANIQ, SOHRANQ@]IE RASSTOQNIQ. iZOMETRII \WKLIDOWYH PROSTRANSTW NAZYWA@TSQ \WKLIDOWYMI DWIVENIQMI. iNYMI SLOWAMI, \WKLIDOWO DWIVENIE f : R2 ¡! R2 HARAKTERIZUETSQ TEM SWOJSTWOM, ^TO DLQ L@BYH DWUH TO^EK
d(f(x); f(y)) = d(x; y):
122W.Ackermann, Zum Hilbertschen Aufbau der reelen Zahlen. – Math. Ann., 1928, Bd.99, S.118–133.
123a.i.mALXCEW, aLGORITMY I REKURSIWNYE FUNKCII. — nAUKA, m., 1965, S.1– 391; RAZDEL 5.3 NA STR.112–114.
196 |
NIKOLAJ WAWILOW |
pRI TAKOM PREOBRAZOWANII KAVDAQ FIGURA DWIVETSQ KAK TWERDOE TELO I PEREHODIT W KONGRU\NTNU@ (ILI, KAK GOWORIT lEW sEMENOWI^ pONTRQGIN, ‘RAWNU@’) EJ FIGURU. wOT NESKOLXKO TIPOW \WKLIDOWYH DWIVENIJ.
²tRANSLQCII. sAMYM PROSTYM TIPOM GEOMETRI^ESKIH PREOBRAZOWANIJ QWLQ@TSQ TRANSLQCII, SDWIGA@]IE KAVDU@ TO^KU PROSTRANSTWA NA ODNO I TO VE RASSTOQNIE W ODNOM I TOM VE NAPRAWLENII. w [KOLE TRANSLQCII ^ASTO NAZYWA@TSQ TAKVE SWOBODNYMI WEKTORAMI ILI
PARALLELXNYMI PERENOSAMI.
²pOWOROTY. dWIVENIE f PLOSKOSTI IME@]EE ROWNO ODNU NEPODWIVNU@ TO^KU x, NAZYWAETSQ POWOROTOM WOKRUG \TOJ TO^KI. pRI \TOM x NAZYWAETSQ CENTROM POWOROTA f.
²oTRAVENIQ. oTRAVENIE NA PLOSKOSTI ZADAETSQ WYBOROM NEPODWIVNOJ PRQMOJ (ZERKALA OTRAVENIQ, W SLU^AE PLOSKOSTI ZERKALO ^A- STO NAZYWAETSQ OSX@). pRI OTRAVENII KAVDAQ TO^KA PEREHODIT W TO^- KU, SIMMETRI^NU@ EJ OTNOSITELXNO ZERKALA.
2.|WKLIDOWY PODOBIQ. dOWOLXNO ^ASTO ISPOLXZU@TSQ TAKVE \W- KLIDOWY PODOBIQ. pRI PODOBII WSE RASSTOQNIQ MENQ@TSQ NA ODIN I
TOT VE MNOVITELX c 2 R+, NAZYWAEMYJ KO\FFICIENTOM PODOBIQ. tEM SAMYM, \WKLIDOWO PODOBIE f : R2 ¡! R2 HARAKTERIZUETSQ TEM SWOJSTWOM, ^TO DLQ L@BYH DWUH TO^EK d(f(x); f(y)) = cd(x; y). pREOBRAZOWANIE PODOBIQ QWLQETSQ KONFORMNYM, INYMI SLOWAMI, PRI \TOM PREOBRAZOWANII SOHRANQ@TSQ UGLY.
²gOMOTETII. |WKLIDOWO PODOBIE f NAZYWAETSQ GOMOTETIEJ, ESLI U NEGO ESTX NEPODWIVNAQ TO^KA x, NAZYWAEMAQ CENTROM I DLQ KAVDOJ TO^KI y 2 R2 TO^KA f(y) LEVIT NA LU^E xy.
w RAZDELAH GEOMETRII, IZU^AEMYH W MATEMATI^ESKIH KRUVKAH, DOWOLXNO ^ASTO RASSMATRIWA@TSQ I TAKIE GEOMETRI^ESKIE PREOBRAZOWANIQ, KOTORYE OPREDELENY TOLXKO NA ^ASTI TO^EK. wOT E]E ODIN KL@- ^EWOJ PRIMER KONFORMNOGO PREOBRAZOWANIQ, K KOTOROMU MY WERNEMSQ W KNIGAH II I IV.
²iNWERSII. pUSTX S — OKRUVNOSTX RADIUSA r NA PLOSKOSTI R2, x — CENTR \TOJ OKRUVNOSTI. iNWERSIQ f : R2 n f0g ¡! R2 n f0g, OTNOSITELXNO OKRUVNOSTI S PEREWODIT KAVDU@ TO^KU y 6= x W TAKU@ TO^KU z, LEVA]U@ NA LU^E xy, ^TO d(x; y)d(x; z) = r2.
mY WERNEMSQ K \TIM PRIMERAM PRI IZU^ENII GRUPP. w DALXNEJ- [EM NAM WSTRETQTSQ I DRUGIE TIPY GEOMETRI^ESKIH PREOBRAZOWANIJ W PROSTRANSTWAH S NE\WKLIDOWOJ METRIKOJ.
MNOVESTWA, OTOBRAVENIQ, OTNO[ENIQ: not entirely naive |
197 |
x 10. tABLI^NOE ZADANIE OTOBRAVENIJ
w SLU^AE, KOGDA OBLASTX OTOBRAVENIQ f KONE^NA, DLQ NEGO ^ASTO ISPOLXZUETSQ TABLI^NAQ ZAPISX.
1. tABLICA ZNA^ENIJ FUNKCII. w \LEMENTARNOJ MATEMATIKE POD “TABLI^NYM ZADANIEM” FUNKCII OBY^NO IME@T W WIDU TABLICU ZNA- ^ENIJ \TOJ FUNKCII, T.E. KARTINKU WIDA
x |
x1 |
x2 |
: : : |
xn |
f(x) |
f(x1) f(x2) : : : |
f(xn) |
pRI \TOM NE PODRAZUMEWAETSQ, ^TO xi W WERHNEJ STRO^KE PROBEGA@T WSE \LEMENTY OBLASTI PREDELENIQ D(f). qSNO, ^TO NA SAMOM DELE PODOBNAQ TABLICA ZADAET NE SAMU FUNKCI@ f, A LI[X EE OGRANI^ENIE NA fx1; : : : ; xng.
2. tABLI^NOE ZADANIE FUNKCII. w SLU^AE VE, KOGDA X KONE^-
NO, FUNKCIQ DEJSTWITELXNO MOVET BYTX POLNOSTX@ ZADANA PERE^ISLENIEM WSEH EE ZNA^ENIJ. pRI \TOM OTOBRAVENIE ZAPISYWAETSQ W WIDE DWUSTRO^NOJ MATRICY, W WERHNEJ STRO^KE KOTOROJ PERE^ISLQ@TSQ WSE \LEMENTY OBLASTI OTOBRAVENIQ f, W KAKOM-TO PORQDKE, A POD NIMI W NIVNEJ STRO^KE — SOOTWETSTWU@]IE ZNA^ENIQ OTOBRAVENIQ f, PRI \TOM ZAPQTYE MEVDU \LEMENTAMI OBY^NO NE STAWQTSQ. nAPRIMER, ESLI OBLASTX OTOBRAVENIQ f RAWNA X = fx1; : : : ; xng, TO ONO ZAPI[ETSQ TAK:
f = |
µf(x1) : : : |
f(xn) ¶ |
|
|
x1 |
: : : |
xn |
qSNO, ^TO OTOBRAVENIE NE ZAWISIT OT PORQDKA \LEMENTOW WERHNEJ STROKI, A TOLXKO OT TOGO, KAKIE \LEMENTY STOQT W NIVNEJ STROKE POD SOOTWETSTWU@]IMI \LEMENTAMI WERHNEJ STROKI.
3. pRIMERY TABLI^NOGO ZADANIQ. tABLI^NOE ZADANIE FUNKCIJ OKRUVAET NAS POWS@DU. pRAKTI^ESKI L@BOJ SPISOK, S KOTORYM NAM PRIHODITSQ WSTRE^ATXSQ, PREDSTAWLQET SOBOJ IMENNO TABLI^NOE ZADANIE NEKOTOROJ FUNKCII.
²oGLAWLENIE KNIGI PREDSTAWLQET SOBOJ TABLI^NOE ZADANIE FUNKCII, SOPOSTAWLQ@]EJ KAVDOJ GLAWE NOMER EE PERWOJ STRANICE.
²uKAZATELX ZADAET FUNKCI@, SOPOSTAWLQ@]U@ KAVDOMU TERMINU STRANICU, NA KOTOROJ ON POQWLQETSQ W PERWYJ RAZ.
²wEDOMOSTX \KZAMENA MOVNO RASSMATRIWATX KAK TABLI^NOE ZADANIE FUNKCII, SOPOSTAWLQ@]EJ KAVDOMU STUDENTU GRUPPY EGO OCENKU NA \KZAMENE.
198 |
NIKOLAJ WAWILOW |
²mEN@ W RESTORANE ESTX ZADANIE FUNKCII, SOPOSTAWLQ@]EJ KAVDOMU BL@DU EGO CENU (WPRO^EM, ONO MOVET SODERVATX I DOPOLNITELXNU@ INFORMACI@).
²sPISOK WIDA
~nheartsuit
}ndiamondsuit
| nclubsuit
Änspadesuit
ZADAET FUNKCI@, SOPOSTAWLQ@]U@ MASTI EE TEXOWSKOE IMQ.
4. pERESTANOWKI. tABLI^NOE ZADANIE O^ENX ^ASTO ISPOLXZUETSQ DLQ ZADANIQ FUNKCIJ IZ m W n. nAPOMNIM, ^TO SOGLASNO NA[EMU OB]EMU SOGLA[ENI@ FUNKCIQ, ZADAWAEMAQ TABLICEJ, NE ZAWISIT OT PORQDKA \LEMENTOW PERWOJ STROKI, A TOLXKO OT TOGO, KAKIK \LEMENTY STOQT POD SOOTWETSTWU@]IMI \LEMENTAMI PERWOJ STROKI. nAPRIMER,
|
µ1 |
1 |
2 |
5 ¶ = |
µ5 |
1 |
2 |
1 ¶ |
|
|
||
|
1 |
2 |
|
3 |
4 |
4 |
1 |
3 |
|
2 |
|
|
IZOBRAVA@T ODNO I TO VE OTOBRAVENIE 4 ¡! 5, A IMENNO, OTOBRAVENIE, |
||||||||||||
PEREWODQ]EE 1 I 2 W 1, 3 W 3 I 4 W 5. |
|
|
|
|
|
|
|
|||||
pERE^ISLIM, NAPRIMER, WSE OTOBRAVENIQ IZ 2 W 2: |
2 ¶ |
|
||||||||||
µ1 |
1 ¶; |
µ1 |
|
2 ¶; |
µ2 |
1 ¶; |
µ2 |
: |
||||
1 |
2 |
|
1 |
|
2 |
1 |
2 |
|
1 |
2 |
|
tABLI^NAQ ZAPISX OSOBENNO ^ASTO ISPOLXZUETSQ DLQ IZOBRAVENIQ PERESTANOWOK STEPENI n, T.E. BIEKTIWNYH OTOBRAVENIJ n NA SEBQ (SM. x ?). |LEMENTY WTOROJ STROKI PERESTANOWKI S TO^NOSTX@ DO PORQDKA SOWPADA@T S \LEMENTAMI PERWOJ STROKI I WSTRE^A@TSQ PO ODNOMU RAZU.
iZOBRAZIM, DLQ PRIMERA, WSE PERESTANOWKI MNOVESTWA 3: |
|
||||||||||
µ1 |
2 |
3 ¶ |
; |
µ1 |
3 |
2 ¶ |
; |
µ2 |
1 |
3 ¶ |
; |
1 |
2 |
3 |
|
1 |
2 |
3 |
|
1 |
2 |
3 |
|
µ2 |
3 |
1 ¶ |
; |
µ3 |
1 |
2 ¶ |
; |
µ3 |
2 |
1 ¶ |
: |
1 |
2 |
3 |
|
1 |
2 |
3 |
|
1 |
2 |
3 |
|
tABLI^NAQ ZAPISX ^ASTO NAZYWAETSQ E]E POLNOJ ZAPISX@ PERESTANOWKI, W OTLI^IE OT SOKRA]ENNOJ ZAPISI, W KOTOROJ PERESTANOWKA IZOBRAVAETSQ WTOROJ STROKOJ SWOEJ TABLICY. pRI \TOM PODRAZUMEWAETSQ, ^TO W PERWOJ STROKE \LEMENTY MNOVESTWA n RASPOLAGA@TSQ W
ESTESTWENNOM PORQDKE, T.E. KAK 1; 2; : : : ; n.
MNOVESTWA, OTOBRAVENIQ, OTNO[ENIQ: not entirely naive |
199 |
x 11. pOLINOMIALXNYE FUNKCII
w SLEDU@]IH PRIMERAH ^EREZ R OBOZNA^AETSQ PROIZWOLXNOE KOMMUTATIWNOE KOLXCO. |TO OZNA^AET, ^TO \LEMENTY R MOVNO SKLADYWATX I UMNOVATX, PRI^EM OPERACII SLOVENIQ I UMNOVENIQ W R POD^INQ@T- SQ OBY^NYM PRAWILAM DEJSTWIJ NAD ^ISLAMI. tOT, KTO POKA NE ZNAKOM S \TIM PONQTIEM, MOVET PREDSTAWLQTX SEBE, ^TO R = Z; Q; R ILI C. w DEJSTWITELXNOSTI POSLEDNIE TRI IZ \TIH ^ISLOWYH OBRAZOWANIJ QWLQ@TSQ POLQMI, T.E. W NIH, KROME TOGO, MOVNO DELITX NA L@BOE NENULEWOE ^ISLO.
1. sUMMA I PROIZWEDENIE FUNKCIJ. pUSTX, WNA^ALE, X – PROIZ-
WOLXNOE MNOVESTWO, A R — POLE. tOGDA DLQ L@BYH DWUH FUNKCIJ f; g : X ¡! R MOVNO OPREDELITX DWE NOWYE FUNKCII f + g; fg : X ¡! R, NAZYWAEMYE SUMMOJ I PROIZWEDENIEM f I g, SOOTWETSTWENNO. ~TOBY ZADATX \TI FUNKCII, DOSTATO^NO OPREDELITX IH ZNA^ENIE W KAVDOJ TO^KE x 2 X. |TI ZNA^ENIQ OPREDELQ@TSQ KAK SUMMA I PROIZWEDENIE ZNA^ENIJ f I g W TO^KE x, SOOTWETSTWENNO:
(f + g)(x) = f(x) + g(x) (fg)(x) = f(x)g(x):
uVE \TI PROSTEJ[IE OPERACII POZWOLQ@T STROITX GROMADNYJ ZAPAS NOWYH FUNKCIJ, OTPRAWLQQSX OT NESKOLXKIH PROSTEJ[IH FUNKCIJ, TAKIH, KAK TOVDESTWENNOE OTOBRAVENIE id I KONSTANTY coc. nAPRIMER, UMNOVAQ FUNKCI@ f NA POSTOQNNU@ FUNKCI@ coc MY POLU^AEM SKALQRNOE KRATNOE cf FUNKCII f, T.E. FUNKCI@, ZNA^ENIQ KOTOROJ OPREDELQ@TSQ POSREDSTWOM (cf)(x) = cf(x), INYMI SLOWAMI, ZNA^ENIE cf W TO^KE x RAWNO PROIZWEDENI@ ZNA^ENIQ f W x NA c. w ^ASTNOSTI, TAK POLU^AETSQ FUNKCIQ ¡f = (¡1)f, NAZYWAEMAQ PROTIWOPOLOVNOJ K f. a IMEQ PROTIWOPOLOVNU@ FUNKCI@ MY MOVEM OPREDELITX RAZNOSTX FUNKCIJ f ¡g KAK f +(¡g). tAKIM OBRAZOM, PO OPREDELENI@, ZNA^ENIE FUNKCII f ¡ g W TO^KE x RAWNO (f ¡ g)(x) = f(x) ¡ g(x).
2. pOLINOMIALXNYE FUNKCII. pUSTX, DALEE, f 2 K[t] – PRO-
IZWOLXNYJ MNOGO^LEN OT ODNOJ PEREMENNOJ t NAD POLEM K. nAPOMNIM, ^TO NAIWNO POD MNOGO^LENOM PODRAZUMEWAETSQ WYRAVENIE WIDA
f= antn + : : : + a1t + a0, GDE ai 2 K. mNOGO^LENU f MOVNO SOPOSTAWITX OTOBRAVENIE f : K ¡! K PO SLEDU@]EMU PRAWILU: \LEMENT a 2 K ZA-
MENQETSQ NA POSTOQNNOE OTOBRAVENIE coa, PEREMENNAQ t ZAMENQETSQ NA TOVDESTWENNOE OTOBRAVENIE idK, A SLOVENIE I UMNOVENIE MNOGO^LENOW NA SLOVENIE I UMNOVENIE FUNKCIJ. iNYMI SLOWAMI, OTOBRAVENIE
fPEREWODIT L@BOJ \LEMENT x 2 K W ZNA^ENIE f(x) MNOGO^LENA f W
200 |
NIKOLAJ WAWILOW |
TO^KE x, T.E. W \LEMENT f(x) = anxn +: : : a1x+a0 POLQ K, POLU^A@]IJSQ PODSTAWNOWKOJ x W MNOGO^LEN f WMESTO PEREMENNOJ t I FAKTI^ESKIM
PROWEDENIEM OPERACIJ W POLE K.
pOLU^A@]IESQ TAK OTOBRAVENIQ f, f 2 K[t], NAZYWA@TSQ POLINOMIALXNYMI FUNKCIQMI, ILI, W ALGEBRAI^ESKOJ GEOMETRII, REGULQRNYMI FUNKCIQMI. pRIMERAMI POLINOMIALXNYH FUNKCIJ QWLQ@TSQ OTOBRAVENIQ x 7!1, x 7!x2, x 7!(x ¡ 1)3 I WOOB]E L@BYE FUNKCII, POLU^A@]IESQ IZ TOVDESTWENNOGO OTOBRAVENIQ I POSTOQNNYH OTOBRAVENIJ PRIMENENIEM SLOVENIQ I UMNOVENIQ. mOVNO NAZY-
WATX POLINOMIALXNYE FUNKCII POLINOMIALXNYMI OTOBRAVENIQ-
MI, NO W ALGEBRE \TOT POSLEDNIJ TERMIN OBY^NO UKAZYWAET NA TO, ^TO RASSMATRIWAETSQ MNOGOMERNAQ SITUACIQ (NESKOLXKO MNOGO^LENOW OT NESKOLXKIH PEREMENNYH).
w [KOLXNOM KURSE f OBY^NO OTOVDESTWLQETSQ S f. pRI \TOM f OBOZNA^AETSQ PROSTO ^EREZ f I W ^ASTO IMENNO \TA FUNKCIQ I NAZYWAETSQ MNOGO^LENOM. s TO^KI ZRENIQ PROFESSIONALXNOGO ALGEBRAISTA \TO PRESTUPNAQ PRAKTIKA. dEJSTWITELXNO, MNOGO^LEN f OPREDELQET FUNKCI@ f. bOLEE TOGO, W OBY^NO RASSMATRIWAEMYH W [KOLXNOJ PROGRAMME SLU^AQH ON, W SWO@ O^EREDX, ODNOZNA^NO OPREDELQETSQ FUNKCIEJ f. tEM NE MENEE SOWER[ENNO NEPRAWILXNO GOWORITX, ^TO ON QWLQETSQ \TOJ FUNKCIEJ. dELO W TOM, ^TO W DRUGIH NE MENEE WAVNYH SLU^AQH DWA RAZLI^NYH MNOGO^LENA MOGUT OPREDELQTX ODNU I TU VE POLINOMIALXNU@ FUNKCI@. ~EM BY NI BYL MNOGO^LEN, ON ZAWEDOMO NE QWLQETSQ FUNKCIEJ f : K ¡! K. kAK MY OB_QSNQEM W KNIGE III, ESLI MNOGO^LEN I MOVNO ESTESTWENNYM OBRAZOM OTOVDESTWITX S KAKOJ-TO FUNKCIEJ, TO TOGDA UV S FUNKCIEJ f : N0 ¡! K.
x 12. rACIONALXNYE FUNKCII
w \TOM PARAGRAFE MY PRODOLVIM OBSUVDENIE PRIMEROW FUNKCIJ, WSTRE^AW[IHSQ W [KOLXNOJ PROGRAMME. zDESX MY PREDPOLAGAEM, ^TO K QWLQETSQ NEKOTORYM POLEM, NAPRIMER, K = Q; R ILI C.
1. mNOVESTWO NULEJ FUNKCII. |LEMENT x 2 X NAZYWAETSQ NULEM
FUNKCII g : X ¡! K, ESLI g OBRA]AETSQ W 0 W TO^KE x, T.E. g(x) = 0. oBOZNA^IM ^EREZ X(g) MNOVESTWO NULEJ FUNKCII g, T.E.
X(g) = fx 2 X j g(x) = 0g:
w SLU^AE, KOGDA g = f : K ¡! K — POLINOMIALXNAQ FUNKCIQ, OPREDELENNAQ MNOGO^LENOM f 2 K[t], PRINQTO NAZYWATX NULI FUNKCII g KORNQMI MNOGO^LENA f W POLE K. w \LEMENTARNOJ MATEMATIKE ^ASTO