אופרטור מדרגה סופית

באנליזה פונקציונלית, אופרטור מדרגה סופית הוא אופרטור ליניארי חסום בין מרחבי בנך שהתמונה שלו היא ממימד סופי.

 אופרטורים מדרגה סופית במרחב הילברט 
 צורה קנונית 
ניתן לתאר אופרטורים מדרגה סופית באמצעות מטריצות סופיות.

מאלגברה ליניארית, ידוע לנו שלמטריצה מלבנית,  יש דרגה  אם ורק אם  הוא מהצורה



בעזרת אותו טיעון והלמה של ריס ניתן להראשות שאופרטור  על מרחב הילברט  הוא מדרגה  אם ורק אם



כאשר התנאים על  זהים למקרה הסוף ממדי.

באינדוקציה, אופרטור  בדרגה סופית  הוא מהצורה



כאשר  ו  הם בסיסים אורתונורמליים. זה למעשה ניסוח שקול עבור פירוק לערכים סינגולריים. ניתן לומר שזו צורה קנונית של אופרטורים מדרגה סופית.

בהכללה, עבור  אינסופי ורצף המספרים החיוביים  עם נקודת הצטברות אך ורק ב , אזי  הוא אופרטור קומפקטי, וכעת יש את הצורה הקנונית עבור אופרטורים קומפקטיים.

אופרטורים קומפקטיים הם מחלקה עקבות אם ורק אם הסדרה  מתכנסת; תכונה שמתקיימת מיידית עבור כל האופרטורים מדרגה סופית.

 אופרטורים מדרגה סופית על מרחב בנך 
אופרטור מדרגה סופית  בין מרחבי בנך הוא אופרטור חסום כך שהתמונה שלו היא מימד סופי. כמו במקרה של הילברט, אפשר לכתוב את זה בצורה הבאה:



כאשר , ו  הן פונקציות ליניאריות חסומות על המרחב .

פונקציונלי ליניארי חסום הוא מקרה פרטי של אופרטור מדרגה סופית, כלומר מדרגה אחת.

הערות שוליים

קטגוריה:אנליזה פונקציונלית