Teora de modelos

En matemtica, teora de modelos es el estudio de (clases de) estructuras matemticas tales como grupos,
cuerpos, grafos, o incluso universos de teora de conjuntos, en relacin con las teoras axiomticas y la lgica
matemtica.

ndice
1 Introduccin
1.1 Teora de modelos finitos
1.2 Modelos para teoras lgicas de primer orden
1.3 Modelos de ZFC
1.4 Modelos para la teora de los nmeros reales
1.5 Teora de la demostracin
2 Vase tambin
3 Referencias

Introduccin
Informalmente una teora matemtica est formada por un conjunto de teoremas y axiomas. Los teoremas son
proposiciones lgicamente deducibles de los axiomas. En el enfoque moderno, las teoras se conciben como un
conjunto de proposiciones expresables en un cierto lenguaje formal que recoge explcitamente el conjunto de
smbolos de la teora, los axiomas y las reglas de deduccin. El aparataje anterior define la sintaxis de la teora.

En ese punto, la teora de modelos permite definir la semntica de una teora. As un modelo es una L-
estructura donde una cadena de signos o sentencia del lenguaje formal de la teora correctamente
formada puede ser interpretada y verificada (es decir, o bien la proposicin o su negacin se satisfacen en el
modelo). Un modelo para una teora es una estructura donde los axiomas y teoremas de la
teora se satisfacen. Por ejemplo, el conjunto de nmeros naturales constituyen un modelo para los axiomas de
Peano. Un grupo matemtico es un modelo de la teora de grupos (aunque en este caso existe ms de un modelo
posible, cada grupo de hecho es un modelo de la teora).

Por tanto, un modelo es una estructura donde las oraciones formales de la teora (es decir, una cadena de signos
matemticos) son interpretables y por tanto las oraciones pueden considerarse como afirmaciones sobre el
modelo. Existe un paralelo con el lenguaje comn y la realidad, una realidad fsica o un objeto fsico real son
anlogos a un modelo matemtico, mientras que una descripcin verbal de esa realidad fsica es una teora para
dicho modelo. Si un modelo para un lenguaje formal satisface adems una oracin o una teora (conjunto de
oraciones), se llama modelo de una oracin o teora. La teora de modelos tiene fuertes lazos con el lgebra y el
lgebra universal.

Teora de modelos finitos

La teora de modelos finitos es la parte de la teora de modelos ms cercanas al lgebra universal. Al igual que
otras partes del lgebra universal, y a diferencia con otras reas de la teora de modelos, est relacionada
principalmente con lgebras finitas, o ms generalmente, con una -estructura finita para signaturas que
pueden contener smbolos relacionales como en el siguiente ejemplo:

La signatura estndar para grafos es grph={E}, donde E es un smbolo de relacin binaria.

Un grafo es una grph-estructura que satisface las proposiciones y .
Un -homomorfismo es una aplicacin que conmuta con las operaciones y preserva relaciones de . Esta
definicin lleva a la nocin usual de homomorfismo de grafos, que tiene la propiedad interesante que un
homomorfismo biyectivo no necesita tener inverso. Las estructuras tambin forman parte del lgebra universal,
despus de todo, algunas estructuras algebraicas tales como grupos ordenados admiten una relacin binaria del
tipo < "menor que". Lo que distingue a un modelo finito de un gebra universal es el uso de proposiciones
lgicas ms generales (como el ejemplo anterior) en lugar de identidades (en un contexto de teora de modelos
la identidad t=t' se escribe como una proposicin .)

La lgica empleada en una teora de modelos finitos generalmente es ms expresiva que una lgica de primer
orden, o la lgica estndar para la teora de modelos ms general o las estructuras infinitas.

Modelos para teoras lgicas de primer orden

Este artculo se enfoca en teora finitaria de modelos de primer orden de estructuras infinitas. La teora de
modelos finitos, la cual se concentra en estructuras finitas, diverge significativamente del estudio de estructuras
infinitas tanto en los problemas estudiados como en las tcnicas usadas. La teora de modelos en lgicas de
orden superior o lgicas infinitarias est obstaculizada por el hecho de que la completitud no se cumple para
estas lgicas. Actualmente existe un nmero importante de resultados sobre las propiedades de los sistemas
lgicos tanto de primer orden como de segundo orden.

Debe tenerse presente que dada una teora lgica de primer orden generalmente existe ms de un modelo para
dicha teora, y dichos modelos usualmente no son isomorfos. Eso significa que los axiomas de una determinada
teora caracterizan en realidad aspectos de diferentes tipos de estructuras. Muchas veces esto es un resultado
buscado. Por ejemplo, la teora de grupos y sus axiomas definitorios admiten diversos modelos (cada grupo
matemtico de hecho es un modelo es un modelo de dicha teora). En otras ocasiones como en el intento de
formalizar los nmeros reales mediante una teora de primer orden se buscaba que esencialmente existiera un
modelo nico, sin embargo, el teorema de Lwenheim-Skolem permite ver que existen diversos modelos no
isomorfos, entre ellos los nmeros reales convencionales, pero tambin los nmeros hiperreales constituyen
otro modelo no isomorfo al anterior que tambin satisface los mismos axiomas y teoremas que los nmeros
reales.

La existencia de un modelo permite establecer la consistencia de una teora. La existencia de diferentes

modelos puede permitir establecer la independencia de algunos axiomas. Esencialmente eso es lo que puede
establecer la teora de modelos aplicada a la teora de conjuntos axiomtica, por ejemplo.

Modelos de ZFC
La existencia de diferentes modelos posibles para los axiomas de Zermelo-Fraenkel (ZFC) ha permitido
establecer la independencia del axioma de eleccin y de la hiptesis del continuo de otros axiomas de la teora
de conjuntos (los principales resultados se deben a Paul Cohen (1963) y Kurt Gdel (1938).

Se ha probado que tanto el axioma de eleccin como su negacin son consistentes con los axiomas de Zermelo-
Fraenkel de la teora de conjuntos. Y la hiptesis del continuo, es lgicamente independiente, de los axiomas de
Zermelo-Fraenkel y el axioma de eleccin. Estos resultados son ejemplos de aplicaciones de la teora de
modelos a la teora axiomtica de conjuntos.

Modelos para la teora de los nmer os reales

Un ejemplo de los conceptos de la teora de modelos es la teora de los nmeros reales. Comenzamos con un
conjunto de individuos, donde cada individuo es un nmero real y un conjunto de relaciones y/o funciones
como { , +, , ., 0, 1 }. Si hacemos una pregunta " y (y y = 1 + 1)" en este lenguaje, entonces est claro que
la sentencia es verdadera para reales, ya que existe tal nmero real y, a saber la raz cuadrada de 2. Para los
nmeros racionales, sin embargo, la sentencia es falsa. Una proposicin similar, " y (y y = 0 1)", es falsa
en los reales, pero es verdadera en los nmeros complejos, donde i i = 0 1.
Teora de la demostracin
La teora de modelos puede emplearse como herramienta en la teora de la demostracin que se ocupa de lo que
se puede probar con sistemas matemticos dados, y cmo estos sistemas se relacionan entre s. En principio la
teora de la demostracin se ocupa de la complejidad sintctica de las teoras a diferencia de la teora de
modelos que se ocupa principalmente de las posibilidades semnticas de la teora.

Vase tambin
Lista de teoras de primer orden

Referencias
Wilfrid Hodges, A shorter model theory (1997) Cambridge University Press ISBN 0-521-58713-1
Wilfrid Hodges, Model theory (1993) Cambridge University Press.
C. C. Chang, H. J. Keisler Model theory (1977) ISBN 0-7204-0692-7
David Marker Model Theory: An Introduction (2002) Springer-Verlag, ISBN 0-387-98760-6
Mara Manzano, Teora de Modelos, (1989), Madrid, Alianza, ISBN 84-206-8126-1
Mara Manzano, Model Theory, (1999), Oxford, Oxford University Press, ISBN 0-19-853851-0

Obtenido de https://es.wikipedia.org/w/index.php?title=Teora_de_modelos&oldid=99024367

Se edit esta pgina por ltima vez el 10 may 2017 a las 18:09.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.