Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Arbeitsblatt 17/latex

\setcounter{section}{17}






\zwischenueberschrift{Übungsaufgaben}




\inputaufgabe
{}
{

Es sei
\mathl{S=\{0,1,+,\cdot\}}{.} Zeige, dass die \definitionsverweis {Automorphismengruppen}{}{} der $S$-Strukturen \mathkor {} {\Q} {und} {\R} {} jeweils \definitionsverweis {trivial}{}{} sind.

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{S=\{0,1,+,\cdot\}}{} die Symbolmenge eines \definitionsverweis {Körpers}{}{.} Zeige, dass es einen \definitionsverweis {Unterkörper}{}{}
\mathl{K \subseteq \R}{} derart gibt, dass
\mathl{S-\operatorname{Aut} \, K}{} nicht trivial ist.

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{S=\{0,1,+,\cdot, \geq\}}{} die Symbolmenge eines \definitionsverweis {angeordneten Körpers}{}{.} Zeige, dass für jeden \definitionsverweis {Unterkörper}{}{}
\mathl{K \subseteq \R}{} die \definitionsverweis {Automorphismengruppe}{}{}
\mathl{S-\operatorname{Aut} \, K}{} trivial ist.

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{S=\{0,1,+,\cdot, \geq \}}{} die Symbolmenge eines \definitionsverweis {angeordneten Körpers}{}{.} Zeige, dass es einen angeordneten Körper $K$ derart gibt, dass
\mathl{S-\operatorname{Aut} \, K}{} nicht trivial ist.

}
{} {}




\inputaufgabegibtloesung
{}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{ S }
{ =} { \{0,1,+,\cdot, \geq \} }
{ } { }
{ } { }
{ } { }
} {}{}{} das \definitionsverweis {Symbolalphabet}{}{} für einen \definitionsverweis {angeordneten Körper}{}{} und es sei $\R$ die $S$-\definitionsverweis {Struktur}{}{} mit der Standardinterpretation. \aufzaehlungzwei {Zeige, dass die Äquivalenzklassen zur \definitionsverweis {elementaren Äquivalenz}{}{} einelementig sind. } {Zeige, dass es für die Elemente im Allgemeinen keinen charakterisierenden Ausdruck gibt. }

}
{} {}




\inputaufgabe
{}
{

Wir betrachten die beiden folgenden Punktkonfigurationen im $\R^2$,
\mathdisp {M=\{(0,0), (0,1), (1,0), (2,0) \} \text{ und } N=\{(0,0), (0,1), (1,0), (3,0) \}} { . }
Zeige, dass es keine lineare Abbildung \maabbdisp {\varphi} {\R^2} { \R^2 } {} gibt, die $M$ in $N$ überführt. Widerspricht dies Satz 17.3?

}
{} {}




\inputaufgabe
{}
{

Es sei $f$ ein zweistelliges Funktionssymbol und $g$ ein einstelliges Funktionssymbol. Man mache sich klar, dass die Symbolkette
\mathl{fggg}{} in zweifacher Weise als formal-zusammengesetztes Funktionssymbol gelesen werden kann.

}
{} {}




\inputaufgabe
{}
{

Es sei $S$ ein erststufiges Symbolalphabet, $M$ eine $S$-\definitionsverweis {Struktur}{}{} und
\mathl{T \subseteq M}{} eine Teilmenge. Zeige, dass die \zusatzklammer {rekursiv definierte} {} {} \definitionsverweis {funktionale Hülle}{}{} von $T$ gleich dem Durchschnitt über alle funktional abgeschlossenen Teilmengen $N \subseteq M$ ist, die $T$ umfassen.

}
{} {}

In der Mathematik interessiert man sich nicht nur für die von einer Teilmenge einer Struktur erzeugte funktionale Hülle, sondern auch für Unterstrukturen, in denen zusätzlich noch die gleichen Gesetzmäßigkeiten \zusatzklammer {ausgedrückt durch ein Axiomensystem $\Gamma$} {} {} wie in der Struktur gelten, beispielsweise die von einer Teilmenge erzeugten Untergruppen, Unterringe, Unterkörper, Untervektorräume. Diese von einer Teilmenge erzeugten $S-\Gamma$-Strukturen kann man oft, wenn es sie überhaupt gibt, als Durchschnitt über alle $S-\Gamma$-Unterstrukturen erhalten, die die Teilmenge umfassen.




\inputaufgabe
{}
{

Wir betrachten die \definitionsverweis {Gruppe}{}{}
\mathl{(\Z,0,+)}{.} Bestimme die \definitionsverweis {funktionale Hülle}{}{} von
\mathl{T=\{15,20\}}{} \zusatzklammer {hier spricht man vom erzeugten Untermonoid} {} {} und die von $T$ \definitionsverweis {erzeugte Untergruppe}{}{.}

}
{} {}




\inputaufgabe
{}
{

Das Symbolalphabet $S$ bestehe neben Variablen aus einem einstelligen Funktionssymbol $f$ und es sei
\mathl{\Gamma=\{ \alpha \}}{} mit
\mavergleichskette
{\vergleichskette
{ \alpha }
{ = }{ \forall x \exists y (fy = x) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei $M= \Z$, wobei $f$ als $+2$ interpretiert wird mit der einzigen Ausnahme
\mavergleichskettedisp
{\vergleichskette
{f(x) }
{ =} { \begin{cases} x+1, \text{ falls } x \geq 0 \, , \\ 0, \text{ falls } x = -1 \, , \\ x+2, \text{ falls } x \leq -2\, . \end{cases} }
{ } { }
{ } { }
{ } { }
} {}{}{}

a) Zeige, dass $\Gamma$ von $M$ erfüllt wird.

b) Bestimme die funktionale Hülle von $\{0\}$.

c) Zeige, dass die funktionale Hülle von $\{0\}$ nicht $\Gamma$ erfüllt.

d) Man gebe zwei funktional abgeschlossene, $\Gamma$-erfüllende und $0$ enthaltende Teilmengen
\mathl{T_1,T_2 \subseteq \Z}{} an, deren Durchschnitt
\mathl{T_1 \cap T_2}{} nicht $\Gamma$ erfüllt.

}
{} {}

Zu einer $S$-Struktur $M$ und einer $S$-Unterstruktur
\mavergleichskette
{\vergleichskette
{N }
{ \subseteq }{M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} versteht man unter der relativen $S$-\stichwort {Automorphismengruppe} {} von $M$ bezüglich $N$ die Menge der $S$-\definitionsverweis {Automorphismen}{}{} auf $M$, die die Elemente aus $N$ in sich überführen. Sie wird mit
\mathl{S-\operatorname{Aut}_N \, M}{} bezeichnet.




\inputaufgabe
{}
{

Es sei $S$ ein \definitionsverweis {Symbolalphabet}{}{,} $M$ eine $S$-\definitionsverweis {Struktur}{}{} und
\mavergleichskette
{\vergleichskette
{N }
{ \subseteq }{M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine $S$-\definitionsverweis {Unterstruktur}{}{.} Zeige, dass die relative Automorphismengruppe
\mathl{S-\operatorname{Aut}_N \, M}{} eine Untergruppe der \definitionsverweis {Automorphismengruppe}{}{}
\mathl{S-\operatorname{Aut} \, M}{} ist.

}
{} {}




\inputaufgabe
{}
{

Interpretiere die \definitionsverweis {Galoisgruppe}{}{} zu einer \definitionsverweis {Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{K }
{ \subseteq }{L }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} als eine relative Automorphismengruppe zu einem geeigneten Symbolalphabet. Welche Rolle spielen dabei die Körperaxiome?

}
{} {}




\inputaufgabe
{}
{

Es sei $S$ ein \definitionsverweis {Symbolalphabet}{}{,} $M$ eine $S$-\definitionsverweis {Struktur}{}{} und
\mavergleichskette
{\vergleichskette
{N }
{ \subseteq }{M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine $S$-\definitionsverweis {Unterstruktur}{}{.} Zeige, dass man durch eine Symbolmengenerweiterung
\mavergleichskette
{\vergleichskette
{S }
{ \subseteq }{S' }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wobei nur Konstanten hinzugenommen werden, erreichen kann, dass die relative Automorphismengruppe
\mathl{S-\operatorname{Aut}_N \, M}{} der $S'$-\definitionsverweis {Automorphismengruppe}{}{}
\mathl{S'-\operatorname{Aut} \, M}{} entspricht \zusatzklammer {dazu muss insbesondere $S'$ auf $M$ und $N$ interpretiert werden} {} {.}

}
{} {}

Wir erinnern an die Definition eines algebraisch abgeschlossenen Körpers. Die komplexen Zahlen ${\mathbb C}$ sind algebraisch abgeschlossen \zusatzklammer {Fundamentalsatz der Algebra} {} {,} die reellen Zahlen $\R$ nicht.


Ein \definitionsverweis {Körper}{}{} $K$ heißt \definitionswort {algebraisch abgeschlossen}{,} wenn jedes nichtkonstante \definitionsverweis {Polynom}{}{}
\mavergleichskette
{\vergleichskette
{F }
{ \in }{K[X] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Nullstelle in $K$ besitzt.





\inputaufgabe
{}
{

Definiere über der Symbolmenge
\mathl{\{0,1,+,\cdot\}}{} einen \definitionsverweis {algebraisch abgeschlossenen Körper}{}{} mit Hilfe eines Axiomenschemas.

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{3}
{

Es sei $S$ ein Symbolmenge und $M$ eine \definitionsverweis {endliche}{}{} $S$-\definitionsverweis {Struktur}{}{.} Zeige, dass zwei Elemente
\mathl{m,n \in M}{} genau dann \definitionsverweis {elementar äquivalent}{}{} sind, wenn es einen $S$-\definitionsverweis {Automorphismus}{}{} \maabbdisp {\varphi} {M} {M } {} mit
\mavergleichskette
{\vergleichskette
{\varphi(m) }
{ = }{n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt.

}
{} {}




\inputaufgabe
{4}
{

Zeige, dass ein \definitionsverweis {angeordneter Körper}{}{,} der die Supremumseigenschaft für erststufige Ausdrücke besitzt, \definitionsverweis {reell-abgeschlossen}{}{} ist.

}
{} {Verwende, dass Polynomfunktionen auf einem angeordneten Körper stetig sind.}




\inputaufgabe
{4}
{

Es sei $S$ das Symbolalphabet, das neben Variablen aus einem zweistelligen Relationssymbol $G$ besteht. Wir betrachten vierelementige $S$-\definitionsverweis {Strukturen}{}{,} die
\mathl{\forall x \forall y { \left( Gxy \rightarrow \neg Gyx \right) }}{} erfüllen \zusatzklammer {also WM-Fußballgruppen, wobei $G(m,n)$ als $m$ gewinnt gegen $n$ interpretiert wird} {} {.} Erstelle Aussagen
\mathl{\alpha_0, \alpha_1 , \ldots , \alpha_9}{} in einer freien Variablen $x$ derart, dass
\mathdisp {M { \frac{ m }{ x } } \vDash \alpha_k} { }
bedeutet, dass $m$ in der Abschlusstabelle $k$ Punkte hat.

}
{} {}




\inputaufgabe
{3}
{

Man gebe ein Beispiel für zwei \zusatzklammer {abstrakte} {} {} WM-Fußballgruppen, die die gleiche Abschlusspunktetabelle besitzen, aber nicht isomorph sind.

}
{} {}


<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2016) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)