אלטרנטיבת פרדהולם

מתוך testwiki
קפיצה לניווט קפיצה לחיפוש

באנליזה פונקציונלית (ענף במתמטיקה), אלטרנטיבת פרדהולם קובעת שעבור אופרטור קומפקטי A ממרחב בנך X לעצמו ומספר מרוכב כלשהו  λ שונה מאפס, רק אחד מהתנאים הבאים מתקיים:

  1.  λIA הפיכה.
  2.  λ ערך עצמי של A עם ריבוי גאומטרי סופי ו- λ¯ ערך עצמי של  A* עם אותו ריבוי גאומטרי.

ניתן לנסח את המשפט בצורה השקולה הבאה: עבור אופרטור קומפקטי A ממרחב בנך X לעצמו ומספר מרוכב כלשהו  λ שונה מאפס התמונה של  Aλ סגורה ב- X ומימד הגרעין של  Aλ סופי.

קישורים חיצוניים

תבנית:קצרמר