17.08.2013 Views

PAMATELEMENT¯ARO FUNKCIJU AKSIOM¯ATISK¯A TEORIJA

PAMATELEMENT¯ARO FUNKCIJU AKSIOM¯ATISK¯A TEORIJA

PAMATELEMENT¯ARO FUNKCIJU AKSIOM¯ATISK¯A TEORIJA

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

24 II nodal¸a. PAMATELEMENTĀRO <strong>FUNKCIJU</strong> AKSIOMĀTISKĀ <strong>TEORIJA</strong><br />

Tagad pierādīsim teorēmu par eksponentfunkcijas eksistenci un vienīgumu.<br />

2.3. teorēma. Jebkuram a > 0 eksistē vienīgā eksponentfunkcija ar bāzi a, t.i., funkcija<br />

f : R → R, kura apmierina 2.3. un 2.4. definīcijas nosacījumus 1), 2) un 3).<br />

◮ Fiksēsim a > 0. Apskatīsim funkciju f0(r) = a r , r∈Q, kura apmierina 2.2. teorēmas<br />

nosacījumus. Tad ˇsī funkcija ir grupas Q + homomorfisms grupā R • , un tā ir nepārtraukta<br />

punktā r0 = 0. Saskaņā ar I nodal¸as 1.2. teorēmu un tai sekojoˇso 1.1. piezīmi eksistē<br />

vienīgā nepārtraukta funkcija f : R → R, kura ir funkcijas f0 paplaˇsinājums un kura<br />

ir nepārtraukts grupas R + homomorfisms grupā R • , pie tam f(1) = f0(1) = a, citiem<br />

vārdiem sakot, eksistē vienīgā eksponentfunkcija ar bāzi a.◭<br />

2.2.3. Eksponentfunkcijas īpaˇsības<br />

Pirmās trīs īpaˇsības tieˇsi seko no 2.3. un 2.4. definīcijas, izmantojot iepriekˇs ievesto<br />

apzīmējumu a x , kur a > 0, bet ceturtā un piektā - no vispārīgajām homomorfismu<br />

īpaˇsībām (skat. a) un b) īpaˇsību 8. lpp.).<br />

1 0 a x+y = a x a y jebkuriem x, y∈R.<br />

2 0 a x - nepārtraukta funkcija.<br />

3 0 a 1 = a.<br />

4 0 a 0 = 1.<br />

5 0 a −x = (a x ) −1 = 1<br />

a x jebkuram x∈R.<br />

6 0 (ab) x = a x b x jebkuram x∈R, kur a > 0, b > 0.<br />

◮ Apskatīsim funkciju f(x) = a x b x , x∈R. Tā kā<br />

f(x + y) = a x+y b x+y = a x b x a y b y = (a x b x )(a y b y ) = f(x)f(y)<br />

jebkuriem x, y∈R, tad f(x) - nepārtraukts grupas R + homomorfisms grupā R • , pie tam<br />

f(1) = a 1 b 1 = ab (ˇseit izmantojām 3 0 īpaˇsību). No teorēmas par eksponentfunkcijas<br />

eksistenci un vienīgumu seko, ka f(x) ir eksponentfunkcija ar bāzi ab, t.i., f(x) = (ab) x .<br />

Tāpēc (ab) x = a x b x jebkuram x∈R.◭<br />

7 0 (a b ) x = a bx jebkuriem b, x∈R.<br />

◮ Pieņemsim, ka h(x) = a bx , g(x) = bx, f(x) = a x . Funkcija f(x) ir nepārtraukts<br />

grupas R + homomorfisms grupā R • . Ja b ir fiksēts, tad funkcija g(x) - nepārtraukts<br />

grupas R + homomorfisms sevī. Tā kā h = f ◦ g, tad h(x) - nepārtraukts grupas R +<br />

homomorfisms grupā R • , pie tam<br />

h(1) = (f ◦ g)(1) = f(g(1)) = f(b) = a b .<br />

No teorēmas par eksponentfunkcijas eksistenci un vienīgumu seko, ka h(x) ir eksponentfunkcija<br />

ar bāzi a b , t.i., h(x) = a b x . Tā kā b∈R ir patval¸īgs, tad a b x = a bx jebkuriem<br />

x, b∈R.◭<br />

8 0 Ja f ir patval¸īga eksponentfunkcija un f(1) = 1, tad f(x) = 1 jebkuram x∈R, citiem<br />

vārdiem sakot, 1 x = 1 jebkuram x∈R.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!