Académique Documents
Professionnel Documents
Culture Documents
Holger Grzeschik
29.04.2004
Inhaltsbersicht
1.Einfhrung in die Theorie algebraischer Kurven
2.Mathematische Wiederholung
Gruppen, Ringe, Krper
3.Allgemeine affine Kurven
4.Singulre Punkte
5.Schlussfolgerungen
6.Probleme
Ereignispunkte
Ereignispunkte
Anfangspunkte
Endpunkte
singulre Punkte
Schnittpunkte
Schnittpunkte
Implizite Darstellung:
Menge { x , y f x , y=0 } mit f x , y[ x , y ]
Beispiel - Einheitskreis: f x , y =x 2 y 21
aber keine dynamische Struktur!
Implizite Kurven
Polynom:
f x , y= a ij x i y j
mit a ij
i, j
{ x , y 2
x 2 y 2 1=0 } = { x , y 2 x 2 y 2 2=0 }
Implizite Kurven
Kurve als quivalenzklasse eines Polynoms
Zwei Polynome f, g sind quivalent ( f ~ g ) falls ein Skalar
0 existiert mit g = f.
Die Relation ~ erfllt die Eigenschaften einer quivalenzrelation:
1.) Reflexivitt
f~f
2.) Symmetrie
f ~g g ~ f
3.) Transitivitt
f ~g g ~h g ~ f
a 1 x b1 yc 1 , a 2 x b 2 yc 2 in [ x , y ]
a 2 x b 2 yc 2=0
Determinante: =a 1 b 2a 2 b1
a 1 b1 x
c 1
=
a2 b2 y
c 2
x 2 y2
2 =1
2
a
b
2
Parabel: y = x
Hyperbel: yx =1
Schnittpunkte nicht notwendig in 2 trotz Koeffizienten aus !
evtl. Problem fr Sweep-Algorithmus
P(t0)
p0=(x(t0),y(t0))
fixiere p 0= x t 0 , y t 0
Tangentenvektor an p 0 ist x ' t 0 , y ' t 0 = 2 at 0 , 2 a
Tangente durch x t 0 , y t 0 : x t 0 ya t 0 2=0
Normale durch P: t 0 x y t 0=0
P(t0) = Schnittpunkt von Tangente und Normale
Pedalkurve:
Menge der
Punkte P(t)
hier Grad d=3
x=
at 2
1t 2
2
y=
t at
1t 2
=0
3. Fall: c1
Aber: Betrachte x , y
Mathematische Wiederholung
Gruppe
Def.: Eine Menge X zusammen mit einer Operation heit Gruppe,
wenn folgende Axiome erfllt sind:
G1 Abgeschlossenheit: binre Operation, x , y X xy X
G2 Assoziativitt: x , y , z X x yz = xyz
G3 Neutrales Element: e X : x X : ex =xe=x
G4 Inverses Element: x X : x 1 X : xx 1=x 1x =e
Falls auf X kommutativ ist (d.h. xy= yx mit x , y X ), so
nennt man X abelsche Gruppe.
Beispiele: , , , mit + oder * , * , * mit
Mathematische Wiederholung
Ringe, Krper
Def.: Ein kommutativer Ring ist eine Menge R mit verschiedenen
Elementen 0, 1 und kommutativen Operationen + (Addition) und
(Multiplikation) die die folgenen drei Axiome erfllt:
R1 R ist eine Gruppe (abelsch) unter + mit Identitt 0.
R2 Multiplikation ist assoziativ mit Identitt 1.
R3 Es gilt das Distributivgesetz
Def.: Ein Krper ist ein kommutativer Ring bei dem jedes Element
ungleich Null ein multiplikatives Inverses besitzt.
Beispiele fr Krper: , , , / p mit p prim
Ebene
Def.: Betrachte eine Menge X, deren Elemente wir Punkte nennen,
zusammen mit nichtleeren Teilmengen von X bezeichnet als Linien.
Ein Punkt p liegt auf einer Linie l, oder l geht durch p wenn p ein
Element von l ist.
X ist eine Ebene, wenn Punkte und Linien folgende Axiome erfllen
E1 Es gibt mindestens drei Punkte die nicht auf ein und derselben
Linie liegen.
E2 Durch je zwei Punkt p, q geht genau eine Linie
Affine Ebene
Sei eine Ebene X, eine Linie l in X und einen Punkt p in X gegeben.
Zwei Linien sind parallel, wenn sie disjunkte Teilmengen von X
sind. Dies fhrt auf drei Mglichkeiten:
(1) Es gibt keine Linie durch p parallel zu l.
(2) Es gibt genau eine Linie durch p parallel zu l.
(3) Es gibt mehr als eine Linie durch p parallel zu l.
Def.: Affine Ebene: (2) gilt fr alle p, l bei denen p nicht auf l liegt
(intuitive Vorstellung)
(2) gilt nicht immer: z.B. gilt fr projektive Ebenen (1)
V f = { x , y K 2 f x , y = 0 }
Beweis: Sei f x , y= a i y x
i=0
fixiere y=c f x , c = a i c x i =: x
i=0
Singulre Punkte
Singulrer Punkt entspricht anschaulich einem Punkt ohne Tangente.
Tangenten an parametrisierte Kurve einfach (Ableitung)
Wie findet man die Tangente zu einer impliziten Kurve f ?
Singulre Punkte
Def.: Sei k ,a , bV f und L eine Linie durch a , b. Dann
trifft L die Kurve f mit Multiplizitt k in a , b wenn L wie *
parametrisiert werden kann, so dass t=0 eine Lsung von
Multiplizitt k von g t = f x t , y t = f act , bdt =0 ist.
x t =act
*
y t =bdt
c Richtungsvektor
d
Gradienten Vektor: f = f x , f y
Ereignispunkte
Ereignispunkte
Anfangspunkte
Endpunkte
Schnittpunkte
Objektanalyse
Objektinteraktion
Schnittpunkte
Alle Ereignispunkte knnen als Schnittpunkte zwischen Kurvenpaaren
aufgefasst werden (hier f , fy , bzw. f, g ).
Probleme
y-Koordinate
des Schnittpunkts
Aktualisierung
der Y-Struktur
bei Schnittpunkten