מצב (אנליזה פונקציונלית)

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

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

הגדרה כללית 
בהינתן אלגברת סי כוכב , אופרטור A יקרא חיובי אם  (כאשר  הוא הספקטרום של A.

בהתאם, פונקציונל ליניארי  יקרא חיובי אם הוא מקיים כי  לכל A חיובי.

אם בנוסף הפונקציונל מקיים כי  נאמר כי הפונקציונל הנ"ל הוא מצב. את קבוצת המצבים נהוג לסמן 

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

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

הקשר בין מצבים לבין ספקטרום 

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

טענה: בהינתן אופרטור A על אלברת סי כוכב  ובהינתן  קיים מצב  המקיים .

סקיצת הוכחה: נתבונן בתת-המרחב .

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

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

את המשפט הנ"ל ניתן להפריט למצבים טהורים ולקבל את אותה השקילות דרך העובדה שכל מצב הוא צירוף קמור של מצבים טהורים.

ראו גם 
 פונקציונל
 אלגברת סי כוכב
 ספקטרום של אופרטור
 משפט קריין-מילמן
 משפט האן-בנך
 בניית GNS

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

אנליזה פונקציונלית