Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Arbeitsblatt 24/latex
\setcounter{section}{24}
\zwischenueberschrift{Die Pausenaufgabe}
\inputaufgabe
{}
{
Ordne die folgenden
\definitionsverweis {rationalen Zahlen}{}{}
gemäß ihrer Größe.
\mathdisp {2 , \, { \left( { \frac{ 5 }{ 3 } } \right) }^2, \, 4, \, 5 - { \frac{ 11 }{ 12 } } ,\, 3 + { \frac{ 11 }{ 10 } } , \, { \frac{ 7 }{ 3 } } \cdot { \frac{ 5 }{ 3 } } ,\, { \frac{ 21 }{ 12 } } + { \frac{ 19 }{ 9 } } ,\, { \frac{ 407 }{ 100 } } ,\, 3 , \, { \frac{ 15 }{ 4 } }} { . }
}
{} {}
\zwischenueberschrift{Übungsaufgaben}
\inputaufgabegibtloesung
{}
{
Bestimme, welche der beiden rationalen Zahlen
\mathkor {} {p} {und} {q} {}
größer ist.
\mathdisp {p= { \frac{ 573 }{ -1234 } } \text{ und } q = { \frac{ -2007 }{ 4322 } }} { . }
}
{} {}
\inputaufgabe
{}
{
Man gebe fünf \definitionsverweis {rationale Zahlen}{}{} an, die \zusatzklammer {echt} {} {} zwischen \mathkor {} {{ \frac{ 3 }{ 8 } }} {und} {{ \frac{ 7 }{ 8 } }} {} liegen.
}
{} {}
\inputaufgabe
{}
{
Warum braucht man in der Definition 24.1 die Bedingung, dass beide Nenner positiv sind?
}
{} {}
\inputaufgabegibtloesung
{}
{
Unterteile die Strecke von
\mathl{{ \frac{ 2 }{ 7 } }}{} nach
\mathl{{ \frac{ 3 }{ 4 } }}{} rechnerisch in drei gleichlange Strecken.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es stehen zwei Gläser auf einem Tisch, wobei das eine mit Rotwein und das andere mit Weißwein gefüllt ist, und zwar gleichermaßen. Nun wird ein kleineres leeres Glas \zusatzklammer {ein Fingerhut oder ein Schnapsglas} {} {} in das Rotweinglas voll eingetaucht und der Inhalt in das Weißweinglas überführt und dort gleichmäßig vermischt \zusatzklammer {insbesondere gibt es Platz für diese Hinzugabe} {} {.} Danach wird das kleinere Glas in das Weißweinglas voll eingetaucht und der Inhalt in das Rotweinglas überführt. Befindet sich zum Schluss im Rotweinglas mehr Rotwein als im Weißweinglas Weißwein?
}
{} {}
\inputaufgabegibtloesung
{}
{
Eine Bahncard $25$, mit der man ein Jahr lang $25$ Prozent des Normalpreises einspart, kostet $62$ Euro und eine Bahncard $50$, mit der man ein Jahr lang $50$ Prozent des Normalpreises einspart, kostet $255$ Euro. Für welchen Jahresgesamtnormalpreis ist keine Bahncard, die Bahncard $25$ oder die Bahncard $50$ die günstigste Option?
}
{} {}
\inputaufgabegibtloesung
{}
{
Zwei Fahrradfahrer, \mathkor {} {A} {und} {B} {,} fahren auf ihren Fahrrädern eine Straße entlang. Fahrer $A$ macht pro Minute $40$ Pedalumdrehungen, hat eine Übersetzung von Pedal zu Hinterrad von $1$ zu $6$ und Reifen mit einem Radius von $39$ Zentimetern. Fahrer $B$ braucht für eine Pedaldrehung $2$ Sekunden, hat eine Übersetzung von $1$ zu $7$ und Reifen mit einem Radius von $45$ Zentimetern.
Wer fährt schneller?
}
{} {}
\inputaufgabegibtloesung
{}
{
Wir wollen
\zusatzklammer {ohne den Strahlensatz zu benutzen} {} {}
begründen, dass die geometrische Multiplikation von rationalen Zahlen auf dem Zahlenstrahl korrekt ist, also mit der algebraisch eingeführten Multiplikation übereinstimmt. Wir beschränken uns auf positive rationale Zahlen und bezeichnen die geometrische Multiplikation mit $\star$.
\aufzaehlungdrei{Zeige, dass für positive natürliche Zahlen $n$ und rationale Zahlen $x$ die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{n \star x
}
{ =} { nx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Zeige, dass für positive natürliche Zahlen $n$ und rationale Zahlen $x,y$ die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ { \left( nx \right) } \star y
}
{ =} { n { \left( x \star y \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Zeige, dass generell für rationale Zahlen
\mathl{x,y}{} die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{x \star y
}
{ =} { xy
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
}
{} {}
\inputaufgabegibtloesung
{}
{
Der Flächeninhalt eines Quadrates mit Seitenlänge $1$
\zusatzklammer {das Einheitsquadrat} {} {}
wird als $1$ festgelegt.
\aufzaehlungzwei {Begründe, dass ein Rechteck, dessen Seitenlängen
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind, den Flächeninhalt
\mathl{ab}{} besitzt. Welche naheliegenden Gesetzmäßigkeiten für den Flächeninhalt werden dabei verwendet?
} {Begründe, dass ein Rechteck, dessen Seitenlängen
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{ \Q_+
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
sind, den Flächeninhalt
\mathl{xy}{} besitzt.
}
}
{} {}
Das folgende Konzept reicht historisch weiter zurück als das der rationalen Zahlen.
Zwei Strecken \mathkor {} {s} {und} {t} {} heißen \stichwort {kommensurabel} {,} wenn es eine Strecke $g$ mit der Eigenschaft gibt, dass beide Strecken ganzzahlige Vielfache von $g$ sind.
\inputaufgabe
{}
{
Zeige, dass zwei Strecken \mathkor {} {a} {und} {b} {} genau dann \definitionsverweis {kommensurabel}{}{} sind, wenn es eine Strecke $v$ mit der Eigenschaft gibt, dass $v$ von beiden Strecken ein ganzzahliges Vielfaches ist.
}
{} {}
\inputaufgabe
{}
{
Es sei $a \neq 0$ ein rationale Zahl auf der Zahlengeraden. Zeige, dass $a$ zu einem weiteren Punkt
\mathl{b \neq 0}{} genau dann
\definitionsverweis {kommensurabel}{}{}
ist, wenn $b$ ebenfalls rational ist.
}
{} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Sternbrocot.jpg} }
\end{center}
\bildtext {Im Stern-Brocot-Baum ergeben sich die gekürzten positiven Brüche, indem man zwei je in der $x$-Richtung benachbarte Brüche \anfuehrung{falsch}{} addiert, nämlich ${ \frac{ a }{ b } } \oplus { \frac{ c }{ d } } = { \frac{ a+c }{ b+d } }$ rechnet, und in die darüberliegende Zeile dazwischen platziert. An der Links-Rechtsausrichtung kann man die Größenverhältnisse ablesen.} }
\bildlizenz { Sternbrocot.jpg } {} {WydD} {fr. Wikipedia} {CC-by-sa-3.0} {}
\inputaufgabe
{}
{
Gabi Hochster hat die Addition und die Multiplikation der rationalen Zahlen verstanden und möchte jetzt die Operation verstehen, bei der man
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } } \oplus { \frac{ c }{ d } }
}
{ \defeq} { { \frac{ a+c }{ b+d } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
setzt. Sie beschränkt sich auf positive
\mathl{a,b,c,d}{.} Überprüfe ihre Behauptungen:
\aufzaehlungfuenf{Bei
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ \leq} { { \frac{ c }{ d } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ \leq} { { \frac{ a+c }{ b+d } }
}
{ \leq} { { \frac{ c }{ d } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies kann man algebraisch und geometrisch beweisen.
}{Die Verknüpfung ist für rationale Zahlen nicht wohldefiniert.
}{Wenn man für rationale Zahlen stets ihre teilerfremde Darstellung nimmt, so ist die Verknüpfung wohldefiniert.
}{Die Verknüpfung ist kommutativ.
}{Die Verknüpfung ist nicht assoziativ.
}
}
{} {}
Die in der vorstehenden Aufgabe eingeführte Verknüpfung auf den Bruchzahlen nennt man \stichwort {Mediant-Addition} {.}
\inputaufgabe
{}
{
Man finde sinnvolle Interpretationen für die Mediant-Addition
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } } \oplus { \frac{ c }{ d } }
}
{ \defeq} { { \frac{ a+c }{ b+d } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf den Bruchzahlen. Man betrachte beispielsweise
Aufgabe 23.30.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ x
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass auch das inverse Element $x^{-1}$ positiv ist.
}
{Man folgere daraus, dass die positiven Elemente in einem angeordneten Körper bezüglich der Multiplikation eine Gruppe bilden.} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ x
}
{ < }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass auch das inverse Element $x^{-1}$ negativ ist.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ x
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass für das inverse Element
\mavergleichskette
{\vergleichskette
{ x^{-1}
}
{ \leq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ x
}
{ > }{ y
}
{ > }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass für die
\definitionsverweis {inversen Elemente}{}{}
\mavergleichskette
{\vergleichskette
{ x^{-1}
}
{ < }{ y^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und seien $x, y$ positive Elemente. Zeige, dass
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu
\mavergleichskette
{\vergleichskette
{ { \frac{ x }{ y } }
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent ist.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und
\mathbed {b \in K} {}
{b> 1} {}
{} {} {} {.}
Zeige, dass es dann Elemente
\mavergleichskette
{\vergleichskette
{c,d
}
{ > }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{b
}
{ = }{cd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
bei dem eine Teilmenge
\mavergleichskette
{\vergleichskette
{ P
}
{ \subseteq }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ausgezeichnet sei, die den folgenden Bedingungen genügt.
\aufzaehlungdrei{Für $x \in K$ ist entweder $x \in P$ oder $-x \in P$ oder $x=0$.
}{Aus $x,y \in P$ folgt $x+y \in P$.
}{Aus $x,y \in P$ folgt $x \cdot y \in P$.
}
Zeige, dass durch die Festlegung
\mathdisp {x \geq y \text{ genau dann, wenn } x=y \text{ oder } x-y \in P} { }
ein
\definitionsverweis {angeordneter Körper}{}{}
entsteht.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.} Zeige, dass für
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ x^2 +(x+1)^2 }
{ \geq} { (x+2)^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und seien
\mavergleichskette
{\vergleichskette
{a
}
{ > }{b
}
{ > }{0
}
{ }{
}
{ }{
}
}
{}{}{}
Elemente aus $K$. Zeige
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ a-b } } + { \frac{ 1 }{ a+b } }
}
{ \geq} { { \frac{ 2 }{ a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.} Zeige, dass die in Aufgabe 23.41 eingeführte Abbildung \maabbeledisp {} {\Z} {K } {n} {n_K } {,} \definitionsverweis {injektiv}{}{} ist.
}
{} {}
\inputaufgabe
{}
{
Zeige die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{n!
}
{ \leq} { { \left( { \frac{ n+1 }{ 2 } } \right) }^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Bestimme die ganzzahligen Lösungen
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Ungleichung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \,\, { \frac{ 3 }{ x } } \,\, }{ \,\, { \frac{ -7 }{ 4 } } \,\, } }
}
{ >} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Beweise die folgenden Eigenschaften für die
\definitionsverweis {Betragsfunktion}{}{}
\maabbeledisp {} {K} {K
} {x} { \betrag { x }
} {,}
in einem
\definitionsverweis {angeordneten Körper}{}{}
\zusatzklammer {dabei seien $x,y$ beliebige Elemente in $K$} {} {.}
\aufzaehlungacht{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{x
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ = }{\betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { y-x }
}
{ = }{ \betrag { x-y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { xy }
}
{ = }{ \betrag { x } \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \betrag { x^{-1} }
}
{ = }{ \betrag { x }^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x+y }
}
{ \leq }{ \betrag { x } + \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {\stichwort {Dreiecksungleichung für den Betrag} {}} {} {.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { x+y }
}
{ \geq }{ \betrag { x } - \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{.}
Zeige, dass für
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Identität
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{max} (x,y)
}
{ =} { { \frac{ 1 }{ 2 } } { \left( x+y + \betrag { x-y } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.} Man untersuche die \definitionsverweis {Verknüpfung}{}{} \maabbeledisp {} {K \times K} {K } {(x,y)} { \operatorname{min} \, (x,y) } {,} auf Assoziativität, Kommutativität, die Existenz von einem neutralen Element und die Existenz von inversen Elementen.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und es seien $x<y$ Elemente in $K$. Zeige, dass für das
\definitionsverweis {arithmetische Mittel}{}{}
$\frac{x+y}{2}$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ <} {\frac{x+y}{2}
}
{ <} {y
}
{ } {}
{ } {}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} mit
\mavergleichskette
{\vergleichskette
{ 2
}
{ = }{ 1+1
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass die Verknüpfung, die zwei Elementen
\mathkor {} {a} {und} {b} {}
ihr arithmetisches Mittel
\mathl{{ \frac{ a+b }{ 2 } }}{} zuordnet, nicht assoziativ ist.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{.}
Zeige, dass für jedes
\mavergleichskette
{\vergleichskette
{x
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Ungleichung
\mavergleichskette
{\vergleichskette
{ x+ { \frac{ 1 }{ x } }
}
{ \geq }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt ist. Für welche $x$ gilt Gleichheit?
}
{} {}
\inputaufgabe
{}
{
Zeige die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{2n^n
}
{ \leq} {(n+1)^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein
\definitionsverweis {angeordneter Körper}{}{}
und
\mathl{x \in K}{} mit
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{ x
}
{ \leq }{ { \frac{ 1 }{ 2 } }
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass für alle
\mathl{n \in \N_+}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ 1+x+x^2 + \cdots + x^n
}
{ \leq} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabe
{}
{
Bestimme die kleinste reelle Zahl, für die die
Bernoullische Ungleichung
zum Exponenten
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
{} {}
\zwischenueberschrift{Aufgaben zum Abgeben}
\inputaufgabe
{3}
{
Zeige, dass die \definitionsverweis {Größergleichrelation}{}{} auf den rationalen Zahlen eine \definitionsverweis {totale Ordnung}{}{} ist.
}
{} {}
\inputaufgabe
{2}
{
Bestimme, welche der beiden rationalen Zahlen
\mathkor {} {p} {und} {q} {}
größer ist.
\mathdisp {p= { \frac{ -5549 }{ 11092 } } \text{ und } q = { \frac{ 3615 }{ -7173 } }} { . }
}
{} {}
\inputaufgabe
{2}
{
Zeige die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \binom { d+n } { n }
}
{ \geq} { { \left( { \frac{ d }{ n } } \right) }^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{4 (1+3)}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.} Betrachte die in Aufgabe 23.41 konstruierte Zuordnung \maabb {} {\Z} {K } {.}
a) Zeige, dass diese Zuordnung \definitionsverweis {injektiv}{}{} ist.
b) Zeige, dass man diese Zuordnung zu einer injektiven Abbildung
\maabb {} {\Q} {K
} {}
fortsetzen kann, und zwar derart, dass die
\definitionsverweis {Verknüpfungen}{}{}
in $\Q$ mit den Verknüpfungen in $K$ übereinstimmen und die
\definitionsverweis {Ordnung}{}{}
auf $\Q$ mit der Ordnung auf $K$ übereinstimmt.
}
{} {}
\inputaufgabe
{3}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und seien
\mavergleichskette
{\vergleichskette
{ x_1 , \ldots , x_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Elemente. Zeige, dass dann
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \sum_{i=1}^n x_i }
}
{ \leq} { \sum_{i = 1}^n \betrag { x_i }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabe
{3}
{
Ergänze den Stern-Brocot-Baum um eine weitere Zeile.
}
{} {}