Princípio da Escolha Dependente

Em matemática, mais especificamente em teoria dos conjuntos, o Princípio da Escolha Dependente ou Axioma da Escolha Dependente (abreviado DC, do inglês Dependent Choice) afirma que, dados um conjunto não-vazio A e uma relação binária R\subseteq A\times A sobre A que satisfaz a condição de que para todo x\in A existe y\in A para o qual \langle x,y \rangle\in R, existe uma seqüência \langle x_\rangle _ de elementos de A tal que \langle x_i, x_\rangle\in R para todo i\in\omega.

9 relações: Axioma da escolha, Axiomas de Zermelo-Fraenkel, Lógica de primeira ordem, Lema de Urysohn, Matemática, Relação binária, Sequência (desambiguação), Teorema da categoria de Baire, Teoria dos conjuntos.

Axioma da escolha

Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação "o produto de uma coleção não-vazia de conjuntos é não-vazio".

Novo!!: Princípio da Escolha Dependente e Axioma da escolha · 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!!: Princípio da Escolha Dependente e Axiomas de Zermelo-Fraenkel · Veja mais »

Lógica de primeira ordem

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.

Novo!!: Princípio da Escolha Dependente e Lógica de primeira ordem · Veja mais »

Lema de Urysohn

O lema de Urysohn é um importante resultado em matemática, mais especificamente em topologia; demonstrado pela primeira vez pelo matemático russo Pavel Samuilovich Urysohn, afirma que se um espaço topológico é normal, então quaisquer fechados disjuntos em tais espaços podem ser separados por uma função.

Novo!!: Princípio da Escolha Dependente e Lema de Urysohn · 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!!: Princípio da Escolha Dependente e Matemática · Veja mais »

Relação binária

Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.

Novo!!: Princípio da Escolha Dependente e Relação binária · Veja mais »

Sequência (desambiguação)

Sequência (RO 1971: Seqüência) pode referir-se a.

Novo!!: Princípio da Escolha Dependente e Sequência (desambiguação) · Veja mais »

Teorema da categoria de Baire

Em matemática, sobretudo na análise funcional, o teorema da categoria de Baire ou apenas teorema de Baire fornece condições suficientes para estabelecer que determinado espaço topológico é um espaço de Baire, ou seja, um espaço de segunda categoria em si mesmo.

Novo!!: Princípio da Escolha Dependente e Teorema da categoria de Baire · Veja mais »

Teoria dos conjuntos

conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.

Novo!!: Princípio da Escolha Dependente e Teoria dos conjuntos · Veja mais »

Unionpédia é um mapa conceitual ou rede semântica organizado sob a forma de enciclopédia - dicionário. Dá uma breve definição de cada conceito e toda a sua relacionados.

É um mapa mental on-line gigante que serve de base para os diagramas de conceito. É livre para usar e cada artigo ou documento pode ser baixado. É uma ferramenta, de recursos ou de referência para estudo, pesquisa, educação, ou formação, eles podem usar professores, educadores, alunos e estudantes; ou para o mundo acadêmico: para a escola, primário, secundário, médio, faculdade, grau técnico, universidade, graduação, mestrado ou doutorado; para papéis, relatórios, documentos, projetos, idéias, documentação, resumos, pesquisas ou teses. Aqui aparece a definição, explicação, descrição, ou o significado de cada significativa no qual você precisa de informações e uma lista de seus conceitos associados como um glossário. Disponível em português, inglês, espanhol, japonês, chinês, francês, alemão, italiano, polonês, holandês, russo, árabe, hindi, sueco, ucraniano, húngaro, catalão, checo, hebraico, dinamarquês, finlandês, indonésio, norueguês, romeno, turco, vietnamita, coreano, tailandês, grego, búlgaro, croata, eslovaco, lituano, filipino, letão, estoniano e esloveno. Mais idiomas em breve.

Todas as informações foi feita a partir de Wikipédia, é disponibilizado nos termos da licença Creative Commons - Atribuição - Compartilha Igual 3.0 Não Adaptada (CC BY-SA 3.0).

A Unionpédia não é endossada ou afiliada à Wikimedia Foundation.

Google Play, Android e o logotipo do Google Play são marcas registradas da Google Inc.

Política de Privacidade