Sie sind auf Seite 1von 22

Algebraische Kurven

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

Theorie algebraischer Kurven


vorher: Sweep-Algorithmus mit Liniensegmenten
jetzt: allgemeine Kurven statt Liniensegmenten

Theorie algebraischer Kurven

Ereignispunkte

Ereignispunkte

Anfangspunkte

Punkte mit vertikaler Tangente

Endpunkte

singulre Punkte

Schnittpunkte

Schnittpunkte

Parametrisierte und implizite Kurven


Parametrische Darstellung: { x t , y t t [ 0,1 }
dynamische Struktur:
Lnge des Tangentenvektors x ' t , y ' t
Geschwindigkeit v
x =t , y=t v= 2
Beispiel - Gerade:
x =2 t , y=2 t v=2 2

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

Grad eines Polynoms: maximaler Wert fr i + j mit aij 0.


Nullmenge eines Polynoms: V f = { x , y 2 f x , y =0 }
Unterscheide Nullmenge und Polynom!

{ x , y 2

x 2 y 2 1=0 } = { x , y 2 x 2 y 2 2=0 }

Def.: Eine rationale algebraische Kurve ist ein rationales Polynom


f 0, bis auf Multiplikation mit einem Skalar (0).
Grad einer Kurve entspricht Grad des Polynoms: Linie (d = 1),
Conic (Kegelschnitt) (d = 2), Cubic (d = 3) ...

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

Implizite Kurve Beispiel I


Zwei Geraden

a 1 x b1 yc 1 , a 2 x b 2 yc 2 in [ x , y ]

Schnittpunkte der zwei Geraden:


a 1 x b1 yc 1=0,

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

1.) 0 genau eine Lsung


2.) =0 a 1= a 2 , b1= b 2 , c 1= c 2 berlappung
3.) sonst keine Lsung, d.h. parallele Linien
Lsung (x,y) nur linear von a1,2, b1,2, c1,2 abhngig, also in 2!
kein Problem fr Sweep-Algorithmus

Implizite Kurve Beispiel II


Kegelschnitte (Conics, Grad d=2):
Kreis um a , b mit Radius r: x a2 yb2=r 2
Ellipse:

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

Parametrisierte Kurve Beispiel III


Gegeben: Parabel y 2=4 ax , a0 , Punkt P = , 0
parametrisierte Darstellung: x =a t 2 , y=2 at

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

Kurven ber beliebigen Krpern


Wie oft schneidet der Einheitkreis f x , y=x 2 y 21
die Linie y=c fr x , y , c ?
Schnittpunkte durch Gleichung x 2=1c 2 bestimmt.
1. Fall: 1c1 zwei verschiedene reelle Lsungen
2. Fall: c=1

eine einzige reelle Lsung

3. Fall: c1

keine reelle Lsung

Aber: Betrachte x , y

Dann gibt es immer zwei Lsungen (bei c=1 doppelte Nullstelle).


geeignete Wahl des Krpers

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)

Kurven in affinen Ebenen


Eine algebraische Kurve (oder kurz Kurve) ber dem Krper K ist
ein Polynom
f x , y= a ij x i y j 0 , a ij K
i, j

ber K bis auf Multiplikation mit einem Skalar ungleich Null.


Der Grad der Kurve ist durch den Grad des Polynoms gegeben.
Dabei nennt man Kurven von Grad 1, 2, 3, 4, ... Linien, Conics,
Cubics, Quartics, ...
Nullmenge einer algebraischen Kurve:

V f = { x , y K 2 f x , y = 0 }

affine Kurven - Nullmenge


Lemma:
Die Nullmenge jeder Kurve f mit Grad d > 0 in 2 ist unendlich.
d

Beweis: Sei f x , y= a i y x

i=0

Fall 1: f x , y=a 0 y variiere x


Fall 2: a i y0, 1id
z.z.: unendlich viele Linien y = const, die mindestens einen
Schnittpunkt mit f haben.
d

fixiere y=c f x , c = a i c x i =: x
i=0

nur endlich viele c mit 0=a 1 c ==a d c


fr alle anderen c gilt deg x 1
aus dem Fundamentalsatz der Algebra folgt direkt die Existenz
mindestens einer Nullstelle von x .

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

L ist Tangente an f in a , b wenn


t = 0 Lsung mit Multiplizitt 2
ist. Dann ist auch g ' 0=0 .
g ' t = f act , bdt c f act , bdt d
x
y
g ' 0= f , f a , b c = f a , b c =0
x
y
d
d

Singulrer Punkt & Tangente


g ' t = f act , bdt c f act , bdt d
x
y
g ' 0= f , f a , b c = f a , b c =0
x
y
d
d

Gradienten Vektor: f = f x , f y

steht senkrecht auf Tangente

Sei f ein Polynom ber K und a , bV f .


(1) Falls f a , b0,0 dann gibt es genau eine Linie, die
Tangente, die f mit Multiplizitt 2 trifft.
Man sagt a , b ist nichtsingulrer Punkt von f.
(2) Falls f a , b=0,0 dann trifft jede Linie durch a , b die
Kurve f mit Multiplizitt 2.
In diesem Fall heit a , b singulrer Punkt von f.

Theorie algebraischer Kurven

Ereignispunkte

Ereignispunkte

Anfangspunkte

Endpunkte

Schnittpunkte

Objektanalyse

Objektinteraktion

Punkte mit vertikaler


Tangente f = f y =0
singulre Punkte
f = f y = f x =0

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

Berechnung und Sortieren der X-Struktur