Download 1. Convex Hull

Computational Geometry
The art of finding algorithms for solving geometrical problems
• Literature:
– M. De Berg et al: Computational Geometry,
Springer, 2000.
– H. Edelsbruner: Algorithms in
Combinatorial Geometry, Springer, 1987.
1. Convex Hull
1.1 Euclidean 2-dimensional space E2
– Real Vector Space V2 (V,+,•);
– Equations of lines in E2:
a1x1 + a2x2 = b
X= λ A + (1-λ ) B
(eq. 1)
(eq. 2)
λ
(1−λ)
B
X
A
1.2 Affine / Convex Combination
1.3 Affine / Convex Hull
Affine combination of points A and B
λ A + µ B,
•Affine Hull of a finite set of points A1 ,…, Ak
λ+ µ = 1
Convex combination of points A and B
λ A + µ B,
λ+ µ = 1,
λ, µ ≥ 0
Generalization: Euclidean n-dim space En
Affine combination:
{λ 1A1 + λ 2A2 + … + λ kAk :
λ 1 + λ 2 + … + λ k = 1}
•Convex Hull of a finite set of points A1 ,…, Ak
{λ 1A1 + λ 2A2 + … + λ kAk :
λ 1 + λ 2 + … + λ k = 1, λ i ≥ 0}
λ 1A1 + λ 2A2 + … + λ kAk , λ 1 + λ 2 + … + λ k = 1
Convex combination:
λ 1A1 + λ 2A2 + … + λ kAk , λ 1 + λ 2 + … + λ k = 1,
λ 1 ,…, λ k ≥ 0
Affine (Convex) Hull of a set S, notation Aff (S)
(Conv (S)), is the set of all affine (convex)
combinations of finite subsets of S.
Examlpes
• Line AB is the affine hull of A and B.
• Plane ABC is the affine hull of affinely
independent points A, B and C.
• ...
• Segment [A,B]. - is the set of points on AB which
are between A and B, i.e. the set of convex
combinations of A and B.
• Triangle, ...
1.4 Exercises
Exercise 1
Prove that if a point B belongs to the affine
hull Aff (A1, A2, …, Ak ) of points A1, A2,…,
Ak , then:
Aff (A1, A2,…, Ak) = Aff (B,A1, A2,…, Ak).
1
1.4 Exercises (cont.)
1.4 Exercises (cont.)
Exercise 2
Exercise 3
• Prove that the affine hull Aff (A1, A2, …, Ak ) of
points A1, A2,…, Ak contains the line AB with
each pair of its points A,B.
• Moreover, prove that Aff (A1, A2, …, Ak )
is the smallest set containing {A1, A2, …, A k } and
having this property.
[This property therefore may serve as a
definition of affine sets. ]
(Hint: proof by induction.)
Prove that Aff (A1,, A2, …, Ak ) is independent of the
transformation of coordinates.
1.4 Exercises (cont.)
Definition: Affine transformation of coordinates:
Matrix multiplication :
Matrix translation:
X -> X• Mnn
X-> X + O’
1.4 Exercises (cont.)
Exercise 1’-3’
Exercise 4
Reformulate exercises 1-3 by substituting:
•Aff (A1, A2, …, Ak ) with Conv (A1, A2, …, Ak )
•line AB with segment [A,B].
If a convex set S contains the vertices
A1, A2, …, Ak of a polygon P=A1A2…Ak ,
it contains the polygon P.
•Definition: Convex set is a set which contains
the segment [A,B] with each pair of its elements
A and B.
(Hint: Interior point property).
1.4 Exercises (cont.)
Exercise 5-5’
Prove that Aff (S) (Conv ( S)) is the smallest affine
(convex) set containing S, i. e. the smallest set X which
contains the line AB (segment [AB]) with each pair of points
A, B ∈ X.
Alternatively:
1.4 Exercises (cont.)
Exercise 6-6’
Prove that:
Aff (A1, A2, …, Ak ) = Aff (A1,, Aff (A2, …, Ak ) ).
Conv (A1, A2, …, Ak ) = Conv (A1,, Conv (A2, …, Ak ) ).
Definition: Convex Hull of a set of points S, notation Conv
(S ) is the smallest convex set containing S.
2