Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Arbeitsblatt 40/latex
\setcounter{section}{40}
\zwischenueberschrift{Die Pausenaufgabe}
\inputaufgabe
{}
{
Oma Müller und Opa Müller haben heute Geburtstag. Sie wird $69$ Jahre alt und er wird $73$ Jahre alt. Wie alt waren sie, als man beide Altersangaben zwar mit natürlichen, aber nicht mit positiven natürlichen Zahlen ausdrücken konnte.
}
{} {}
\zwischenueberschrift{Übungsaufgaben}
\inputaufgabe
{}
{
Familie $A$ und $B$ notieren ihre Einnahmen und Ausgaben pro Monat in der Form
\mathl{(x,y) \in \N^2}{,} wobei der erste Eintrag für die Einnahmen und der zweite Eintrag für die Ausgaben steht. Familie $A$ notiert für die erste Jahreshälfte die Paare
\mathdisp {(2500,2800) ,\, (3500,3200) ,\, (3300,2900), \, (2800,2800) ,\, (2400,4200) ,\, (4000,2700)} { . }
Familie $B$ notiert für die erste Jahreshälfte die Paare
\mathdisp {(3300,3600) ,\, (3900,3800) ,\, (4300,4300), \, (4000,3800) ,\, (3900,4100) ,\, (4000,3700)} { . }
\aufzaehlungvier{Notiere für jede Familie und jeden Monat den Gewinn bzw. das Defizit in Paarschreibweise mit Hilfe der Standardrepräsentanten.
}{Berechne für jede Familie die Gesamteinnahmen und die Gesamtausgaben im angegebenen Zeitraum.
}{Bestimme auf zwei verschiedene Arten für jede Familie den Gesamtgewinn bzw. das Gesamtdefizit
\zusatzklammer {Standardrepräsentant} {} {.}
}{Vergleiche für jeden Monat den Haushalt der beiden Familien mit Hilfe der Festlegung aus
Lemma 40.4.
}
}
{} {}
\inputaufgabe
{}
{
Ihre Fußballmannschaft hat das vorletzte Spiel mit
\mathl{5:1}{} und das letzte Spiel mit
\mathl{10:5}{} gewonnen. Welchen Sieg finden Sie überzeugender?
}
{} {}
\inputaufgabe
{}
{
Es seien
\mathkor {} {(M,*)} {und} {(N, \circ)} {}
Mengen mit Verknüpfungen und es sei
\maabbdisp {\varphi} {M} {N
} {}
eine mit den Verknüpfungen verträgliche
\definitionsverweis {surjektive Abbildung}{}{,}
es gelte also
\mavergleichskettedisp
{\vergleichskette
{\varphi (x *y)
}
{ =} { \varphi(x) \circ \varphi(y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zeige die folgenden Aussagen.
\aufzaehlungdrei{Wenn $*$ kommutativ ist, so ist auch $\circ$ kommutativ.
}{Wenn $*$ assoziativ ist, so ist auch $\circ$ assoziativ.
}{Wenn $M$ ein neutrales Element besitzt, so besitzt auch $N$ ein neutrales Element.
}
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige, dass man durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} {[(ac+bd, ad+bc)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf
\zusatzklammer {dem
\definitionsverweis {Äquivalenzklassenmodell}{}{}
von} {} {}
$\Z$ eine
\definitionsverweis {Verknüpfung}{}{}
erhält, die
\definitionsverweis {kommutativ}{}{}
und
\definitionsverweis {assoziativ}{}{}
ist und die
\mathl{[(1,0)]}{} als
\definitionsverweis {neutrales Element}{}{}
besitzt.
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige, dass man durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)]
}
{ \geq} {[(c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
falls
\mavergleichskettedisp
{\vergleichskette
{a+d
}
{ \geq} { b+c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Z$ eine
\definitionsverweis {totale Ordnung}{}{}
erhält.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass die Abbildung \maabbeledisp {} {\N} { \Z } {n} { [(n, 0)] } {,} injektiv ist und dass sie mit der Addition, der Multiplikation und der Ordnung verträglich ist.
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige, dass die auf $\Z \times \N_+$ durch
\mathdisp {(a,b) \sim (c,d), \text{ falls } ad=bc} { , }
festgelegte
\definitionsverweis {Relation}{}{}
eine
\definitionsverweis {Äquivalenzrelation}{}{}
ist.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass bei der auf $\Z \times \N_+$ durch
\mathdisp {(a,b) \sim (c,d), \text{ falls } ad=bc} { , }
festgelegten
\definitionsverweis {Äquivalenzrelation}{}{}
jedes Paar
\mathl{(x,y)}{} einen Vertreter
\mathl{(x',y')}{} besitzt, bei dem
\mathkor {} {x'} {und} {y'} {}
\definitionsverweis {teilerfremd}{}{}
sind.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass man durch die Festlegung
\mavergleichskettedisp
{\vergleichskette
{ [(a,b)] \cdot [(c,d)]
}
{ \defeq} { [ ( ac, bd)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Q$ eine wohldefinierte Verknüpfung erhält, die kommutativ und assoziativ ist und die
\mathl{[(1,1)]}{} als neutrales Element besitzt. Zeige ferner, dass bei
\mavergleichskette
{\vergleichskette
{a
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Klassen
\mathkor {} {[(a,b)]} {und} {[(b,a)]} {}
und bei
\mavergleichskette
{\vergleichskette
{a
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Klassen
\mathkor {} {[(a,b)]} {und} {[(-b,-a)]} {}
invers zueinander sind.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass im
\definitionsverweis {Äquivalenzklassenmodell}{}{}
für $\Q$ die Addition die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ [(a,d)] + [(c,d)]
}
{ =} { [(a+c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt.
}
{} {}
\inputaufgabe
{}
{
Es sei $\Z \times \N_+$ mit der durch
\mathdisp {(a,b) \sim (c,d), \text{ falls } ad=bc} { , }
festgelegten
\definitionsverweis {Äquivalenzrelation}{}{}
versehen. Zeige, dass es zu
\mathl{(a_1,b_1), (a_2,b_2) , \ldots , (a_n,b_n)}{} eine Zahl
\mathl{d \in \N_+}{} und ganze Zahlen
\mathl{c_1,c_2 , \ldots , c_n}{} mit
\mathl{(a_1,b_1) \sim (c_1,d) ,\, (a_2,b_2) \sim (c_2,d) , \ldots , (a_n,b_n) \sim (c_n,d)}{} gibt.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass man durch die Festlegung
\mavergleichskette
{\vergleichskette
{ [(a,b)]
}
{ \geq }{[(c,d)]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
falls
\mavergleichskette
{\vergleichskette
{a d
}
{ \geq }{ b c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
auf
\zusatzklammer {dem Äquivalenzklassenmodell von} {} {}
$\Q$ eine wohldefinierte
\definitionsverweis {totale Ordnung}{}{}
erhält.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass die Abbildung \maabbeledisp {} {\Z} { \Q } {n} { [(n,1)] } {,} \definitionsverweis {injektiv}{}{} und mit der Addition, der Multiplikation und der Ordnung verträglich ist.
}
{} {}
\inputaufgabe
{}
{
Es sei $M$ eine Menge mit einer
\definitionsverweis {kommutativen}{}{,} \definitionsverweis {assoziativen}{}{}
Verknüpfung $*$ und einem neutralen Element $e$. Ferner gelte die Kürzungsregel, dass aus
\mavergleichskette
{\vergleichskette
{a*c
}
{ = }{b*c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
\aufzaehlungzwei {Zeige, dass auf
\mathl{M \times M}{} durch die Festlegung
\mavergleichskette
{\vergleichskette
{(a,b)
}
{ \sim }{ (c,d)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
falls
\mavergleichskette
{\vergleichskette
{ a*d
}
{ = }{ b*c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt, eine
\definitionsverweis {Äquivalenzrelation}{}{}
definiert wird.
} {Zeige, dass man auf der Quotientenmenge
\mathl{M \times M/\sim}{} eine
\definitionsverweis {Gruppenstruktur}{}{}
definieren kann, die die Verknüpfung auf $M$ fortsetzt.
}
}
{} {}
\inputaufgabe
{}
{
Wir betrachten auf $\Z^2 \setminus \{ (0,0)\}$ die durch
\mathdisp {(a,b) \sim (c,d), \text{ falls } ad=bc} { , }
festgelegte
\definitionsverweis {Relation}{}{.}
Zeige, dass es sich um eine
\definitionsverweis {Äquivalenzrelation}{}{}
handelt, deren
\definitionsverweis {Äquivalenzklassen}{}{}
die \anfuehrung{diskreten Geraden}{} durch den Nullpunkt ohne den Nullpunkt sind.
}
{} {}
\inputaufgabe
{}
{
Wir betrachten auf $\Z^2$ die durch
\mathdisp {(a,b) \sim (c,d), \text{ falls } ad=bc} { , }
festgelegte
\definitionsverweis {Relation}{}{.}
Zeige, dass dies keine
\definitionsverweis {Äquivalenzrelation}{}{}
ist
}
{} {}
\zwischenueberschrift{Aufgaben zum Abgeben}
\inputaufgabe
{2}
{
Zeige, dass die Äquivalenzrelation auf
\mathl{\N \times \N}{,} die durch
\mavergleichskette
{\vergleichskette
{(a,b)
}
{ \sim }{(c,d)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
falls
\mavergleichskette
{\vergleichskette
{a+d
}
{ = }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, festgelegt ist, durch die Sprünge
\mathl{\pm \begin{pmatrix} 1 \\1 \end{pmatrix}}{} erzeugt wird.
}
{} {}
\inputaufgabe
{8 (2+2+2+2)}
{
Es sei $\sim$ die
\definitionsverweis {Äquivalenzrelation}{}{}
auf
\mathl{\N \times \N}{,} die durch
\mavergleichskette
{\vergleichskette
{(a,b)
}
{ \sim }{(c,d)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
falls
\mavergleichskette
{\vergleichskette
{a+d
}
{ = }{b+c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, festgelegt ist, und es sei $\Z=\N \times \N/ \sim$ die zugehörige Quotientenmenge, also das Äquivalenzklassenmodell von $\Z$. Es sei $G=\N \uplus \N_-$ das
\zusatzklammer {in der 18. Vorlesung eingeführte} {} {} \anfuehrung{direkte Modell}{} für die ganzen Zahlen. Wir betrachten die Abbildung
\maabbdisp {\varphi} {G} { \N \times \N
} {,}
die durch
\mathdisp {\varphi (n) =\begin{cases} (n,0), \text{ falls } n \text{ nichtnegativ ist}\, , \\ (0,m), \text{ falls } n=-m \text{ negativ ist} \, ,\end{cases}} { }
definiert ist, und die zusammengesetzte Abbildung
\mathdisp {G \stackrel{\varphi}{\longrightarrow} \N \times \N \stackrel{p}{\longrightarrow} \Z} { . }
\aufzaehlungvier{Zeige, dass
\mathl{p \circ \varphi}{} eine
\definitionsverweis {bijektive Abbildung}{}{}
ist.
}{Zeige, dass
\mathl{p \circ \varphi}{} mit der Addition verträglich ist.
}{Zeige, dass
\mathl{p \circ \varphi}{} mit der Multiplikation verträglich ist.
}{Zeige, dass
\mathl{p \circ \varphi}{} mit der Ordnung verträglich ist.
}
}
{} {}
\inputaufgabe
{3}
{
Es sei $(M,*,e)$ eine endliche Menge mit einer kommutativen, assoziativen \definitionsverweis {Verknüpfung}{}{} mit einem neutralen Element $e$. Ferner gelte in $M$ die \anfuehrung{Kürzungsregel}{:} Aus $z * x= z* y$ folgt $x= y$. Zeige, dass $M$ eine \definitionsverweis {Gruppe}{}{} ist.
}
{} {}
\inputaufgabe
{1}
{
Zeige, dass im
\definitionsverweis {Äquivalenzklassenmodell}{}{}
für $\Q$ die Ordnung die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ [(a,d)]
}
{ \geq} { [( c,d)]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann, wenn
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
erfüllt.
}
{} {}
\inputaufgabe
{3 (1+1+1)}
{
Die Fußballspiele zwischen dem TSV Wildberg und VfB Effringen endeten in den letzten Jahren wie folgt:
\mathdisp {7:2, \, 3:0, \, 0:0, \, 9:6, \, 8:0, \, 2:1, \, 4:2, \, 3:0, \, 5:5, \, 6:3, \, 3:1, \, 1:1, \, 7:0, \, 2:0, \, 6:4, \, 6:2, \, 3:4, \, 3:2} { . }
\aufzaehlungdrei{Erstelle die Äquivalenzklassen
\zusatzklammer {auf der Menge der angegebenen Ergebnisse} {} {}
gemäß der Äquivalenzrelation auf
\mathl{\N \times \N}{,} die durch
\mathl{a:b \sim c:d, \text{ falls } a+d=b+c}{,} definiert ist.
}{Erstelle die Äquivalenzklassen gemäß derjenigen Äquivalenzrelation auf
\mathl{\N \times \N}{,} die auf
\mathl{\N \times (\N \setminus \{0\} )}{} durch
\mathl{a:b \sim c :d, \text{ falls } ad=bc}{,} definiert ist und für die
\mathl{{ \left\{ n:0 \mid n \in \N_+ \right\} }}{} und
\mathl{\{ 0:0 \}}{} eigene Äquivalenzklassen sind.
}{Erstelle die Äquivalenzklassen gemäß derjenigen Äquivalenzrelation auf
\mathl{\N \times \N}{,} die auf
\mathl{( \N \setminus \{0\} ) \times (\N \setminus \{0\} )}{} durch
\mathl{a:b \sim c :d, \text{ falls } ad=bc}{,} definiert ist und für die die anderen Elemente nur zu sich selbst äquivalent sind.
}
}
{} {}