10.10: Una prueba directa del teorema de la compacidad
- Page ID
- 103575
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Podemos probar el Teorema de la Compacidad directamente, sin apelar al Teorema de la Completitud, utilizando las mismas ideas que en la prueba del teorema de la completitud. En la prueba del Teorema de la Completitud comenzamos con un conjunto consistente\(\Gamma\) de oraciones, lo expandimos a un conjunto consistente, saturado y completo\(\Gamma^*\) de oraciones, y luego mostramos que en el término modelo\(\Struct{M(\Gamma^*)}\) construido a partir de \(\Gamma^*\), todas las oraciones de\(\Gamma\) son verdaderas, por lo que\(\Gamma\) es satisfecha.
Podemos utilizar el mismo método para demostrar que un conjunto de oraciones finitamente satisfactorios es satisfactorios. Sólo tenemos que probar las versiones correspondientes de los resultados que conducen al lema de la verdad donde sustituimos “consistente” por “finitamente satisfactorios”.
Supongamos que\(\Gamma\) es completo y finitamente satisfactorios. Entonces:
-
\((A \land B) \in \Gamma\) iff both \(A \in \Gamma\) and \(B \in \Gamma\).
-
\((A \lor B) \in \Gamma\) iff either \(A \in \Gamma\) or \(B \in \Gamma\).
-
\((A \lif B) \in \Gamma\) iff either \(A \notin \Gamma\) or \(B \in \Gamma\).
Problema\(\PageIndex{1}\)
Demostrar Proposición\(\PageIndex{1}\). Evitar el uso de\(\Proves\).
Cada conjunto finitamente satisfactorios se\(\Gamma\) puede extender a un conjunto saturado finitamente satisfactorios\(\Gamma'\).
Problema\(\PageIndex{2}\)
Demostrar Lema\(\PageIndex{1}\). (Pista: El paso crucial es demostrar que si\(\Gamma_n\) es finitamente satisfecha, así es\(\Gamma_n \cup \{D_n\}\), sin apelar a derivaciones o consistencia alguna.)
Supongamos que\(\Gamma\) es completo, finitamente satisfecha y saturado.
-
\(\lexists{x}{A(x)} \in \Gamma\) iff \(A(t) \in \Gamma\) for at least one closed term \(t\).
-
\(\lforall{x}{A(x)} \in \Gamma\) iff \(A(t) \in \Gamma\) for all closed terms \(t\).
Problema\(\PageIndex{3}\)
Demostrar Proposición\(\PageIndex{2}\).
Cada conjunto finitamente satisfactorios se\(\Gamma\) puede extender a un conjunto completo y finitamente satisfactorios\(\Gamma^*\).
Problema\(\PageIndex{4}\)
Demostrar Lema\(\PageIndex{2}\). (Pista: el paso crucial es demostrar que si\(\Gamma_n\) es finitamente satisfecha, entonces cualquiera\(\Gamma_n \cup \{A_n\}\) o\(\Gamma_n \cup \{\lnot A_n\}\) es finitamente satisfecha.)
Teorema\(\PageIndex{1}\): Compactness
\(\Gamma\)es satisfecha si y sólo si es finitamente satisfecha.
Comprobante. Si\(\Gamma\) es satisfecha, entonces hay una estructura\(\Struct{M}\) tal que\(\Sat{M}{A}\) para todos\(A \in \Gamma\). Por supuesto, esto\(\Struct{M}\) también satisface a cada subconjunto finito de\(\Gamma\), por lo que\(\Gamma\) es finitamente satisfactorios.
Ahora supongamos que eso\(\Gamma\) es finitamente satisfecha. Por Lemma\(\PageIndex{1}\), there is a finitely satisfiable, saturated set \(\Gamma' \supseteq \Gamma\). Por Lemma\(\PageIndex{2}\), se\({\Gamma'}\) puede extender a un conjunto completo y finitamente satisfactorios\(\Gamma^*\), y\(\Gamma^*\) is still saturated. Construir el término modelo\(\Struct{M(\Gamma^*)}\) como en la Definición 10.6.1. Obsérvese que la Proposición 10.6.1 no se basó en\(\Gamma^*\) is consistent (or complete or saturated, for that matter), but just on the fact that \(\Struct{M(\Gamma^*)}\) is covered. el hecho de que La prueba del Lema de la Verdad (Lema 10.6.1) pasa por si reemplazamos referencias a la Proposición 10.3.1 y a la Proposición 10.4.2 por referencias a la Proposición\(\PageIndex{1}\) and Proposition \(\PageIndex{2}\). ◻
Problema\(\PageIndex{5}\)
Escriba la prueba completa del Lema de la Verdad (Lema 10.6.1) en la versión requerida para la prueba del Teorema\(\PageIndex{1}\).