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!
 

Relação bem-ordenada

Índice Relação bem-ordenada

Na matemática, uma relação bem-ordenada (ou boa-ordenação) em um conjunto S é uma ordenação total em S com a propriedade de que todo subconjunto não-vazio de S possui um elemento mínimo na ordenação.

14 relações: Axioma da escolha, Conjunto, Conjunto finito, Conjunto vazio, Função bijectiva, Indução transfinita, John Wiley & Sons, Lema de Zorn, Matemática, Número natural, Princípio da boa ordenação, Relação bem-fundada, Relação de ordem, Subconjunto.

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!!: Relação bem-ordenada e Axioma da escolha · Veja mais »

Conjunto

Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.

Novo!!: Relação bem-ordenada e Conjunto · Veja mais »

Conjunto finito

Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.

Novo!!: Relação bem-ordenada e Conjunto finito · 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!!: Relação bem-ordenada e Conjunto vazio · Veja mais »

Função bijectiva

Uma função bijetiva, função bijetora, correspondência biunívoca ou bijeção, é uma função injectiva e sobrejectiva (injetora e sobrejetora, como é mais comum em português brasileiro).

Novo!!: Relação bem-ordenada e Função bijectiva · 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!!: Relação bem-ordenada e Indução transfinita · Veja mais »

John Wiley & Sons

A John Wiley & Sons, Inc.

Novo!!: Relação bem-ordenada e John Wiley & Sons · Veja mais »

Lema de Zorn

O Lema de Zorn é um axioma da Teoria dos Conjuntos, normalmente apresentado como: Se, em um conjunto não-vazio e parcialmente ordenado, todo subconjunto totalmente ordenado tem uma quota superior, então o conjunto tem um elemento maximal.

Novo!!: Relação bem-ordenada e Lema de Zorn · 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!!: Relação bem-ordenada e Matemática · Veja mais »

Número natural

Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.

Novo!!: Relação bem-ordenada e Número natural · Veja mais »

Princípio da boa ordenação

O Princípio da boa ordenação ou princípio da boa ordem diz que todo subconjunto não-vazio formado por números naturais possui um menor elemento.

Novo!!: Relação bem-ordenada e Princípio da boa ordenação · Veja mais »

Relação bem-fundada

Em matemática, uma relação binária R\subseteq X\times X é uma relação bem-fundada numa classe X, se e somente se, todo subconjunto não vazio de X, tiver um elemento R-minimal; ou seja, para todo subconjunto não vazio S de X, existe um elemento m de S tal que para todo elemento s de S, o par (s,m) não está em R. Em outras palavras, todo subconjunto não vazio de X possui um elemento m tal que para todo s, s \not\in m. Desta forma, evitamos situações de loop.

Novo!!: Relação bem-ordenada e Relação bem-fundada · Veja mais »

Relação de ordem

Em matemática e em lógica matemática, especialmente em teoria dos conjuntos e em teoria das relações, uma relação de ordem é uma relação binária que pretende captar o sentido intuitivo de relações como o maior e o menor, o anterior e o posterior, etc.

Novo!!: Relação bem-ordenada e Relação de ordem · Veja mais »

Subconjunto

Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").

Novo!!: Relação bem-ordenada e Subconjunto · Veja mais »

Redireciona aqui:

Bem ordenada, Bem ordenado, Bem-ordenada, Bem-ordenado, Conjunto bem-ordenado, Relação bem ordenada.

CessanteEntrada
Ei! Agora estamos em Facebook! »