$Id: reell.tex,v /11/06 13:37:36 hk Exp $ M := {na n N} R. (n + 1)a = na + a > s a + a = s,
|
|
- Berndt Baum
- vor 6 Jahren
- Abrufe
Transkript
1 $Id: reell.tex,v /11/06 13:37:36 hk Exp $ 1 Die reellen Zahlen 1.4 Das Vollständigkeitsaxiom In der letzten Sitzung haben wir die Axiome der reellen Zahlen vervollständigt, insbesondere haben wir das Vollständigkeitsaxiom, dass also jede nicht leere und nach oben beschränkte Teilmenge der reellen Zahlen ein Supremum besitzt, eingeführt. Hier wollen wir jetzt nur noch eine allererste kleine Anwendung vorführen, und die sogenannte archimedische Eigenschaft der reellen Zahlen beweisen. Diese besagt im wesentlichen das die natürlichen Zahlen unter den reellen Zahlen beliebig groß werden und um dies zu beweisen benötigt man tatsächlich das Vollständigkeitsaxiom (V), die Axiome eines angeordneten Körpers reichen hierzu nicht aus. Auch der Beweis dieses Lemmas ist hier für uns von besonderem Interesse, er ist das erste Beispiel eines sogenannten Widerspruchsbeweises in dieser Vorlesung. Lemma 1.5 (Die archimedische Eigenschaft von R) Sind a, b R mit a > 0 so existiert eine natürliche Zahl n N mit na > b. Beweis: Wir beweisen dies per Widerspruchsbeweis. Gäbe es kein solches n N mit na > b, so wäre na b für alle n N, d.h. b ist eine obere Schranke der Menge M := {na n N} R. Damit ist M nach oben beschränkt und wegen 0 M ist auch M. Nach dem Vollständigkeitsaxiom existiert das Supremum s := sup M von M. Wegen s a < s gibt es nach Lemma 3.(a) ein x M mit x > s a, und nach Definition von M gibt es weiter ein n N mit na = x > s a. Damit ist auch (n + 1)a M mit (n + 1)a = na + a > s a + a = s, aber andererseits ist auch (n + 1)a s da s eine obere Schranke von M ist. Dies ist ein Widerspruch und das Lemma ist bewiesen. Diesen Beweis wollen wir noch etwas kommentieren. Bisher haben wir alle unsere Aussagen direkt bewiesen, d.h. wir haben von den Voraussetzungen und unseren Axiomen ausgehend eine Kette von Folgerungen hergestellt die mit der behaupteten Aussage endet. Unser Nachweis der archimedischen Eigenschaft ist kein solcher direkter Beweis sondern ein sogenannter Widerspruchsbeweis, oder indirekter Beweis, dies ist ein eigenständiger Beweistyp. Wie wir noch sehen werden gibt es im wesentlichen drei 5-1
2 verschiedene Beweismethoden, die erste und am häufigsten verwendete Methode ist der direkte Beweis, die zweite ist der Widerspruchsbeweis und die dritte Methode werden wir etwas später in diesem Kapitel kennenlernen. Kommen wir zum allgemeinen Aufbau eines Widerspruchsbeweises. Nehmen wir an die Aussage A wäre zu zeigen. Bei einem Widerspruchsbeweis nimmt man an das A falsch wäre, dass also die Verneinung A gilt. In dieser hypothetischen Welt in der A nicht gilt beginnen wir dann weitere Aussagen herzuleiten und beweisen etwa eine Aussage B. Andererseits überlegt man sich das auch die Verneinung B von B wahr ist. Eine mathematische Aussage ist allerdings immer entweder wahr oder falsch, insbesondere können B und B nicht beide gleichzeitig gelten. Die von der Annahme A erschaffene Welt kann es also gar nicht geben, und daher kann A nicht falsch sein. Wieder da eine mathematische Aussage entweder wahr oder falsch ist, muss dann A wahr sein. In Lemma 5 haben wir die Aussage A = (n N) : na > b mit A = (n N) : na b und aus A leiten wir sowohl B = s ist eine obere Schranke von M als auch B = s ist keine obere Schranke von M her. Dies ist dann unser Widerspruch und A folgt. Als logische Formel hat ein Widerspruchsbeweis von A die Form [ ( A = B) ( A = B) ] = A wobei B eine weitere Aussage ist. Zumeist ist die zu beweisende Aussage selbst eine Implikation, hat also die Form A = C = D, wenn wir die Behauptung von Lemma 5 etwas ausführlicher schreiben ist diese in Wahrheit ja gleich A = (a, b R a > 0) = ( (n N) : na > b). }{{}}{{} C D Die Verneinung von A wird also zu A = C ( D) und im Widerspruchsbeweis werden dann (C D) = B und (C D) = B gezeigt. Der Beweis des Lemma 5 ist sogar ein Widerspruchsbeweis eines sehr speziellen Typs, es wird die Existenz der natürlichen Zahl n durch einen Widerspruchsbeweis eingesehen. Dass es möglich ist die Existenz von etwas durch die Widerlegung der Nichtexistenz zu begründen ist keinesfalls selbstverständlich und ist recht spezifisch für die Mathematik. Beispielsweise können Sie in der Physik die Existenz irgendeines neuen Elementarteilchens beim besten Willen nicht dadurch begründen das ihre Theorie andernfalls widersprüchlich wird, bevor man das hypothetische Teilchen nicht irgendwie experimentell ausfindig machen kann ist seine Existenz höchstens eine plausible Hypothese. Allgemein kann man die Existenz realer Objekte niemals durch theoretische Überlegungen wirklich nachweisen. Auch in der Mathematik selbst ist ein solches Vorgehen bis ins letzte Viertel des neunzehnten Jahrhunderts nicht als Beweis akzeptiert worden, die damals verwendete, und bei den Anwendungen der Mathematik in den Naturwissenschaften noch immer verwendete, Interpretation mathematischer Objekte war es sich diese als Idealisierungen realer Objekte zu denken, so wie etwa ein 5-2
3 mathematischer Kreis ein idealisierter Kreis ist dessen Rand tatsächlich unendlich dünn ist. Bei einer solchen Sichtweise bedeutet die Existenz eines mathematischen Objekts immer auch die Existenz irgendwelcher realen Dinge und ist damit eigentlich keiner Argumentation über Widerspruchsargumente zugänglich. Die Vorstellung das mathematische Objekte Idealisierungen wirklicher Gegenstände sind wurde in der Mathematik Ende des neunzehnten Jahrhunderts aufgegeben, beziehungsweise in die Modellierung verbandt, wir hatten schon einmal erwähnt das die Mathematik im eigentlichen Sinne nicht von der Realität handelt. Die Anwendung der Mathematik auf wirkliche Dinge denkt man sich dann als eine Art Übersetzungsprozess, bei dem die zu untersuchenden realen Objekte durch mathematische Objekte beschrieben werden, einen Vorgang den man dann als Modellierung bezeichnet. Dies hat zur Folge das das Wort Existenz in der Mathematik sehr viel freier verwendet werden kann als irgendwo sonst, etwa übertrieben folgt man dem magischen Prinzip, wenn man etwas einen Namen geben kann dann existiert es. Insbesondere wird beim Nachweis der Existenz mathematischer Objekte nicht verlangt das man das existierende Gebilde in irgendeiner Weise konkret angeben können muss oder eine Methode hat es zu berechnen. Daher ist es auch möglich die Existenz von etwas durch einen Widerspruchsbeweis zu begründen. Als ein zweites und etwas typischeres Beispiel eines indirekten Beweis wollen wir die Irrationalität der Wurzel aus Zwei beweisen. Da wir noch keine Wurzeln eingeführt haben formulieren wir dies als die Behauptung das x 2 2 für jedes x Q gilt. Wenn wir dies über einen Widerspruchsbeweis einsehen wollen, nehmen wir an das es eine rationale Zahl x Q gibt x 2 = 2 gibt. Durch eventuellen Übergang zu x können wir weiter x > 0 annehmen und dann gibt es natürliche Zahlen p, q N\{0} mit x = p/q. Durch Auskürzen können wir weiter erreichen das p und q teilerfremd sind. Wegen 2 = x 2 = ( p q ) 2 = p2 q 2 folgt p2 = 2q 2 also ist p 2 gerade und da das Quadrat einer ungeraden Zahl ungerade ist, muss auch p gerade sein. Damit ist auch r := p/2 N eine natürliche Zahl mit p = 2r. Hieraus folgt 2q 2 = p 2 = (2r) 2 = 4r 2 also q 2 = 2r 2 und wie eben folgt das auch q gerade. Damit haben p und q den gemeinsamen Teiler 2, sind also nicht teilerfremd und wir haben einem Widerspruch erhaltem. Dies ist erst einmal genug zu grundsätzlichen Dingen und wir kommen wieder zum Begriff von Supremum und Infimum zurück. Manchmal ist es bequem für überhaupt jede Teilmenge M R Supremum und Infimum bilden zu können, unabhängig davon ob sie nach oben beschränkt ist oder nicht. Hierzu gehen wir zu den sogenannten erweiterten reellen Zahlen R := R {, } über, indem zwei neue Elemente ± zu R hinzugefügt werden. Wir setzen die Ordnung von R durch < x < 5-3
4 für alle x R fort, also insbesondere <. Addition und Multiplikation sind auf R nicht vollständig definiert, man setzt nur + = x + = + x := und ( ) + ( ) = ( ) + x = x + ( ) := für alle x R und ( ) ( ) = ( ) ( ) :=, ( ) ( ) = ( ) ( ) := sowie x = x := {, x > 0,, x < 0, x ( ) = ( ) x := {, x > 0, x < 0 für alle x R\{0}. Andere Summen oder Produkte werden nicht definiert. Ist dann M R eine beliebige Teilmenge, so existieren in R sowohl Supremum als auch Infimum. Ist nämlich M und nach oben beschränkt, so gibt es sup M R nach dem Vollständigkeitsaxiom. Ist M nicht nach oben beschränkt, so ist die einzige obere Schranke von M in R, also auch sup M =. Ist schließlich M =, so ist jedes a R obere Schranke von M, also sup M =. Insbesondere haben wir sup M R M ist nach oben beschränkt. Entsprechendes gilt dann fürs Infimum, also insbesondere inf = in R. Wenn wir ± als Supremum und Infimum zulassen wollen, so sprechen wir auch davon das Supremum und Infimum in R gebildet werden. Man könnte sogar sup M und inf M für Teilmengen M R betrachten, aber in aller Regel sind für uns nur Teilmengen von R von Interesse. Beachte das ± keine reellen Zahlen sind, der Übergang zu den erweiterten reellen Zahlen ist nur ein formaler Trick gelegentlich Fallunterscheidungen zu vermeiden. 1.5 Potenzen mit rationalen Exponenten Reelle Potenzen x a werden in mehreren Stufen, geordnet nach immer allgemeineren Exponenten a, definiert. In der ersten Stufe werden natürliche Exponenten a = n N mit n 1 behandelt, und bei diesen ist für die Basis x jede reelle Zahl zugelassen. Für x R und n N mit n 1 definieren wir die Potenz x n als x n := x }.{{.. x}. Nullte Potenzen werden dagegen durch x 0 := 1 für alle x R eingeführt, also insbesondere 0 0 = 1. Interpretieren wir ein Produkt mit Null Faktoren per Konvention als 1, so deckt sich diese Definition mit derjenigen von x n für n 1. Aus den Körperaxiomen folgen die Potenzrechenregeln, also (xy) n = x n y n, x n x m = x n+m und (x n ) m = x nm 5-4
5 jeweils für alle x, y R, n, m N. Diese Regeln wollen wir jetzt nicht strikt formal vorführen, sondern uns auf eine etwas informelle Begründung verlassen. Zunächst sind und x n x m = } x.{{.. x} (x n ) m = x n... x n }{{} m mal x... x }{{} m mal = } x.{{.. x}... x }.{{.. x} } {{ } m mal = x }.{{.. x} = x n+m n + m mal = x }.{{.. x} = x nm nm mal und mit dem Kommutativgesetz der Multiplikation ergibt sich auch x n y n = } x.{{.. x} y... y }{{} = xy... xy = (xy) }{{} n. Man kann nun noch die übliche Formel für die Potenzen von Brüchen herleiten, im Fall y 0 ist zunächst (y 1 ) n y n = (y 1 y) n = 1 n = 1 = (y n ) 1 y n und somit auch (y 1 ) n = (y n ) 1, also schließlich ( ) n x = (xy 1 ) n = x n (y 1 ) n = x n (y n ) 1 = xn y y. n Beachte das x (nm) (x n ) m ist, zum Beispiel ist (2 3 ) 4 = 2 12 = 4096 während 2 (34 ) = 2 81 = sehr viel größer ist. Im Fall positiver Basen bleiben Ordnungsbeziehungen beim Potenzieren erhalten. Sind x, y R mit 0 < x < y und n N mit n 1, so haben wir auch x n = x... x }{{} < y... y = y }{{} n und haben wir x, y R mit 0 x y so folgt analog sogar für jedes n N das x n y n ist. Kombinieren wir dies mit den Kontrapositionen dieser Aussagen so ergibt sich auch, dass für alle x, y R und alle n N mit x, y > 0, n 1 genau dann x < y ist wenn x n < y n gilt. Wie sich die Anordnung von Potenzen bezüglich des Exponenten verhält hängt von der Lage der Basis zur Eins ab. Sind n, m N mit n < m so haben wir für jede reelle Zahl x > 1 x n = x... x }{{} = x }.{{.. x} }{{} m < x }.{{.. x} x }.{{.. x} = x m m während sich im Fall 0 < x < 1 analog x n > x m ergibt. Berücksichtigen wir auch noch die Gleichheitsfälle so ist für alle x R mit x 1 und alle n, m N mit n m stets auch x n x m während für x R mit 0 x 1 und n, m N mit n m die Ungleichung x n x m gilt. Insgesamt gilt damit für alle x R und alle n, m N auch 5-5
6 das im Fall x > 1 genau dann x n < x m gilt wenn n < m ist und im Fall 0 < x < 1 ist genau dann x n < x m wenn n > m ist. Als Funktion von x wächst die Potenz x n damit umso schneller je größer n ist, für unsere folgenden Überlegungen benötigen wir diese Aussage allerdings in einer etwas spezifischer quantifizierten Form. Wir wollen uns die sogenannte Bernoullische Ungleichung überlegen, diese besagt das für alle reellen Zahlen x mit x 1 und alle natürlichen Zahlen n stets (1 + x) n 1 + nx ist. Für n = 0 und n = 1 ist dies klar, und für n = 2 kann man es leicht einsehen, es ist etwa (1 + x) 2 = 1 + 2x + x x da Quadrate niemals negativ sind. Der Fall n = 3 ist schon komplizierter. Gehen wir zunächst einmal wie im Fall n = 2 vor, so haben wir die Rechnung (1 + x) 3 = (1 + 2x + x 2 ) (1 + x) = 1 + 3x + 3x 2 + x 3 = 1 + 3x + x 2 (3 + x) 1 + 3x da x+3 2 ist. Man könnte jetzt so fortfahrend argumentieren, allerdings wird in jedem Schritt die Anzahl der überzähligen Summanden größer und damit die Abschätzung schwerer und zum anderen werden auf diese Weise nur spezielle Werte von n behandelt, die Bernoullische Ungleichung ist aber für beliebige n N formuliert. Um eine Idee zu kriegen wie ein allgemeines n behandelt werden kann, schauen wir uns den Fall n = 3 noch einmal auf eine etwas andere Weise an. Wir wissen bereits (1 + x) x und multiplizieren wir diese Ungleichung mit 1 + x 0, so folgt (1 + x) 3 (1 + x) (1 + 2x) = 1 + 3x + 2x x. Dies ist zunächst einmal keine nennenswerte Vereinfachung, diese Methode läßt sich jetzt aber wiederholen. Multiplizieren wir das Ergebnis (1 + x) x wieder mit 1 + x 0 so wird auch (1 + x) 4 (1 + x) (1 + 3x) = 1 + 4x + 3x x, und wir haben den Fall n = 4 auf einfache Weise behandelt. Die Bernoullische Ungleichung für n = 4 folgt also aus der Bernoullischen Ungleichung für n = 3, und diese folgt wiederum aus derjenigen für n = 2. Dies setzt sich immer so fort, die Bernoullische Ungleichung für n = 4 liefert erneut durch Multiplikation mit 1+x diejenige für n = 5, daraus folgt die für n = 6, dann für n = 7 und immer so weiter. Eine systematische Auswertung dieser Idee führt jetzt auf die Methode der sogenannten vollständigen Induktion. Schreiben wir bei weiterhin fixierten x 1 A(n) := (1 + x) n 1 + nx 5-6
7 für die Bernoullische Ungleichung für n N, so können wir unsere Überlegungen auch in der Form A(2) = A(3) = A(4) = A(5) = A(6) = A(7) schreiben. Wir behaupten das sich diese Implikationskette immer weiter fortsetzt, dass also ganz allgemein A(n) = A(n + 1) für jedes n N mit n 2 ist. Dies ist im wesentlichen dieselbe Rechnung wie im Fall n = 2. Sei etwa ein n N mit n 2 gegeben. Um die Implikation A(n) = A(n + 1) einzusehen, können wir, wie schon im zweiten Abschnitt festgehalten, die Aussage A(n) als wahr annehmen, es gelte also bereits (1 + x) n 1 + nx. Multiplizieren wir diese Ungleichung mit 1 + x 0, so folgt weiter (1 + x) n+1 (1 + x) (1 + nx) = 1 + (n + 1)x + nx (n + 1)x, es gilt also auch A(n + 1) und die Implikation A(n) = A(n + 1) ist bewiesen. Unsere obige Implikationskette setzt sich also endlos fort A(0) = A(1) = A(2) = A(3) = A(4) = A(5) =, wobei wir diesmal bei A(0) anfangen da die ersten beiden Implikationen sowieso gelten. Unsere Folgerungskette kann also zu jedem n N verlängert werden und A(n), d.h. die Bernoullische Ungleichung, gilt damit allgemein für n N. Das Vorgehen im eben durchgeführten Beweis ist streng genommen weder ein direkter noch ein indirekter Beweis, da das kann also zu jedem n N verlängert werden zwar plausibel aber kein direkter Beweis ist. Es handelt sich hier um eine sogenannte vollständige Induktion, diese ist ein eigenständiger Beweistyp, den wir nun auch allgemein besprechen wollen. Die vollständige Induktion ist ein Beweisverfahren, um Aussagen über alle natürlichen Zahlen zu beweisen, genauer geht es um Allaussagen der Form (n N) : A(n), wobei A(n) eine Aussage über natürliche Zahlen n ist, beispielsweise das obige A(n) aus der Bernoulli-Ungleichung. Ein Induktionsbeweis erfolgt in zwei Schritten: 1. Induktionsanfang: Zeige das die Aussage A(0) gilt. 2. Induktionsschritt: Hier ist zu zeigen, dass aus A(n) für n N auch A(n + 1) folgt, d.h es ist die Allaussage (n N) : A(n) A(n + 1) zu beweisen. Den Induktionsschritt unterteilt man meistens in zwei Teile: (a) Induktionsannahme: Sei n N mit A(n) gegeben. (b) Induktionsschluß: Zeige, dass auch A(n + 1) gilt. Haben wir Induktionsanfang und Induktionsschritt erfolgreich durchgeführt, so besagt das Prinzip der vollständigen Induktion das die Aussage A(n) für jedes n N wahr ist. Hieraus folgt dann beispielsweise die allgemeine Gültigkeit der Bernoullischen Ungleichung, wir werden diese etwas weiter unten auch noch einmal explizit als ein Lemma 5-7
8 festhalten. Ein häufiges Mißverständnis besteht darin zu glauben, dass man beim Induktionsschritt bereits weiss das A(n) wahr ist. Dies ist aber nicht der Fall, alles was gezeigt wird ist die Implikation A(n) A(n + 1) und wie immer beim Beweis einer Implikation kann man annehmen das die Voraussetzung der Implikation, also A(n), wahr ist denn andernfalls ist die Implikation sowieso wahr. Überlegen wir uns kurz noch einmal in der allgemeinen Situation warum ein Induktionsbeweis funktioniert. Im Induktionsanfang wird A(0) nachgewiesen und im Induktionsschritt wird weiter A(n) A(n + 1) für alle n N gezeigt. Mit n = 0 wissen wir insbesondere A(0) A(0 + 1) = A(1), d.h. A(0) und die Implikation A(0) A(1) sind wahr und somit ist auch A(1) wahr. Mit n = 1 haben wir dann auch A(1) A(1+1) = A(2) und da wir A(1) bereits eingesehen haben, ist auch A(2) wahr. So fortfahrend sind dann auch A(3), A(4),..., und immer so weiter, wahr. Da wir so bei jeder natürlichen Zahl n N vorbeikommen ist A(n) für jedes n N wahr. Dies sollte Sie von der Gültigkeit der Methode der vollständigen Induktion überzeugen. Es ist allerdings wieder kein exaktes Argument für diese, da wir das Problem in dem harmlos aussehenden und so weiter versteckt haben. Tatsächlich werden viele einfache Induktionsbeweise gar nicht explizit als solche benannt sondern mit Formulierungen wie so fortfahrend verschleiert, wir sind beispielsweise im vorigen Abschnitt beim Nachweis der Kettenform des Transitivitätsgesetzes der Anordnung auf diese Weise vorgegangen. In den allermeisten Fällen ist der Induktionsanfang eine recht banale Angelegenheit. Trotzdem ist er unverzichtbar, der Induktionsschluß kann auch bei falschen Aussagen funktionieren. Nehmen wir einmal die offensichtlich unsinnige Aussage n > n + 1 als unser A(n). Ist dann n N mit A(n), also n > n + 1, so folgt durch Addition mit Eins auch n + 1 > (n + 1) + 1, also A(n + 1). Der Induktionsschluß ist hier also problemlos möglich, der Anfang natürlich nicht. Dies ist kein seltenes Phänomen, nehmen Sie einmal an die Aussage A(n) ist für jedes n N falsch. Da aus Falschem alles folgt, gilt dann A(n) A(n + 1) für jedes n N, der Induktionsschluß funktioniert also immer wenn die Aussage A(n) niemals richtig ist. Es spielt keine Rolle das als Startpunkt der Induktion n = 0 verwendet wird, man kann einen Induktionsbeweis auch bei einem beliebigen n = n 0 N starten. Sehr häufig wird n = 1 als Start verwendet da n = 0 oft ein Sonderfall ist. Als ein vollständiges Beispiel eines Induktionsbeweises, wollen wir jetzt die Bernoulli-Ungleichung, sogar in einer etwas erweiterten Form, explizit formulieren und beweisen. Lemma 1.6 (Die Bernoulli-Ungleichung) Für alle x R mit x 1 und alle n N gilt die Ungleichung (1 + x) n 1 + nx und genau dann ist (1 + x) n = 1 + nx wenn n 1 oder x = 0 ist. Beweis: Sei x R mit x 1. Dann gelten sofort (1 + x) 0 = 1 = x sowie (1 + x) 1 = x und im Fall x = 0 ist auch (1 + x) n = 1 n = 1 = 1 + n x für jedes 5-8
9 n N. Wir können daher im Folgenden x 0 annehmen und wollen (1 + x) n > 1 + nx für alle n N mit n 2 zeigen. Dies geschieht nun durch vollständige Induktion nach n. Zunächst ist (1 + x) 2 = 1 + 2x + x 2 > 1 + 2x, unsere Behauptung gilt also im Fall n = 2 und der Induktionsanfang ist durchgeführt. Nun sei ein n N mit n 2 und (1 + x) n > 1 + nx gegeben. Wegen 1 + x 0 folgt dann auch (1 + x) n+1 (1 + x) (1 + nx) = 1 + (n + 1)x + nx 2 > 1 + (n + 1)x, und unsere Behauptung gilt auch für n + 1. Per vollständiger Induktion ist damit (1 + x) n > 1 + nx für alle n N mit n 2. Wir wollen auch noch einen zweiten Induktionsbeweis vorführen und die sogenannte allgemeine binomische Formel herleiten. Dies ist eine Formel für die Potenzen einer Summe, also für (x + y) n mit x, y R, n N. Um diese hinzuschreiben benötigen wir allerdings zwei kleine Vorbereitungen, zunächst einmal wollen wir das sogenannte Summenzeichen einführen. Man schreibt beispielsweise für n N k = n. Das große Sigma ist hier das Summenzeichen und k der sogenannte Summationsindex. Das Summenzeichen n a k wird so interpretiert das k die Werte von 1 bis n durchläuft, für jedes solche k die Zahl a k gebildet wird und alle diese Zahlen aufsummiert werden. Beispielsweise sind 6 k 2 = = = 86 oder k=3 4 1 k = = Oftmals läßt man den Summationsindex auch über eine kompliziertere Menge laufen, die dann in der Regel unterhalb des Summenzeichens beschrieben wird, beispielsweise 1 k 10 k Primzahl 1 k = = Der Summationsindex ist eine der in der ersten Sitzung erwähnten formalen Variablen, insbesondere gibt es ihn nur innerhalb der Summe und nicht außerhalb. Bei komplexeren Summen dürfen auch mehrere Summationsindizes gleichzeitig verwendet werden, beispielsweise 1 i<j 3 1 i + j = = =
10 Hier durchlaufen die Summationsindizes i, j die möglichen Werte (i, j) = (1, 2), (1, 3) und (2, 3). Sind a 1,..., a n, b 1,..., b n und c beliebige Zahlen, so gelten offenbar (a k + b k ) = a k + (ca k ) = c a k. b k und Entsprechende Formeln gelten dann natürlich auch für die Summation über kompliziertere Indexbereiche. Analog zum Summenzeichen gibt es auch ein Produktzeichen, hierfür verwendet man ein großes Pi, also beispielsweise 5 (2k 1) = = 945. Die beiden obigen Formeln nehmen für das Produktzeichen die Form n (a k b k ) = ( n ) m a k = n n a k b k, n a m k an, wobei n, m N, a 1,..., a n, b 1,..., b n R sind. Die Potenzformel gilt dann auch für Potenzen mit rationalen oder reellen Exponenten, sobald diese definiert sind. Genau wie beim Summenzeichen werden auch Produkte über kompliziertere Indexbereiche oder mit mehreren Indizes notiert, etwa k = = 210 oder 1 k 10 k ist Primzahl 1 i<j 3 j i = = 54. Einen Randfall wollen wir noch erwähnen, wenn der Indexbereich einer Summe oder eines Produktes überhaupt keine Elemente enthält, wir also eine leere Summe beziehungsweise ein leeres Produkt haben, so wird die leere Summe per Konvention als 0 interpretiert und das leere Produkt ist per Konvention gleich
$Id: reell.tex,v /11/07 13:46:36 hk Exp $
$Id: reell.tex,v 1.33 2014/11/07 13:46:36 hk Exp $ 1 Die reellen Zahlen 1.4 Das Vollständigkeitsaxiom In den vorhergehenden Abschnitten haben wir jetzt insgesamt 15 Axiome an die reellen Zahlen zusammengestellt.
Mehr$Id: reell.tex,v /11/11 12:32:08 hk Exp $
Mathemati für Physier I, WS 203/204 Montag. $Id: reell.tex,v.23 203// 2:32:08 h Exp $ Die reellen Zahlen.5 Potenzen mit rationalen Exponenten Wir behandeln gerade die Bernoulli-Ungleichung +x) n +nx gültig
Mehr$Id: reell.tex,v /11/15 13:12:24 hk Exp $
$Id: reell.tex,v.8 200//5 3:2:24 h Exp $ 4 Die reellen Zahlen 4.3 Das Vollständigeitsaxiom Wir hatten das Supremum einer Menge M R als die leinste obere Schrane von M definiert, sofern eine solche überhaupt
Mehr$Id: reell.tex,v /10/28 14:16:56 hk Exp hk $ Axiome genannt, bei den reellen Zahlen haben wir dann die
$Id: reell.tex,v 1.14 2013/10/28 14:16:56 hk Exp hk $ 1 Die reellen Zahlen Wir wollen diese Vorlesung mit den reellen Zahlen beginnen, diese sind die normalen Zahlen und man kann sie sich etwa als alle
Mehrb liegt zwischen a und c.
2 DIE ANORDNUNGSAXIOME 5 (2.4) a, b, c R : (a < b 0 < c) ac < bc Monotoniegesetz der Multiplikation Bezeichnungen a > b : b < a (> wird gelesen: größer als ) a b : a < b oder a = b a b : a > b oder a =
Mehr1 Mengen und Aussagen
Mathematik für Physiker I, WS 010/011 Montag 01.11 $Id: mengen.tex,v 1.4 010/11/01 14:19:48 hk Exp $ $Id: beweise.tex,v 1.3 010/11/05 06:40:11 hk Exp $ 1 Mengen und Aussagen Wir haben jetzt Allaussagen
Mehr$Id: mengen.tex,v /11/16 20:09:23 hk Exp $ $Id: komplex.tex,v /11/16 20:12:23 hk Exp hk $
$Id: mengen.tex,v.7 2008//6 20:09:23 hk Exp $ $Id: komplex.tex,v.2 2008//6 20:2:23 hk Exp hk $ I. Grundlagen 3 Mengen und Abbildungen 3.4 Vollständige Induktion und endliche Mengen Wir wollen noch ein
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
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
Mehr6 Reelle und komplexe Zahlenfolgen
$Id: folgen.tex,v.7 200//29 :58:57 hk Exp hk $ 6 Reelle und komplexe Zahlenfolgen 6. Folgenkonvergenz In der letzten Sitzung hatten wir den Begriff der Konvergenz einer reellen oder komplexen Folge gegen
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,
Mehr4. Weitere Eigenschaften der reellen Zahlen: Geordnete Körper
40 Andreas Gathmann 4. Weitere Eigenschaften der reellen Zahlen: Geordnete Körper Wir haben bisher von den reellen Zahlen nur die Körpereigenschaften, also die Eigenschaften der vier Grundrechenarten ausgenutzt
MehrBrückenkurs Mathematik
Brückenkurs Mathematik 6.10. - 17.10. Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo 6.10.2008 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume
Mehr2 Rationale und reelle Zahlen
2 Rationale und reelle Zahlen 2.1 Körper Ein Körper ist eine Struktur der Form à = (K,0,1,+, mit einer Grundmenge K, zwei zweistelligen Operationen + und, für die die Körperaxiome gelten: (K1 (K, 0, +
Mehrp 2istirrational Satz 1.15 Beweis. Es gibt keine rationale Zahl x, diediegleichungx 2 =2erfüllt.
p 2istirrational Satz 1.15 Es gibt keine rationale Zahl x, diediegleichungx 2 =2erfüllt. Beweis. Annahme: Es existiert x 2 Q mit x 2 = 2. Wegen x 2 Q folgt x = p q und p und q sind teilerfremde ganze Zahlen.
MehrKapitel 11 Beweisführung. Mathematischer Vorkurs TU Dortmund Seite 125 / 254
Kapitel 11 Beweisführung Kapitel 11 Beweisführung Mathematischer Vorkurs TU Dortmund Seite 125 / 254 Kapitel 11 Beweisführung Grundsätzlich: ein mathematischer Satz ist eine Aussage der Form wenn... gilt,
Mehr2. Reelle und komplexe Zahlen [Sch-St ]
7 2. Reelle und komplexe Zahlen [Sch-St 6.4-6.5] 2.1 Körperstruktur und Anordnung von R [Kö 2.1-2.2] Für (beliebige) reelle Zahlen a, b, c R gelten die folgenden (algebraischen) Körperaxiome: (K1) a +
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
Mehr24 KAPITEL 2. REELLE UND KOMPLEXE ZAHLEN
24 KAPITEL 2. REELLE UND KOMPLEXE ZAHLEN x 2 = 0+x 2 = ( a+a)+x 2 = a+(a+x 2 ) = a+(a+x 1 ) = ( a+a)+x 1 = x 1. Daraus folgt dann, wegen x 1 = x 2 die Eindeutigkeit. Im zweiten Fall kann man für a 0 schreiben
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
MehrVollständigkeit; Überabzählbarkeit und dichte Mengen) Als typisches Beispiel für die reellen Zahlen dient die kontinuierlich ablaufende Zeit.
Kapitel 4 Reelle Zahlen 4.1 Die reellen Zahlen (Schranken von Mengen; Axiomatik; Anordnung; Vollständigkeit; Überabzählbarkeit und dichte Mengen) Als typisches Beispiel für die reellen Zahlen dient die
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
MehrKonstruktion reeller Zahlen aus rationalen Zahlen
Konstruktion reeller Zahlen aus rationalen Zahlen Wir nehmen an, daß der Körper der rationalen Zahlen bekannt ist. Genauer wollen wir annehmen: Gegeben ist eine Menge Q zusammen mit zwei Verknüpfungen
Mehr4 Reelle und komplexe Zahlenfolgen
$Id: folgen.tex,v 1.23 2013/12/02 12:07:25 hk Exp hk $ 4 Reelle und komplexe Zahlenfolgen 4.1 Folgenkonvergenz In der letzten Sitzung haben wir die Rechenregeln für Folgengrenzwerte hergeleitet. Dies sind
MehrDem Anschein nach werden diese Zahlen kleiner und kleiner und streben gegen Null. Was sollen sie sonst auch tun? Aber der Begriff
47 5 Irrationales 5.1 Folgen, Konvergenz und Vollständigkeit Eine Abbildung a : N R definiert eine Folge von reellen Werten a 1 = a(1), a 2 = a(2), a 3 = a(3),... Solche Zahlenfolgen werden uns dazu dienen,
Mehr6 Reelle und komplexe Zahlenfolgen
Mathematik für Physiker I, WS 200/20 Freitag 0.2 $Id: folgen.tex,v. 200/2/06 :2:5 hk Exp $ $Id: reihen.tex,v. 200/2/0 4:4:40 hk Exp hk $ 6 Reelle und komplexe Zahlenfolgen 6. Cauchyfolgen Wir kommen nun
Mehr3 Mengen und Abbildungen
$Id: mengen.tex,v 1.2 2008/11/07 08:11:14 hk Exp hk $ 3 Mengen und Abbildungen 3.1 Mengen Eine Menge fasst eine Gesamtheit mathematischer Objekte zu einem neuen Objekt zusammen. Die klassische informelle
MehrLösung zur Übung für Analysis einer Variablen WS 2016/17
Blatt Nr. 3 Prof. F. Merkl Lösung zur Übung für Analysis einer Variablen WS 206/7 Aufgabe Das Guthaben G setzt sich zusammen aus der Summe aller bisherigen Einzahlungen multipliziert mit ( + p) k, wobei
Mehr1 Modulare Arithmetik
$Id: modul.tex,v 1.10 2012/04/12 12:24:19 hk Exp $ 1 Modulare Arithmetik 1.2 Euklidischer Algorithmus Am Ende der letzten Sitzung hatten wir den größten gemeinsamen Teiler zweier ganzer Zahlen a und b
Mehr$Id: folgen.tex,v /05/31 12:40:06 hk Exp $ an 1 2 n 1 ist gerade, 3a n 1 + 1, a n 1 ist ungerade.
$Id: folgen.tex,v. 202/05/3 2:40:06 hk Exp $ 6 Folgen Am Ende der letzten Sitzung hatten wir Folgen in einer Menge X als Abbildungen a : N X definiert, die dann typischerweise in der Form (a n ) n N, also
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
Mehr5 Der Transzendenzgrad
$Id: trgrad.tex,v 1.6 2009/05/11 14:48:57 hk Exp $ 5 Der Transzendenzgrad Wir stellen nun einige der Tatsachen über die Mächtigkeit von Mengen zusammen, die Ihnen wahrscheinlich aus den ersten Semester
MehrBrückenkurs Mathematik. Dienstag Freitag
Brückenkurs Mathematik Dienstag 29.09. - Freitag 9.10.2015 Vorlesung 2 Mengen, Zahlen, Logik Kai Rothe Technische Universität Hamburg-Harburg Mittwoch 30.09.2015 Mengen.................................
MehrMATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/ OKTOBER 2016
MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/17 MARK HAMILTON LMU MÜNCHEN 1.1. Grundbegriffe zu Mengen. 1. 17. OKTOBER 2016 Definition 1.1 (Mengen und Elemente). Eine Menge ist die Zusammenfassung
MehrHinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009
Hinweise zur Logik Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Im folgenden soll an einige Grundsätze logisch korrekter Argumentation erinnert werden. Ihre Bedeutung
MehrKapitel 1. Körper und Zahlen. 1.1 Mengen
Kapitel 1 Körper und Zahlen 11 Mengen 12 Das Prinzip der vollständigen Induktion 13 Körper 14 Geordneter Körper 15 Reelle Zahlen 16 Komplexe Zahlen 11 Mengen Dieser Abschnitt gibt eine kurze Einführung
MehrVollständigkeit. 1 Konstruktion der reellen Zahlen
Vortrag im Rahmen des Proseminars zur Analysis, 17.03.2006 Albert Zeyer Ziel des Vortrags ist es, die Vollständigkeit auf Basis der Konstruktion von R über die CAUCHY-Folgen zu beweisen und äquivalente
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
MehrVorlesung. Vollständige Induktion 1
WS 015/16 Vorlesung Vollständige Induktion 1 1 Einführung Bei der vollständigen Induktion handelt es sich um ein wichtiges mathematisches Beweisverfahren, mit dem man Aussagen, die für alle natürlichen
Mehr13 Auswahlaxiom und Zornsches Lemma
13 Auswahlaxiom und Zornsches Lemma Handout zur Funktionalanalysis I von H. Glöckner, 25.11.2008 Wichtige Teile der modernen Mathematik beruhen auf dem sogenannten Auswahlaxiom der Mengenlehre. Dieses
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Beweise)
WS 2014/15 Diskrete Strukturen Kapitel 2: Grundlagen (Beweise) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_14
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
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 )
MehrProseminar Analysis Vollständigkeit der reellen Zahlen
Proseminar Analysis Vollständigkeit der reellen Zahlen Axel Wagner 18. Juli 2009 1 Voraussetzungen Zunächst wollen wir festhalten, was wir als bekannt voraussetzen: Es sei (Q, +, ) der Körper der rationalen
Mehr$Id: korper.tex,v /05/10 12:25:27 hk Exp $
$Id: korper.tex,v 1.17 2012/05/10 12:25:27 hk Exp $ 4 Körper In der letzten Sitzung hatten wir den Körperbegriff eingeführt und einige seiner elementaren Eigenschaften vorgeführt. Insbesondere hatten wir
MehrDa diese Zahlenmenge nicht unter Subtraktion abgeschlossen ist, erweitert man sie zur Menge der ganzen Zahlen
Kapitel 2 Die reellen Zahlen Die reellen Zahlen werden zunächst und vorübergehend als Dezimalzahlen eingeführt. Die wichtigsten Eigenschaften werden aus dieser Darstellung hergeleitet, mit denen dann die
MehrFolgen und endliche Summen
Kapitel 2 Folgen und endliche Summen Folgen und ihre Eigenschaften Endliche arithmetische und geometrische Folgen und Reihen Vollständige Induktion Anwendungen Folgen/endliche Summen Eigenschaften Folgen
MehrVollständige Induktion
30. September 008 Gliederung 1 3 4 Die Peano Axiome für die Menge der Natürlichen Zahlen N I. 0 ist eine natürliche Zahl, d.h. 0 N. II. Jede natürliche Zahl hat genau einen Nachfolger d.h. n : (n N! n
Mehr$Id: reihen.tex,v /06/12 10:59:50 hk Exp $ unendliche Summe. a 1 + a 2 + a 3 +.
Mathematik für Informatiker B, SS 202 Dienstag 2.6 $Id: reihen.tex,v.8 202/06/2 0:59:50 hk Exp $ 7 Reihen Eine Reihe ist eine unendliche Summe a + a 2 + a 3 +. Die Summanden a i können dabei reell oder
Mehr2.2 Konstruktion der rationalen Zahlen
2.2 Konstruktion der rationalen Zahlen Wie wir in Satz 2.6 gesehen haben, kann man die Gleichung a + x = b in Z jetzt immer lösen, allerdings die Gleichung a x = b im allgemeinen immer noch nicht. Wir
Mehr1 Axiomatische Charakterisierung der reellen. 3 Die natürlichen, die ganzen und die rationalen. 4 Das Vollständigkeitsaxiom und irrationale
Kapitel I Reelle Zahlen 1 Axiomatische Charakterisierung der reellen Zahlen R 2 Angeordnete Körper 3 Die natürlichen, die ganzen und die rationalen Zahlen 4 Das Vollständigkeitsaxiom und irrationale Zahlen
Mehr4 Reelle und komplexe Zahlenfolgen
$Id: folgen.tex,v.2 203//29 2:06:38 hk Exp hk $ 4 Reelle und komplexe Zahlenfolgen 4. Folgenkonvergenz In der letzten Sitzung hatten wir den Begriff der Folgenkonvergenz und die Grenzwerte von Folgen eingeführt.
MehrVollständige Induktion
30. September 008 Gliederung 1 3 4 Gliederung 1 3 4 Gliederung 1 3 4 Gliederung 1 3 4 Die Peano Axiome für die Menge der Natürlichen Zahlen N I. 0 ist eine natürliche Zahl, d.h. 0 N. II. Jede natürliche
MehrAnalysis I - Reelle Zahlen
November 17, 2008 Algebraische Grundbegriffe und Körper Definition Sei M eine Menge. Jede Funktion f : M M M heißt eine (binäre, innere) Verknüpfung oder eine Operation auf M. Wir schreiben für (a, b)
MehrReelle Zahlen, Gleichungen und Ungleichungen
9 2. Vorlesung Reelle Zahlen, Gleichungen und Ungleichungen 4 Zahlenmengen und der Körper der reellen Zahlen 4.1 Zahlenmengen * Die Menge der natürlichen Zahlen N = {0,1,2,3,...}. * Die Menge der ganzen
MehrRechenregeln für Summen
Rechenregeln für Summen Im Umgang mit Summen sind gewisse Regeln zu beachten. 1 Summe gleicher Summanden Betrachten wir folgende Summe: x Hier enthält x keinen Summationsindex, d.h. es wird x einfach n-mal
MehrAxiomatik der reellen Zahlen
Kapitel 13 Axiomatik der reellen Zahlen 13.1 Motivation Analysis beschäftigt sich mit Grenzwerten, Differentiation und Integration. Viele Phänomene in den Natur- und Ingenieurswissenschaften lassen sich
MehrZahlen und metrische Räume
Zahlen und metrische Räume Natürliche Zahlen : Die natürlichen Zahlen sind die grundlegendste Zahlenmenge, da man diese Menge für das einfache Zählen verwendet. N = {1, 2, 3, 4,...} Ganze Zahlen : Aus
Mehr1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen
1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist
Mehrdefinieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1.
22 Kapitel 1 Aussagen und Mengen 1.1 Aussagen Wir definieren eine Aussage A als einen Satz, der entweder wahr w) oder falsch f) also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 2 ist eine
Mehr1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen
. Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!
MehrDa diese Zahlenmenge nicht unter Subtraktion abgeschlossen ist, erweitert man sie zur Menge der ganzen Zahlen
Kapitel 2 Die reellen Zahlen Die reellen Zahlen werden zunächst und vorübergehend als Dezimalzahlen eingeführt. Die wichtigsten Eigenschaften werden aus dieser Darstellung hergeleitet, mit denen dann die
MehrZahlen und elementares Rechnen (Teil 1)
und elementares Rechnen (Teil 1) Dr. Christian Serpé Universität Münster 6. September 2010 Dr. Christian Serpé (Universität Münster) und elementares Rechnen (Teil 1) 6. September 2010 1 / 40 Gliederung
MehrGrundlagen der Mathematik
Universität Hamburg Winter 016/17 Fachbereich Mathematik Janko Latschev Lösungsskizzen 6 Grundlagen der Mathematik Präsenzaufgaben (P9) Die Ordnung der natürlichen Zahlen I Wir hatten in der Vorlesung
MehrAufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den
Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht
MehrWS 2013/14. Diskrete Strukturen
WS 2013/14 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/ws1314
Mehr4 Das Vollständigkeitsaxiom und irrationale Zahlen
4 Das Vollständigkeitsaxiom und irrationale Zahlen 4.2 R ist archimedisch geordnet 4.5 Q liegt dicht in R 4.7 Existenz von Wurzeln nicht-negativer reeller Zahlen In diesem Paragraphen werden wir zum ersten
MehrAlternativ kann man auch die Differenz a n+1 a n betrachten:
Aufgabe 1 Folgen auf Monotonie und Beschränktheit prüfen. a) Beschränktheit? Die Folge ( ) n N mit = n + ( 1) n ist nach unten beschränkt, denn es gilt n + ( 1) n n 1 1 für alle n N. Allerdings ist die
Mehrheißt Exponentialreihe. Die durch = exp(1) = e (Eulersche Zahl). n! + R m+1(x) R m+1 (x) = n! m m + 2
9 DIE EXPONENTIALREIHE 48 absolut konvergent. Beweis. Wegen x n+ n! n + )!x n = x n + < 2 für n 2 x folgt dies aus dem Quotientenkriterium 8.9). Definition. Die Reihe x n heißt Exponentialreihe. Die durch
MehrZahlen 25 = = 0.08
2. Zahlen Uns bisher bekannte Zahlenbereiche: N Z Q R ( C). }{{} später Schreibweisen von rationalen/reellen Zahlen als unendliche Dezimalbrüche = Dezimalentwicklungen. Beispiel (Rationale Zahlen) 1 10
MehrA N A L Y S I S I F Ü R T P H, U E ( ) 1. Übungstest (FR, ) (mit Lösung )
Institut für Analysis und Scientific Computing TU Wien W. Auzinger WS 05/6 A N A L Y S I S I F Ü R T P H, U E (03.088). Übungstest (FR, 6..05) (mit Lösung ) Aufgabe. a ) Wandeln Sie die periodische Dezimalzahl
MehrD-MATH, D-PHYS, D-CHAB Analysis I HS 2016 Prof. Manfred Einsiedler Philipp Wirth. Lösung 3
D-MATH, D-PHYS, D-CHAB Analsis I HS 016 Prof Manfred Einsiedler Philipp Wirth Lösung 3 Diese Woche werden nur Lösungen zu den Aufgaben 4, 5 und 6 zur Verfügung gestellt 4 a Nach Folgerung (i aus den Axiomen
Mehr2 Die Körper-Axiome. I. Axiome der Addition (A.1) Assoziativgesetz. Für alle x, y, z R gilt (x + y)+z = x +(y + z).
17 Wir setzen in diesem Buch die reellen Zahlen als gegeben voraus. Um auf sicherem Boden zu stehen, werden wir in diesem und den folgenden Paragraphen einige Axiome formulieren, aus denen sich alle Eigenschaften
MehrVollständige Induktion
Angenommen, wir wollen zeigen, dass eine Aussage P(n) für alle n N wahr ist. Anders ausgedrückt: Es gilt n N : P(n) Hierzu können wir die Technik der vollständigen Induktion verwenden. Wir zeigen, dass
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 4: Wörter (und vollständige Induktion) Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Oktober 2008 1/29 Überblick Wörter Wörter Das leere Wort Mehr zu
MehrGrundlagen der Mathematik
Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Lösungsskizzen 8 Grundlagen der Mathematik Präsenzaufgaben (P13) Primfaktorzerlegungen Die Primfaktorzerlegungen lauten: a) 66 =
MehrMathematik: Mag. Schmid Wolfgang Arbeitsblatt 8 2. Semester ARBEITSBLATT 8 DIE REELLEN ZAHLEN
Mathematik: Mag. Schmid Wolfgang Arbeitsblatt 8. Semester ARBEITSBLATT 8 DIE REELLEN ZAHLEN Bisher kennen wir bereits folgende Zahlenbereiche: N Natürliche Zahlen Z Ganze Zahlen Q Rationale Zahlen Bei
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
MehrKapitel 3. Reelle Zahlen. Mit reellen Zahlen rechnen können wir im Prinzip schon. Wir können addieren, subtrahieren, multiplizieren und dividieren.
Kapitel 3 Reelle Zahlen Mit reellen Zahlen rechnen können wir im Prinzip schon. Wir können addieren, subtrahieren, multiplizieren und dividieren. Division durch Null ist nicht erlaubt! 3.1 Ergänzungen
MehrSummenzeichen. Gymnasium Immensee Vertiefungskurs Mathematik. Bettina Bieri
Summenzeichen Gymnasium Immensee Vertiefungskurs Mathematik Bettina Bieri 24. Juli 2011 Inhaltsverzeichnis 1 Grundlagen: Summenzeichen 1 1.1 Der Aufbau des Summenzeichens................ 1 1.1.1 Aufgaben.........................
MehrKapitel 6. Fixpunkte und semantische Bereiche
Kapitel 6 Fixpunkte und semantische Bereiche Sowohl bei der Definition der operationalen Semantik als auch bei der Definition der mathematischen Semantik haben wir mehr oder weniger explizit Fixpunkte
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 =
MehrVorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG
Vorkurs Mathematik JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Lennéstraße 43, 1. OG pinger@uni-bonn.de September/Oktober 2017 JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Vorkurs Mathematik September/Oktober
MehrANALYSIS 1 Kapitel 2: Reelle und komplexe Zahlen
ANALYSIS 1 Kapitel 2: Reelle und komplexe Zahlen MAB.01012UB MAT.101UB Vorlesung im WS 2017/18 Günter LETTL Institut für Mathematik und wissenschaftliches Rechnen Karl-Franzens-Universität Graz 2.1 Körperstruktur
MehrInhaltsverzeichnis. Inhaltsverzeichnis
Inhaltsverzeichnis Inhaltsverzeichnis 1 Beweistechniken 1.1 Prädikatenlogik..................................... 1. Direkter Beweis.................................... 3 1.3 Indirekter Beweis....................................
Mehr3 Vollständige Induktion
3.1 Natürliche Zahlen In den vorherigen Kapiteln haben wir die Menge der natürlichen Zahlen schon mehrfach als Beispiel benutzt. Das Konzept der natürlichen Zahlen erscheint uns einfach, da wir es schon
MehrFachwissenschaftliche Grundlagen
Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau Roland Gunesch 8. Vorlesung Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 1 / 25 Themen
MehrVorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion
Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten
MehrWeitere Eigenschaften
Weitere Eigenschaften Erklärung der Subtraktion: x y := x + ( y) (5) Die Gleichung a + x = b hat die eindeutig bestimmte Lösung x = b a. Beweis: (a) Zunächst ist x = b a eine Lösung, denn a + x = a + (b
MehrZahlenbereiche. 1 Die reellen Zahlen als angeordneter Körper Körperaxiome Anordnungsaxiome Absolutbetrag und Intervalle...
Goethe-Oberschule Berlin (Gymnasium) A. Mentzendorff Geändert: Januar 010 Zahlenbereiche Inhaltsverzeichnis 1 Die reellen Zahlen als angeordneter Körper 1.1 Körperaxiome....................................
Mehr,...) ist eine Folge, deren Glieder der Null beliebig nahe kommen. (iii) Die Folge a n = ( 1) n + 1 n oder (a n) = (0, 3 2, 2 3, 5 4, 4 5
3 Folgen 3.1 Definition und Beispiele Eine Abbildung a : Æ Ê heißt (reelle) Zahlenfolge. Statt a(n) schreiben wir kürzer a n und bezeichnen die ganze Folge mit (a n ) n Æ oder einfach (a n ), was aber
Mehr1 Vorbereitung: Potenzen 2. 2 Einstieg und typische Probleme 3
Das vorliegende Skript beschäftigt sich mit dem Thema Rechnen mit Kongruenzen. Das Skript entsteht entlang einer Unterrichtsreihe in der Mathematischen Schülergesellschaft (MSG) im Jahr 2013. Die vorliegende
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
MehrTilman Bauer. 4. September 2007
Universität Münster 4. September 2007 und Sätze nlogik von Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus)
Mehr1 Mengen und Aussagen
$Id: mengen.tex,v.3 200/0/3 2:37:54 hk Exp hk $ Mengen und Aussagen In der letzten Sitzung hatten wir den Begriff einer Menge eingeführt und einige Rechenoperationen für Mengen eingeführt Vereinigung M
Mehr$Id: folgen.tex,v /06/07 13:16:35 hk Exp $ n qn = 0.
$Id: folgen.tex,v 1.13 01/06/07 13:16:35 hk Exp $ 6 Folgen 6.4 Folgen reeller Zahlen Wir waren gerade mit der Besprechung diverser Beispiele zur Folgenkonvergenz beschäftigt, und wollen jetzt noch zwei
MehrGrundkurs Mathematik I
Prof. Dr. H. Brenner Osnabrück WS 2016/2017 Grundkurs Mathematik I Vorlesung 19 Kommutative Ringe Wir erfassen die in der letzten Vorlesung etablierten algebraischen Eigenschaften der ganzen Zahlen mit
MehrLösungen. 1. Klausur zur MIA: Analysis I für Mathematiker
MATHEMATISCHES INSTITUT WS 006/07 DER UNIVERSITÄT MÜNCHEN Prof. Dr. M. Schottenloher Dr. S. Tappe Version 5.. Lösungen zur. Klausur zur MIA: Analysis I für Mathematiker vom 6..06 Aufgabe. ( + Punkte) a)
Mehr1.2 Eigenschaften der ganzen Zahlen
Lineare Algebra I WS 2015/16 c Rudolf Scharlau 13 1.2 Eigenschaften der ganzen Zahlen Dieser Abschnitt handelt von den gewöhlichen ganzen Zahlen Z und ihren Verknüpfungen plus und mal. Man kann die natürlichen
Mehr