Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Universo de von Neumann

Índice Universo de von Neumann

Na matemática, particularmente na teoria de conjuntos de Zermelo-Fraenkel, o universo de von Neumann, hierarquia de von Neumann dos conjuntos, ou hierarquia cumulativa, abreviado V, é uma classe definida por recursão transfinita: a classe dos conjuntos hereditariamente bem fundados.

17 relações: Análise matemática, Axioma da regularidade, Axioma da substituição, Axioma do infinito, Axiomas de Zermelo-Fraenkel, Classe (teoria dos conjuntos), Conjunto de partes, Conjunto vazio, Indução transfinita, Matemática, Modelo interno, Número ordinal, Propriedade de grande cardinal, Teoria de conjuntos de Zermelo, Teoria dos números, Universo construível, Urelemento.

Análise matemática

Integral como região sob a curva. Definição de limite. Análise é o ramo da matemática que lida com os conceitos introduzidos pelo cálculo diferencial e integral, medidas, limites, séries infinitas e funções analíticas.

Novo!!: Universo de von Neumann e Análise matemática · Veja mais »

Axioma da regularidade

O axioma da regularidade, também conhecido como axioma da fundação, em teoria dos conjuntos, é o que garante, essencialmente, que um conjunto não pode ser membro dele mesmo (diretamente, como X \in X\,, ou indiretamente, através de uma cadeia de outros conjuntos X \in X_1 \in X_2 \ldots \in X\,. A sua formulação, devida a von Neumann (em 1925), em lógica de primeira ordem é: Ou seja, todo conjunto que não é o conjunto vazio possui um elemento que é totalmente disjunto dele. Este é um dos axiomas de Zermelo-Fraenkel, e de outras importantes versões da teoria dos conjuntos. Em versões da teoria dos conjuntos que violam este axioma, os "culpados" são chamados de hiperconjuntos; um exemplo é o átomo de Quine Q.

Novo!!: Universo de von Neumann e Axioma da regularidade · Veja mais »

Axioma da substituição

Em teoria dos conjuntos, o axioma da substituição é um esquema de axiomas que garante a existência de um conjunto que é imagem de outro conjunto.

Novo!!: Universo de von Neumann e Axioma da substituição · Veja mais »

Axioma do infinito

Na teoria dos conjuntos, a teoria do Axioma do Infinito é aquele que garante a existência de um conjunto infinito.

Novo!!: Universo de von Neumann e Axioma do infinito · Veja mais »

Axiomas de Zermelo-Fraenkel

Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.

Novo!!: Universo de von Neumann e Axiomas de Zermelo-Fraenkel · Veja mais »

Classe (teoria dos conjuntos)

Em teoria dos conjuntos, uma classe (também chamada coleção ou família) é uma coleção (não necessariamente um conjunto, por exemplo a classe de todos os conjuntos) constituída de outros conjuntos (ou outros objetos matemáticos) de um espaço dado.

Novo!!: Universo de von Neumann e Classe (teoria dos conjuntos) · Veja mais »

Conjunto de partes

A família de todos os subconjuntos de um conjunto dado A é chamado de conjunto de partes (ou conjunto potência) de A, denotado por P(A) ou 2^A.

Novo!!: Universo de von Neumann e Conjunto de partes · Veja mais »

Conjunto vazio

Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos.

Novo!!: Universo de von Neumann e Conjunto vazio · Veja mais »

Indução transfinita

Em matemática, e em especial na teoria dos conjuntos, a indução transfinita é uma técnica matemática rigorosa que permite provar propriedades para todos números ordinais (ou, de forma mais geral, para qualquer conjunto (ou classe) bem ordenado) a partir de etapas finitas.

Novo!!: Universo de von Neumann e Indução transfinita · Veja mais »

Matemática

problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.

Novo!!: Universo de von Neumann e Matemática · Veja mais »

Modelo interno

Um modelo interno é um postulado processo neural que simula a resposta do sistema motor, a fim de estimar o resultado de um comando motor.

Novo!!: Universo de von Neumann e Modelo interno · Veja mais »

Número ordinal

Na teoria dos conjuntos, um número ordinal, ou só ordinal, é um tipo de ordem de um conjunto bem-ordenado.

Novo!!: Universo de von Neumann e Número ordinal · Veja mais »

Propriedade de grande cardinal

Em matemática, especialmente na área da teoria dos conjuntos, uma propriedade de grande cardinal é um certo tipo de propriedade de números cardinais transfinitos.

Novo!!: Universo de von Neumann e Propriedade de grande cardinal · Veja mais »

Teoria de conjuntos de Zermelo

Em matemática, a Teoria de conjuntos de Zermelo, abreviada Z, é a apresentação axiomática da Teoria de conjuntos publicada pela primeira vez por Ernst Zermelo em 1908 no seu artigo Pesquisas sobre os fundamentos da teoria de conjuntos.

Novo!!: Universo de von Neumann e Teoria de conjuntos de Zermelo · Veja mais »

Teoria dos números

números primos, observamos um intrigante e não totalmente explicado padrão, chamado espiral de Ulam. A teoria dos números é o ramo da matemática pura que estuda propriedades dos números em geral, e em particular dos números inteiros, bem como a larga classe de problemas que surge no seu estudo.

Novo!!: Universo de von Neumann e Teoria dos números · Veja mais »

Universo construível

Em matemática, o Universo construtível (ou Universo construtível de Gödel ou Hierarquia construtível), denotado por L, é uma classe de conjuntos definida por recursão transfinita.

Novo!!: Universo de von Neumann e Universo construível · Veja mais »

Urelemento

Em matemática, mais exatamente em teoria dos conjuntos, um urelemento ou ur-elemento (onde ur- é um prefixo alemão com o significado de “primordial&rdquo) é um objeto (concreto ou abstrato) que não é um conjunto, mas que pode ser um elemento de um conjunto.

Novo!!: Universo de von Neumann e Urelemento · Veja mais »

Redireciona aqui:

Conjunto de todos os conjuntos.

CessanteEntrada
Ei! Agora estamos em Facebook! »