Professional Documents
Culture Documents
.1מבוא
הוכחה .ראשית נוכיח ל A, B -שהם איחודים סופיים זרים של תיבות קואורדינאטות מיושרות.
, x ,
1 שצורתה , xn : i xi ai , bi n
(הערה :תיבת קואורדינאטות מיושרת היא קבוצה
n
). ונפחה b a
i 1
i i
ההוכחה תהיה באינדוקציה על מספר התיבות הכולל ( kמספר התיבות ב + A -מספר התיבות ב.) B -
עפ"י אי-שוויון הממוצעים ( , GM AMכלומר ממוצע הנדסי קטן מהממוצע האריתמטי או שווה לו):
1/ n 1/ n
n
ai n
b 1 n ai 1 n b
i 1 ai bi
i
i 1 ai bi
i 1
n i 1 ai bi n i 1 ai bi
כנדרש.
צעד האינדוקציה :נניח ש A, B -הם איחודים זרים של בסה"כ kתיבות קואורדינאטות מיושרות.
) H שמפריד x ,
נבחר על-מישור קואורדינאטה ( Hכלומר ,קבוצה מהצורה , xn : xi const
1
בין 1תיבות ב , A -לפחות( .מכיוון שהתיבות המרכיבות את Aזרות ומיושרות לקואורדינאטות ,בהכרח
יש 1תיבות כאלה עם לפחות קואורדינאטה אחת שניתן להעביר בה על-מישור שיפריד ביניהן).
:נגדיר
H : xi c
A : xi c A
A : xi c A
. A - היא לכל היותר אחת פחות מכמות התיבות בA - ובA -אז כמות התיבות ב
: עד המצב בו תחת ההגדרהB נזיז את,כעת
B : xi c B
B : xi c B
:יתקיים
vol B vol A
:
vol B vol A
ולכן על זוגות אלה ניתןB - וA וכנ"ל לגבי, k 1 הוא לכל היותרB - ובA -מספר התיבות הכולל ב
: לכן.להחיל את הנחת האינדוקציה
vol A B
1/ n
vol1/ n A
B A B *
ואילו נקודותxi 2c מקיימותA B האיחוד האחרון הוא זר עד כדי שפה כי נקודות:הערה
: מכך שהאיחוד זר נובע.השוויון לעיל נכון- ולכן איA B - הוא מוכל ב. xi 2c מקיימותA B
vol A
n 1/ n
vol A vol B vol B
1/ n 1/ n n
1/ n 1/ n
vol A
1/ n
vol A vol B vol B
1/ n 1/ n n n
1/ n 1/ n
vol B
1/ n
1 vol A
1/ n 1/ n n
1 vol A 1 vol B vol A vol B
1/ n 1/ n
1/ n 1/ n
vol A B vol Ak Bk vol Ak
1/ n
vol Bk
1/ n n
vol A 1/ n
vol B
1/ n n
: מתקיים,בכל מקרה
voln A voln A n
vol A 1 vol B
1/ n 1/ n
vol A 1 vol B vol A vol B
1/ n 1/ n
1 1/ n
:כלומר
vol A 1 B
1/ n
vol A vol B
1 1/ n
vol A
1/ n
1 vol B
1/ n n
vol A 1/ n
vol B
1/ n n
). ההופך לשוויון מכיוון שהממוצע הוא של שני מספרים שווים,שוויון הממוצעים- הוא איAM=GM (
.מש"ל
: אז. t 0 יהי
vol A tB vol A
1/ n
t vol B
1/ n n
lim
vol A tB vol A
lim
vol A t vol B vol A
1/ n
1/ n n
t 0 t t 0 t
n
d
vol A t vol B
1/ n 1/ n
dt t 0
n vol A
1/ n
t vol B
1/ n n 1
vol B
1/ n
t 0
n 1
n vol A vol B
1
n n
n
, A נקבל את שטח הפנים של, B x :
xi 1
i
2
1 את דיסק היחידהB אם נבחר בתור,כעת
vol A tB vol A
. S B A lim
t 0 t
.2קמירות בסיסית
i 0לכל . i
הערה .קבוצה בלתי-תלויה אפינית ב n -מכילה לכל היותר n 1נקודות :בהינתן קבוצה בת"א ,נזיז כך
שאחת הנקודות תהיה הראשית .כעת השאר בת"ל ,כלומר יש לכל היותר nנקודות אחרות.
טענה .1.1קבוצה Aקמורה אם"ם לכל קבוצת נקודות , xi i 1 Aכל צירוף קמור שלהם נמצא ב. A -
k
הוכחה .כיוון אחד (ש A -קמורה) טריוויאלי (צירוף קמור של כל 1נקודות מוכל ב , A -עפ"י ההנחה).
הכיוון השני (אם Aסגורה לצירוף קמור של 1נקודות אז היא סגורה לצירוף קמור של k 2נקודות)
מוכח בעזרת טיעון אינדוקטיבי סטנדרטי k 1, 2 :ברור ,וצעד המעבר של האינדוקציה:
k 1 k 1
i
x
i 1
i i 1 x1 1 1
i 2 1 1
xi A
מש"ל.
קמירות נשמרת תחת חיתוך (אם A, Bקמורות אז A Bקמורות) כפי שנובע ישירות מההגדרה .לכן,
ניתן להגדיר:
, A הקמור ( )convex hullשל Aהיא n
הגדרה ( 1.2קמור .)convex hull ,בהינתן קבוצה כלשהי
. conv A הקבוצה הקמורה הקטנה ביותר המכילה את , AכלומרB :
A B
B is convex
zi x1 , , xk , y1 , , yk
k k
i 1
i k k 1 , , k , 1 1 , , 1 k
i 1
כלומר כל צירוף קמור של שני איברי Kנמצא ב . K -מש"ל.
מההערות לעיל רואים שבמשפחת הקבוצות הקמורות יש חיבור (בלי פעולה הופכית) וכפל בסקלר .כמו-
כן ,יש את כלל הצמצום :אם A, Bקמורות ו C -קומפקטית ,ו , A C B C -אז . A B
(הוכחתו לא טריוויאלית ,ונראה אותה מאוחר יותר).
k
P conv x jפוליטופ .אזי: טענה .1.2יהי
j 1
. xi conv x j
j i
xiהוא קודקוד של Pאם"ם .2
.1נסמן ב V P -את קבוצת הקודקודים של . Pאז . conv V P P
1122-22-13
נניח ש x -אינו קודקוד .אז conv x \ x לא קמורה ,ז"א ניתן לכתוב x a 1 b
k
i j j 1 i i
אבל , i 1 i 1ולכן ניתן להעביר אגף ולחלק במקדם של ( xiשיהיה שונה מאפס) ,ולקבל
. xi conv x j j i
, x jכנדרש .כלומר, j i
את xiכצירוף קמור של
. convx לכן ניתן להוריד אחד-אחד את כל איברי conv x j
k
x jשאינם קודקודים (והקמור j j 1 j i
לא משתנה) .התהליך סופי ,ובסופו יוותרו בקבוצה רק קודקודים .עפ"י הוכחת הסעיף הקודם,
, V P x j ולכן בסה"כ נקבל conv V P
k k
. P conv x jמש"ל.
j 1 j 1
עובדות לגבי פוליטופים .פוליטופים נשמרים (כלומר ,פוליטופ עובר לפוליטופ) תחת הפעולות:
העתקות לינאריות.
קמור (של איחוד שני פוליטופים).
חיתוך .נראה זאת אח"כ.
סכום מינקובסקי (באופן כללי.) conv A B conv A conv B ,
x0 ,כך שלכל נקודה בA - A היא -rסימפלקס אם"ם יש , xr A טענה .1.2קבוצה קמורה
n
r
,וקיבלנו תלות אפינית של ( xi אם ההצגות היו שונות) ,וזו סתירה.
i 0
i i xi 0
כיוון שני :נניח ש A -מקיימת את התנאי בטענה .אז ( A conv xi i 0עובדה זו שקולה לתנאי בטענה
r
ללא הנחת יחידות ההצגה) .נותר להוכיח ש xi -קבוצה בת"א ,ומכך ינבע ש A -היא -rסימפלקס.
. i i שלא כולם אפסים 0 , i xi 0 , נניח בשלילה שהקבוצה תלויה אפינית :יש
. j 1 ,אז: 0 ,ו, r 0 - בלי הגבלת הכלליות, j 0 ,
j r
i xi
i 0
x
i j 1
i i
j
i r
i j
i 0
xi
i j 1
xi : נקבל ,
i 0
אם נסמן i
,) x j 1 , x0 ,ובשני , xr אלה שני צירופים קמורים שונים (כי בצירוף הראשון משתתפים , x j
בסתירה ליחידות ההצגה הנתונה .מש"ל.
x1 ,תלויים אפינית .אז ניתן לחלק אותם ל 1-קבוצות זרות , xm n
משפט ( 1.12רדון .)Radonיהיו
כך שהקמורים שלהם נחתכים.
. x i i i שלא כולם אפסים 0 , i 0 , הוכחה .יש תלות אפינית ולכן קיימים
נסמן:
I i : i 0 J i : i 0 i i
iJ iI
. n
הערה .בפרט ,המשפט נכון עבור כל אוסף של n 2נקודות (או יותר) ב-
I J , I J 1,כך ש- הן תלויות אפינית ,וממשפט רדון ,קיימת חלוקה , m
x i שלא כולם אפס כך ש 0 - נניח בשלילה ש xi i 1 -תלויה אפינית :אז יש מקדמים
k
i i
i 1
k k
.x i i xi
i 1
מתקיים .אז לכל i 1
i ו 0 -
1122-22-19
k
. relint P
x :
i 0
i i i אזי 0; i 1 :
x0 ,שקולה לאי-תלות לינארית הוכחה .בלי הגבלת הכלליות , x0 0 ,ואז אי-תלות אפינית של , xk
, Span x1,כלומר נקודות אלה הן בסיס של , xk . x1 ,בלי הגבלת הכלליות, של , xk
k k
n
שבהן kהקואורדינטות הראשונות יכולות להיות בעלות ערך (הכוונה היא לקבוצת כל הנקודות ב-
כלשהו ,והשאר אפסים).
k
.F :
k
k
f ai xi a1 , נגדיר "העתקת קואורדינטות", ak :
i 1
ההעתקה Fרציפה והפיכה ברציפות (הומיאומורפיזם) (כי היא לינארית ,חח"ע ועל).
k
k
F P 1 , , k : i xi P 1 , , ak : i 0, i 1
i 1 i 1
relint P int k P F int Sk
1
k
Sk 1 , , k : i 0, i 1 :כאשר
i 1
ולכןint Sk 1, , k : i 0, i 1 : כי,וזה מה שרצינו
k
. מש"ל. F 1 int Sk x : i i i 0, i 1
i 1
.מש"ל
: אזי. קמורהA n
תהי.1.12 משפט
A x n
: y A : y, x A
int A x n
: y x, z x, y : x, z A
:לפני ההוכחה
. y, x relint A אזי. y relint A - וx A , קמורהA n
תהי.1.12 למה
n
. פורשת אתA , בלי הגבלת הכלליות.הוכחה
. y V - כך שn - פתוחה בV A ולכן ישy int A
. 0 1 כאשרz y 1 x נניח, z y, x תהי
. xk x , xk A ולכן יש סדרהx A
. z yk 1 xk , k ולכל, yk y אז מתקיים. yk 1
z 1 x :נסמן
k
. z int A :לכן
מש"ל (למה .)1.12
הוכחת משפט .1.12
A x n
( )2צ"ל: y A : y, x A :
מיידי .נוכיח : נתון . x Aנבחר ( x relint Aקיים כזה מטענה קודמת) ומהלמה,
נקבל . y, x A
int A x n
( )1צ"ל: y x, z x, y : x, z A :
. Span A
n n
,אז שני הצדדים ריקים .נניח ש- ראשית ,אם Aלא פורשת את
מיידי .נוכיח :
יהי x nהמקיים את התנאי .מטענה קודמת ,קיים . y int Aנשתמש בתנאי עבור
( . 2x yבלי הגבלת הכלליות ; 2x y x ,אחרת x yוסיימנו).
קיים x x, 2 x y כך ש . x, z A -בפרט , z A ,ומתקיים. x z, y :
1 1
). z x 1 y x z (הסברy z, y :
2 2
, z A A , y int Aולפי הלמה. x int A :
מש"ל.
1122-22-21
A קמורה .אזי A , relint Aקמורות. n
מסקנה .1.12תהי
הוכחה.
עבור relint Aזה נובע ישירות מהלמה האחרונה :אם x, x relint Aאז בפרט x Aולכן
x, x relint Aכרצוננו.
עבור , Aיהיו . x, x Aאז קיימים y, y Aכך ש. y, x A , y, x A -
תהי . 0 1מקמירות , y, x 1 y, x A , Aובפרט,
y 1 y, x 1 x A
לכן . x 1 x Aמש"ל.
הוכחה .ראשית ,אם A הכל מתקיים באופן טריוויאלי ,ולכן נניח . A
(א) ברור : .תהי . x relint Aמהטענה הקודמת A ,קמורה ,ולכן לפי טענה קודמת ,לכל
y xב AffineSpan A -קיימת . x, z A , z x, y
בפרט ,יהי ( y relint Aקיים כזה לפי טענה קודמת) .נפעיל את התנאי על ( 2x yבלי
הגבלת הכלליות ; 2x y x ,אחרת x y relint A ,וסיימנו) .נמצא z x, 2 x y כך
ש , x, z A -ובפרט . z Aכעת ; x z, y ,מהלמה. x relint A ,
(ב) ברור .ישר מהלמה :תהי , x Aונבחר . y relint Aמהלמה, x, y relint A ,
ולכן . x relint A
מש"ל.
הוכחה.
(א) נתון ש A -סגורה וחסומה .בפרט A ,מוכלת בכדור A B2 0, R ,כאשר Rגדול מספיק.
הכדור קמור; לכן conv A B2 0, R חסומה.
נוכיח סגירות :תהי . xk x , xk conv Aצ"ל. x conv A :
ממשפט ,Carathéodoryניתן לכתוב:
n 1 n 1
xk a j y j k k
a j 0, aj 1, y j A
k k k
n 1
( B2 x, מספיק להראות .) פשוט להראות ש B x , -
i 1
i 2 i
מש"ל.
תמיכה והפרדה
הערה .לא נוכיח זאת בקורס ,אבל גם הכיוון ההפוך נכון :אם Kסגורה ובעלת התכונה שלכל x Kיש
נקודה יחידה ב K -הקרובה ביותר ל , x -אז Kקמורה.
1122-22-23
y 1 PK x y 0 1
(קמירות) ולכןy K אז
y x y x, y x PK x x y PK x , PK x x y PK x
2
PK x 2 y PK x, PK x x 2 y PK x
2 2
. מש"ל. K H - הכי קרובה מ, ובפרט, PK x היאH - מy - הנקודה הכי קרובה ל. מהציור.הוכחה
PK y PK x, x PK x 0
PK x PK y, y PK y 0
לכן:
PK y PK x, x PK x PK y y 0
ע"י העברת אגף נקבל:
PK y PK x PK y PK x, PK y PK x
2
לכן . PK y PK x y x
לכן קבוע ליפשיץ הוא לכל היותר .2הוא לפחות 2כי עבור . PK y PK x y x , x, y Kמש"ל.
K קמורה וסגורה . x K ,אז קיים על-מישור תומך המכיל את . x n
משפט .1.12תהי
הוכחה .נמצא y Kכך ש. PK y x -
; x Kלכן קיימת סדרת נקודות . xk K , xk xמרציפות , PKמתקיים ( PK xk PK x xכי
Kסגורה ,לכן .) K K
נביט בקבוצה ( x B2 nספרה שמרכזה .) xכמעט לכל . xk x B2 n , kנבחר yk x B2 nכך
ש( xk PK xk , yk -כפי שמוצג באיור לעיל).
ממסקנה קודמת . PK yk PK xk ,שפת הכדור קומפקטית ,לכן יש תת-סדרה של yk המתכנסת
לנקודה בשפת הכדור . yk j y :אז . PK xk j PK yk j PK y PK x
אבל yהיא על שפת הכדור ולכן מצאנו . PK y x , y Kמש"ל.
המשפט לעיל הוא משפט הפרדה .המשפט להלן הוא משפט הפרדה חזק יותר.
משפט .1.12
A, B קמורות ,לא ריקות כך ש . relint A relint B -אז ניתן להפריד ביניהן ע"י
n
תהיינה
על-מישור.
הוכחה .מההנחה נקבל . 0 relint A relint B מתרגיל הבית (תרגיל ,1שאלה )23נקבל
. 0 relint A B אם 0 A Bאז 0 A B ואז נשתמש במשפט הקודם ,ואם 0 A B
נפריד ע"י ההטלה . PA B 0
ז"א מצאנו פונקציונל לינארי fכך שלכל . f x f 0 0 , x A Bכלומר ,לכל , a A, b B
; f a b 0מלינאריות . f a f b לכן fמפרידה בין Aל . B -מש"ל.
. x P יהי, אכן: g x c P v -נראה ש
m m
x j v j 0v j 0 1 0 ,i 0
j 1 j 1
g x 0c j g v j
g x 0c 1 0 c
. מש"ל. x v לכן, 0 1 אזg x c אם,לכן
m m j m
c f x f i vi i f vi c i c i
i 1 i 1 i 1 i j 1
m
לכן.)שליליים- (כי המקדמים איi j לכל i 0 כלומר,
i j 1
i 0 לכן
H
k k
]. P
j E
H j
j 1 j 1
עפ"י הטענה הקודמת ,יש מספר סופי של פאות ל . P -לכל פאה כזו , F ,נבחר על-מישור H Fכך ש-
. P נראה ש: P P - . P H F , F H F PנחתוךH F :
F
2011-11-17
הצגות אקסטרמליות
הערה .1.12
, exp K ext K .2כי אם המישור התומך הוא , H x : f x cאז נקודה חשופה x
היא היחידה המקיימת ( f x cוהאחרות ב K -מקיימות ,) f x cאז אם
c f x f y 1 z f y 1 f z
בהכרח . y z x
כיוון :1נניח ש . ext K -לפי משפט K conv ext K ,Minkowskiולכן פוליטופ .מש"ל.
הקבוצה הנ"ל פתוחה יחסית ,בתור חיתוך סופי של קבוצות פתוחות יחסית( .בדקו :חיתוך של 1קבוצות
פתוחות יחסית היא קבוצה פתוחה יחסית).
אבל x ext K ולכן לא יתכן שתהיה מוכלת בקבוצה פתוחה יחסית ב , K -אלא אם המימד הוא 1
(אחרת אפשר למצוא נקודה y xבקבוצה הפתוחה יחסית ,כך ש x, 2 x y -מוכל ב K -בסתירה
, dim AffineSpanומכאן Hj לאקסטרמליות של .) xלכן int H j 0
jJ jJ
מש"ל.
.3פונקציות קמורות
, 0 1 , x, y
n
היא קמורה אם ורק אם לכלf : n
, פונקציה.1.1 משפט
f x 1 y f x 1 f y
.הוכחה
. x, y
n
לכל x, f x , y, f y epi f בפרט גוררתepi f קמירות:2 כיוון
ולכן, x 1 y, f x 1 f y epi f ,בפרט
. f x 1 f y f x 1 y
. f x2 2 - וf x1 1 אז. x1 , 1 , x2 , 2 epi f תהיינה:1 כיוון
: אז. 0 1 יהי
f x1 1 x2 f x1 1 f x2 1 1 2
. קמורהf קמורה; לכןepi f כלומר, x1,1 1 x2 ,2 epi f ולכן
.מש"ל
.1.1 הערות
. קמורה f נקראת קעורה אםf .א
. כלשהםu, c , f x x, u c כלומר, אפיניתf גם קמורה וגם קעורה אם"םf
n
קמורה וגםf f x 1 y f x 1 f y אפיניתf x :הסבר
.קעורה
קמורה (לא בהכרחg x : sup f x אז, I קמורה לכלf אם:" sup "סגור תחת.ד
I
. epi sup f epi f : הסבר.)נאותה
I I
הערה .1.2
לפונקציה הומוגנית ( f x f x לכל ,) 0קמירות שקולה לתת-אדיטיביות:
f x y f x f y
ובפרט ,נורמות הן קמורות.
הערה .אם לפונקציה קמורה יש מינימום מקומי ב , x0 -אז הוא גם מינימום גלובאלי:
: y אם ב x0 , B x0 , -מינימלי ,אז לכל
n
x : 1 x0 y
x x0 y x0
f x0 f x 1 f x0 f y
ע"י העברת אגף וחילוק ב -נקבל . f x0 f y
אז:
f y f x f z f x f z f y
yx zx zy
הוכחה.
y x 1 z
f y f x f x 1 z f x f x 1 f z f x
yx 1 z x 1 z x
f z f x
zx
אי-השוויון השני מתקבל באופן דומה .מש"ל.
f : I קמורה ( Iקטע) ,ו I int I -סגור f ,היא ליפשיץ על . I מסקנה .1.2אם
הוכחה .נביט בשתי נקודות x, x Iמשמאל ל I -ובשתי נקודות y, y Iמימין ל , I -ואז אם
f x f x f y f y
c max ,
x x y y
אז לכל , z, z I
f x f x f z f z f y f y
x x z z y y
ולכן . f z f z c z zמש"ל.
. epi g : epi f , g המתקבלת ע"י לכל fקמורה ,קיימת gגדולה ביותר וסגורה כך שf -
(בתרגיל ,3שאלה 12מוכיחים שאפשר לעשות זאת).
לפעמים נסמן . g cl f , g f
H x : x, u c
נחלק את חצאי המרחבים H ל 3-אפשרויות לפי סימן הרכיב ה n 1 -של : u
u n1 0 ()I
u n1 0 ()II
u n1 0 ()III
epi fיש קרן אינסופית כלשהי בכיוון .) x0 y : y f x0 ( en 1לכן מקרה ( :)Iבכל מקרה ,על
מקרה ( )Iלא יתכן ,כי חצי מרחב כזה חותך את הקרן.
c P n u
. b ו x v x b - v ו- מקרה ( :)IIנגדיר
u n 1 u n 1
אז , epi x Hו x f x -
.
. H x, y n
: x, e מקרה ( u e, 0 :)IIIכאשר , e nו c -
הרעיון הוא למצוא חצאי מרחבים מסוג ( )IIהשואפים ל H -ואז לומר שאפשר להתעלם מחצי המרחב
שלנו בחיתוך.
בחיתוך.
; x, y אז epi a :כי נניח ש - epi a x, y n
מתקיים: x, e 0 :
a 0 a 0
מש"ל.
*
נאותה, סגורה, תמיד קמורהf אז. סגורה ונאותה, קמורהf : n
, תהי.משפט
f , סגורה כזוf בפרט על. f ** f *
** *
.f f :ומתקיים
Closure of f
.הוכחה
; היא אפינית ולכן קמורה וסגורהy x, y f x הפונקציה, x n
לכל: קמורה וסגורהf
*
*
. ולכן קמורה וסגורה, של פונקציות קמורות וסגורותsup היאf כלומר
אז.) נאותהf כי, (יש כזוf -מתחת ל x x, y c תהי: נאותהf *
f * y sup x, y f x sup x, y x, y c c
x n
x n
. נאותהf ; לכןf * y לכן
*
:f
**
f -נראה ש
:2 כיוון
n
y n
f ** z sup z , y f * y sup z , y sup x, y f x
y x n
sup infn z x, y f x sup z z , y f z f z
y n x y n
.f
**
f , סגורהf ** -ומשום ש
, ממשפט קודם:1 כיוון
f sup , y c : , y c f
; x, y f x c כלומר, f x x, y c , x n
לכל: משמעותו, y c f התנאי
:כלומר
f sup , y c : c f y sup , y f y f
*
y n
* **
**
.f f לכן
**
.) f f ( סיימנו,במקרה של פונקציה סגורה
f ** ; לכן f
** *
. וסיימנו, f f * ; לכןf f - נשתמש בכך ש,במקרה הכללי
.מש"ל
1122-22-11
רגולריות
.1.12 משפט
. קמורהf : n
, תהי
. int dom f - רציפה בf אז
. קומפקטיתA int dom f היא ליפשיץ בכלf ,יתר על כן
.הוכחה
. x P - כך שP conv xi i 1 int dom f אז קיים סימפלקס. x int dom f תהי
n 1
. f P C אז. C max
i 1, , n 1
f v נסמן
i
,מצד אחד
f x y f 1 x x y 1 f x f x y
f x y f x C f x 2C
,מצד שני
1
x y 1
1
f x f x y
1 1
1 1
f x y f x y f x y C
1 1 1 1
2 C f x C f x y f x
:ובסה"כ קיבלנו
f x y f x 2 C
, B x, בכדור: יתר על כן. x -וקיבלנו רציפות ב
f z f x 2C x z
כי (קיים כזהA B int dom f - כך ש 0 אז קיים. קומפקטיתA int dom f
n
2 תהי
.) חיובי, int dom f , לחוץ של הסביבה הפתוחה שלוA המרחק בין הקבוצה הקומפקטית
. C קומפקטית ולכןA B2n - רציפה וf . C sup f נגדיר
A B2n
C
.2 ליפשיץ עם קבועf , A ונקבל שעל כל, שבחרנו ,C נשחזר את הטיעון הקודם עם
.מש"ל
משפט ( 1.12גזירות במימד אחד).
תהי f : , קמורה .נתייחס לנקודות ב. int dom f -
קיימות הנגזרות החד-צדדיות f x , f x ומתקיים . f x f x ()i
f , f עולות ,ושוות זו לזו למעט מספר בן-מניה של נקודות. ()ii
f רציפה מימין ו f -רציפה משמאל f .היא האינטגרל הלא-מסויים שלהן: ()iii
x
f x f a f t dt
a
הערה.
( f )iiגזירה למעט מספר בן-מניה של נקודות.
( )iiiאם fגזירה ,היא גזירה ברציפות( .בנקודה בה fגזירה f ,רציפה).
הוכחה.
נבחר : w x y z int dom f
לכן בכל נקודת רציפות של f מתקיים , f x f x לכן הן שוות (ו f -גזירה) למעט מספר בן-
מניה של נקודות.
נוכיח את ( :)iiiנראה ש f -רציפה מימין:
lim f z f x
z x
f y f x f y f z
lim lim f z
yx zx yz z x
: ונקבלy x ניקח גבול
f x lim f z
z x
g x 1 y g x f t dt f x 1 y 1 y x
x
y
g y g x 1 y f t dt f x 1 y y x
x 1 y
1122-22-31
f x; u 1 v lim
f x t u 1 v f x
t 0 t
f x tu 1 x tv f x
lim
t 0 t
f x tu f x 1 f x tv f x
lim
t 0 t t
f x; u 1 f x; v
וכל הגבולות בכל מקרה קיימים לפי המסקנה הקודמת.
הערות (ללא הוכחה).
f
. ,דיפרנציאביליות קיום n
.2לפונקציות קמורות על
ei i 1, ,n
.1דיפרנציאביליות לאפיגרף של fיש על-מישור משיק יחיד בנקודה x, f x והוא נתון
y f x ע"יf x , y x :
.3פונקציה קמורה על nדיפרנציאבילית כמעט בכל מקום (כלומר למעט קבוצה ממידה אפס).
למעשה (משפט אלכסנדרוף) קיים – Hessian( Hess fנגזרת שניה ב ) n -כמעט בכל מקום.
(בסיכומים של שירי יש הוכחה לזה עבור ). n 1
.תזכורת
f 2
Hess f 2 f x : .2
x x
i j ij11 n
n
.הוכחה
: כיוון שני. קמורה) טריוויאליf כיוון אחד (אם.2
: ; נשתמש במשפט הערך הממוצעx x 1 y y נבחר
f x 1 y f x
f c1 c1 x, x 1 y
x 1 y x
f y f x 1 y
f c2 c2 x 1 y, y
y x 1 y
. קמורהf - נפשט ונקבל ש,שוויון את הביטויים- ; נציב באיf c1 f c2 לכן, c1 c2
:b a
f x , y x f x f y
f x t y x f x
lim f x f y
t 0 t
1 t f x tf y f x f x f y 0
lim
t 0
t
:c b
f y f x f x , y x
f x f y f y , x y
0 f x f y , y x
:a c
g t g s 0 - מספיק להראות ש, קמורה; כלומרg t f x ty -מספיק להראות ש
. t s כאשר
g t g s f x ty , y f x sy , y
f x ty f x sy ,
x ty x sy
ts
1
f v1 f v2 , v1 v2 0
ts c
v1 x ty ;v2 x sy
0
גרדיאנטים-דיפרנציאלים ותת-סאב
.הערה
והוא, x, f x - בepi f -מישור משיק ל- כי יש על, f x אזx int dom f אם
. x int dom f ) כיy L x1 , , xn ( גרף של פונקציה לינארית
קומפקטית (אחרת היא, קבוצה קמורה (ישירות מההגדרה) וסגורה; למעשהf x ,כן-כמו
.)...ים- u והתנאי לא יכול להתקיים לקרן שלמה שלx int dom f אבל,תכיל קרן
.טענה
: אז. x dom f , f : n
, תהי
. x, f x בנקודהepi f נורמל חיצוני של u, 1 u f x
. epi f x, f x u, 1
,כלומר
.הוכחה
מתקיים y, t epi f לכל epi f x, f x u, 1
y x, t f x , u, 1 0
y x, u t f x 0
מתקייםy לכל
y x, u f y f x 0
u f x
.מש"ל
f * y sup z, y f x y, z x
z
y, x f x f * y
.וקיבלנו שוויון
.f *
y sup z, x f z x, y f x ז"א. נניח שיש שוויון,מצד שני
. y f x - ו, f z f x z x, y לכן. z, y f z x, y f x , z לכל,כלומר
* , f * y f x fולכן התנאי ; fלכן x f y
* * **
לסיום ,מכיוון ש f -סגורה f ,
f * y f x x, yעל fשקול לאותו תנאי על . fמש"ל.
*
פונקציית התומך
משפט .1.12
K , T קמורות ,לא ריקות.
n
יהיו
hKקמורה ,סגורה ,הומוגנית חיובית. .2
. K x : u, x, u hK u , hK hK .1
hKשומרת סדר :אם K Tאז , hK hTואם hK hTאז . K T .3
hKסופית אם"ם Kחסומה. .1
.1לינארית חיובית h K T hK hT :כאשר . , 0
, hconv Ki sup hKiו. h Ki conv inf hKi - .3
K ( K* hKהאינדיקטור של .) K K C , K K 0 : K .7
הוכחה.
.2טריוויאלי מההגדרות.
.1החלק הראשון ברור. hK u sup x, u sup x, u hK u :
xK xK
.1
h K T u sup x, u sup y z , u
x K T yK
x y z zT
sup sup y, u z , u
yK zT
sup y, u sup z , u hK u hT u
yK yT
2011-12-01
.מש"ל
.1.12 משפט
סגורה קמורהK סגורה וקמורה קיימת,חיובית- הומוגנית, נאותהh : n
, לכל פונקציה
. h hK -יחידה כך ש
.הוכחה
: h - נביט ב. a 0 יהי. h h ,מהתנאים
* **
a sup x, u h x ah* u
x n
לכן ,לכל . h* u 0, , u
נגדיר . K u : h* u 0 :אז Kקמורה וסגורה ומתקיים ; h* K :לכן . h h** K* hK
מש"ל.
הערות.
.2אם K xאז - hK u x, uפונקציונל לינארי.
- hK x0 hK hx hK , x0הזזה מוסיפה פונקציונל לינארי. .1
0
hK u hK u K K .3
. 0 K hK 0 .1בפרט ,לכל hKאפשר להוסיף פונקציונל לינארי לקבלת פונקציה חיובית
(שקול להזזת Kכך ש K -תכיל את .) 0
הסבר :אם 0 Kאז , hK u sup x, u 0, u 0ואם hK 0אז
xK
, K x : x, u hK u uובפרט x 0מקיים את זה.
הגדרה.
n 1
,uS תהי K nקמורה ,סגורה ולא ריקה .לכל כיוון
H u : x n
: x, u hK u
K u : H u K x K : x, u hK u
H u הוא על-מישור.
כאשר , K u אז H u על-מישור תומך ו K u -קבוצה תומכת.
1
. K x, y 2
כרגיל ,יש מקרים בהם . K u למשל אפשר להסתכל על : x 0, y
x
. hK max xi ,
i 1 m
.מש"ל
.הוכחה
... קמורה, היא הומוגניתz כפונקציה שלf x; z -ראינו ש
. K x f x צ"ל. f x, z hK x z -מכך נסיק ש
). f x tz f x v, tz ; אזv f x נניח: קל :(הערה
. f hK נפעיל את המשפט עבור
).(הוכחה מפורטת – בשיעור הבא
1122-21-17
.u 0 ,u n
- גוף קמור וK n
יהי.טענה
. hK u; z hK u z ) ובפרט (מהטענה הקודמת, hK u K u :אזי
K u x K : x, u hK u :תזכורת
אז.) (נקודה בודדתK u x u - דיפרנציאבילית וhK כאשר: מקרה פרטי.הערה
. Dx u u x u hK u : נגזור ונקבל. hK u x u , u
0
הוכחה .יהי . v K u כלומר v K ,וגם . v, u hK u
צ"לhK u w hK u v, w :
( hK u w v, u w נסמן .) y u wזה כמובן נכון כי . v K
כיוון שני :יהי , v hK u ז"א ידוע לכל . wנציב w uונקבל 0 hK u u, vז"א
. u, v hK u נציב w uונקבל hK 2u hK u u, vכלומר . hK u u, vז"א
. hK u u, vכדי להראות v Kמספיק להראות שלכל ; v, y hK y , yונתון
hK y hK u v, y u
v, yכרצוננו .מש"ל.
מסקנה hK u .הוא נקודה ( hKדיפרנציאבילית) אם"ם K u נקודה .בפרט hK ,דיפרנציאבילית על
אם"ם Kלא מכילה אף קטע .גופים כאלה נקראים .strictly convex n
כל \ 0
מבוא.
vol K tB2nפולינום ב( t 0 -נראה שזה פולינום).
m
. 1 , vol i Ki פולינום ב, m -
i 1
המקדמים של הפולינומים האלה ייקראו נפחים מעורבים והם יתקשרו לנפחים ולשטחי הפנים של הגופים,
שגם הם יוגדרו בהמשך.
n n
. קבוצת הגופים הקמורים ב- תזכורת -
H K , T max max min x y , max min x y
xT yK xK yT
. K ,T
n
למה .יהיו
. H K , T inf : K T B2n , T K B2n ()2
הוכחה.
( )2מיידי מההגדרה.
(K T B2n hK u hT u u )1
hK u hT u לכל u S n1
hK u hT u לכל u S n1
באותו אופן hT u hK u T K B2n ,לכל u S n1ולכן משני הדברים יחד,
hK hT H K , T לכל . u S n1מש"ל.
הוכחה.
ההוכחה היא בשיטת האלכסון .נבנה:
K1 , K 2 , K 3 ,
1
K11 , K12 , K13 , 2
K 21 , K 22 , K 23 ,1
22
1
נכסה את RB2nע"י כדורים מרדיוס . i1יש מספר סופי N iשל כדורים שצריך.
2
כל Kחותך תת סדרה כל . 1, , N יש תת"ס של
Ki 1, jשכולם בה חותכים בדיוק את i i 1, j
j 1
אותם כדורים מתוך . 1, , N זוהי התת"ס הבאה . K לכל שני איברים
, Ki , j , Ki , j i, j i
j 1
. H Ki , j , Ki , j
1
2i
. H K n j , K nm 2
1
min j , m
נגדיר . K n j K j , jמהבניה מתקיים
. K n j מש"ל.
1 n
2 j 1
. K0 לכן החל מ j -מסוייםB2 G , n
אבל \ int K0 B2n
משפט .2.2
יהי K nו. 0 -
( )2קיים פוליטופ K Pכך ש. H K , P -
( )1קיים פוליטופ K Pכך ש. H K , P -
( )3אם 0 relint Kאז קיים פוליטופ P relint Kו. K relint 1 P -
הוכחה.
שמרכזיהם ב K ( K -קומפקטית.)... ( )2נכסה את Kע"י מספר סופי של כדורים ברדיוס
נסמנם . xi B2nניקח את . P conv xi
i 1 M
.
H
K, P ברור ש P K -ו ; K P B2n -ולכן K P B ,ובפרט
n
2
( )1נביט בקבוצה . K B2nנכסה אותה ע"י חצאי מרחבים פתוחים שהם המשלימים של חצאי
מרחבים תומכים בנקודות ( x Kמספר סופי)( .נשים לב שאוסף כל המשלימים של חצאי
מרחבים תומכים ל K -מכסה את K B2nואז בוחרים תת כיסוי סופי מקומפקטיות).
M
P K B2n , P נביט בחצאי מרחבים התומכים המתאימיםH i , i 1 M , H i ,
i 1
P פוליטופ. n
הגדרה .יהי
אם , n 1אז Pהוא קטע , a, b ונגדיר:
vol1 P b a
S1 P 2
אם : n 1
1
hP u voln 1 P u dim P n
voln P n uS n1
dim P n 1
0
Sn P voln 1 P u
uS n1
הערה על הסכומים :יש מספר סופי של u S n1שבהם voln1 P u 0ולכן הסכומים תמיד
מוגדרים היטב.
1122-21-12
vol K B2nפולינום ב? - למה
2
: דוגמה ב-
דוגמה ב : 3 -קצת יותר קשה לצייר אז ויתרתי; הדוגמה הסתמכה על פירוק דומה של קובייה תלת-
מימדית פלוס כדור לרכיבים פשוטים וסכימת הנפחים .כאן S ,הוא שטח הפנים של הקוביה ו R -הוא
אורך חד-מימדי הקשור ל"-רבעי הגלילים" שנוצרים בקצוות של הקובייה.
הגדרה.
יהי P nפוליטופ .נסמן ב N P -את אוסף כל הנורמלים החיצוניים מאורך 2של פאות - n 1
מימדיות של . P
אם , n 1אז Pהוא קטע , a, b ונגדיר:
vol1 P b a
S1 P 2
: n 1 אם
1
hP u voln 1 P u dim P n
voln P n uN P
dim P n 1
0
Sn P voln 1 P u
uN P
.2.2 משפט
: מקיימיםS n - וvol n , בפרט. P הוא מידת לבג הרגילה שלvol n P . n
- פוליטופ בP יהי
שיקופים וסיבובים, אינווריאנטים להזזות-
0 , voln P n voln P -
0 , Sn P n1Sn P -
dim P n 1 אם"םvoln P 0 -
Sn P Sn Q וגםvoln P voln Q פוליטופיםP Q -
m m
voln P hP ui voln 1 Pi Lebesgue conv 0 Pi Lebesgue P
1
i 1 n i 1
אנחנו כבר יודעים שעבור y0 int Pו t -קטן מאוד. voln P y0 tx0 vol n P y0 ,
j 2
(הסבר :נטיל הכל ל voln1 P1 ; u1 -לא משתנה voln1 Pj .לא גדל (מוכפל ב .) cos u j , u1 -וP1 -
). P2 , מכוסה ע"י ההטלות של , Pm
באופן איטרטיבי" ,נהפוך" את Qל P -ע"י חיתוך עם חצאי מרחבים תומכים של ... P
Q1 Q H1
Q2 Q1 H 2
בכל שלב ,שטח הפנים לא גדל עפ"י אי-שוויון המשולש המוכלל המוסבר לעיל .מש"ל.
1122-21-21
ומשקולות , wi 0קיים פוליטופ Pכך ש N P ui i 1 -ו wi voln1 P ui -אם ורק אם
m
( .בהינתן פוליטופ ,הטענה פשוטה ונובעת ממה שעשינו בשיעור הקודם). u w 0
i i
voln 1 P0
1 1
sup voln P voln P0 inf voln P
1 1
n n PK
P K
ולכן . inf voln P sup voln P לפי טיעון זהה. sup Sn P inf Sn P ,
P K PK PK P K
העובדה שהביטוי inf voln P sup voln P מזדהה עם מידת לבג של Kנובעת (למשל)
PK P K
שאר הטענות במשפט (פרט לאחרונה) נובעות מיידית מכך שהטענות הדומות מתקיימות על פוליטופים,
Kרציפה לפי מרחק האוסדורף. ומהטענות שהוכחנו .נותר להוכיח שvoln K -
תהי , Ki Kז"א לכל r 0קיים i0כך שלכל , i i0
Ki K rB2n
K Ki rB2
n
voln Ki voln K voln 1 P voln P 1 1 vol P
n
1 1 vol K
n
0
0
ולכן . voln Ki voln K
n 1
, P נבחר. K ,) בה"כ (ע"י הזזה והעתקה אורתוגונלית. dim K n 1 :מקרה שני
. Ki K B2n P , אז, H K , Ki אז אם. P K B2n1
. voln Ki vol n P 2 0 vol n K ,כעת
.מש"ל
.אינטואיציה
: אז. voln P hP u voln1 P u -ידוע ש
uN P
voln1 sP1 tP2 u - נראה ש, ובאינדוקציה sP1 tP2 u sP1 u tP2 u -אנו נראה ש
. s, t - בn פולינום הומוגני ממעלהvoln sP1 tP2 ולכןs, t - בn 1 פולינום הומוגני ממעלה
.mixed volumes- והם יהיו ה,למקדמי הפולינום יש משמעויות גיאומטריות
: אזי. v, u S
n 1
יהיו. i 1 m , i 0 , פוליטופיםPi n
יהיו.2.11 למה
m
m
P u P u
i 1
i i
i 1
i i )2(
m
m
. כלומר המקדמים לא משפיעים על המימד, dim
i 1
i Pi u dim Pi u )1(
i 1
m
m
m
m
m
Pi v Pi u Pi u Pi v אז Pi v Pi u ) אם3(
i 1 i 1 i 1 i 1 i 1
.הוכחה
i Pi u
.h z h P u; z ,) עפ"י טענה שהראינו2(
ii
h P u; z
ii h u; z h u; z h z h
i Pi i Pi i Pi u i Pi u z
P u P v יהי
m
. xi Pi , x x
i 1
i ולכןx P i , בפרט. x i i )3(
x, v h P v
i
x, u h P u
i
:לכן
m m
i 1
xi , v hPi v
i 1
m m
i 1
xi , u hPi u
i 1
m
. מש"ל." והכל "אם ורק אם. x P u P v כלומר, x P u P v לכן
i 1
i i i i i
. K u K v - נניח ש. u, v S
n 1
,K n
יהי.2.11 למה
K v
K u
, , 0 , w u v אזי לכל
K u w K u K v
אז. x K u K v יהי:נשים לב ש
. hK u w x, w x, u x, v hK u hK v
,מימדיות- n 1 פאותP u , P v , פוליטופP : במקרה הפרטי שרלוונטי לנו.הערה
אזv - לu הזווית בין - וu - בK u הנורמל לפאהw אם.מימדית- n 2 פאהP u P v
1 1
hK u w hK u hK v
sin tan
.הוכחה של הלמה
. z K u K v - נניח ש.כיוון ראשון
hK u z , u hK u u
hK u u z , u
. hK v z, v - יודעים גם ש. hK u u z, u , לכן לכל
. z, w hK u w :צ"ל
z, w z, u z, v hK u u hK v
K u K ; 0
hK u u hK u v hK u u hK u v
Triangle
hK u u v hK u w w, z
. z K u w ולכןw, z hK u w ובפרט, הם - כל ה,לכן
. z K v ; צ"לz K u - ברור ש. z K u w נניח.כיוון שני
. x K u w - נובע ש, מהכיוון הראשון. שהנחנו שאינו ריק, x K u K w נבחר איזשהו
. z, u x, u hK u - וz, w x, w hK w ז"א
w u
. z K v לכן. x, v z, v hK v ולכן גםu, w צירוף לינארי שלv אבל
.מש"ל
1122-21-21
: n 2 כאשר
V
n
P1 , , Pn :
1
n
hP1 u V
n 1
P u ,
2 , Pn u
n
uN Pi
i 2
.V
n
P1 , , Pn 0 נגדיר,אם אחת הקבוצות ריקה
.הערות
- ולכן נשתמש ב, u - ב, עד כדי הזזות, מוכליםP2 u , , Pn u .א
n 1 n 1
u עלV
.עליהן
n
n
שמוכלים, P
i2
i מימדיות של- n 1 ז"א כיוונים של פאות, u N
P אנחנו סוכמים על
i 2
i .ב
n
. למשל
P מימדיות של- n 1 בכיוונים של פאות
i 1
i
n
n n
הוא i
P
i 2
u - ש יודעים אם , בפרט . i 1 Pi u -(אתמול ראינו ש
P
i 1
u P u
i 2
n
).מימדי- n 1 הוא Pi u אז גם,מימדי- n 1
i 1
. זה לא ברור מההגדרה. P1 , , Pn - סימטרי בV P1 , , Pn - נראה בקרוב ש.ג
n
.V
n
P, , P voln P - קל לראות באינדוקציה ש.ד
n 1
ה .נדמיין ש B2 -פוליטופ .אם נציב אותו נקבל B2 , P, , P S n P :
n n
.V
n 1 times
n
משפט .2.12
. 1 ,אזי: P1 ,פוליטופים ,ומקדמים חיוביים , m 0 , Pm n
יהיו n, mו-
m
i V n Pi ,
m
voln i Pi i1 i2 , Pin
i 1 i1 , ,in 1
n 1
Pi1 ,ומתאפס כאשר , V n Pi1 ,אינווריאנטי להזזות ,סימטרי ב, Pin -
יתר על כן, Pin 0 :
n
. dim P
j 1
ij n
n
:) V מקרה פרטי כאשר ( m 2תוך שימוש בתכונת הסימטריות של
n
n n
voln sP1 tP2 s t j n j
V P1 , , P1 , P2 , , P2
j 0 j
j n j
n 1
Vאינווריאנטי להזזות. אפשר יהיה לעשות זאת תחת הנחת האינדוקציה ,לפיה
V
n
P1 , , Pn
1
n
hP1 u V
n 1
P u ,
2 , Pn u
n
uN Pi
i 2
n n n
. אם dim Pi dim Pi n 1אז יש כיוון uכך ש Pi x0 u -
i 2 i 2 i 1
n
,אם יש כאלה ,הן בכיוונים ( . u, uבכל כיוון אחר נקבל פאה של P
i2
i לכן ,פאות - n 1מימדיות של
פוליטופ המוכל במרחב ה- n 1 -מימדי x0 uולכן מימדה יהיה לכל היותר ). n 2
: ומקבליםu, u הם בכיוונים, אם יש פאות. 0 ומקבלים, סוכמים על,אם אין פאות
. 0 לכן בסכום יש שני מחוברים שסכומם, hP1 u hP1 u ; Pj u Pj u
:פולינומיאליות
m
1 m
voln Pi h m u voln 1 i Pi u
i 1 n m i Pi i 1
uN i Pi i1
i 1 Induction...
m
1
n
h u
m i1 1
i Pi1
uN Pi
i 1
1122-21-12
למעט יותר פירוט אפשר להסתכל בסיכום שיעור, הדקות הראשונות אז כתבתי בקצרה11-[לא הייתי ב
]" של עדי גלוקסם2.2"
.משפט
m m n
vol i Pi i j V n Pi1 , , Pin
i 1 i1 , ,in 1 j 1
מתאפסת כאשר, סימטרית בפוליטופים, אינווריאנטית להזזות,שלילית- איV
n
Q1 , , Qn
n
. n dim
Q
i 1
i
V P u ,
m m n
1
n
m i1 1
i hP u
1 i1
i2 , ,in 1 j 2
ij
n 1
2 , Pin u
uN Pi
i 1
P u ,
m n
1
i1 ,i2 , ,in 1 j 1
ij
n
n
hPi V
n 1
i2 , Pin u
uN Pi j
j 2
V Pi1 , , Pin
n
n
.P P
i 1
i נסמן. V
n
P1, P2 , P3 , , Pn V
n
P2 , P1, P3 , , Pn נראה
. אחרת שני הצדדים מתאפסים, dim P n בה"כ
V
n
P1 , P2 , P3 , , Pn
1
n uN P
hP1 u
1
n 1
hP2 w V
n 2
P u w
3
n
wN Pi u
i3
n
) w N P \ N
P ( " כי כל "תוספתw N P בסכום הפנימי האחרון אפשר גם לסכום על כל
i 3
i
v u
.w . הזווית ביניהם כאשרv cos u sin w :אפשר לרשום
sin tan
1 1
hP2 u w hP2 u v h u :בנוסף עפ"י למה שהראינו
sin tan P2 u
:המשך החישוב
1 P3 u P3 v , , hP1 u hP2 v hP1 u hP2 u
n n 1 uN P
V n 2
P u P v
sin
tan
vN P
P u P v
n n
v u
u, v המחובר הראשון סימטרי כי התנאי על, במקדם הסופי: P1 , P2 הביטוי הזה סימטרי בהחלפת
. hP1 u hP2 u hP2 u hP1 u בסכום) והמחובר השני סימטרי כיu, v סימטרי (אפשר להחליף בין
m m
vol i Pi vol i Pi xi צ"ל:אינווריאנטיות להזזות
i 1 i 1
וגםV
n
P1 , , Pn הוא1 n והמקדם שלn שני האגפים הם פולינומים הומוגניים ממעלה
. ולכן שווים מיחידות כתיבת פולינוםV
n
P1 x1 , , Pn xn
.מש"ל
3V P1 , P3 , P3 3V P1 , P1 , P3
3 3
(. V 0 )2
n
.V
n
K , K2 , , Kn V
n
L, K2 , ( )9מונוטוניות בכל ארגומנט :אם K Lאז , K n
הוכחה.
קיום הגבול :מהנוסחה הפולארית לפוליטופים .רציפות/הגדרת נפח כנ"ל – אי-תלות בבחירת הסדרה.
כנ"ל הנוסחה הפולארית לגופים.
גם הנוסחה השניה נכונה משיקולי רציפות.
באופן דומה מרציפות נובעים מיידית ( ,)2( ,)7( ,)1( ,)3( ,)2מהנוסחה לנפח מקבלים את (.)3
( )1לפוליטופים:
1
V
n
P1 ,
n
, Pn
hP1 u V
n 1
V
n
B , P,
n
2 , P lim V
n
Pm , P, , P
voln 1 P u Sn P
1 1
n uN P n
עבור Kכללי ,נקרב אותו מבפנים ע"י פוליטופים .נקבל:
Sn K Sn K
V n B2n , K , ,K
n n
ומכאן נובעת הטענה .בפרט S n ,רציף.
מש"ל.
1122-21-11
נוסחת שטיינר:
n
voln K B2n W j K j
n
j 0 j
W j K : V n
K, , K , B , n
,B
n
Wj K 0
n
. הגדרה - G n ,k .אוסף תת-מרחבים לינאריים - kמימדיים של
קיימת מידה יחידה ,מנורמלת ,אינווריאנטית לסיבובים ,על ( G n ,kמשפט .)Haarנסמנה . n ,k
מקרה פרטי : k n 1 , k 1 :בוחרים וקטור אחד על הספירה ,לפי מידת לבג מנורמלת שתסומן :
1
d u
Sn B2n Sn1
du
S n1
Sn K
). עוד סימון ; n voln B2n :אז ( Sn B2n n nלמשל כי W1 K
n
n /2
n הערה :רואים בחדו"א :3
n
1
2
4 2
1 2, 2 , 3 , 4 ,
3 2
1 2 e
n /2
). Sn K
1
n1 S n1
(כתיבה שקולהvol n1 Pu K du :
m
1
voln 1 Pu P d u voln1 Fi n1 ni , u d u
2 i 1
S n1 S
Not dependent on ni
We'll denote this: 2d n
m
d n voln 1 Fi d n Sn P
i 1
1
כאשר ,למשלu1 d u :
2 Sn1
dn
n1
n1 d n n n d n
n n
מש"ל (נוסחת .)Cauchy
1
. d n לדוגמה ,זה אומר שהממוצע על הספירה ע"י קירוב אסימפטוטי בעזרת ,Stirlingמקבלים:
n
1 1
. u1 ,כלומר בנקודה מקרית, של הקואורדינטה הראשונה הוא בקירוב
n n
תופעת ריכוז המידה :לכל מעגל גדול u, n 0על הספירה" ,רוב" המידה על הספירה מרוכזת לידו.
הוכחה.
מש"ל.
1122-21-12
שבהן נוסף כדור עם רדיוס אחר – בשכבה במרחק , tהרדיוס הוא 2 t 2 n
מקבילות ל n1 -ב-
(גיאומטריה פשוטה) .אז אפשר לעשות :Fubini
n
W j K voln K B2 voln 1 K t B2 dt
n
j 0
j
j n 2 2 n 1
n 1
n 1
w j K t dt
2 2 j /2
j 0
j
n 1 n 1
w j K t dt
2 2 j /2
j 0 j
n 1 n 1
j 1 j 1
wj K
j 0 j j
). באופן דומהFubini עפ"י פיתוח נפח של כדור אוקלידי עפ"י- "(המעבר האחרון – "חישוב האינטגרל
כי השוויון לעיל הוא שוויון פולינומים ולכן, w j K לביןW j K מכאן אפשר לראות את הקשר בין
:מקדם-אפשר להשוות מקדם
n j n 1
W j K w K
j j 1 j 1 j 1
n j
Wj K w K
j j 1 j 1
d u
n n n 1 n 1 j
n 1 S n1 j 0 j
w j Pu K d u
:לכן
n n 1
n 1
Sn K B2n n
w j Pu K d u j
n 1 j
j 0 n1
אפשר להתייחס לגוף. - וגם ב - הוא פולינום גם בvoln K B2n B2n ,שנית
: K B2n B2n - או כK B2n - כK B2 B2
n n
n
voln K B2n B2n W j K B2n j
n
j 0 j
n
voln K B2n B2n W j K
n
j
j 0 j
n
n j
j
W j K j m m
j 0 j m0 m
j 1 j
1
First formula coefficient of
Second formula coefficient of 1
: Sn K B2n מצאנו שתי הצגות שונות של הפולינום
n
n n n n 1
n
j W K j j 1
w j 1 Pu K d u j 1
j 1 j n 1 j 1
j 1 n1
: בשני האגפים j 1 נשווה את המקדם של
n n n n 1
W j K j
n 1 j 1
w j 1 Pu K d u
j n1
n
Wj K
n 1 n1
w j 1 Pu K d u
.מש"ל
:נציב ונקבל
n n 1
Wj K
n 1 n j u
n1
voln j P P K
F u d u , n j F d u
By uniqueness
F G of Haar measure...
u ,n j PF K because F u
n
voln j PF K d n ,n j F
n j F G n ,n j
אפשר לראות שהרוחב בכיוון uהוא , hK u hK u ולכן הרוחב הממוצע (כפי שהוגדר בתרגיל )1
w K וברור שהוא שווה ל , 2M K -מסימטריות הוא h u h u d u
n1
. K K
n1
1
.M
K משפט .יהי Kגוף קמור .אזיWn1 K :
n
. Wn 1 K V K , B2n , הסבר ראשון (אינטואיטיבי), B2n .
n
n 1
נקרב את B2ע"י סדרת פוליטופים : Pm
n
כאשר mהיא מידה אטומית (כלומר ,כל המידה מרוכזת במספר סופי של נקודות – נקודות .) N Pm
אז המידות mמקרבות את המידה , ולכן בגבול : m
1
hK u d u
n n1
כפי שרצינו.
הסבר שני (הוכחה מדוייקת) .נשתמש בנוסחת קובוטה ל: j n 1-
n n
Wn 1 K
2 n1
vol1 P u K d u
2 h u h u d u
n1
K K
n hK u d u n M K
n1
.מש"ל
.)הסבר שלישי (אינטואיטיבי
vol L K vol L
n V K , L, , L lim
n
0
n 1
. vol L K בפירוק של כי צד שמאל הוא המקדם של
. מקבלים שטח פנים = הנגזרת של נפח ביחס להוספת כדור אוקלידי קטןK B2 כאשר לוקחים
n
:לכן
vol RB K vol RB
n
2
n
2 hK u R du n 1
n1
1 1
Wn 1 K hK du hK d u n n n M u
n n1 n n1
אז, K , L n
אם.)Minkowski שוויון-משפט (אי
n 1
V n K , , K , L vol K vol L
1/ n
n
vol K tL vol K
1/ n
t vol L
1/ n n
n
n
vol K tL V n K n j , L j t j
j 0 j
) מקייםt 0 - (נגזרת בt 1 לכן המקדם של.) t 0 הגורם החופשי זהה בשני הפולינומים (שוויון כאשר
: נקבל.שוויון-את האי
n 1
n V n K n 1 , L n vol K vol L
1/ n
n
j 0 j
1
1 1 d
f 0 n
n 0
d 0
1
1
vol K n n vol K nV K , , K , L vol L
1
vol K
1/ n 1/ n
n
...אחרי צמצומים אלגבריים פשוטים
n 1
V K, , K , L vol L vol K
1/ n
n
1122-21-19
n
בנפח נתון ,לכדור האוקלידי שטח פנים קטן ביותר. מסקנה (אי-שוויון איזופרימטרי) .מכל הגופים ב-
n
מנפח נתון ,לכדור האוקלידי רוחב ממוצע קטן ביותר. מסקנה שנייה .מכל הגופים הקמורים ב-
הוכחה .מאי-שוויון מינקובסקי,
M K
vol K
1/ n
M K n
M B2 n
האי-שוויון האחרון נקרא אי-שוויון .Urysohn
הערה .יש אי-שוויון "הפוך" לאוריסון .לצורך ההערה נניח 0 int Kונסמן:
x x K
: inf r 0 : x rK
(זו נורמה אם הגוף סימטרי ).אז , K x : x 1ו-
vol K 1K x dx 1 ru r
K
n 1
dr du 1 ru r
K
n 1
n n drd u
n n1 0 Lebesgue n1 0
1
u 1
rn
r u
nr n 1drd u n d u n d u
n
n
n1 0
n1
r 0 n1
u
קיבלנו:
vol K
d u
n
n
n1
u
סימטריזציית Steiner
. Su K T Su K Su T )3(
2012-01-04
. Su K SuT K T )1(
. רציפהSu ,) על גופים עם פנים לא ריק1(
vol Su K vol K )3(
) סימטריזציית שטיינרSu ,מימדי- n מייצג שטח פנים של גוףS n ( Sn Su K Sn K )7(
diam Su K diam K )2(
) (רדיוס הכדור המקסימלי המוכל בגוףinrad Su K inrad K )9(
תזכורת
diam T : max x y : x, y T
inrad T : max r : x : x rB2n T
.הוכחה
. K 1 K j K 1 ,מהצמצום
,)1(-) ו1( לפי תכונות
1 Su K Su K 1 Su K j Su K 1 1 Su K
. Su K Su K j B2n - ו, Su K j Su K B2n ,בפרט
. r0 inrad K כאשר diam K
r0
.) פוביני3(
vol K vol K x u dx
1
u
:) מתקיים7(
vol Su K B2n vol Su K
S n Su K lim
0
lim
vol Su K Su B2n vol K
0
lim
vol Su K B2n vol K
0
vol K B2n vol K
lim Sn K
0
2
.שנשארה פתוחה בשיעור אבל כנראה שלא מסובכת -) טענה על טרפזים ב2(
. r inrad K בפרט עבור. Su K Su x rB2n Pu x rB2n אז, K x rB2 ) אם9(
n
.מש"ל
. K y n
: x, y 1, x K ; אזK n
0 נניח.)דואלי/הגדרה (גוף פולארי
:2 ראינו בתרגיל
K T אזK T אם
קומפקטיתK אז0 int K אם
K T conv K T K T conv K T
. 0 int K , K K כאשר
AK y : x, y 1, x AK
y : Az , y 1, z K
y : z , A y 1, z K
A
* 1
w : z , w 1, z K A K 1
:ולכן
Sant AK vol AK vol AK
det A vol K det A vol K
1
.)Mahler( השערה
. באופן לא יחיד, K Q מינימלית (על גופים סימטריים) מתקבלת בקוביהSantolo מכפלת
n
.)Bourgain-Milman( משפט
. כלשהוc עבור קבוע, c n n2 Sant K
n 1
.u , K K n0 יהי.משפט
vol Su K vol K :אזי
.הוכחה
n 1
.) u en (בה"כ
n
נפרק
u u
s t
Su K x, : x , s K , x, t K
2
s t
Su K y, r : x, y r 1, x, s , x, t K
2
.)ית- r (שכבהA r x : x, r A : נסמןA n
עבור
K r K r y z : x, y sr 1 x, s K
2 2 w, z t r 1 w, t K
y z x, y sr 1 x, s K
:
2 x, z tr 1 x, t K
y z y z s t
: x, r 1 x, s , x , t K
2 2 2
s t
w : x, w r 1 x, s , x , t K
2
w : w, r Su K S K
u r
K r K r
. Su K r :כלומר הראינו
2
:נשים לב
K r K r Brunn-Minkowski
voln 1
2
vol n 1 K r
.)! (לבדוקK K כיK r K r כי
:כעת נחשב את הנפח
voln Su K
K r K r dr
vol S K r dr vol
n 1 u
n 1
2
vol K r dr vol K
n 1 n
.מש"ל
. K נסתכל על אוסף כל הגופים שניתן לקבל כמספר סופי של סימטריזציות עוקבות של.הסבר
n
.) RB2 האוסף חסום (כולם מוכלים באיזשהו
. inf (רדיוס הכדור החוסם) של האיברים באוסף; נסמנוcircumradius-ניקח את האינפימום של ה
. circum K j inf - שK j ניקח סדרה
. K j L ,סדרה מתכנסת- יש לה תת,Blaschke לפי משפט הבחירה של
. circum L inf , כנראה פונקציה רציפהcircum K -בגלל ש
. כדור אוקלידיL -נרצה להראות ש
אם לא ,אז על שפת הכדור החוסם של Lיש נקודה שאינה נוגעת ב , L -ולכן יש לה סביבה (כיפה על
שפת הכדור) שאינה נוגעת ב . L -ע"י שיקופים בלבד של הכיפה סביב כל מיני צירים ,אפשר להגיע לכל
כיפה בגודל זהה על שפת הכדור; מקומפקטיות השפה ,יש תת-כיסוי סופי ע"י כיפות.
אפשר לראות שני דברים:
אם Lלא נוגעת בכיפה כלשהי אז כל סימטריזציה שלה לא נוגעת בכיפה זו.
אם Lלא נוגעת בכיפה כלשהי ,אז אחרי סימטריזציה ,היא גם לא נוגעת בכיפה משוקפת
כלשהי שלה.
לכן אחרי סדרת סימטריזציות (סופית) על , Lאף כיפה לא נוגעת ב( L -הרי אוסף הכיפות סופי) ולכן L
לא נוגעת בשפת הכדור בכלל; לכן , circum L infוזו סתירה.
לכן כל נקודה על שפת הכדור החוסם של Lנוגעת ב L -ולכן הכדור מתלכד עם . Lמש"ל.
Su2 Su1 K Su1T Su2 Su1 K T
K j T j K T j by induction...
rK rT B2n rK B2n rT B2n rK T B2n
rK rT rK T
vol K vol T vol K T
1/ n 1/ n 1/ n
מש"ל.
sup z : z K K
1
diam K K
2
,לכן
diam K K
n
Brunn-Minkowski
1/ n n
2n vol K vol K vol K vol K K n
1/ n
2
.מש"ל
1121-12-11
K K
.)Brunn-Miknowski- (נובע מvol K vol - בתוך ההוכחה השתמשנו ב.הערה
2
2n
. vol K K vol K :Rogers-Shephard שוויון- אי,שוויון הפוך-קיים אי
n
. יש שוויון, הוא סימפלקסK כאשר:החסם הדוק
.ההוכחה לא מסובכת אבל לא נגיע אליה בקורס
נובעתK , K כאשר לוקחים את הגופיםBrunn-Minkowski-שוויון הפוך ל- הסיבה שיש בכלל אי.הערה
:מסיבה יותר כללית
:)Bourgain-Milman( ההפוךBrunn-Minkowski שוויון-אי
. vol K AT
1/ n
C vol K
1/ n
vol T
1/ n
- כך שA SL n קיימתK , T n
עבור
h 1 x y f x g y
1
:אזי
1
h f
g
n
n
n
.הערות
מתקיים: h 11 K T - ו, g 1T , f 1K , K , T n
- במקרה פרטי ש
11 K T 1 x y 11K x 1T y
ולכןx K , y T אז1 אם באגף ימין יש. 1 או0 כי בשני האגפים יכול להיות או
. 1 ; לכן גם באגף שמאל יש1 x y 1 K T
: נובעP-L שוויון- מאי,לכן
vol 1 K T vol K vol T
1
vol 1 K T
1 / n
vol K vol T
1/ n /n
vol T vol K
1/ n 1/ n
; 1
vol T vol K vol T vol K
1/ n 1/ n 1/ n 1/ n
,כעת
vol K T vol 1 K T min vol K , vol T
They are equal
vol T
vol T
n
vol K
1/ n
vol T
1/ n n
.מש"ל
1 1
ואם נכתוב, h x f x g x -נשים לב ש
1
שוויון- נקבל מאיq - וp
1
:Hölder
1
f x g x f
1
n g
n
n
.Hölder שוויון- "הפוך" לאיPrékopa–Leindler שוויון-כלומר במובן מסויים אי
1121-12-22
.הוכחה
.) קומפקטיות (כי אפשר לקרב כל קבוצה מדידה ע"י קבוצות קומפקטיותX , Y בה"כ
.Y
,X
, X Y 0 אפשר להניח, ע"י הזזות,בה"כ
.Y
, X
, X Y 0 , עדיין. Y 1 Y - וX X נסמן
: לכן. X Y X Y ,כעת
vol1 X Y vol1 X Y vol1 X vol1 Y
Since vol1 X Y 0
.מש"ל
h 1 x y f x g y
1
:אזי
1
h f g
h
Lebesgue vol h t dt
0
1
1 vol1 f t dt vol1 g t dt
0 0
1
1 f g f g
Geometric
Arithmetic-
Mean
Inequality
.מש"ל
f s ds t
g s ds t
.הן לא בהכרח מוגדרות בצורה יחידה אבל הן מונוטוניות עולות
. גזירותu, v -) ש... המונוטוניות עוזרת...נניח (בה"כ – צריך לעבוד קצת כדי להסביר למה זה בה"כ
:)לפי כלל השרשרת (נגזור את המשוואות לעיל
f u t u t 1
g v t v t 1
:נגדיר
w t 1 u t v t
:אז
AM GM
u t v t
1
w t 1 u t v t
:לכן
1 1
h x dx h w t w t dt h 1 u t v t u t v t
1
dt
0 0
1
f u t g v t
1 1 1
dt 1
0 f 1
u t g v t
.)...מש"ל בערך (לא כל המעברים מוצדקים עד הסוף
1 x y f x f y
1
). 0 1- וx, y n
לכלf (כלומר
:קעורה אם-נקראת לוג n
מידה המוגדרת לפחות על קבוצות בורל) על, מידת בורל (כלומר )1
1 A B A B
1
מש"ל.
dx
" n A : eמתקיים ( "Brunn-Minkowskiכפלי).
2
x /2
הערה .למשל ,נקבל שעבור המידה
2
n /2
A
.6מצב ג'ון
הקדמה
מתקיים:
d g K , K d BM K , K 1
d BM K , T d BM K , L d BM L, T
דוגמאות.
כדור B2nוקוביה : Q 1,1
n n
- d g B2n , Qn nקל לראות.
כדור B2ו , B1n conv ei i 1 -הכללה של ריבוע מסובב ב 11-מעלות (שאינו קובייה מסובבת ב-
n n
:)... n 2
1 1
. , - d g B1n , B2n nהכדור החיצוני משיק ל . B1n -הכדור הפנימי נוגע בנקודות ,
n n
d BM B1n , B2n n
(זה מוכח בתרגיל ,9שאלה ).73
n
B1ו: Q n -
- d g B1n , Q n nכמו בנימוק עם הכדור .אותן נקודות השקה.
- d BM B1n , Q n C nלא נראה את זה.
משפט ג'ון.
. d BM K , B n
2 מתקייםn : n
ב 0 - לכל K K
). d BM X K , n
2 (ובשפה של מרחק Banach-Mazurבין מרחבים נורמייםn :
K T B2n
T K B2n
. K 1 לכן T K 1
r r
1 With some reasonable constraint 3
. d BM K , T d g K , T r 1 לכן:
r
1
r
התוכנית:
.2נוכיח :בכל גוף יש אליפסואיד מנפח מקסימלי והוא יחיד.
n
.1נגדיר "מצב ג'ון" :כשהאליפסואיד הוא הכדור . B2
.3נראה שבמצב ג'ון. K nB2n ,
.1נאפיין את מצב ג'ון ,ע"י תכונות ומסקנות על נקודות המגע של הכדור עם הגוף.
1121-12-21
שאלה פתוחה.
( sup d BMכפונקציה של המימד)
K
? 1,1 , K n
n
)Giannopolous( Cn , Cn , C
5/6 7/8
תוצאות:
log n
. K jm
Banach-Mazur
( B2n K jוגם ) Kנובע K
הוכחה.
.נניח (בשלילה) שקיים , R : x0 n , x0 Kונבנה אליפסואיד מוכל ב K -מנפח בה"כ B2n
גדול מ. n -
. conv Re1 , B n
2 K בה"כ . x0 Re1 ,מתקיים
x1
2 n
xi
2
האליפסואיד יהיה מהצורה. 1 :
a i 2 b
. vol עפ"י הטרנספורמציה הלינארית שמעבירה אותו לכדור אפשר לראות n abn1 :
נבחר b2 1 ונראה עבור איזה aקיימת הכלה (ונראה שעבורם bn1a 1 ,עם מספיק קטן).
גיאומטריה של המישור:
( - 0,t נקודת החיתוך של המשך המשיק מ R, 0 -לאליפסה עם ציר ה). y -
t 1
t 2 R2 R
b
0
. a
b
רק את ציר xנכפול ב , -הכל מוכפל ב-
1
a
0
b t
b 2
R 2 b
a t 2
R
a2
: המשוואות בריבוע1 נעלה את
t R t R
2 2 2 2
R2
t2
R2 1
:משוואה שנייה
b 2
a2 t 2 R2 2 t 2 R2
a
a 2 R 2 R 2b 2 R 2 1 R 4
a 2 b 2 R 2 1 b 2
: ; לכןb2 1 בחרנו
a 2 1 R 2 1
:כעת
vol
2
b 1 R 1
n 1
a 2 1
2 n 1 2
n
1 n 1 R 2 1 o
1 R2 n o 1
.מש"ל
1121-12-22
. B2n K nB2n אז, הוא במצב ג'וןK n0 למעשה הוכחנו שאם גוף קמור סימטרי.הערה
. d BM K , B2n n , K n0 לכן לכל גוף קמור סימטרי
יחידות אליפסואיד מנפח מקסימלי בתוך גוף
הגדרה E n0 .הוא אליפסואיד (לא מנוון) אם קיימת , A GLnכך ש. E AB2 -
n
מכיוון ש , B2n B2n -אפשר לכתוב , E AB2n B B2n BB2nכלומר מכפלה של מטריצה אלכסונית
עם אלכסון חיובי בכדור אוקלידי.
לחילופין ,קיים בסיס אורתונורמלי v1 , , vn כך ש:
n x, vi
2
i 1
n n1
.זה קונוס פתוח; הסגור שלו מתקבל ע"י המטריצות , B 0ובשפה שלו 2
לכפל בסקלר חיובי) ב-
לפחות אחד הערכים העצמיים מתאפס .בנקודות האקסטרמליות ,כל הערכים העצמיים מתאפסים חוץ
מאחד.
"טענה" .מטריצות סימטריות חיוביות ( )positive definiteמהוות מודל "לא רע" לקבוצות קמורות.
למשל :אם , 1 , , m , A1 , , Am GLnאז
D A1 ,היא "הדיסקרימיננטה המעורבת" (המוגדרת ע"י נוסחה זו ,הרי ה det -בכל כאשר , An
.) 1 , מקרה פולינום הומוגני ממעלה nב, m -
. D A1 , מתקיים, A1 det A1 :
באופן כללי ,מתקיים:
n
i 1
הדוגמה שחשובה לנו:
טענה (אי-שוויון Brunn-Minkowskiלמטריצות).
יהיו A1 , A2 GLnמטריצות סימטריות מוגדרות חיוביות .אזי:
det A1 A2 det A1 det A2
1/ n 1/ n 1/ n
א)
עם שוויון . 0 , A1 A2
det A1 1 A2 det A1 det A2
1
ב)
עם שוויון . A1 A2
הוכחה.
:) B A1 A2 1
det A2ולכן מספיק להוכיח (עם
1 1/ n
נוכיח את "א)" .מכפליות , detניתן להכפיל ב-
כעת B 0 ,ולכן אלכסונית בבסיס אורתוגונלי כלשהו .בבסיס הזה I ,נשארת "( Iלכסון סימולטני בלי
להסתבך") .אז אפשר לכתוב בבסיס זה:
1 1
I B
1 n
כלומר ,נותר להוכיח:
1/ n
n
n
הוכחה נוספת.
נניח , A 0אז
2
Ax , x n /2
e
n
2
dx
det A
1/2
לכן
2
n /2
1
A1 1 A2 x , x
det A1 1 A2
1/2
en
2
dx
Sn AK
). Sn K : min n 1
הפוזיציה נותנת את המינימום
vol AK
AGLn
n
2
. min דוגמה נוספת :מצב איזוטרופיx dx :
ASLn
AK
דיון על המצב הזה:
נגדיר מכפלה סקלרית על שני וקטורים:
, : , x x, dx
K
(אפשר להוכיח שזו אכן מכפלה סקלרית).
לכל . , , אז הגוף Kבמצב איזוטרופי קיים קבוע LKכך ש LK , -
בעיה פתוחה (שנשאלה בשנות ה:)71-21-
בעיית החתך (.)slicing problem
נניח ש. vol K 1 , K K , K n -
( ? vol n 1 K u קבוע לא תלוי במימד).
1
1000
האם קיים תמיד על-מישור , u
משפט ג'ון
משפט (ג'ון).
בהינתן , B K , K K , K n0התנאים הבאים שקולים:
n
2
מסקנה .אם Kבמצב ג'ון( . K nB2n ,הוכחנו זאת קודם באופן "ישיר" ללא משפט ג'ון).
הוכחת המסקנה.
קיימים u1 , , um , 1 , , mכמו במשפט ג'ון.
יהי . x Kאז לכל , x, ui 1 , iכי " uiנקודת מגע" של B2nו. K -
מסימטריות , Kנכון גם שלכל . x, ui 1 , iאז:
m m m
x x, x x, i ui , x ui i x, ui i n
2 2
u 1
קמורה וקומפקטית:
קמורה – כקמור.
uחסום ,לכן כל
חסומה – כי uחסום ,כל הנורמות שקולות במרחב אוקלידי ולכן למשל
הקואורדינטות חסומות ומקבלים ש u u -חסום.
סגורה – כקמור של קבוצה קומפקטית (כנראה היה בתרגיל כלשהו).
. E x : I B x, x
תוכנית להמשך :בעזרת Bנבנה אליפסואיד 1
נראה שלכל ( 0מספיק קטן , vol E n ,)...וגם שעבור כלשהו. E K ,
זו תהיה סתירה לתנאי ש K -בפוזיציית ג'ון.
1121-12-29
כאשר
1
B
נגדיר . E x : I B x, x 1מכיוון ש , I 0 -עבור מספיק קטן (
Bx
,) B maxגם ; I B 0לכן יש ל I B -שורש ( Sכלומר ... S 2 I Bאנליזה
x0 x
. E x n
פונקציונלית ,)...ואז : S x, S x 1 S 1B2n
n
. vol E det S
1
n נשים לב ש-
det I B
לכן כדי שנקבל את הסתירה n vol E צריך שיתקיים . det I B 1
1 1
I B
1 n
n GM AM 1 n Tr B 0
det I B 1 i 1
1/ n
1 i
i 1 n i 1
ולא יתכן מקרה שוויון ב GM AM -כי אם יש מקרה שוויון ,אז כל איברי האלכסון שווים ,וזה לא יתכן.
1
. vol E n , 0 הוכחנו שלכל
B
כעת ,נסמן:
U u n 1
: u K
1
s
V u n 1
: d u,U
2 B
- Uנקודות המגע של Kוהספירה.
- Vקטעים על הספירה "רחוקים" מנקודות . U
1121-12-11
הערות:
מי שנוח לו לעשות אינטגרלים על אופרטורים ,יכול לכתוב גם כךu u d u Id :
n1
m
. u
i 1
i אם המידה אטומית ,אז האינטגרל הופך לסכום x, ui ui
; לכן כשהמידה x e1 ,ונסכום את התוצאותd u n :)... מכך נובע (אם נציב , en
n1
היא איזוטרופית ,היא לא מנורמלת על הספירה ,כלומר האינטגרל על הספירה שווה למימד.
הוכחה.
נגדיר. L y : x, y 1, x supp :
מתקיים , K L :וגם ל L -קיימת מידה (אותה ) איזוטרופית הנתמכת בנקודות המגע של
n 1
.לכן מספיק להראות שב L -אין אליפסואיד מנפח גדול מ. n - L
v1 ,ואורכי הצירים הראשיים יהי אליפסואיד E Lהנתון בעזרת בסיס אורתונורמלי , vn
n
n
x, vi
2
; E x : אז . vol E n i 1 ,ע"י 1 ,n 0
i 1 i
2
i 1
n
" : y u הקואורדינטה ה- j -ית שווה ל." j u, v j -
i 1
i כעת ,לכל u supp נתאים u, vi vi
y u , vi
2
n n
.לכן ( y u Eואפילו .) y u E u, vi אז מתקיים u 1 :
2 2
מצד שני:
n n is isotropic... n n
u, vi d u i d u vi i
2 2 2
i u, vi i
n1 i 1 i 1 n1 i 1 i 1
1/ n
n GM AM 1 n n
i ולכן . vol E nמש"ל.
i 1
, לכן i 1
n i 1 i 1
לכן i n :
הגדרה .יהי . K n0נאמר שהוא בפוזיציית שטח פנים מינימלי אם . Sn K min Sn AK
ASLn
מתקיים :לכל הגופים מנפח 2שנמצאים בפוזיציית שטח פנים מינימלי Sn K ,מקסימלי עבור הקובייה
n
1 1
. , לא נוכיח זאת; זה הוכח ע"י .K. Ball
2 2
-ע"י: n1
הגדרה .בהינתן , K n0נגדיר את - Kמידה על
.)האר/האוסדורף/לבג
. K n 1
K Sn K ,בנוסף
.)Petty( משפט
. voln K 1 עםK n0 יהי
n
.איזוטרופית K המידה בפוזיציית שטח פנים מינימליK אזי
Sn K
.הוכחה
. בפוזיציית שטח פנים מינימליK - נניח ש:2 כיוון
: A SLn כאשרSn AK -נמצא נוסחה ל
Sn A K
1
n1
Au d K u
.הסבר לנוסחה
B x u Bx B u Bx B 1u Bx Au
: B u B 1u -הסבר לכך ש
B z : z, u 0 Bz : z, u 0 w : B 1w, u 0 w : w, B 1u 0
Au Au
" d K " Bu, d K u
Au Au
Au
" d BK
" d K u Au
Au
I T
, מתקיים לכן שלכל. A
det I T
1/ n
: כלשהי ונבחרT n
, n
תהי,כעת
Au d K u Sn K
n1
:ז"א
I T u d u S K det I T
1/ n
K n
n1
:כעת
I T u u Tu 1 2 Tu, u 2 Tu 1 Tu, u O 2
2 2
Tr T
det I T O 2
1/ n
1
n
:לכן
I T u d u S K Tu , u d K u O d u
2
K n K
n1 n1 n1
Tr T
Sn K det1/ n I T Sn K Sn K Sn K O 2
n
שווים בשני הצדדים נובע שיש שוויון במקדמים של 0 שוויון שמצאנו לעיל ומכך שהמקדמים של-ומהאי
או לחילופין אפשר לחשוב על שני הצדדים, 0 וגם עבור 0 שוויון נכון עבור- (למשל כי האי 1
: כלומר,)... את שוויון הנגזרות הראשונות 0 שוויון ומההתלכדות עבור- ולטעון מהאי כפונקציות של
Tr T
Tu, u d K u S n K
n1 n
d K u
Tu , u Tr T
n1 Sn K / n
Sn K det B
1 1/ n
Sn K
.מש"ל
Brunn-Minkowski 2n
2n vol K voln K K voln K
n
4n
.) הוא סימפלקס (לא נוכיח זאתK שוויון הופך לשוויון כאשר-והאי
1121-12-13
. int K T K T
f x 1 y f x 1 f y
?
voln K x 1 y T voln K x T 1 voln K y T
1/ n ? 1/ n 1/ n
ואז, K x T 1 K y T מכילהK x 1 y T -מספיק שנראה ש
.Brunn-Minkowski-שוויון ינבע מ-האי
. w K y T , z K x T כאשר, איבר בקבוצה השניה z 1 w יהי,אכן
. K - נמצאים בz, w כיK -אז האיבר נמצא ב
ולכןw y T - וz x T ,כן-כמו
T is convex
z 1 w x T 1 y T x 1 y T
.ג
vol K x K dx vol K x K dx y
Fubini
K x K y dy dx
K K n n
n
K y x K y dx dy xK y dx dy
n
n
K n
x dx dy vol y K dy vol K dy vol K
2
yK
K n K K
x 0 1 x
x
x
x
x
f x x f 1 x f 0
x
vol K x K x 0 1 x vol K
1/ n 1/ n
K K
vol K 1 x
n
dx
K K
:כעת
1 1
1 x n 1 t n 1 t
n 1 n 1
dtdx
n
dx dxdt
K K K K x 0 xK K : x t
1
n 1 t
n 1
dx dt
0 xK K : x t
והאינטגרל הפנימי הוא, x K K : x t t K K מתקיים, x x K K
- מכיוון ש,לכן
: לכן. t vol K K
n
1
vol K vol K K n 1 t
n 1 n
t dt
0
(האם צריך את.1- ) שלהם הוא בxdx מרכז המסה (הוקטור, K , L n0 - נניח ש.)טענה (הכללה
K
:התנאי הזה?) אזי
2n
voln K L voln K L voln K voln L
n
x
2
: מתקיים, 0 / 2 ולכל 0, 0 , d e dx ,למעשה הם מראים שלכל מידה
1
K L sin K cos L
1
K L
cos sin
. / 4 הניסוח לעיל מתקבל כשבוחרים
1121-11-12
כל תא סגור וקמור :כחיתוך של חצאי מרחבים (סגורים) (מאונדקס ע"י .) A
(לא השתמשנו בסופיות-המקומית של ). A
מכיוון ש C 0, A -חסומה ,היא מוכלת בכדור , RB2nלכן כל הנקודות ב" A \ 3RB2n -לא
משתתפות" בחיתוך (הגדרת C 0, Aכחיתוך חצאי מרחבים) .מכיוון שב A 3RB2n -יש
מספר סופי של נקודות מכך ש A -קומפקטית-מקומית C 0, A ,חיתוך סופי של חצאי מרחבים
ולכן פוליהדרלית.
תרגיל :22
שני פוליטופים הם איזומורפיים-חזק אם לכל כיוון . dim P1 u dim P2 u , u
טענה מהכיתה :אם , 0ו( P u w P u P v , w u v -בהנחה
.) P u P v
תרגיל :22
. u1 , נסתכל על , Sקבוצת פוליטופים פשוטים איזומורפיים חזק עם כיוונים , um
אז Si P ui : P Sקבוצת פאות איזומורפיות-חזק.
. ui1 , ui 2 , נבחר , P Sונסמן . Fi P ui אז הכיוונים של Fiהם , uimi
ולכל 1 k miמתקיים. Fi uik Fi Fj k :
כעת:
נשים לב ש ui , u j , uij ,ij -לא תלויים במחלקת השקילות מכיוון שהפוליטופים כולם איזומורפיים חזק.
ui cos ij uij sin ij u j
hi cos ij hij sin ij h j
hij bij hi cij h j
תרגיל 21ג:
( Mמ(-א)). M K M K לכל RB R M K , j
n
2
j
. M K n R n n מ(-ב) נובע ש vol K vol K -לכל , jולכן מרציפות נפח vol K ,
n
j
כעת f ,סימטרית (מהגדרתה) וחיובית לחלוטין ,ואם ערך עצמי של fאז v v, v v
2 2
תרגיל :12
צ"ל :אם A, Bקמורות אז . relint A relint B relint A B
כיוון קל יחסית .נוכיח את :
:11 תרגיל
: p טרנספורם לז'נדר של נורמה בחזקת
x n
p
u n1 t 0
x, y t p u
p
, p 2 כאשר
sup sup t u, y t 2 u
u n1 t
2
u, y
u, y 2t u 0
2
t 2
2u
2 2 2
u, y 1 u, y 1 u
sup 2
sup 2
sup ,y
u n1
4u 4 u n1 u 4 u n1 uK
K
1 1
1
u
2 2
sup x, y
2
u K K
4 xK 4 4
, p 1 כאשר
u n1 t 0
sup sup t u, y t u
2
sup t sup
t 0 u n1
0 u, u, y u
u, y u
otherwise
T
כאשר
T y : u, y u K
, u n 1
u n 1
y : , y 1, u K
uK
:21 תרגיל
קעורה אז- לוגf - וf ax a f x צ"ל שאם
p
. קעורהf 1/ p
:22 תרגיל
. Su K j Su K B , j j0 כך שלכלj0 קיים 0 צ"ל שלכל, K j K אם
n
2
:12 תרגיל
. h ולקבל פונקציה קמורהg אפשר להוסיף פונקציה קמורהf מספיק להוכיח שלכל פונקציה
. H f R Id 0 - ) כך שf שלHessian- (הערך המוחלט של הערך העצמי המינימלי של הR קיים
, hT u R u ואז, T RB2n אז בוחרים
0
R
2 hT u
R