יהי מרחב הילברט עם מכפלה פנימית ונסמן ב- את המרחב הדואלי שלו, כלומר את מרחב כל הפונקציונלים הליניאריים הרציפים מ- לשדה הבסיס או . בהינתן ההעתקה המוגדרת על ידי
לכל
מהווה פונקציונל ליניארי רציף על . משפט ההצגה של ריס אומר שכל איבר ב- ניתן להיכתב בצורה אחת ויחידה כזו.
מתקיים לכל , כאשר מסמן את הנורמות הסטנדרטיות המושרות על מרחב הילברט ועל המרחב הדואלי שלו (ראו נורמה אופרטורית).
היא אדיטיבית: לכל .
אם שדה הבסיס הוא , אז לכל מספר ממשי .
אם שדה הבסיס הוא , אז לכל מספר מרוכב .
את ההעתקה ההפוכה ל- ניתן לתאר באופן הבא. יהי פונקציונל ליניארי רציף על ונפריד למקרים. אם הוא פונקציונל האפס, ניתן פשוט לבחור . אחרת, משפט בסיסי בתורה של מרחבי הילברט אומר שקיים וקטור אשר שייך למשלים האורתוגונלי של . כעת אם נגדיר אז יתקיים , כפי שרצינו.
משפט ההצגה לתבניות ססקווילינאריות חסומות על מרחב הילברט
יהיו ו-מרחבי הילברט. תבנית ססקווילינארית על זוג מרחבים אלה היא העתקה שליניארית במשתנה הראשון ואנטי-ליניארית במשתנה השני. אומרים שהיא חסומה אם קיים קבוע ממשי כך ש- לכל ו-, כאשר מסמן הן את הנורמה המושרית מהמכפלה הפנימית ב- והן את הנורמה המושרית על . תבנית ססקווילינארית היא חסומה אם ורק אם היא פונקציה רציפה (ביחס לטופולוגית המכפלה על ) ולכן כששני המרחבים הם סוף-ממדיים, כל תבנית ססקווילינארית היא חסומה.
נסמן ב- את המכפלה הפנימית על .
משפט: בהינתן העתקה ליניארית חסומה, ניתן להגדיר תבנית ססקווילינארית חסומה על ידי (החסימות נובעת מאי-שוויון קושי-שוורץ). יתרה מזאת, עבור כל תבנית ססקווילינארית חסומה קיימת העתקה ליניארית חסומה יחידה כך שהשוויון מתקיים לכל ו-.
משפט ההצגה לפונקציונלים ליניאריים חיוביים על (Cc(X
יהי מרחב טופולוגי. המרחב מורכב מכל הפונקציות אשר רציפות ובעלות תומך קומפקטי. ניתן לצייד מרחב זה בפעולות נקודתיות של חיבור וכפל בסקלר וכן בנורמת הסופרמום ובכך הוא הופך למרחב נורמי. פונקציונל ליניארי חיובי על מרחב זה הוא העתקה -ליניארית אשר בנוסף יש לה את התכונה הבאה: אם היא פונקציה ממשית אי-שלילית, אז גם היא כזו. בהנחה והטופולוגיה על היא "סבירה" דיה, משפט ההצגה של ריס אומר שכל פונקציונל ליניארי חיובי על ניתן להיכתב ביחידות כאופרטור אינטגרציה ביחס למידה "סבירה" מסוימת.
משפט: יהי מרחב האוסדורףקומפקטי מקומית ויהי פונקציונל ליניארי חיובי על . אז קיימת מידת רדון (כלומר מידה חיובית סופית מקומית ורגולרית) יחידה על המקיימת
משפט זה מהווה קשר חשוב בין תורת המידה ואנליזה פונקציונלית ומספק דרך אפקטיבית לבנות מידות על מרחבים מסוימים. לדוגמה, הוא מרחב האוסדורף קומפקטי מקומית וסיגמא-קומפקטי וההעתקה (כאשר כאן האינטגרל הוא אינטגרל רימן הרגיל) מגדירה פונקציונל ליניארי חיובי על . תנאי המשפט מתקיימים והמידה המייצגת את הפונקציונל היא מידת לבג על .
כמו קודם, נניח כי הוא מרחב טופולוגי. המשפט הבא, המכונה לעיתים משפט ריס-מרקוב, מראה שניתן להציג כל פונקציונל ליניארי רציף על המרחב כאופרטור אינטגרציה ביחס למידה מרוכבת מסוימת. המרחב מורכב מכל הפונקציות שהן רציפות ומתאפסות באינסוף, כלומר לכל קיימת תת-קבוצה קומפקטית כך ש- לכל . זהו מרחב נורמי, כאשר פעולות החיבור והכפל בסקלר מוגדרות נקודתית והנורמה היא נורמת הסופרמום. מובן ש-.
מידה מרוכבת על נקראת רגולרית אם מידת ההשתנות הכוללת שלה, כלומר , היא מידת רדון רגולרית כפי שהמושג הוגדר לעיל עבור מידות חיוביות. מרחב כל המידות המרוכבות הרגולריות על מסומן והוא מהווה מרחב וקטורי תחת הפעולות הסטנדרטיות של חיבור וכפל בסקלר של מידות. בנוסף לכך, ההעתקה מגדירה נורמה על והופכת אותו למרחב בנך. בהינתן מידה ניתן להגדיר פונקציונל ליניארי רציף על על ידי
לכל .
משפט ההצגה של ריס אומר שכל פונקציונל ליניארי רציף על הוא מצורה זו, בהנחה ו-X הוא מרחב טופולוגי "סביר". נוסחו הפורמלי הוא כדלקמן.
יהי מרחב מידה ויהי מרחב כל הפונקציות המדידות שנורמת-p שלהן היא סופית: (ראו מרחב Lp). מגדירים גם את בתור מרחב כל הפונקציות המדידות עבורן (כאשר הוא המספר הקטן ביותר שעבורו ל--כמעט כל).
ידוע כי עבור כל המרחב הוא מרחב בנך ביחס לנורמה ושבמקרה (ורק בו) נורמה זו מושרית ממכפלה פנימית, אשר ניתנת על ידי . לכן הוא מרחב הילברט ומשפט ההצגה של ריס למרחב הדואלי למרחב הילברט גורר שכל פונקציונל ליניארי רציף על מרחב זה הוא מהצורה עבור כלשהי. נשאלת השאלה אם ניתן לתת אפיון דומה לפונקציונלים הליניאריים הרציפים על עבור כללי. יהי האקספוננט הצמוד ל-, כלומר המספר הממשי המקיים את השוויון (במקרה מסכימים ש-). תהי ונגדיר את ההעתקה הבאה:
לכל .
מאי-שוויון הלדר נובע שהאינטגרנד שייך ל- ולכן העתקה זו היא מוגדרת היטב. יתרה מזאת, קל לבדוק שהיא מגדירה פונקציונל ליניארי רציף . אם מרחב המידה הוא "סביר" במובן מסוים ו-, משפט ההצגה של ריס אומר שכל פונקציונל ליניארי רציף על הוא מצורה זו.
משפט: יהי ונניח ש- הוא מרחב מידה סיגמא-סופי. אז ההעתקה