Teoria dos modelos

Origem: Wikipédia, a enciclopédia livre.

Este artigo encontra-se parcialmente em língua estrangeira. Ajude e colabore com a tradução.

O trecho em língua estrangeira encontra-se oculto.

Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos. É assumido que existem alguns objetos matemáticos pré-existentes, e investiga-se o que pode ser concluído de tal coleção de objetos, algumas operações e/ou relações entre estes objetos, e alguns axiomas.

A independência do axioma da escolha e da hipótese do contínuo dos outros axiomas de teoria dos conjuntos (provada por Paul Cohen e Kurt Gödel) são os dois resultados mais famosos fornecidos pela teoria de modelos. Foi provado que tanto o axioma da escolha quanto sua negação são consistentes com os axiomas de Zermelo-Fraenkel da teoria dos conjuntos; resultado similar vale para a hipótese do contínuo.

No caso dos números reais, pode-se começar com um conjunto de elementos, onde cada indivíduo é um número, e um conjunto de relações, tal como {×,+,-,.,0,1}. Se nós perguntarmos algo como "∃ x (x × x = 1 + 1)" nesta linguagem, então é fácil ver que a resposta é positiva nos reais, mas é negativa nos racionais. Entretanto, este modelo não é grande o suficiente para que "∃ x (x × x = 0 - 1)" seja verdadeira nele; para isto adicionamos o símbolo "i" definido como a constante que deve ser adicionada à linguagem para satisfazer "∃ x (x × x = 0 - 1)".

Teoria de Modelos então está preocupada com o que pode ser provado em determinados sistemas matemáticos, e como estes sistemas se relacionam uns com os outros. Em particular, se quer saber o que acontece quando tentamos estender algum sistema pela adição de novos axiomas ou novas construções de linguagem. Restringindo a cardinalidade dos modelos e observando que fatos sendo verdadeiros para permitir que o teorema da compacidade seja usado, mostrando que algum teorema é verdadeiro numa cardinalidade maior.

Um modelo é definido formalmente no contexto de alguma linguagem L (ou alguma assinatura). Um modelo é formado por duas partes:

Um universo U, que é um conjunto que contém os objetos de interesse, e
Uma interpretação que define o significado semântico de todos os símbolos de constantes, relações e funções da linguagem.

Uma teoria é definida como um conjunto de sentenças que são consistentes; em geral é também exigido que o conjunto seja fechado para consequencia lógica. Nesta definição, uma teoria é um conjunto consistente maximal de sentenças.

Completude em Teoria de Modelos é definida como a propriedade de que toda sentença numa linguagem pode ser provada ou sua negação pode por alguma teoria. teorias completas são interessantes pois descrevem completamente algum modelo.

O Teorema da Compacidade afirma que um conjunto de sentenças S é satisfazível, i.e. tem um modelo, se todo subconjunto finito de S é satisfazível. No contexto de teoria da prova a recíproca é trivial, já que toda prova pode ter apenas um número finito de antecedentes usados na prova; entretanto, no contexto de Teoria de Modelos, esta prova é mais difícil. Existem duas provas bastante conhecidas, uma de Gödel e outra de Malcev.

Elementary equivalence L-S-T theorem and Vaught's test.

Extensions, Embeddings and Diagrams. Upward and downward Lowenheim-Skolem theorems. To give a flavor, mentioning the hyperreals would be good. (All of these need substantial filling out)

Observação: O termo 'modelo matemático' é também usado de maneira mais informal em outras áreas da matemática e de outras ciências, como a Física, a Hidráulica, a Hidrologia para designar equações ou sistemas de equações ou métodos para cálculos de variáveis.