Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
14
PODSTAWYTEORIIAPROKSYMACJIWZADANIACH
Jeżeli(
Xjj·⟩
)jestprzestrzeniąunitarną,towektory
xjyX
nazywamy
prostopadłymi,gdyzachodzirówność(xjy=0.
Wypukłość
Jeżeli
X
jestprzestrzeniąwektorowąnadciałem
K
,tozbiór
VX
nazy-
wamywypukłym,gdydladowolnych
ajbV
orazdowolnejliczbyrzeczywistej
t
[0
j
1]spełnionyjestwarunek
ta
+(1
t
)
bV
.Innymisłowy,odcinek
okońcach
a
i
b
jestwcałościzawartyw
V
.Przez
convV
oznaczamynaj-
mniejszyzbiórwypukłyzawierający
V
inazywamyotoczkąwypukłązbioruV.
Klasycznymfaktemznanymzalgebryliniowejjestmożliwośćprzedstawienia
otoczkiwypukłejjakozbiorukombinacjiwypukłych,czyli
convV
={t1u1++tnun:nNju1jjunVjt1jjtn[0j1]jt1++tn=1}
Punkt
xV
nazywamypunktemekstremalnymzbioru
V
,gdynieistnieją
punktyyjzVtakie,żey̸=zorazx=ty+(1t)zdlapewnegot(0j1).
Klasyczneprzestrzenie
Podstawowymproblememteoriiaproksymacjijestprzybliżaniepewnych
elementówbardziejspecyficznymi,awszczególnościprzybliżanieogólnych
funkcjiwielomianami.Przestrzeńwielomianówodgrywawtymzbiorzezadań
istotnąrolę.Jeżeli
nNo
,toprzez
Pn
(
K
)oznaczamyprzestrzeńwielomianów
stopniaconajwyżej
n
owspółczynnikachwciele
K
,gdzie
K
=
R
lub
K
=
C
.
Jesttooczywiścieprzestrzeńliniowanadciałem
K
.Będziemypisaćskrótowo
Pn
,jeżeliciałojestdowolne.Wprzypadkuprzestrzeniwielomianówdowolnego
stopniabędziemypomijaćindeksipisaćP(K)(lubpoprostuP).
Wprowadzimyterazszeregklasycznychprzestrzeniunormowanych,doktó-
rychbędziemywielokrotnieodwoływaćsięwzadaniach.Dla1
<p<
definiujemyprzestrzeńunormowaną(
pj"·"p
)jakoprzestrzeńciągów(
xk
)
kl1
owyrazachwcieleK,którespełniająwarunek
kl1
Σ
|xk|
p<
Strukturaprzestrzeniwektorowejjestwprowadzonawsposóbnaturalny,czyli
dodawaniewektorówimnożenieprzezskalarodbywasiępowspółrzędnych.
Normawtejprzestrzenijestzdefiniowanadlax=(xk)
kl1jako
"x"p=(
kl1
Σ
|xk|
p)
p
1
Powyższadefinicjarozszerzasięrównieżwnaturalnysposóbnaprzypadek
p
=
.Wtymprzypadku,
jestprzestrzeniąciągów
x
=(
xk
)
kl1
,które
spełniająwarunek
supk>1|xk|<
,anormadanajestjako
"x"
=
supk>1|xk|