To'lovga yaroqsiz funktsiyalar - Unisolvent functions

Matematikada n funktsiyalari f1, f2, ..., fn bu to'lovga layoqatsiz ("noyob echilishi mumkin" degan ma'noni anglatadi) a domen Ω agar vektorlar

bor chiziqli mustaqil har qanday tanlov uchun n aniq fikrlar x1, x2 ... xn Ω ichida. Bunga teng ravishda, agar kollektsiya to'lovga yaroqsiz bo'lsa matritsa F yozuvlar bilan fmen(xj) nolga teng aniqlovchi: det (F) Har qanday farqni tanlash uchun ≠ 0 xjΩ ichida. To'lov qobiliyatsizligi - bu mulkdir vektor bo'shliqlari, faqat ma'lum funktsiyalar to'plami emas. Ya'ni o'lchov funktsiyalarining vektor maydoni n agar mavjud bo'lsa, to'lovga qodir emas asos (teng ravishda, chiziqli mustaqil to'plam n funktsiyalar), asosi to'lovga qodir emas (funktsiyalar to'plami sifatida). Buning sababi shundaki, har qanday ikkita asos qaytariladigan matritsa bilan bog'liq (bazis matritsasining o'zgarishi), shuning uchun bitta asos to'lovsiz, va agar boshqa biron bir asos talab qilinmasa.

Yagona to'lov qobiliyatiga ega bo'lmagan tizimlar keng qo'llaniladi interpolatsiya chunki ular interpolatsiya muammosining yagona echimini kafolatlaydi. To'plami polinomlar eng ko'p daraja (bu o'lchovning vektor makonini tashkil qiladi ) tomonidan to'lovga layoqatsiz to'lovga layoqatsizlik teoremasi.

Misollar

  • 1, x, x2 har qanday intervalda yagona to'lov qobiliyati teoremasi bo'yicha to'lovga ega emas
  • 1, x2 [0, 1] da to‘lovga yaroqsiz, ammo [-1, 1] da to‘lovsiz
  • 1, cos (x), cos (2x), ..., cos (nx), gunoh (x), gunoh (2x), ..., gunoh (nx) to'lov qobiliyatsiz [-ππ]
  • Yagona to'lov qobiliyatiga ega bo'lmagan funktsiyalar ishlatiladi chiziqli teskari muammolar.

O'lchamlari

To'liq to'lovga ega bo'lmagan funktsiyalar tizimlari yuqori o'lchamlarga qaraganda 1 o'lchovda ancha keng tarqalgan. O'lchovda d = 2 va undan yuqori (Ω ⊂Rd), funktsiyalari f1, f2, ..., fn agar ularning barchasi uzluksiz bo'lgan bitta ochiq to'plam mavjud bo'lsa, Ω da to'lovga qodir emas. Buni ko'rish uchun harakatlanadigan nuqtalarni ko'rib chiqing x1 va x2 ular pozitsiyalarini almashtirmaguncha ochiq to'plamdagi uzluksiz yo'llar bo'ylab, shunday qilib x1 va x2 hech qachon bir-birini yoki boshqasini kesib o'tmaydi xmen. Olingan tizimning determinanti (bilan x1 va x2 almashtirilgan) - bu boshlang'ich tizimning determinantining manfidir. Funktsiyalaridan beri fmen uzluksiz, the oraliq qiymat teoremasi shuni anglatadiki, ba'zi bir oraliq konfiguratsiya determinant nolga ega, shuning uchun funktsiyalar halol bo'lmaydi.

Shuningdek qarang

Adabiyotlar