Mathematisches Argumentieren und Beweisen Beweisarten Besipiele. Hagen Knaf, WS 2014/15
|
|
- Irmgard Neumann
- vor 5 Jahren
- Abrufe
Transkript
1 Mathematisches Argumentieren und Beweisen Beweisarten Besipiele Hagen Knaf, WS 2014/15 Im Folgenden sind einige der in der Vorlesung besprochenen Beispielbeweise für die verschiedenen Beweisarten aufgeführt vergleiche auch die Präsentation 4.1 Beweisarten (Beweisarten.pdf). 1 Direkter Beweis Satz 1.1: Jede konvergente Folge reeller Zahlen ist eine Cauchyfolge. Beweis: Man zeigt direkt die Gültigkeit des Cauchykriteriums ɛ > 0 n N i, j > n x i x j < ɛ für eine konvergente Folge (x k ). Sei also ɛ > 0 gegeben und sei x der Grenzwert der Folge. Nach Definition des Konvergenzbegriffs gibt es ein n N mit der Eigenschaft k > n x k x < ɛ 2. Mit diesem n gilt dann für alle i, j > n: x i x j = x i x + x x j x i x + x x j < ɛ 2 + ɛ 2 = ɛ, wobei man die Dreiecksungleichung benutzt. Das nächste Beispiel zeigt einen direkten Beweis in mehreren Schritten, wobei in zwei Schritten einfache vollständige Induktionen geführt werden. Satz 1.2: Jede Polynomfunktion p(x) ist stetig. Beweis: Eine Polynomfunktion auf R besitzt die Form p(x) = a n x n + a n 1 x n a 0, a k R,
2 für ein n N. Man zeigt für jedes x 0 R und jede gegen x 0 konvergente Folge (x k ) die Gleichung lim p(x k ) = p(x 0 ). Der Beweis dafür wird in mehreren Schritten geführt und beruht auf den folgende beiden Eigenschaften k der reellen Zahlen: Sind (x k ) und (y k ) konvergente Folgen mit Grenzwerten x und y, so gilt: A: (x k + y k ) ist eine konvergente Folge mit Grenzwert x + y. M: (x k y k ) ist eine konvergente Folge mit Grenzwert xy. 1. Schritt: Ist (x k ) eine konvergente Folge mit Grenzwert x 0, so ist für jedes m N (x m k ) eine konvergente Folge mit Grenzwert xm 0. Dies beweist man mit vollständiger Induktion. Induktionsanfang: Für m = 2 gilt die Aussage nach Eigenschaft M. Induktionsschritt: Für m > 2 gilt nach Annahme die Aussage für die Folge (x m 1 k ) und man benutzt die Eigenschaft M für die Folgen (x k ) und (x m 1 k ) um zu schließen, dass die Aussage auch für (x m k ) gilt. 2. Schritt: Ist (x k ) eine konvergente Folge mit Grenzwert x 0, so ist für jedes a R die Folge (ax m k ) konvergent mit Grenzwert axm 0. Für a = 1 folgt dies aus Schritt 1. Sonst folgt die Behauptung aus Eigenschaft M der konstanten Folge (a) und der Folge (x m k ). 3. Schritt: Es gilt lim p(x k ) = p(x 0 ) für jede gegen x 0 konvergente Folge k (x k ). Dies beweist man ebenfalls durch vollständige Induktion: Induktionsanfang: Ist n = 0 so ist die Behauptung trivial. Induktionsschritt: Für n > 0 gilt p(x) = q(x)+a n x n, wobei q(x) ein Polynom vom Grad < n ist. Folglich gilt nach Induktionsannahme: (q(x k )) konvergiert gegen q(x 0 ). Unter Verwendung der Eigenschaft A reeller Zahlenfolgen und Schritt 2 folgt, dass (q(x k ) + a n x n k ) = (p(x k)) gegen q(x 0 ) + a n x n 0 = p(x 0 ) konvergiert. 2 Konstruktiver Beweis Satz 2.1: Drei Punkte in der Ebene, die nicht auf einer Geraden liegen, liegen auf einem Kreis. Beweis: Es seien P, Q, R R 2 drei nicht auf einer Geraden liegenden Punkte. Ein Kreis, auf dem alle Punkte liegen, wird durch eine geometrische 2
3 Konstruktion mit Zirkel und Lineal angegeben. Diese Konstruktion muss den Kreismittelpunkt M liefern; der Kreisradius ist dann als Abstand d(m, P ) des Punktes P (oder Q oder R) von M bekannt. Der gesuchte Mittelpunkt M muss von P und Q gleichen Abstand haben. Alle Punkte mit gleichem Abstand von P und Q liegen auf einer Geraden, die senkrecht auf der Verbindungsstrecke von P und Q steht, und diese Strecke in der Mitte schneidet. Man kann diese Gerade konstruieren, indem man mit dem Zirkel die Schnittpunkte eines Kreises mit Mittelpunkt P und beliebigem Radius r > 1 d(p, Q) mit einem Kreis mit Mittelpunkt Q und demselben 2 Radius r bestimmt. Die Gerade g 1 durch die beiden Schnittpunkte ist die gesuchte. Dasselbe Verfahren wird auf die Punkte Q und R angewendet und liefert eine Gerade g 2. Der gesuchte Mittelpunkt M ist der Schnitt g 1 g 2 der beiden Geraden. Er existiert, weil die Geraden nach Annahme über P, Q, R nicht parallel sind. Satz 2.2: Jede natürliche Zahl lässt sich als Produkt von Primzahlen schreiben. Beweis: Der Satz wird bewiesen, indem man ein programmierbares (allerdings nicht sehr effektives) Verfahren angibt, dass die Zerlegung einer Zahl n N in Primzahlen in endlich vielen Schritten ermittelt. Man beachte zunächst, dass von jeder Zahl m N durch systematisches Probieren in endlich vielen Schritten ein Teiler d 1, d m bestimmt werden kann, oder festgestellt werden kann, dass es einen solchen nicht gibt, in welchem Fall m eine Primzahl ist. Das Verfahren verändert in jedem Schritt eine endliche Familie P = (d 1,..., d r ) von Teilern von n mit der Eigenschaft d 1 d 2... d r 1 d r = n. Es startet mit der Familie P = (d 1 := n). In jedem Schritt wird in der Reihenfolge der Numerierung nach einem d i in P gesucht, das einen echten Teiler d besitzt. Existiert ein solches d i nicht, so müssen alle d i Primzahlen sein, und eine Primfaktorisierung von n wurde gefunden. Andernfalls streicht man die Zahl d i aus der Familie P und fügt die Zahlen d und d i zu der Familie d hinzu. Danach geht man in den nächsten Schritt. Da mindestens eine der Zahlen d i bei jedem Schritt kleiner wird, muss das Verfahren nach endlich vielen Schritten abbrechen. 3
4 3 Widerspruchsbeweis Satz 3.1: Es gibt keine bijektive Abbildung zwischen einer nichtleeren Menge X und der Menge P (X) ihrer Teilmengen. Beweis: Wir nehmen an die Aussage des Satzes ist falsch. Dann existiert eine bijektive Abbildung f : X P (X). Für jedes x X gilt dann entweder x f(x) oder x f(x). Man kann also die Teilmenge M := {x X : x f(x)} X betrachten. Da f surjektiv ist, gibt es ein y X mit f(y) = M. Es gilt y M oder y M. Im ersten Fall folgt y f(y) = M, ein Widerspruch. Im zweiten Fall folgt y f(y) = M, ein Widerspruch. Jede mögliche Option führt also zu einem Widerspruch. Satz 3.2: Die Quadratwurzel aus einer natürlichen Zahl ist entweder eine natürliche Zahl oder sie ist irrational. Beweis: Wir nehmen an es gibt eine Zahl n N, deren Quadratwurzel n keine natürliche Zahl und nicht irrational ist. Folglich ist n ein echter Bruch: es gibt a, b N mit der Eigenschaft n = a, a und b sind teilerfremd b (der Bruch ist maximal gekürzt ), b 1. Es folgt a 2 = b 2 n. Es sei nun p eine Primzahl, die n teilt, und e N sei die größte natürliche Zahl für die p e ein Teiler von n ist. Dann teilt p e die Zahl a 2. Ist f N die größte natürliche Zahl für die p f ein Teiler von a ist, so folgt e = 2f, weil a und b teilerfremd sind. Wir haben gezeigt, dass die Zahl n die Form p e 1 1 p e p er r besitzt, wobei p 1,..., p r verschiedene Primzahlen und e 1,..., e r gerade Zahlen sind. Also ist n eine Quadratzahl, im Widerspruch zur Annahme. 4 Beweis durch Kontraposition Satz 4.1: Ist die Summe x+y zweier reeller Zahlen irrational, so ist entweder x oder y irrational. 4
5 Beweis: Wir beweisen die Kontraposition Sind x, y Q, so ist auch x + y Q.. Dies geschieht durch Bruchrechnen: x + y = a b + c d = ad + bc bd Q. Satz 4.2: Eine minimales Erzeugendensystem v 1,..., v m des R n ist linear unabhängig. Beweis: Wir beweisen die Kontraposition Ist das Erzeugendensystem v 1,..., v m linear abhängig, so ist es nicht minimal.. Wegen der linearen Abhängigkeit gibt es eine Linearkombination a 1 v a m v m = 0, in der mindestens einer der reellen Koeffizienten a k nicht 0 ist. Sei also a k 0 für ein k. Dann folgt: v k = a 1 k (a 1v a k 1 v k 1 + a k+1 v k a m v m ). (1) Wir zeigen, dass auch v 1,..., v k 1, v k+1,..., v m ein Erzeugendensystem, also v 1,..., v m nicht minimal ist. Dazu sei v R n ein beliebiger Vektor. Dieser lässt sich als Linearkombination v = b 1 v b m v m schreiben. In dieser Linearkombination kann man den Vektor v k gemäß Formel (1) ersetzen und erhält: v = b 1 v b m v m = b 1 v b k 1 v k 1 +b k a 1 k (a 1v a k 1 v k 1 + a k+1 v k a m v m ) +b k+1 v k b m v m = (b 1 + b k a 1 k a 1)v (b k 1 + b k a 1 k a k 1)v k 1 +(b k+1 + b k a 1 k a k+1)v k (b m + b k a 1 k a m)v m. Man kann also v als Linearkombination der v 1,..., v k 1, v k+1,..., v m darstellen, was gezeigt werden sollte. 5
6 5 Vollständige Induktion Satz 5.1: Eine endliche Menge mit n Elementen besitzt 2 n verschiedene Teilmengen. Beweis: Induktionsanfang: Eine 1-elementige Menge M = {m} besitzt die beiden Teilmengen (die leere Teilmenge) und M selbst. Also stimmt die Behauptung in diesem Fall. Induktionsschritt: Es sei n > 1 und M eine n-elementige Menge. Es sei m M und N := M \ {m}. Dann ist N eine n 1-elementige Menge und besitzt nach Induktionsannahme 2 n 1 Teilmengen. Jede Teilmenge von N ist auch eine Teilmenge von M. Die Teilmengen von M, die man auf diese Weise erhält, sind genau die Teilmengen von M, die m nicht enthalten. Sei nun T M mit m T, dann gilt T = T \{m} {m} und T \{m} N. Dies zeigt: Jede Teilmenge von M, die m enthält, ist von der Form S {m} mit S N. Weiter gilt: Sind S, S verschiedene Teilmengen von N, dann sind S {m} und S {m} verschiedene Teilmengen von M. Folglich gibt es 2 n 1 Teilmengen von M, die m enthalten. Insgesamt gibt es also 2 n n 1 = 2 n Teilmengen von M. Satz 5.2: Für die Fibonaccizahlen gilt die Formel F 1 + F F n = F n+2 1. Beweis: Die Fibonaccizahlen sind durch die Rekursionsformel F n+2 = F n+1 + F n definiert, wobei F 1 = 1 und F 2 = 1 gilt. Induktionsanfang: Für n = 1 gilt F 3 1 = 2 1 = F 1, wie behauptet. Induktionsschritt: Für n > 1 gilt F 1 + F F n 1 + F n = (F 1 + F F n 1 ) + F n = (F n 1+2 1) + F n = (F n+1 1) + F n = F n Beweis von Äquivalenzaussagen Der folgende Satz wird durch Beweis einer zyklischen Kette von Implikationen bewiesen. 6
7 Satz 6.1: Es seien v 1,..., v m Vektoren im R n. Dann sind die folgenden Aussagen äquivalent: 1. v 1,..., v m ist ein minimales Erzeugendensystem des R n. 2. v 1,..., v m ist eine maximale, linear unabhängige Teilmenge des R n. 3. v 1,..., v m ist eine Basis des R n. Beweis: Wir zeigen die Implikationen 1. 2., und : Satz 4.2 zeigt, dass v 1,..., v m linear unabhängig sind. Ist v ein beliebiger von den v k verschiedener Vektor, so lässt sich dieser nach Voraussetzung als Linearkombination schreiben. Folglich ist v = a 1 v a m v m v a 1 v a m v m = 0 eine Linearkombination des Nullvektors, in der mindestens ein Koeffizient ungleich 0 ist, das heißt v 1,..., v m, v sind linear abhängig und v 1,..., v m ist damit maximal : Ist v V beliebig, so sind v 1,..., v m, v nach Voraussetzung linear abhängig. Also gibt es eine Linearkombination av + a 1 v a m v m = 0, in der mindestens ein Koeffizient von 0 verschieden ist. Es muss a 0 sein, da die v 1,..., v m linear unabhängig sind. Also gilt v = a 1 (a 1 v a m v m ), womit v 1,..., v m ein Erzeugendensystem ist. Sind nun a 1 v a m v m = v = b 1 v b m v m zwei Darstellungen von v als Linearkombination, so folgt (a 1 b 1 )v (a m b m )v m = 0, 7
8 also b k = a k für alle k wegen der linearen Unabhängigkeit der v 1,..., v m : Jede Basis ist ein Erzeugendensystem. Es bleibt also die Minimalität von v 1,..., v m zu zeigen. Könnte man etwa v k aus dem Erzeugendensystem weglassen ohne diese Eigenschaft zu verlieren, so ließe sich v k als Linearkombination der restlichen v i schreiben. Dies würde wie im Beweis von die lineare Abhängigkeit der v 1,..., v m nach sich ziehen; ein Widerspruch. Studiengang Angewandte Mathematik Hochschule RheinMain 8
4. Beweise 4.1: Beweisarten
4. Beweise 4.1: Beweisarten Hagen Knaf Prof. Dr. H. Knaf, Mathematisches Beweisen 1 Liste wichtiger Beweisarten 1. Direkter Beweis 2. Fallunterscheidung 3. Konstruktiver Beweis 4. Widerspruchsbeweis 5.
MehrWie in der reellen Analysis üblich notiert man Folgen f in der Form
2.1.3 Folgen und Konvergenz Viele aus der Analysisvorlesung bekannte Begriffe lassen sich in den Bereich der metrischen Räume verallgemeinern. Diese Verallgemeinerung hat sich als sehr nützliches mathematisches
Mehraus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch!
Bemerkungen: 1 Die Bedeutung von (und damit ) ist klar. wird oft, vor allem in Beweisen, auch als geschrieben (im Englischen: iff, if and only if). 2 Für zwei boolesche Aussagen A und B ist A B falsch
MehrMathematik I. Vorlesung 11. Lineare Unabhängigkeit
Prof. Dr. H. Brenner Osnabrück WS 2009/2010 Mathematik I Vorlesung 11 Lineare Unabhängigkeit Definition 11.1. Es sei K ein Körper und V ein K-Vektorraum. Dann heißt eine Familie von Vektoren v i, i I,
MehrBeispiel 27 (Beweis durch Widerspruch) Satz 28 3 ist irrational, d. h. Beweis: Widerspruchsannahme: 3 Q.
Beispiel 27 (Beweis durch Widerspruch) Wir nehmen an, dass die zu zeigende Aussage falsch ist und führen diese Annahme zu einem Widerspruch. Satz 28 3 ist irrational, d. h. 3 / Q. Beweis: Widerspruchsannahme:
MehrElementare Beweismethoden
Elementare Beweismethoden Christian Hensel 404015 Inhaltsverzeichnis Vortrag zum Thema Elementare Beweismethoden im Rahmen des Proseminars Mathematisches Problemlösen 1 Einführung und wichtige Begriffe
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil
MehrKapitel 3: Die Sätze von Euler, Fermat und Wilson. 8 Der Satz von Euler
Kapitel 3: Die Sätze von Euler, Fermat und Wilson In diesem Kapitel wollen wir nun die eulersche -Funktion verwenden, um einen berühmten Satz von Euler zu formulieren, aus dem wir dann mehrere interessante
MehrZusammenfassung: Beweisverfahren
LGÖ Ks VMa 11 Schuljahr 217/218 Zusammenfassung: Beweisverfahren Inhaltsverzeichnis Teilbarkeitslehre... 1 Mathematische Sätze... 1 Bedingungen für Extremstellen und Wendestellen... 2 Beweisverfahren...
MehrLineare Algebra und analytische Geometrie I
Prof Dr H Brenner Osnabrück WS 25/26 Lineare Algebra und analytische Geometrie I Schläft ein Lied in allen Dingen, Die da träumen fort und fort, Und die Welt hebt an zu singen, Triffst du nur das Zauberwort
MehrVorkurs Mathematik. Prof. Udo Hebisch WS 2017/18
Vorkurs Mathematik Prof. Udo Hebisch WS 2017/18 1 1 Logik 2 1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig
MehrDr. Regula Krapf Sommersemester Beweismethoden
Vorkurs Mathematik Dr. Regula Krapf Sommersemester 2018 Beweismethoden Aufgabe 1. Überlegen Sie sich folgende zwei Fragen: (1) Was ist ein Beweis? (2) Was ist die Funktion von Beweisen? Direkte Beweise
MehrSkriptum Konstruierbare Zahlen. Projekttage Mathematik 2007
Skriptum Konstruierbare Zahlen Projekttage Mathematik 007 c Florian Stefan und Stefan Englert Würzburg, 007 Konstruktion mit Zirkel und Lineal Gegeben sei eine Menge M von Punkten in der Zeichenebene Dann
MehrSerie 4 2 = 10. ) ist). Dann gilt für alle n n 0
Serie 4. Aufgabe 336 Punkte) Gegeben seien zwei reelle Zahlenfolgen durch a n : 0 n, n N b n : n n, n N Bestimmen Sie die Grenzwerte a bzw. b der Folgen a n ) n N bzw. b n ) n N. Geben Sie jeweils zu gegebenem
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2017/18 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 Inhaltsverzeichnis Teil 1 Teil
Mehr9. Geometrische Konstruktionen und Geometrische Zahlen.
9. Geometrische Konstruktionen und Geometrische Zahlen. Die Dreiteilungsgleichnung. Das Problem der Dreiteilung des Winkels wurde von Descartes vollständig gelöst. Dies ist in der Geometrie von Descartes
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2017/18 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 Inhaltsverzeichnis Teil 1 Teil
Mehrsign: R R, sign(x) := 0 falls x = 0 1 falls x < 0 Diese ist im Punkt x 0 = 0 nicht stetig, denn etwa zu ε = 1 finden wir kein δ > 0
ANALYSIS FÜR PHYSIK UND VERWANDTE FÄCHER I 81 3. Stetigkeit 3.1. Stetigkeit. Im Folgenden sei D R eine beliebige nichtleere Teilmenge. Typischerweise wird D ein allgemeines Intervall sein, siehe Abschnitt
MehrMathematik für Anwender I
Prof. Dr. H. Brenner Osnabrück WS 2011/2012 Mathematik für Anwender I Vorlesung 7 Die Lösungsmenge eines homogenen linearen Gleichungssystems in n Variablen über einem Körper K ist ein Untervektorraum
MehrMusterlösung zum Weihnahchtsübungsblatt. Teil 1 von Martin Fabricius. Aufgabe 1
Musterlösung zum Weihnahchtsübungsblatt Teil von Martin Fabricius Aufgabe a) Diese Aufgabe kann z. B. durch ausmultiplizieren gelöst werden: (433) 7 = 4 7 3 +3 7 + 7 +3 7 0 = 4 343+3 49+ 7+3 = 37+47+4+3
MehrGrundlegendes der Mathematik
Kapitel 2 Grundlegendes der Mathematik (Prof. Udo Hebisch) 2.1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig
Mehr3.3 Austauschsatz, Basisergänzungssatz und Dimension
66 Kapitel III: Vektorräume und Lineare Abbildungen 3.3 Austauschsatz, Basisergänzungssatz und Dimension Montag, 15. Dezember 2003 Es sei V ein Vektorraum. Jedes Teilsystem eines linear unabhängigen Systems
Mehr1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente:
Lösung 1. Übung Elemente der Algebra WS017/18 1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente: (e) {(x,y) IR 3x+4y 1}.
MehrKapitel 13. Lineare Gleichungssysteme und Basen
Kapitel 13. Lineare Gleichungssysteme und Basen Matrixform des Rangsatzes Satz. Sei A eine m n-matrix mit den Spalten v 1, v 2,..., v n. A habe den Rang r. Dann ist die Lösungsmenge L := x 1 x 2. x n x
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 018/19 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de c 018 Steven Köhler Wintersemester 018/19 Inhaltsverzeichnis Teil 1 Teil Teil
MehrEinführung in die lineare Algebra und GeometrieWS 2018/19 October 30, 2018
1 Beweisen Sie folgende Aussage: Das Produkt zweier ungeraden Zahlen ist ungerade Beweisen Sie folgende Aussage: Es gibt keine ganzen Zahlen n, m mit 8m + 4n = 100 [Hinweis: Beweisen Sie indirekt Nehmen
Mehr4.6 Beweistechniken Die meisten mathematischen Behauptungen sind von der Form
4.6 Beweistechniken Die meisten mathematischen Behauptungen sind von der Form A B bzw. (A 1 A k ) B. Um A B zu beweisen, können wir zeigen: 1 Unter der Annahme A können wir B zeigen (direkter Beweis).
MehrKapitel II. Vektorräume
Inhalt der Vorlesung LAAG I Prof. Dr. Arno Fehm TU Dresden WS2017/18 Kapitel II. Vektorräume In diesem ganzen Kapitel sei K ein Körper. 1 Definition und Beispiele 1.1 Beispiel. Ist K = R, so haben wir
Mehrtechnische universität dortmund Dortmund, im Dezember 2011 Fakultät für Mathematik Prof. Dr. H. M. Möller
technische universität dortmund Dortmund, im Dezember 2011 Fakultät für Mathematik Prof. Dr. H. M. Möller Lineare Algebra für Lehramt Gymnasien und Berufskolleg Zusammenfassung der Abschnitte 4.3 und 4.4
MehrInstitut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 4
Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark 08.11.2018 Dr. Markus Lange Analysis 1 Aufgabenzettel 4 Abgabe bis 14. November 2018, 19:00 Uhr Erinnerung: Die Anmeldung für den Übungsschein
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Lösungen Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Kapitel I: Mengen Aufgabe
MehrNumerische Verfahren und Grundlagen der Analysis
Numerische Verfahren und Grundlagen der Analysis Rasa Steuding Hochschule RheinMain Wiesbaden Wintersemester 2011/12 R. Steuding (HS-RM) NumAna Wintersemester 2011/12 1 / 26 1. Folgen R. Steuding (HS-RM)
Mehr11. Folgen und Reihen.
- Funktionen Folgen und Reihen Folgen Eine Folge reeller Zahlen ist eine Abbildung a: N R Statt a(n) für n N schreibt man meist a n ; es handelt sich also bei einer Folge um die Angabe der Zahlen a, a
MehrSatz 7. A sei eine Teilmenge des nichttrivialen Vektorraums (V,+, ). Dann sind die folgende Aussagen äquivalent.
Definition der Basis Def. Es sei (V,+, ) ein nichttrivialer Vektorraum. Die Menge A V heißt eine Basis-Menge, falls sie (a) linear unabhängig ist und (b) span(a) = V. Satz 7. A sei eine Teilmenge des nichttrivialen
MehrVorkurs Mathematik WiSe 2017/18
Vorkurs Mathematik WiSe 2017/18 S. Bernstein, S. Dempe, M. Helm Fakultät für Mathematik und Informatik Die Vorlesungen und Tutorien des Vorkurses wurden als Teil des Brückenkurses I teilweise durch das
Mehr4.1. Vektorräume und lineare Abbildungen
4.1. Vektorräume und lineare Abbildungen Mengen von Abbildungen Für beliebige Mengen X und Y bezeichnet Y X die Menge aller Abbildungen von X nach Y (Reihenfolge beachten!) Die Bezeichnungsweise erklärt
MehrIn diesem Kapitel wird der Vektorraumbegriff axiomatisch eingeführt und einige grundlegende Begriffe erläutert, etwa. Unterraum,
2 Vektorräume In diesem Kapitel wird der Vektorraumbegriff axiomatisch eingeführt und einige grundlegende Begriffe erläutert, etwa Unterraum, Linearkombination, lineare Unabhängigkeit und Erzeugendensystem.
MehrAnalysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME
Analysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME Dietmar A. Salamon ETH-Zürich 23. Februar 2015 1 Topologische Grundbegriffe Sei (X, d) ein metrischer Raum, d.h. X ist eine Menge und d : X X R ist
MehrAufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I
Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I Wintersemester 2008/2009 Übung 11 Einleitung Es wird eine 15-minütige Mikroklausur geschrieben. i) Sei D R oderd C. Wann heißt
MehrZusammenfassung: Beweisverfahren
LGÖ Ks VMa 11 Schuljahr 216/217 Zusammenfassung: Beweisverfahren Inhaltsverzeichnis Teilbarkeitslehre... 1 Mathematische Sätze... 1 Bedingungen für innere Extremstellen... 3 Beweisverfahren... 3 Für Experten...
MehrVorkurs Beweisen
Vorkurs -- 4. Beweisen.0.05 Aussageformen Aussagen können auch Parameter enthalten (z.b. x) Wahr oder falsch hängt dann vom Parameter x ab. Können natürlich auch mehrere Parameter sein. Beispiel einer
Mehr2. Teilbarkeit. Euklidischer Algorithmus
O. Forster: Einführung in die Zahlentheorie 2. Teilbarkeit. Euklidischer Algorithmus 2.1. Wir benutzen die folgenden Bezeichnungen: Z = {0, ±1, ±2, ±3,...} Menge aller ganzen Zahlen N 0 = {0, 1, 2, 3,...}
MehrVollständige Induktion. Analysis I. Guofang Wang. Universität Freiburg
Universität Freiburg 26.10.2011 Vollständige Induktion Wir unterbrechen jetzt die Diskussion der Axiome der reellen Zahlen, um das Beweisverfahren der vollständigen Induktion kennenzulernen. Wir setzen
Mehr5 Teilmengen von R und von R n
5 Teilmengen von R und von R n Der R n ist eine mathematische Verallgemeinerung: R n = {x = (x 1,...,x n ) : x i R} = R }... {{ R }. n mal Für x R ist x der Abstand zum Nullpunkt. Die entsprechende Verallgemeinerung
MehrMathematisches Institut der Universität Heidelberg Prof. Dr. E. Freitag /Thorsten Heidersdorf. Probeklausur
Mathematisches Institut der Universität Heidelberg Prof. Dr. E. Freitag /Thorsten Heidersdorf Probeklausur Diese Probeklausur soll a) als Test für euch selber dienen, b) die Vorbereitung auf die Klausur
MehrLösungsvorschlag zur Übungsklausur zur Analysis I
Prof. Dr. H. Garcke, Dr. H. Farshbaf-Shaker, D. Depner WS 8/9 NWF I - Mathematik 9..9 Universität Regensburg Lösungsvorschlag zur Übungsklausur zur Analysis I Frage 1 Vervollständigen Sie die folgenden
Mehr1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente:
Lösung 1. Übung Elemente der Algebra WS018/19 1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente: (e) {(x,y) IR 7x+3y 6}.
MehrMathematik 1 Übungsserie 3+4 ( )
Technische Universität Ilmenau WS 2017/2018 Institut für Mathematik Thomas Böhme BT, EIT, II, MT, WSW Aufgabe 1 : Mathematik 1 Übungsserie 3+4 (23.10.2017-04.11.2017) Sei M eine Menge. Für eine Teilmenge
MehrÜbungsklausur zur Vorlesung Lineare Algebra und Analytische Geometrie I
Humboldt-Universität zu Berlin.0.08. Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Mathematik A. Filler Übungsklausur zur Vorlesung Lineare Algebra und Analytische Geometrie I Bitte lösen
MehrHöhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 13. Übungsblatt
UNIVERSITÄT KARLSRUHE Institut für Analysis HDoz. Dr. P. C. Kunstmann Dipl.-Math. M. Uhl WS 8/9 Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum
MehrVorkurs Mathematik 2016
Vorkurs Mathematik 2016 Natürliche Zahlen Der grundlegende Zahlenbereich ist die Menge der natürlichen Zahlen N = {1, 2, 3,...}. In vielen Fällen ist es sinnvoll die Zahl 0 mit einzubeziehen: N 0 = N [
MehrHöhere Mathematik I für die Fachrichtung Informatik. Lösungsvorschläge zum 4. Übungsblatt
KARLSRUHER INSTITUT FÜR TECHNOLOGIE INSTITUT FÜR ANALYSIS Dr. Christoph Schmoeger Heiko Hoffmann WS 0/4 Höhere Mathematik I für die Fachrichtung Informatik Lösungsvorschläge zum 4. Übungsblatt Aufgabe
MehrIndexmengen. Definition. n n n. i=1 A i := A 1... A n
Indexmengen Definition Es sei n N. Für Zahlen a 1,..., a n, Mengen M 1,..., M n und Aussagen A 1,..., A n definieren wir: n i=1 a i := a 1 +... + a n n i=1 a i := a 1... a n n i=1 M i := M 1... M n n i=1
MehrDonnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.
Unterräume und Lineare Hülle 59 3. Unterräume und Lineare Hülle Definition.1 Eine Teilmenge U eines R-Vektorraums V heißt von V, wenn gilt: Unterraum (U 1) 0 U. (U ) U + U U, d.h. x, y U x + y U. (U )
MehrCauchy-Folgen und Kompaktheit. 1 Cauchy-Folgen und Beschränktheit
Vortrag zum Seminar zur Analysis, 10.05.2010 Michael Engeländer, Jonathan Fell Dieser Vortrag stellt als erstes einige Sätze zu Cauchy-Folgen auf allgemeinen metrischen Räumen vor. Speziell wird auch das
MehrD-MATH Topologie FS 15 Theo Bühler. Musterlösung 11. d(x, y) := n 0. 2 n d n (x n, y n ),
D-MATH Topologie FS 15 Theo Bühler Musterlösung 11 1. a) Da (C n, d n ) kompakt ist, nimmt die stetige Funktion d n : C n C n [0, ), (x, y) d(x, y) ihr Maximum diam C n an. Ersetzen wir d n durch d n =
MehrExistenz unendlich vieler Primzahlen Es werden mehrere Beweise für die Existenz unendlich vieler Primzahlen vorgetragen.
Seminarausarbeitung Existenz unendlich vieler Primzahlen Es werden mehrere Beweise für die Existenz unendlich vieler Primzahlen vorgetragen. Andre Eberhard Mat. Nr. 25200607 5. November 207 Inhaltsverzeichnis
MehrMitschrift Mathematik, Vorlesung bei Dan Fulea, 2. Semester
Mitschrift Mathematik, Vorlesung bei Dan Fulea, 2. Semester Christian Nawroth, Erstellt mit L A TEX 23. Mai 2002 Inhaltsverzeichnis 1 Vollständige Induktion 2 1.1 Das Prinzip der Vollstandigen Induktion................
MehrBlatt 4. Übungen zur Topologie, G. Favi 20. März Abgabe: 27. März 2008, 12:00 Uhr
Übungen zur Topologie, G. Favi 20. März 2009 Blatt 4 Abgabe: 27. März 2008, 12:00 Uhr Aufgabe 1. (a) Auf der 2-Sphäre S 2 := {(x, y, z) R 3 x 2 + y 2 + z 2 = 1} R 3 betrachten wir folgende Äquivalenzrelation:
MehrMathematik für Sicherheitsingenieure I A
Priv.-Doz. Dr. J. Ruppenthal Wuppertal, 9.0.08 Dr. T. Pawlaschyk Mathematik für Sicherheitsingenieure I A Aufgabe. (5+5+6+4 Punkte) a) Geben Sie für jede der folgenden Aussagen an, ob sie WAHR oder FALSCH
MehrMathematik für Anwender I
Prof. Dr. H. Brenner Osnabrück WS 2011/2012 Mathematik für Anwender I Vorlesung 4 Injektive und surjektive Abbildungen Definition 4.1. Es seien L und M Mengen und es sei eine Abbildung. Dann heißt F F
MehrLineare Abhängigkeit
Lineare Abhängigkeit Vorbemerkung. Es sei X eine Menge. Eine Familie von Elementen von X ist eine Abbildung I X, i x i. I heißt dabei Indexmenge. Man verwendet dabei oft die Schreibweise (x i ) oder (x
MehrVektorräume und Lineare Abbildungen
Vektorräume und Lineare Abbildungen Die angesprochene Thematik macht den Kern dieser Veranstaltung aus. Lineare Techniken sind zentral für weite Bereiche mathematischen Argumentierens. Durch in der Analysis
Mehr1 Aufbau des Zahlensystems
1 Aufbau des Zahlensystems 1.1 Die Menge N der natürlichen Zahlen 1.1.1 Definition Die mathematischen Eigenschaften dieser durch das Abzählen von Gegenständen motivierten Zahlenmenge lassen sich auf die
MehrKörper- und Galoistheorie
Prof. Dr. H. Brenner Osnabrück SS 2011 Körper- und Galoistheorie Vorlesung 3 Es sei K L eine endliche Körpererweiterung und x L ein Element. Dann sind die Potenzen x i, i N, linear abhängig, und das bedeutet,
MehrÜbungen p-adische Zahlen
Blatt 1 Aufgabe 1. Berechnen Sie die ersten fünf Ziffern a 0,..., a 4 der ganzen p- adischen Zahl 1 + p + p 2 = a i p i Z p, p 1 i 0 für die Primzahlen p = 2, 3, 5. Aufgabe 2. Sei a = i 0 a ip i Z p eine
MehrGrundbegriffe der Mathematik - Blatt 1, bis zum
Grundbegriffe der Mathematik - Blatt 1 bis zum 9.3.01 1. I.) Formalisieren Sie die folgenden Aussagen a) bis c) wie im folgenden Beispiel: Sei K ein Teilmenge der reellen Zahlen. Aussage: K ist genau dann
MehrAnalysis I. Guofang Wang Universität Freiburg
Universität Freiburg 8.11.2016 Kapital 2. Konvergenz 1. Grenzwerte von Folgen Definition 1.1 (Folge) Eine Folge reeller Zahlen ist eine Abbildung N R, n a n. a n heißt das n-te Glied der Folge, die Folge
MehrII. Wissenschaftliche Argumentation
Gliederung I. Motivation II. Wissenschaftliche Argumentation i. Direkter Beweis ii. iii. Indirekter Beweis Beweis durch vollständige Induktion Seite 35 II. Wissenschaftliche Argumentation Ein Beweis ist
MehrKarlsruher Institut für Technologie Institut für Algebra und Geometrie
Karlsruher Institut für Technologie Institut für Algebra und Geometrie PD Dr. Stefan Kühnlein Dipl.-Math. Jochen Schröder Einführung in Algebra und Zahlentheorie Übungsblatt 9 Aufgabe 1 (4 Punkte +) Sei
Mehr(b) Man nennt die Menge M beschränkt, wenn sie nach oben und unten beschränkt ist.
8 Punktmengen Für die Menge M = { 1 n ; n N } ist 1 = max(m), denn 1 M und 1 n 1 für alle n N. Die Menge M besitzt aber kein Minimum, denn zu jeder Zahl x = 1 n M existiert ein y M mit y < x, etwa y =
MehrTopologische Grundbegriffe I. 1 Offene und Abgeschlossene Mengen
Topologische Grundbegriffe I Vortrag zum Proseminar Analysis, 26.04.2010 Nina Neidhardt und Simon Langer Im Folgenden soll gezeigt werden, dass topologische Konzepte, die uns schon für die Reellen Zahlen
MehrDer Fundamentalsatz der Algebra. 1 Motivation
Vortrag im Rahmen des Proseminars zur Analysis, 24. April 2006 Micha Bittner Motivation Den ersten des Fundamentalsatzes der Algebra erbrachte C.F. Gauss im Jahr 799 im Rahmen seiner Dissertation. Heute
MehrMathematik für Anwender. Testklausur mit Lösungen
Fachbereich Mathematik/Informatik 4. Januar 0 Prof. Dr. H. Brenner Mathematik für Anwender Testklausur mit en Dauer: Zwei volle Stunden + 0 Minuten Orientierung, in denen noch nicht geschrieben werden
MehrBrüche, Polynome, Terme
KAPITEL 1 Brüche, Polynome, Terme 1.1 Zahlen............................. 1 1. Lineare Gleichung....................... 3 1.3 Quadratische Gleichung................... 6 1.4 Polynomdivision........................
Mehr8 Summen von Quadraten
8 Summen von Quadraten A. Summen von zwei Quadraten. Sei p eine Primzahl. Beispiele. = 1 + 1, 5 = 1 +, 13 = + 3 Aber 3 und 7 sind nicht Summen von zwei Quadraten. 8.1 Satz. Genau dann ist p Summe von zwei
Mehr: das Bild von ) unter der Funktion ist gegeben durch
% 1.3 Funktionen Seien und Mengen nennt man Funktion oder Abbildung. Beachte: Zuordnung ist eindeutig. Bezeichnungen: : Definitionsbereich : Bildbereich (Zielmenge) von Der Graph einer Funktion: graph!
MehrLogik für Informatiker. 1. Grundlegende Beweisstrategien. Viorica Sofronie-Stokkermans Universität Koblenz-Landau
Logik für Informatiker 1. Grundlegende Beweisstrategien Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Mathematisches Beweisen Mathematische ussagen - haben oft
MehrÜbungen Mathematik I, M
Übungen Mathematik I, M Übungsblatt, Lösungen (Stoff aus Mathematik 0) 09.0.0. Kommissar K hat 3 Tatverdächtige P, Q und R. Er weiß: (a) Wenn sich Q oder R als Täter herausstellen, dann ist P unschuldig.
Mehrx, y 2 f(x)g(x) dµ(x). Es ist leicht nachzuprüfen, dass die x 2 setzen. Dann liefert (5.1) n=1 x ny n bzw. f, g = Ω
5. Hilberträume Definition 5.1. Sei H ein komplexer Vektorraum. Eine Abbildung, : H H C heißt Skalarprodukt (oder inneres Produkt) auf H, wenn für alle x, y, z H, α C 1) x, x 0 und x, x = 0 x = 0; ) x,
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
Mehr$Id: vektor.tex,v /01/21 14:35:13 hk Exp $
Mathematik für Physiker I, WS 2/2 Freitag 2 $Id: vektortex,v 5 2//2 4:35:3 hk Exp $ Vektorräume 2 Untervektorräume und Erzeugendensysteme Am Ende der letzten Sitzung hatten wir wieder einmal den Lösungsraum
MehrLineare Algebra und analytische Geometrie I
Prof. Dr. H. Brenner Osnabrück WS 2015/2016 Lineare Algebra und analytische Geometrie I Vorlesung 8 Dimensionstheorie Ein endlich erzeugter Vektorraum hat im Allgemeinen ganz unterschiedliche Basen. Wenn
MehrSpickzettel Mathe C1
Spickzettel Mathe C1 1 Mengenlehre 1.1 Potenzmenge Die Potenzmenge P (Ω) einer Menge Ω ist die Menge aller Teilmengen von Ω. Dabei gilt: P (Ω) := {A A Ω} card P (Ω) = 2 card Ω P (Ω) 1.2 Mengenalgebra Eine
MehrMathematik 1 für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler) Musterprüfung mit Lösungen
Mathematik für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler Musterprüfung mit Lösungen. Sei T N. (a Unter welchen beiden Voraussetzungen an T garantiert das Induktionsaxiom (nach
MehrTECHNISCHE UNIVERSITÄT MÜNCHEN
TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik PROF. DR.DR. JÜRGEN RICHTER-GEBERT, VANESSA KRUMMECK, MICHAEL PRÄHOFER Aufgabe 45. Polynome sind stets stetig. Höhere Mathematik für Informatiker II (Sommersemester
Mehr3 a) Berechnen Sie die normierte Zeilenstufenform der Matrix A = normierte Zeilenstufenform:
1. Aufgabe (9 Punkte) In dieser Aufgabe müssen Sie Ihre Antwort nicht begründen. Es zählt nur das Ergebnis. Tragen Sie nur das Ergebnis auf diesem Blatt im jeweiligen Feld ein. 0 1 3 a) Berechnen Sie die
MehrKapitel 1. Grundlegendes
Kapitel 1 Grundlegendes Abschnitt 1.4 Vollständige Induktion Charakterisierung der natürlichen Zahlen Die Menge N 0 = {0, 1, 2, 3,...} der natürlichen Zahlen läßt sich wie folgt charakterisieren: 1. 0
Mehr11 Logarithmus und allgemeine Potenzen
Logarithmus und allgemeine Potenzen Bevor wir uns mit den Eigenschaften von Umkehrfunktionen, und insbesondere mit der Umkehrfunktion der Eponentialfunktion ep : R R + beschäftigen, erinnern wir an den
MehrZirkel und Zahlen, Julius-Maximilians-Universität Würzburg, Juli 07. Zirkel und Zahlen
Protokoll der Projektgruppe Zirkel und Zahlen, Julius-Maximilians-Universität Würzburg, Juli 07 Zirkel und Zahlen Team: Nancy Seckel, Hans Christian Döring, Eugenio Buzzoni, Anna Thurmayer, Maximilian
MehrKonstruktion der reellen Zahlen
Konstruktion der reellen Zahlen Zur Wiederholung: Eine Menge K (mit mindestens zwei Elementen) heißt Körper, wenn für beliebige Elemente x, y K eindeutig eine Summe x+y K und ein Produkt x y K definiert
MehrLösungen zum Übungsblatt 7
Lösungen zum Übungsblatt 7 Mirko Getzin Universität Bielefeld Fakultät für Mathematik 5. Dezember 203 Ich gebe keine Gewähr auf eine vollständige Richtigkeit der Lösungen zu den Übungsaufgaben. Das Dokument
MehrKapitel 3. Natürliche Zahlen und vollständige Induktion
Kapitel 3 Natürliche Zahlen und vollständige Induktion In Kapitel 1 haben wir den direkten Beweis, den modus ponens, kennen gelernt, der durch die Tautologie ( A (A = B) ) = B gegeben ist Dabei war B eine
MehrMathematik für Anwender I. Klausur
Fachbereich Mathematik/Informatik 27. März 2012 Prof. Dr. H. Brenner Mathematik für Anwender I Klausur Dauer: Zwei volle Stunden + 10 Minuten Orientierung, in denen noch nicht geschrieben werden darf.
MehrÜbungsklausur Höhere Mathematik I für die Fachrichtung Physik
Karlsruher Institut für Technologie (KIT) Institut für Analysis Prof. Dr. Tobias Lamm Dr. Patrick Breuning WS /3 6..3 Übungsklausur Höhere Mathematik I für die Fachrichtung Physik Aufgabe ((3++5) Punkte)
MehrD-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. Lösung 4
D-MATH, D-PHYS, D-CHAB Analysis I HS 017 Prof. Manfred Einsiedler Lösung 4 Hinweise 1. Zeigen Sie, dass inf X die kleinste obere Schranke von X ist.. Dass z 1, z Lösungen sind, kann man durch Einsetzen
MehrEinführung in die Algebra
Prof. Dr. H. Brenner Osnabrück SS 2009 Einführung in die Algebra Vorlesung 22 Algebraische Körpererweiterung Satz 1. Sei K L eine Körpererweiterung und sei f L ein Element. Dann sind folgende Aussagen
Mehr3 Vom Zählen zur Induktion
7 3 Vom Zählen zur Induktion 3.1 Natürliche Zahlen und Induktions-Prinzip Seit unserer Kindheit kennen wir die Zahlen 1,, 3, 4, usw. Diese Zahlen gebrauchen wir zum Zählen, und sie sind uns so vertraut,
MehrAlgebra. 0 = (f g)(x) = f(x) g(x).
Fachbereich Mathematik Prof. Dr. Nils Scheithauer Walter Reußwig TECHNISCHE UNIVERSITÄT DARMSTADT WS 08/09 25. November 2008 Algebra 7. Übung mit Lösungshinweisen Aufgabe 31 Sei R ein Integritätsbereich,
Mehr