PAMATELEMENT¯ARO FUNKCIJU AKSIOM¯ATISK¯A TEORIJA
PAMATELEMENT¯ARO FUNKCIJU AKSIOM¯ATISK¯A TEORIJA
PAMATELEMENT¯ARO FUNKCIJU AKSIOM¯ATISK¯A TEORIJA
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
10 I nodal¸a. NEPIECIEˇ SAMĀS ZIŅAS NO ALGEBRAS UN ANALĪZES<br />
t.i., m ≤ z<br />
ρ < m+1 jeb 0 ≤ z−mρ < ρ. Tā kā ρ ∈ G+ , ρ = inf G + , z ∈ G, tad z−mρ ∈ G<br />
un z − mρ = 0, t.i., z = mρ. Tātad eksistē pozitīvs skaitlis a = ρ, ka G = {am|m ∈ Z}.<br />
Tagad pieņemsim, ka ρ = 0. Apskatīsim patval¸īgus x ∈ R un ε > 0. Tā kā inf G + = 0,<br />
tad eksistē tāds z ∈ G + , ka 0 < z < 2ε. Pieņemsim, ka m = <br />
x+ε<br />
x+ε<br />
∈ Z, t.i., m ≤ z<br />
z <<br />
m + 1. Tātad<br />
x − ε x + ε<br />
x + ε<br />
< − 1 < m ≤ ,<br />
z z z<br />
no kurienes seko, ka mz ∈ (x − ε; x + ε]. Tā kā z ∈ G + , tad mz ∈ G. Tādējādi<br />
G ∩ (x − ε; x + ε] = ∅ jebkuram x ∈ R un patval¸īgam ε > 0, t.i., kopa G ir visur blīva<br />
kopas R apakˇskopa.◭<br />
Sekas. Ja G ir grupas R + slēgta apakˇsgrupa, tad vai nu G = R, vai nu G = {0}, vai arī<br />
G = {am|m ∈ Z}, kur a > 0.<br />
Pieņemsim, ka X ir grupas R + apakˇsgrupa, pie tam X ir kopas R visur blīva apakˇskopa,<br />
bet Y = C ◦ .<br />
1.2. teorēma. Ja f : X → Y ir grupas X homomorfisms grupā Y (t.i., f(x + y) =<br />
f(x) · f(y) jebkuriem x, y ∈ X), pie tam f ir nepārtraukta funkcija punktā 0, tad<br />
eksistē vienīgā nepārtrauktā funkcija F : R → C, ka F ir funkcijas f turpinājums<br />
(t.i., F (x) = f(x) jebkuram x ∈ X) un F ir grupas R + homomorfisms grupā Y .<br />
◮ Tā kā funkcija f ir nepārtraukta punktā 0, tad eksistē ˇsī punkta apkārtne U1 =<br />
U(0; r1) un skaitlis K > 0, ka jebkuram x ∈ X ∩ U1 ir spēkā nevienādība<br />
|f(x)| ≤ K. (1.1)<br />
Apskatīsim patval¸īgu x ∈ R. Pieņemsim, ka V1 ir punkta x apkārtne ar rādiusu 1<br />
2 r1. Tā<br />
kā X ir kopas R visur blīva apakˇskopa, tad eksistē t0 ∈ X ∩ V1. Apzīmēsim |f(t0)| = M0.<br />
Tad jebkuram t ∈ X ∩ V1 iegūsim:<br />
|f(t)| = |f(t − t0 + t0)| = |f(t − t0) · f(t0)| = |f(t − t0)| · |f(t0)| ≤ KM0. (1.2)<br />
(atzīmēsim, ka |f(t − t0)| ≤ K saskaņā ar nevienādību (1.1), jo t − t0 ∈ X ∩ U1).<br />
ε<br />
Apskatīsim patval¸īgu ε > 0. Pieņemsim, ka ε = . Tā kā funkcija f ir<br />
3KM0<br />
nepārtraukta punktā 0, tad eksistē tāda punkta 0 apkārtne Uδ = U(0; δ), ka jebkuram<br />
t ∈ X ∩ Uδ ir spēkā nevienādība<br />
|f(t) − f(0)| = |f(t) − 1| < ε (1.3)<br />
(turpmāk uzskatīsim, ka Uδ ⊂ U1, t.i., δ ≤ r1).<br />
Apskatīsim punkta x apkārtni<br />
<br />
Vδ = V x; 1<br />
2 δ<br />
<br />
= x − 1 1<br />
δ; x +<br />
2 2 δ<br />
<br />
.<br />
Acīmredzot, Vδ ⊂ V1.<br />
Pieņemsim, ka t, t ′ ∈ X ∩ Vδ. No nevienādības (1.2) seko, ka<br />
|f(t ′ )| ≤ KM0.<br />
Tā kā t − t ′ ∈ X ∩ Uδ, tad saskaņā ar nevienādību (1.3) atrodam:<br />
|f(t − t ′ ) − 1| < ε.