23
Motivation Grundlagen Satz von Steiner, innere Volumina für konvexe Mengen innere Volumina für polykonvexe Mengen Innere Volumina Eva Kohn Seminar Zufällige Felder Universität Ulm 09. Dezember 2008 Eva Kohn Innere Volumina

Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Innere Volumina

Eva Kohn

Seminar Zufällige FelderUniversität Ulm

09. Dezember 2008

Eva Kohn Innere Volumina

Page 2: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Inhalt

1 Motivation

2 GrundlagenTopologie im Rd

Isometrien im Rd

3 Satz von Steiner, innere Volumina für konvexe MengenFunktionale auf C(K)Satz von Steiner, innere Volumina für konvexe Mengen

4 innere Volumina für polykonvexe Mengeninnere Volumina für polykonvexe MengenSatz von Hadwiger

Eva Kohn Innere Volumina

Page 3: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

gesundes Gewebe krankes Gewebe (Krebs)

Eva Kohn Innere Volumina

Page 4: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

zur Auswertung bearbeitete Bilder

Durch Schätzung z.B. der Flächenverhältnisse kann (evtl.)bestimmt werden, ob jemand krank ist oder nicht.

Eva Kohn Innere Volumina

Page 5: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

GrundlagenIsometrien im Rd

Inhalt

1 Motivation

2 GrundlagenTopologie im Rd

Isometrien im Rd

3 Satz von Steiner, innere Volumina für konvexe MengenFunktionale auf C(K)Satz von Steiner, innere Volumina für konvexe Mengen

4 innere Volumina für polykonvexe Mengeninnere Volumina für polykonvexe MengenSatz von Hadwiger

Eva Kohn Innere Volumina

Page 6: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

GrundlagenIsometrien im Rd

Topologie

Euklidische Metrik:

‖x − y‖ =√

(x1 − y1)2 + . . .+ (xd − yd)2 , x , y ∈ Rd

B(x , r) ={

y ∈ Rd : ‖x − y‖ ≤ r}

, x ∈ Rd , r ≥ 0

A ⊂ Rd kompakt ⇔ A ist beschränkt und abgeschlossen

K ={

A ⊂ Rd : A kompakt}

Eva Kohn Innere Volumina

Page 7: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

GrundlagenIsometrien im Rd

konvexe Mengen

K ⊂ Rd konvex⇔ ∀x , y ∈ K gilt: cx + (1− c)y ∈ K ∀0 ≤ c ≤ 1

L ⊂ Rd affin-linearer Unterraum⇔ ∀x , y ∈ L gilt: cx + (1− c)y ∈ L ∀c ∈ R

L ⊂ Rd linearer Unterraum ⇔ L affin-linear und 0 ∈ L

konvexe Körper: C(K) = {K ∈ K : K konvex}

Eva Kohn Innere Volumina

Page 8: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

GrundlagenIsometrien im Rd

Mengenoperationen

Skalierung:

cA = {cx : x ∈ A} c ∈ R, A ⊂ Rd

Translation:

Ax = A + x = {y + x : y ∈ A} A ⊂ Rd , x ∈ Rd

Minkowski-Addition:

A⊕ B = {x + y : x ∈ A, y ∈ B} A,B ⊂ Rd

Eva Kohn Innere Volumina

Page 9: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

GrundlagenIsometrien im Rd

Euklidische Isometrie:

Eine Funktion m: Rd → Rd , x 7→ x ′, heißt euklidische Isometrie,falls ∀x , y ∈ Rd gilt:

‖x − y‖ =∥∥x ′ − y ′

∥∥ = ‖mx −my‖ .

Bem.: Jede (euklidische) Isometrie ist eine Komposition vonTranslation, Drehung und Spiegelung.

Eva Kohn Innere Volumina

Page 10: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

Inhalt

1 Motivation

2 GrundlagenTopologie im Rd

Isometrien im Rd

3 Satz von Steiner, innere Volumina für konvexe MengenFunktionale auf C(K)Satz von Steiner, innere Volumina für konvexe Mengen

4 innere Volumina für polykonvexe Mengeninnere Volumina für polykonvexe MengenSatz von Hadwiger

Eva Kohn Innere Volumina

Page 11: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

Funktional

Eine Abbildung h: C(K)→ R, die jeder kompakten, konvexenMenge eine reelle Zahl zuordnet, nennen wir Funktional auf derMenge der konvexen Körper.

Uns interessieren positive Funktionale h, die fürK ,K1,K2 ∈ C(K) folgende Eigenschaften erfüllen:

Eva Kohn Innere Volumina

Page 12: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

Isometrie-Invarianz:

h(mK ) = h(K ) ∀K ∈ C(K), m Isometrie

Monotonie:K1 ⊆ K2 ⇒ h(K1) ≤ h(K2)

Additivität:

K1∪K2 ∈ C(K) ⇒ h(K1∪K2) = h(K1)+h(K2)−h(K1∩K2),

wobei h(∅) = 0

Eva Kohn Innere Volumina

Page 13: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

Satz von Steiner

Für jedes K ∈ C(K) gibt es Zahlen V0(K ), . . . ,Vd(K ) ≥ 0, sodass

νd(K ⊕ B(0, r)) =d∑

k=0

bd−kVk (K ) rd−k ∀r ≥ 0,

wobei bl das l-Volumen der l-dim. Einheitskugel ist.

⇒ Vk (K ) sind die inneren Volumina.

Eva Kohn Innere Volumina

Page 14: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

Steiner für d = 1,2,3

d = 1: l(K ⊕ B(0, r)) = l(K ) + 2rd = 2: A(K ⊕ B(0, r)) = A(K ) + U(K ) r + π r2

d = 3:

V (K ⊕ B(0, r)) = V (K ) + S(K ) r + 2πb(K ) r2 +43π r3,

wobei l die Länge, A der Flächeninhalt, U der Umfang, V dasVolumen, S die Oberfläche und b die mittlere Breite ist.

Eva Kohn Innere Volumina

Page 15: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

Eigenschaften der inneren Volumina

Eigenschaften der inneren Volumina:Vk sind Funktionale auf C(K)

Isometrie-InvarianzMonotonieAdditivitätVk homogen vom Grade k, d.h.

Vk (λK ) = λk Vk (K ), λ ∈ R, λ > 0

Eva Kohn Innere Volumina

Page 16: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

innere Volumina, Minkowski-Funktionale

Es gilt:Vd(K ) Volumen von K ∈ C(K)

2Vd−1(K ) Oberfläche von K ∈ C(K)

Minkowski-Funktionale Wk , k = 0, . . . ,d :

bd−l Vl(K ) =

(dl

)Wd−l(K ), l = 0,1, . . . ,d , K ∈ C(K)

Die Minkowski-Funktionale sind gegeben durch . . .

Eva Kohn Innere Volumina

Page 17: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

Funktionale auf C(K)

Satz von Steiner, innere Volumina für konvexe Mengen

Minkowski-Funktionale

Wk (K ) =bd

bd−k

∫Lk

νd−k (pS⊥K ) Uk (dS)

bl =√πl

Γ(1+ l2 )

Volumen der l-dim. Einheitskugel

νl l-dim. Lebesgue-MaßLl Menge aller l-dim. Unterräume des Rd

pS⊥K orth. Proj. von K auf den (d-l)-dim. Unterraumsenkrecht zu S ∈ Ll

Ul Gleichverteilung auf Ll

Eva Kohn Innere Volumina

Page 18: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

innere Volumina für polykonvexe MengenSatz von Hadwiger

Inhalt

1 Motivation

2 GrundlagenTopologie im Rd

Isometrien im Rd

3 Satz von Steiner, innere Volumina für konvexe MengenFunktionale auf C(K)Satz von Steiner, innere Volumina für konvexe Mengen

4 innere Volumina für polykonvexe Mengeninnere Volumina für polykonvexe MengenSatz von Hadwiger

Eva Kohn Innere Volumina

Page 19: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

innere Volumina für polykonvexe MengenSatz von Hadwiger

Der konvexe Ring

konvexer Ring R:

R =

{A ⊂ Rd : A =

n⋃i=1

Ki für K1, . . . ,Kn ∈ C(K), n ∈ N

}

Fortsetzung der inneren Volumina auf R:

Vk (A) =n∑

i=1

(−1)i−1

∑1≤m1<...<mi≤n

Vk (Km1 ∩ . . . ∩ Kmi )

,

wobei A =⋃n

i=1 Ki ∈ R, Ki ∈ C(K) eine Zerlegung von A

Eva Kohn Innere Volumina

Page 20: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

innere Volumina für polykonvexe MengenSatz von Hadwiger

innere Volumina auf R

Verallgemeinerte innere Volumina:

Vk (A) =

(dk

)bd

bd−kbk

∫Ld−k

∫S⊥

ϕ(A ∩ Ss) νk (ds) Ud−k (dS),

wobei ϕ Euler-Charakteristik, A ∈ R, k = 0, . . . ,d .

Vd(A) ist das Volumen von A ∈ R2Vd−1(A) ist die Oberfläche von A ∈ RV0(A) ist die Euler-Charakteristik von A

Eva Kohn Innere Volumina

Page 21: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

innere Volumina für polykonvexe MengenSatz von Hadwiger

Satz von Hadwiger

Jedes Isometrie-invariante, monotone und additive Funktional hauf R ist von der Form:

h(A) =d∑

k=0

ckVk (A) ∀A ∈ R,

wobei ck nicht-negative, von h abhängige Konstanten sind.

Eva Kohn Innere Volumina

Page 22: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

MotivationGrundlagen

Satz von Steiner, innere Volumina für konvexe Mengeninnere Volumina für polykonvexe Mengen

innere Volumina für polykonvexe MengenSatz von Hadwiger

Bsp.: f isotropes Zufallsfeld auf Rd , u ∈ R. Mit

ψ̃u(A) = E(ϕ(Au(f ,A)))

(ϕ Euler-Charakteristik, Au Exkursionsmenge) gilt:

P(supt∈A

f (t) > u) = ψ̃u(A) + o(ψ̃u(A))

und ψ̃u erfüllt die Voraussetzungen des Satzesvon Hadwiger.

⇒ P(supt∈A

f (t) > u) =d∑

k=0

ck (u) Vk (A) + o(ψ̃u(A))

Eva Kohn Innere Volumina

Page 23: Innere Volumina - Ulm · Satz von Steiner, innere Volumina für konvexe Mengen Inhalt 1 Motivation 2 Grundlagen Topologie im Rd Isometrien im Rd 3 Satz von Steiner, innere Volumina

Anhang Literatur

Literatur

R. Adler und J. TaylorRandom Fields And GeometrySpringer, Berlin, 2007

D. Stoyan, W.S. Kendall und J. MeckeStochastic Geometry And Its ApplicationsWiley, 1987

Eva Kohn Innere Volumina