Untere Kontur: Def. A10

Offline Bewegungsplanung: Reine Translation

Elmar Langetepe University of Bonn

Untere Kontur: Def. A10

Untere Kontur: Def. A10

f₁, f₂, . . . , f_n reellwertige Funktionen, entweder

Untere Kontur: Def. A10

f₁, f₂, . . . , f_n reellwertige Funktionen, entweder

• ¨uber einem gemeinsamen Intervall I oder

Untere Kontur: Def. A10

f₁, f₂, . . . , f_n reellwertige Funktionen, entweder

• ¨uber einem gemeinsamen Intervall I oder

• ¨uber je einem Intervall I_j ⊆ I, 1 ≤ j ≤ n.

Untere Kontur: Def. A10

f₁, f₂, . . . , f_n reellwertige Funktionen, entweder

• ¨uber einem gemeinsamen Intervall I oder

• ¨uber je einem Intervall I_j ⊆ I, 1 ≤ j ≤ n.

Je zwei Funktionen max. s gemeinsame Schnittpunkte

Untere Kontur: Def. A10

f₁, f₂, . . . , f_n reellwertige Funktionen, entweder

• ¨uber einem gemeinsamen Intervall I oder

• ¨uber je einem Intervall I_j ⊆ I, 1 ≤ j ≤ n.

Je zwei Funktionen max. s gemeinsame Schnittpunkte L(x) := min { f_i(x)|1 ≤ i ≤ n }

Untere Kontur: Def. A10

f₁, f₂, . . . , f_n reellwertige Funktionen, entweder

• ¨uber einem gemeinsamen Intervall I oder

• ¨uber je einem Intervall I_j ⊆ I, 1 ≤ j ≤ n.

Je zwei Funktionen max. s gemeinsame Schnittpunkte L(x) := min { f_i(x)|1 ≤ i ≤ n }

Lower envelope der Funktionsgraphen

Untere Kontur: Th. A12

Untere Kontur: Th. A12

(2) I

(1)

L(x) besteht aus maximal 1. λ_s(n)

2. λ_s+2(n)

vielen Teilst¨ucken

Beweis: Th. A12

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.:

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C B I

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B C B A

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B C B A

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B C B A

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B C B A

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B C B A

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B C B A

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

1.: I) ¨Ubersetzen in Buchst.-folge oder II) Buchst.-folge ¨ubersetzen

I) A

C

B I

B

B C C

B

B

A

A C

C

B

II)

B C A B C B C B A

Beweis: Th. A12

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

2. Verl¨angern auf gesamtes Intervall, dann 1. verwenden

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

2. Verl¨angern auf gesamtes Intervall, dann 1. verwenden

(2)

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

2. Verl¨angern auf gesamtes Intervall, dann 1. verwenden

(2)

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

2. Verl¨angern auf gesamtes Intervall, dann 1. verwenden

(2)

Beweis: Th. A12

1. λ_s(n) 2. λ_s+2(n)

2. Verl¨angern auf gesamtes Intervall, dann 1. verwenden Max zwei zus¨atzliche Schnitte

(2)

Zellen: Th. 2.18

x Z_x

Zellen: Th. 2.18

A Arrangement von n Kurvenst¨ucken von denen sich zwei nur s mal schneiden. Jede Zelle von A hat Komplexit¨at O(λ_s+2(n)).

x Z_x

Zellen: Th. 2.18

A Arrangement von n Kurvenst¨ucken von denen sich zwei nur s mal schneiden. Jede Zelle von A hat Komplexit¨at O(λ_s+2(n)).

Weniger als Ω(n²)!!

x Z_x

Zellen: Th. 2.18

A Arrangement von n Kurvenst¨ucken von denen sich zwei nur s mal schneiden. Jede Zelle von A hat Komplexit¨at O(λ_s+2(n)).

Weniger als Ω(n²)!! Beweis!!

x Z_x

Beweis: Th. 2.18

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht!

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

• Bezeichnen,

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

• Bezeichnen, orientieren: links nach rechts

γ₂ γ₁

γ₄ γ₃ γ₅

γ₆

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

• Bezeichnen, orientieren: links nach rechts

γ₂ γ₁

γ₄ γ₃ γ₅

γ₆

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

• Bezeichnen, orientieren: links nach rechts

γ₂ γ₁

γ₄ γ₃ γ₅

γ₆

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

• Bezeichnen, orientieren: links nach rechts

• Zyklische Abfolge

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ >

γ₂ γ₁

γ₄ γ₃ γ₅

γ₆

Beweis: Th. 2.18

• Rand zerf¨allt in mehere Zyklen

• Analyse: ¨Außerer Zyklus C reicht! λ_s(n), n Segmente

• Bezeichnen, orientieren: links nach rechts

• Zyklische Abfolge

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ >

• 2n Segmente γ_i⁻,γ_i⁺

γ₂ γ₁

γ₄ γ₃ γ₅

γ₆

Bogenteile in Reihenfolge! Lem. 2.19

3 1 2

γ₆

γ₁

γ₂ γ₄⁺ γ₃ γ₅

Bogenteile in Reihenfolge! Lem. 2.19

• Zyklische Folge des Zykels C:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ >

3 1 2

γ₆

γ₁

γ₂ γ₄⁺ γ₃ γ₅

Bogenteile in Reihenfolge! Lem. 2.19

• Zyklische Folge des Zykels C:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ >

• Bogen γ_i:

3 1 2

γ₆

γ₁

γ₂ γ₄⁺ γ₃ γ₅

Bogenteile in Reihenfolge! Lem. 2.19

• Zyklische Folge des Zykels C:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ >

• Bogen γ_i: Segmente von γ_i⁺(γ_i⁻) erscheinen in C in derselben Reihenfolge wie entlang von γ_i⁺(γ_i⁻)

3 1 2

γ₆

γ₁

γ₂ γ₄⁺ γ₃ γ₅

Bogenteile in Reihenfolge! Lem. 2.19

• Zyklische Folge des Zykels C:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ >

• Bogen γ_i: Segmente von γ_i⁺(γ_i⁻) erscheinen in C in derselben Reihenfolge wie entlang von γ_i⁺(γ_i⁻)

• Beispiel γ₄⁺!

3 1 2

γ₆

γ₁

γ₂ γ₄⁺ γ₃ γ₅

Bogenteile in Reihenfolge! Lem. 2.19

• Zyklische Folge des Zykels C:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ >

• Bogen γ_i: Segmente von γ_i⁺(γ_i⁻) erscheinen in C in derselben Reihenfolge wie entlang von γ_i⁺(γ_i⁻)

• Beispiel γ₄⁺! Beweis!

3 1 2

γ₆

γ₁

γ₂ γ₄⁺ γ₃ γ₅

Beweis: Konsistenzlemma 2.19

Beweis: Konsistenzlemma 2.19

• γ_i etwas aufblasen;

Beweis: Konsistenzlemma 2.19

• γ_i etwas aufblasen; ζ, η ∈ γ_i^∗ konsekutive Subsegmente in C!

Beweis: Konsistenzlemma 2.19

• γ_i etwas aufblasen; ζ, η ∈ γ_i^∗ konsekutive Subsegmente in C!

• Nur zwei F¨alle gem¨aß Innerem;

ζ η

?

Beweis: Konsistenzlemma 2.19

• γ_i etwas aufblasen; ζ, η ∈ γ_i^∗ konsekutive Subsegmente in C!

• Nur zwei F¨alle gem¨aß Innerem; sonst keine Verbindung!!

ζ η

? x y

Z

η Fall A:

Fall B:

ζ

α C_x^y :=β

α

κ η

ζ x y

C C_x^y :=β

κ

Beweis: Konsistenzlemma 2.19

• γ_i etwas aufblasen; ζ, η ∈ γ_i^∗ konsekutive Subsegmente in C!

• Nur zwei F¨alle gem¨aß Innerem; sonst keine Verbindung!!

• Betrachte α und β := C_x^y

x y Z

η Fall A:

Fall B:

ζ

α C_x^y :=β

α

κ η

ζ x y

C C_x^y :=β

κ

Beweis: Konsistenzlemma 2.19

• γ_i etwas aufblasen; ζ, η ∈ γ_i^∗ konsekutive Subsegmente in C!

• Nur zwei F¨alle gem¨aß Innerem; sonst keine Verbindung!!

• Betrachte α und β := C_x^y

• β ber¨uhrt γ_i^∗ nicht: Konsekutiv in C!

x y Z

η Fall A:

Fall B:

ζ

α C_x^y :=β

α

κ η

ζ x y

C C_x^y :=β

κ

Beweis: Konsistenzlemma 2.19

• γ_i etwas aufblasen; ζ, η ∈ γ_i^∗ konsekutive Subsegmente in C!

• Nur zwei F¨alle gem¨aß Innerem; sonst keine Verbindung!!

• Betrachte α und β := C_x^y

• β ber¨uhrt γ_i^∗ nicht: Konsekutiv in C!

• C schnittfrei: α ∪ β trennt κ von C ab

x y Z

η Fall A:

Fall B:

ζ

α C_x^y :=β

α

κ η

ζ x y

C C_x^y :=β

κ

Lineare Sequenz S

bilden!

γ4

γ1

γ2

γ3

γ5

γ6

Lineare Sequenz S

bilden!

• Zyklische Sequenz:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ > auftrennen

γ4

γ1

γ2

γ3

γ5

γ6

Lineare Sequenz S

bilden!

• Zyklische Sequenz:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ > auftrennen

• Orientierte Sequenz:

S⁰ = {γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻}

γ4

γ1

γ2

γ3

γ5

γ6

Lineare Sequenz S

bilden!

• Zyklische Sequenz:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ > auftrennen

• Orientierte Sequenz:

S⁰ = {γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻}

• Orientierte Reihenfolge stimmt nicht! Bsp.:γ₅⁻

γ4

γ1

γ2

γ3

γ5

γ6

Lineare Sequenz S

bilden!

• Zyklische Sequenz:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ > auftrennen

• Orientierte Sequenz:

S⁰ = {γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻}

• Orientierte Reihenfolge stimmt nicht! Bsp.:γ₅⁻

• Verdoppeln: γ_i⁻ (γ_i⁺) ⇒ γ_i,1⁻ , γ_i,2⁻ (γ_i,1⁺ , γ_i,2⁺ )

γ4

γ1

γ2

γ3

γ5

γ6

Lineare Sequenz S

bilden!

• Zyklische Sequenz:

S =< γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻ > auftrennen

• Orientierte Sequenz:

S⁰ = {γ₅⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ₅⁻ γ₆⁺ γ₆⁻}

• Orientierte Reihenfolge stimmt nicht! Bsp.:γ₅⁻

• Verdoppeln: γ_i⁻ (γ_i⁺) ⇒ γ_i,1⁻ , γ_i,2⁻ (γ_i,1⁺ , γ_i,2⁺ )

• Nun 4n Segmente: Sequenz

S⁰⁰ = {γ_5,1⁻ γ₁⁺ γ₂⁻ γ₄⁻ γ₄⁺ γ₂⁻ γ₂⁺ γ₄⁺ γ₃⁻ γ₄⁺ γ₃⁻ γ_5,2⁻ γ₆⁺ γ₆⁻}

γ4

γ1

γ2

γ3

γ5

γ6

S

DSS mit (4n, s + 2): Lem. 2.20

S

DSS mit (4n, s + 2): Lem. 2.20

• Definition DSS

S

DSS mit (4n, s + 2): Lem. 2.20

• Definition DSS

• Zwischen zwei γ_i,j⁻ (γ_i,j⁺ ) kommt stets anderes Segment vor

S

DSS mit (4n, s + 2): Lem. 2.20

• Definition DSS

• Zwischen zwei γ_i,j⁻ (γ_i,j⁺ ) kommt stets anderes Segment vor

• Zz.: Zwei Buchstaben ζ und η wechseln nicht mehr als s + 2 mal

S

DSS mit (4n, s + 2): Lem. 2.20

• Definition DSS

• Zwischen zwei γ_i,j⁻ (γ_i,j⁺ ) kommt stets anderes Segment vor

• Zz.: Zwei Buchstaben ζ und η wechseln nicht mehr als s + 2 mal

• Widerspruchsbeweis: Annahme s + 3 Wechsel!

S

DSS mit (4n, s + 2): Lem. 2.20

• Definition DSS

• Zwischen zwei γ_i,j⁻ (γ_i,j⁺ ) kommt stets anderes Segment vor

• Zz.: Zwei Buchstaben ζ und η wechseln nicht mehr als s + 2 mal

• Widerspruchsbeweis: Annahme s + 3 Wechsel!

• Situation:

S⁰⁰ = (· · · ζ₁ · · · η₁ · · · ζ₂ · · · η₂ · · · ζ_j · · · η_j · · · ζ_k · · · (η_k · · ·))

Lem. 2.20

Lem. 2.20

S⁰⁰ = (· · · ζ₁ · · · η₁ · · · ζ₂ · · · η₂ · · · ζ_j · · · η_j · · · ζ_k · · · (η_k · · ·))

Lem. 2.20

S⁰⁰ = (· · · ζ₁ · · · η₁ · · · ζ₂ · · · η₂ · · · ζ_j · · · η_j · · · ζ_k · · · (η_k · · ·)) Fasse je vier zusammen:

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃)

(ζ₂ , η₂, ζ₃, η₃) ...

Lem. 2.20

S⁰⁰ = (· · · ζ₁ · · · η₁ · · · ζ₂ · · · η₂ · · · ζ_j · · · η_j · · · ζ_k · · · (η_k · · ·)) Fasse je vier zusammen:

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃)

(ζ₂ , η₂, ζ₃, η₃) ...

Jeweils Schnitt zw. ((ζ₁, ζ₂), (η₁, η₂)), ((η₁, η₂),(ζ₂, ζ₃)),. . .

Lem. 2.20

S⁰⁰ = (· · · ζ₁ · · · η₁ · · · ζ₂ · · · η₂ · · · ζ_j · · · η_j · · · ζ_k · · · (η_k · · ·)) Fasse je vier zusammen:

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃)

(ζ₂ , η₂, ζ₃, η₃) ...

Jeweils Schnitt zw. ((ζ₁, ζ₂), (η₁, η₂)), ((η₁, η₂),(ζ₂, ζ₃)),. . . s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

Lem. 2.20

S⁰⁰ = (· · · ζ₁ · · · η₁ · · · ζ₂ · · · η₂ · · · ζ_j · · · η_j · · · ζ_k · · · (η_k · · ·)) Fasse je vier zusammen:

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃)

(ζ₂ , η₂, ζ₃, η₃) ...

Jeweils Schnitt zw. ((ζ₁, ζ₂), (η₁, η₂)), ((η₁, η₂),(ζ₂, ζ₃)),. . . s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

((s + 3) gerade ¨Ubung!)

Lem. 2.20

Lem. 2.20

s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

Lem. 2.20

s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃) ...

(ζ^s+2

2 , η^s+2

2 , ζ^s+2

2 +1 , η^s+2

2 +1)

Lem. 2.20

s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃) ...

(ζ^s+2

2 , η^s+2

2 , ζ^s+2

2 +1 , η^s+2

2 +1)

ζ f¨uhrt ^s+2₂ Quadrupel an!

Lem. 2.20

s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃) ...

(ζ^s+2

2 , η^s+2

2 , ζ^s+2

2 +1 , η^s+2

2 +1)

ζ f¨uhrt ^s+2₂ Quadrupel an! η f¨uhrt ^s+2₂ − 1 Quadrupel an!

Lem. 2.20

s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃) ...

(ζ^s+2

2 , η^s+2

2 , ζ^s+2

2 +1 , η^s+2

2 +1)

ζ f¨uhrt ^s+2₂ Quadrupel an! η f¨uhrt ^s+2₂ − 1 Quadrupel an!

Insgesamt: 2 · (^s+2₂ ) − 1 = s + 1 Quadrupel

Lem. 2.20

s + 3 ungerade: η_k ex. und k = ^s+2₂ + 1 Induktion!!

(ζ₁ , η₁ , ζ₂ , η₂)

(η₁ , ζ₂ , η₂, ζ₃) ...

(ζ^s+2

2 , η^s+2

2 , ζ^s+2

2 +1 , η^s+2

2 +1)

ζ f¨uhrt ^s+2₂ Quadrupel an! η f¨uhrt ^s+2₂ − 1 Quadrupel an!

Insgesamt: 2 · (^s+2₂ ) − 1 = s + 1 Quadrupel

Noch zu zeigen: Jedes Quadrupel erzeugt Schnitt!

Lem. 2.20

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1)

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

C_x^z

z

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

C_x^z

z

C_z^y y

Z

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

C_x^z

z

C_z^y y

Z

Nach w?

w

C_z^w

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

C_x^z

z

C_z^y y

Z

Nach w?

w

C_z^w Nach w?

C_w^x

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

C_x^z

z

C_z^y y

Z

Nach w?

w

C_z^w Nach w?

C_w^x

u

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

C_x^z

z

C_z^y y

Z

Nach w?

w

C_z^w Nach w?

C_w^x z⁰ u

C

η⁰

w⁰

Lem. 2.20

Zu zeigen: O.B.d.A: (ζ_i, η_i, ζ_i+1, η_i+1) erzeugt einzelnen Schnitt zw.

(ζ_i, ζ_i+1) und (η_i, η_i+1) Situation wie folgt:

ζ

η

x

C_x^z

z

C_z^y y

Z

Nach w?

w

C_z^w Nach w?

C_w^x z⁰ u

C

η⁰

w⁰

Zeige, dass Schnitt existieren muss!

Situation: u im Innern!

ζ

η x y

C_x^z

z

D_u^y D^x_u

D_u^z

D_x^y

C_z^y D^w_z

D_u^w

Nach w?

w C_w^x

C_z^w Nach w?

u Z z⁰

C

η⁰

w⁰

Situation: u im Innern!

• u sieht x, z, y, w

ζ

η x y

C_x^z

z

D_u^y D^x_u

D_u^z

D_x^y

C_z^y D^w_z

D_u^w

Nach w?

w C_w^x

C_z^w Nach w?

u Z z⁰

C

η⁰

w⁰

Situation: u im Innern!

• u sieht x, z, y, w

• Verb. D_u^x, D_u^z, D_u^y, D_u^w schnittfrei mit C_x^z, C_z^y, C_y^w, C_w^x

• Annahme: D_x^y und D_z^w schnittfrei

ζ

η x y

C_x^z

z

D_u^y D^x_u

D_u^z

D_x^y

C_z^y D^w_z

D_u^w

Nach w?

w C_w^x

C_z^w Nach w?

u Z z⁰

C

η⁰

w⁰