Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
16
PODSTAWYTEORIIAPROKSYMACJIWZADANIACH
następująco
"f"p=(/
|f(t)|p(t))
p
1
Formalnierzeczbiorąc,elementamiprzestrzeni
Lp
(Ω
jµ
)klasyabstrakcji
funkcji,aniesamefunkcje,alewpraktycełatwiejjestdziałaćnasamych
funkcjach,pamiętającotym,żedwiefunkcjezesobąutożsamiane,gdy
równeprawiewszędzie.Podobniejakwcześniejosobnegotraktowaniawymaga
przypadek
p
=
.Wtejsytuacjirozważamyfunkcje
f
:
K
,które
spełniająwarunek:istnieje
C>
0takie,że
|f
(
t
)
|<C
dlaprawiewszystkich
t
.Infimumztakichliczb
C>
0,któremająwłasność,jestnormą
funkcji
f
ioznaczamyjako
"f"
.Dlawszystkich1
<p<
przestrzeń
Lp
(Ω
jµ
)jestprzestrzeniąBanacha.JesttoprzestrzeńHilbertawyłączniedla
p=2iwówczasiloczynskalarnyfunkcjifjgL2(Ωjµ)danyjestjako
(fjg=/
f(t)g(t)(t)
Ciągoweprzestrzenie
p
możnatraktowaćjakoprzypadekszczególnyprze-
strzenifunkcyjnychLp(Ωjµ),biorąc=Nzmiarąliczącą.
Jeżeli
K
jestzwartąprzestrzeniąHausdorfa,toprzez
C
(
K
)oznaczamyzbiór
funkcjiciągłych
f
:
KK
.Wtymzbiorzewprowadzamynormęsupremum
"·"
,czyli
"f"
=
suptK|f
(
t
)
|
.Skorofunkcjaciągłaosiągaswojekresyna
zbiorzezwartym,toowesupremumjestrównemaksimum.Wprzeciwieństwie
doprzypadkufunkcji
Lp
,tymrazemoperujemywięcfunkcjami,anieich
klasamiabstrakcji.Szczególnieczęstowtymzbiorze,przestrzeń
C
(
K
)pojawia
sięwsytuacji,wktórej
K
=[
ajb
]jestpewnymodcinkiemnaosirzeczywistej
dlaliczb
a<b
.Pisząc
C
[
ajb
],zawszebędziemymiećnamyśliwłaśnietaką
przestrzeń.Kiedybędziemymówićofunkcjachklasy
Cn
naprzedziale[
ajb
],
wówczaswkrańcachprzedziałurozważamypochodnejednostronne(podobnie
dlafunkcjiklasy
C
).Wprzypadkach,wktórychistotnejestwyróżnienie
zbioruK,normęsupremumbędziemyoznaczaćrównieżjako"·"K.
Wszystkiepowyżejwprowadzoneprzestrzeniemożnarozpatrywaćzarówno
wprzypadkurzeczywistym,jakizespolonym.Jeżeliwzadaniuniejestto
sprecyzowane,tonależyrozumieć,żeobowiązujeonowobuprzypadkach.Jeżeli
normawdanejprzestrzeniniebędziesprecyzowana,tozakładamy,żechodzi
ostandardowąnormęwdanejprzestrzeni(takjakpowyżej).Dlauproszczenia
zapisu,będziemyczęstonormęoznaczaćpoprostujako
"·"
,gdybędziejasne,
októrejnormiejestmowa.Dotyczytorównieżsytuacjinormyoperatorowej.
Oznaczatowszczególności,żewjednymzadaniulubrozwiązaniusymbolem
"·"
możebyćoznaczonazarównonormawektorówzdanejprzestrzeni,jak
ifunkcjonałównaniejdziałających.
Ostatniąklasycznąprzestrzenią,doktórejbędziemysięczęstoodwoływać
wkolejnychrozdziałachksiążki,jestprzestrzeńrzeczywistych,okresowych