Mathematische Probleme, SS 208 Dienstag 0.4 $Id: vektor.tex,v.30 207/07/7 08:09:23 hk Exp hk $ Analytische Geometrie und Grundlagen In dieser Vorlesung wollen wir uns mit Fragen der sogenannten Elementargeometrie in der Ebene und im Raum beschäftigen. Wie der Name der Vorlesung andeutet geht es uns dabei nicht um eine Theorie der Elementargeometrie, wir wollen also nicht mit einem Axiomensystem starten und von diesem ausgehend die geometrischen Grundtatsachen und Sätze herleiten. Wir starten indem wir die Zeichenebene von vornherein als die cartesische Ebene R 2 = R R auffassen und entsprechend den Raum als den R 3 interpretieren. In diesem Rahmen werden dann geometrische Objekte und Fragen über diese untersucht die zwar größtenteils nicht zum Schulstoff gehören sich aber bereits mit in der Schule vermittelten Kenntnissen und Methoden behandeln lassen. Viele der behandelten Probleme sollten auch Schülern und Schülerinnen sinnvoll erscheinen, zumindest sofern überhaupt ein Grundinteresse an geometrischen Fragen besteht. Allerdings wird es in der Vorlesung nicht darum gehen wie man den Stoff in einer Schulstunde vermitteln könnte, dies wird eine ganz normale Mathematikvorlesung mit Definitionen, Sätzen und Beweisen sein und wir werden uns auch nicht auf Schulmethoden beschränken. Weiter wollen wir auch untersuchen wie sich die Schulgeometrie in die Inhalte des Grundstudiums eingliedert. Im Mathematikunterricht der Schule werden begriffliche Fragen nicht ernsthaft behandelt, es werden beispielsweise Winkel, Flächen, Volumina und all diese Dinge berechnet ohne zuvor zu klären was überhaupt ein Winkel oder die Fläche von etwas ist. In der Schule ist es auch durchaus angemessen sich hierfür auf eher vage und intuitive Vorstellungen zu verlassen ohne diese explizit zu thematisieren. Dies geschieht dann in den Grundvorlesungen zur linearen Algebra und zur Analysis, allerdings ist in diesen genug anderes zu tun so, dass der Zusammenhang des dort behandelten Stoffs mit den Begriffen der Schulgeometrie im Hintergrund verbleibt und nicht explizit gemacht wird. Daher wollen wir diese Vorlesung damit beginnen einige geometrische Grundlagenfragen zu klären. Wir beschränken uns dabei auf einige ausgewählte Themen, eine vollständige Behandlung dieser Fragen nimmt andernfalls zu viel Zeit in Anspruch. Wir verwenden einen analytischen Zugang und formulieren alles in Termen der Vektorraumstruktur des R d.. Affine Geometrie im R d In diesem Abschnitt behandeln wir inzidenzgeometrische Aspekte, untersuchen also Begriffe wie Geraden und Ebenen und damit zusammenhängende Fragen. Wie schon -
Mathematische Probleme, SS 208 Dienstag 0.4 erwähnt ist unsere Punktmenge der R d wobei d N die betrachtete Dimension ist. Wir werden hauptsächlich an den beiden kleinen Fällen d = 2 für die Ebene und d = 3 für den Raum interessiert sein, in diesem Abschnitt spielt dies aber noch keine Rolle. Die Elemente des R d nennen wir Punkte, insbesondere wollen wir keinen Unterschied zwischen Punkten und Vektoren machen. Geraden, Ebenen und all diese Dinge sind Mengen von Punkten und man kann sie alle gemeinsam behandeln indem der Begriff eines affinen Teilraums des R d verwendet wird. Dieser wurde zwar wahrscheinlich schon in der linearen Algebra eingeführt, wir wollen die Definition hier aber noch einmal wiederholen. Definition. (Affine Teilräume des R d Sei d N. Eine Teilmenge A R d heißt ein affiner Teilraum des R d wenn entweder A = ist oder es einen Punkt a R d und einen Untervektorraum U R d des R d mit gibt. A = a + U = {a + u u U} Da ein Untervektorraum immer den Nullvektor enthält ist dann a = a+0 a+u = A ein Element von A, man nennt a in diesem Zusammenhang auch einen Aufpunkt von A. Während der Aufpunkt ein völlig willkürlicher Punkt des affinen Teilraums ist, ist der zugehörige Untervektorraum eindeutig festgelegt. Lemma. (Richtung und Aufpunkte affiner Teilräume Sei d N. (a Sind U, U R d zwei Untervektorräume und a, a R d so ist genau dann a + U = a + U wenn U = U und a a U gelten. (b Sind U R d ein Untervektorraum, a R d und b A := a + U so ist auch A = b + U. Beweis: (a = Es gilt a + U = a + U = a + a a + U = a + U. = Wegen a = a + 0 a + U = a + U ist a a U und die bereits bewiesene Implikation ergibt a + U = a + U = a + U. Es folgen U = U und a a U = U. (b Wegen b a + U ist b a U und nach (a haben wir auch b + U = a + U = A. Da der zu einem nicht leeren affinen Teilraum gehörende Untervektorraum nach dem Lemma eindeutig festgelegt ist können wir diesem nun auch einen Namen geben. Definition.2 (Richtungen und Dimension affiner Teilräume Sei d N. Ist = A R d ein affiner Teilraum so wählen wir a R d und einen Untervektorraum U R d mit A = a + U und nennen R(A := U die Richtung von A, nach Lemma.(a ist dies wohldefiniert. Für einen affinen Teilraum A R d definieren wir die Dimension von A als { dim R(A, A, dim A :=, A =. -2
Mathematische Probleme, SS 208 Dienstag 0.4 Sind also A R d ein affiner Teilraum des R d und a A, so können wir Lemma.(b auch in der Form A = a + R(A aussprechen, und so werden wir dieses Lemma zumeist verwenden. Ist U R d ein Untervektorraum so ist U = 0 + U also ist U ein affiner Teilraum des R d mit R(U = U und somit stimmen die Dimension von U als Untervektorraum und als affiner Teilraum überein. Da ein Untervektorraum U des R d eine Dimension 0 dim U d hat, gilt auch für jeden affinen Teilraum A des R d stets dim A d. Dabei ist genau dann dim A = wenn A = ist und genau dann dim A = d wenn R(A = R d also A = R d ist. Ein nulldimensionaler affiner Teilraum des R d hat die Form a + {0} = {a} für ein a R d, die nulldimensionalen affinen Teilräume des R d entsprechen also den Punkten des R d. Analog zur Dimension von Untervektorräumen erfüllt auch der affine Dimensionsbegriff eine gewisse Monotonieeigenschaft. Lemma.2 (Monotonie der affinen Dimension Sei d N und seien A, B R d zwei affine Teilräume des R d mit A B. Dann gilt dim A dim B und genau dann ist dim A = dim B wenn A = B ist. Beweis: Dies ist klar wenn A = ist, wir können also A annehmen. Wählen wir nun ein a A B so sind nach Lemma.(b auch a + R(A = A B = a + R(B also R(A R(B und somit gilt dim A = dim R(A dim R(B = dim B. Dabei ist genau dann dim A = dim B wenn R(A = R(B beziehungsweise A = a + R(A = a + R(B = B gilt. Einige spezielle Typen affiner Teilräume erhalten eigene Namen. Definition.3 (Geraden, Ebenen und Hyperebenen Seien d N und A R d ein affiner Teilraum des R d. (a Der Teilraum A heißt eine Gerade wenn dim A = ist. (b Der Teilraum A heißt eine Ebene wenn dim A = 2 ist. (c Der Teilraum A heißt eine Hyperebene wenn dim A = d ist. Ist d = 2 so sind die Hyperebenen die Geraden und ist d = 3 so sind die Hyperebenen die Ebenen. Ist g R d eine Gerade so hat g die Form g = p + U wobei die Richtung U von g ein eindimensionaler Untervektorraum des R d ist und p g ein Punkt von g ist. Weiter können wir U = u = Ru für ein beliebiges u U\{0} schreiben und erhalten g = p + Ru. Diese Darstellung von g nennt man gelegentlich die Aufpunkt Richtung Form von g, der Punkt p heißt weiterhin ein Aufpunkt und u R d \{0} nennt man einen Richtungsvektor, die Richtung von g ist dann R(g = Ru. Weder Aufpunkt noch Richtungsvektor -3
Mathematische Probleme, SS 208 Dienstag 0.4 sind dabei durch g bestimmt, nach Lemma.(a gilt für alle p, p R d, u, u R d \{0} p + Ru = p + Ru (λ, µ R : u = λu p p = µu. Bei Ebenen ist die Situation etwas komplizierter, eine Ebene e R d hat die Form e = p + U wobei U ein zweidimensionaler Untervektorraum des R d ist. Dieser hat eine Basis u, u und wir können e = p + Ru + Ru schreiben, der Punkt p ist der Aufpunkt und u, u nennt man Richtungsvektoren von e, die Richtung von e ist dann R(e = u, u = Ru + Ru. Es gibt eine zweite Beschreibung affiner Teilräume als die Lösungsmengen linearer Gleichungssysteme. Ist Ax = b ein linearer Gleichungssystem mit Koeffizientenmatrix A R n d und rechter Seite b R n, wobei n, d N sind, und hat A den Rang r, so ist L := {x R d Ax = b} entweder leer oder ein (d r-dimensionaler affiner Teilraum des R d, die Richtung von L ist die Lösungsmenge R(L = {x R d Ax = 0} des zugehörigen homogenen linearen Gleichungssystems. Ist umgekehrt A ein n-dimensionaler affiner Teilraum des R d so gibt es ein lineares Gleichungssystem aus d n Gleichungen in d Unbekannten von vollen Rang n dessen Lösungsmenge genau A ist. Schreibe hierzu A = p + U mit p R d und einem n-dimensionalen Untervektorraum U des R d. Weiter wähle eine Basis v,..., v n von U. Dann berechnen wir eine (d n d Matrix A über R mit U = {x R d Ax = 0}, hierzu startet man mit der Matrix (v... v n mit Spalten v,..., v n und wendet auf diese das Gaußsche Eliminationsverfahren mit unbestimmter rechter Seite an. Die unteren d n Zeilen der rechten Seite des entstehenden Systems in Stufenform geben uns die gesuchte Matrix A. Setzen wir dann schließlich b := Ap so ist A = p + U = {x R d Ax = b} wie gewünscht. Als ein Beispiel behandeln wir einmal die Ebene 2 e := 3 + R 2 + R 3 4 im R 4. Es sind d = 4, n = 2, also läßt sich e durch d n = 2 Gleichungen in vier Unbekannten beschreiben. Wir führen das beschriebene Verfahren durch und erhalten A = 2 x 2 3 y u 4 v ( 5 7 0 5 0 6 2 x 0 7 y 2x 0 u + x 0 6 v x sowie b = ( 5 7 0 5 0 6-4 2 x 0 u + x 0 0 7u + y + 5x 0 0 v + 6u + 5x 3 = ( 25 24.
Mathematische Probleme, SS 208 Dienstag 0.4 Damit ist e die Lösungsmenge des linearen Gleichungssystems 5x + y + 7u = 25 5x + 6u + v = 24 Analog zur Situation bei Untervektorräumen können wir aus jeder gegebenen Teilmenge des R d einen erzeugten affinen Teilraum bilden. Lemma.3 (Durchschnitte und Erzeugnisse affiner Teilräume Sei d N. (a Ist (A i i I eine Familie affiner Teilräume des R d so ist auch der Durchschnitt i I A i ein affiner Teilraum des R d. Ist dabei i I A i so haben wir auch ( R A i = R(A i. i I (b Ist M R d eine Teilmenge, so ist i I M := {A R d A ist ein affiner Teilraum des R d mit M A} der kleinste M umfassende affine Teilraum des R d, genannt das affine Erzeugnis oder der affine Aufspann von M. (c Sind A, B R d zwei affine Teilräume des R d so ist AB := A B der kleinste A und B umfassende affine Teilraum des R d. Sind A, B und a A, b B so haben wir R(AB = R(A + R(B + R (b a und genau dann ist b a R(A + R(B wenn A B gilt. Zum Beweis dieses Lemmas kommen wir in der nächsten Sitzung. -5