Teorema de compacidad

Teorema de compacidad

En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo conjunto de fórmulas Γ de un lenguaje L, si todo subconjunto finito de Γ es satisfacible, entonces Γ es satisfacible.

Enunciado del teorema

Si Γ es un conjunto de enunciados finitamente satisfacible, entonces Γ tiene un modelo de cardinal menor o igual que |\Gamma|+\aleph_0.

Una formulación alternativa es: los distintos lenguajes lógicos permiten relaciones de consecuencia lógica entre conjuntos infinitos de oraciones. Una relación de consecuencia lógica es compacta justo cuando ϕ es una consecuencia lógica de un conjunto de enunciados Γ, sólo si ϕ es una consecuencia lógica de un subconjunto finito de Γ:

Si \Gamma\vDash\phi entonces hay un subconjunto finito \Gamma_{0}\subseteq\Gamma tal que \Gamma_{0}\vDash\phi

La relación de consecuencia lógica para lenguajes de primer orden es compacta.

El teorema de compacidad para el cálculo proposicional es un resultado del teorema de Tychonoff (el cual dice que el producto de espacios compactos es compacto) aplicado a espacios de Stone compactos; de ahí el nombre del teorema. Juega un papel importante en la demostración del Teorema de Löwenheim-Skolem ascendente.

Hay una generalización de compacidad para lenguajes de orden más alto que los lenguajes de primer orden.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Teorema de Löwenheim-Skolem — En lógica matemática, el teorema de Löwenheim Skolem es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.[1] Más precisamente: sea T un subconjunto… …   Wikipedia Español

  • Compacidad — Saltar a navegación, búsqueda En matemáticas, concretamente en la rama de la Topología, la compacidad es una de las muchas propiedades que puede adopar un espacio topológico. Se trata de una propiedad con gran importancia dado que dota a los… …   Wikipedia Español

  • Teorema de Tychonoff — En topología, el teorema de Tychonoff establece que el producto de cualquier colección de espacios topológicos compactos es compacto. El teorema se nombró así por Andrey Nikolayevich Tychonoff, quien lo probó por primera vez en 1930 para… …   Wikipedia Español

  • Teorema de Bolzano-Weierstrass — Para el teorema de análisis real, véase Teorema de Weierstrass. En el análisis real, el teorema Bolzano–Weierstrass es un importante teorema que caracteriza los conjuntos secuencialmente compactos. Contenido 1 Enunciado 2 Demostración …   Wikipedia Español

  • Compacidad local — En topología y otras áreas de la matemática, la compacidad local es una propiedad topológica de un espacio topológico debido a la cual alrededor de cada punto, localmente, el espacio tiene propiedades similares a las de un espacio compacto.… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Enunciados matemáticos — Anexo:Enunciados matemáticos Saltar a navegación, búsqueda Contenido 1 Lista de axiomas y postulados 2 Lista de conjeturas e hipótesis 3 Lista de lemas …   Wikipedia Español

  • Anexo:Enunciados matemáticos — Contenido 1 Lista de axiomas y postulados 2 Lista de conjeturas e hipótesis 3 Lista de lemas 4 Lista de teoremas …   Wikipedia Español

  • Topología simpléctica — La topología simpléctica es aquella parte de la matemática referida al estudio de las variedades simplécticas. Estas variedades se presentan naturalmente en la formulación hamiltoniana de la mecánica clásica, que proporciona una de las… …   Wikipedia Español

  • Tensor de Ricci — En geometría diferencial, el tensor de curvatura de Ricci o simplemente, tensor de Ricci, que suele notarse por los símbolos Rab o Ric, es un tensor simétrico bivalente obtenido como una traza del tensor de curvatura, que, como aquel, puede… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”