part i: linkages a: universality joseph orourke smith college

19
Part I: Linkages Part I: Linkages a: Universality a: Universality Joseph O’Rourke Joseph O’Rourke Smith College Smith College

Upload: olivia-shelton

Post on 27-Mar-2015

221 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Part I: Linkages a: Universality Joseph ORourke Smith College

Part I: LinkagesPart I: Linkagesa: Universalitya: Universality

Joseph O’RourkeJoseph O’RourkeSmith CollegeSmith College

Page 2: Part I: Linkages a: Universality Joseph ORourke Smith College

OutlineOutline

Chain ReachabilityRuler FoldingPantographWatt Linkage; Peaucellier LinkageKempe Universality TheoremKapovich & Millson Proof

Page 3: Part I: Linkages a: Universality Joseph ORourke Smith College

Chain ReachabilityChain Reachability

Connectivity of configuration spaceAnnulusTwo-kinks theorem

Page 4: Part I: Linkages a: Universality Joseph ORourke Smith College

CinderellaCinderella (FU Berlin, J.-R. Gebert & U. (FU Berlin, J.-R. Gebert & U. Kortenkamp)Kortenkamp)

Example constructionLamp example [lamp1.cdy] Cinderella 1.4:

http://page.inf.fu-berlin.de/~kortenka/CinderellaJapan/install.htm

user: cindybeta, password: geo-i.pdf

Cinderella 2: http://www.cinderella.de/beta/install.htm user: cindybeta, password: geo-i.pdf

Page 5: Part I: Linkages a: Universality Joseph ORourke Smith College

Steam LocomotiveSteam Locomotive

Page 6: Part I: Linkages a: Universality Joseph ORourke Smith College

Watt LinkageWatt Linkage

Circular to nearly linear

[Watt.cdy]

Page 7: Part I: Linkages a: Universality Joseph ORourke Smith College

Peaucellier LinkagePeaucellier Linkage

Circular to linear[Peaucellier.cdy]

Page 8: Part I: Linkages a: Universality Joseph ORourke Smith College

Universality TheoremsUniversality Theorems

Theorem 4.2.3 ([KM02]) Let C be a bounded portion of an algebraic

curve in the plane. Then there exists a planar linkage such that the orbit of one joint is precisely C.

Theorem 4.2.4 ([JS99]) Let V ≤ Rd be a compact real algebraic

variety (with topology induced by the Euclidean topology of Rd). Then V is homeomorphic to some components of a planar linkage.

Page 9: Part I: Linkages a: Universality Joseph ORourke Smith College

TranslatorTranslator

Page 10: Part I: Linkages a: Universality Joseph ORourke Smith College

Additor; MultiplicatorAdditor; Multiplicator

AdditorMultiplicator[Contraparallelogram.cdy][Multiplicator.cdy]

Page 11: Part I: Linkages a: Universality Joseph ORourke Smith College

AdditorAdditor

Page 12: Part I: Linkages a: Universality Joseph ORourke Smith College

Kempe Fig. 30Kempe Fig. 30

Page 13: Part I: Linkages a: Universality Joseph ORourke Smith College

Kempe Fig. 1Kempe Fig. 1

Page 14: Part I: Linkages a: Universality Joseph ORourke Smith College

Kempe Fig. 32Kempe Fig. 32

Page 15: Part I: Linkages a: Universality Joseph ORourke Smith College

Kempe Fig. 1Kempe Fig. 1

Page 16: Part I: Linkages a: Universality Joseph ORourke Smith College

Kempe: ParallelogramKempe: Parallelogram

Page 17: Part I: Linkages a: Universality Joseph ORourke Smith College

OverallOverallConstructionConstruction

Page 18: Part I: Linkages a: Universality Joseph ORourke Smith College

RhombusRhombus

Page 19: Part I: Linkages a: Universality Joseph ORourke Smith College

Kapovich & Millson 2002Kapovich & Millson 2002

[Kem76] Alfred Bray Kempe. On a general method of describing plane curves of the nth degree by linkwork. Proc. London Math. Soc., 7:213-216, 1876.

[KM02] Michael Kapovich and John J. Millson. Universality theorems for configuration spaces of planar linkages. Topology, 41(6):1051-1107, 2002.