משפט ההיטל המרכזי

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

במתמטיקה, משפט ההיטל המרכזי (אנגלית: Projection-slice theorem, לעיתים Fourier slice theorem) אומר כי שני התהליכים הבאים, עבור פונקציה $ f:\mathbb {R} ^{2}\to \mathbb {R} $ וישר $ a $ דרך הראשית, נותנים את אותה התוצאה:

  • לקחת את התמרת פורייה הדו-ממדית של $ f $ ולקחת את הערכים שלה על הישר $ a $ .
  • להטיל את $ f $ על הישר $ a $ ולהפעיל על ההיטל התמרת פוריה.

למשפט שימושים רבים בטומוגרפיה.

ניסוח פורמלי

נסמן $ P_{m} $ את אופרטור ההיטל על תת-מרחב לינארי מממד $ m $ (היטל במובן של אינטגרל על המשלים האורתוגונלי בכל נקודה)

נסמן $ S_{m} $ את אופרטור החיתוך עם אותו תת-המרחב שעובר דרך הראשית, ונסמן $ F_{N},F_{m} $ את התמרת פורייה ב-$ N,m $ ממדים בהתאמה.

אזי לכל פונקציה $ f:\mathbb {R} ^{N}\to \mathbb {R} $ מתקיים:

$ F_{m}P_{m}=S_{m}F_{n} $

הוכחה למקרה הדו-ממדי

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

נסמן את $ f(x,y):\mathbb {R} ^{2}\to \mathbb {R} $ , ונסמן את ההיטל שלה על ציר $ x $ להיות:

$ p(x)=\int \limits _{-\infty }^{\infty }f(x,y)dy $

והתמרת פורייה שלה להיות:

$ {\begin{aligned}F(k_{x},k_{y})=\int \limits _{-\infty }^{\infty }\int \limits _{-\infty }^{\infty }f(x,y)\,e^{-2\pi (xk_{x}+yk_{y})i}dx\,dy\end{aligned}} $

אז החיתוך של התמרת הפורייה עם ציר $ x $ הוא:

$ {\begin{aligned}s(k_{x})=F(k_{x},0)=\int \limits _{-\infty }^{\infty }\int \limits _{-\infty }^{\infty }f(x,y)e^{-2\pi xk_{x}i}dx\,dy=\int \limits _{-\infty }^{\infty }\left[\int \limits _{-\infty }^{\infty }f(x,y)dy\right]e^{-2\pi xk_{x}i}dx=\int \limits _{-\infty }^{\infty }p(x)e^{-2\pi xk_{x}i}dx\end{aligned}} $

וזו בדיוק התמרת פורייה של $ p(x) $ .