Tradução de "axiom of choice" para a língua portuguesa:

Dicionário Inglês-Português

Axiom - translation :

Choice - translation :

Palavras-chave : Axioma Ditado Explicito Enganador Mundialmente Escolha Alternativa Opção Senão Escolher

Exemplos (Fontes externas, não revisadas)

Other choice axioms weaker than axiom of choice include the Boolean prime ideal theorem and the axiom of uniformization.	Outros axiomas mais fracos que o Axioma da Escolha incluem o teorema do ideal primo booleano e o axioma da uniformização.
And the axiom of global choice follows from the axiom of limitation of size.	E o axioma da escolha global segue do axioma do tamanho limitado.
Not every situation requires the axiom of choice.	Nem toda situação requer o Axioma da Escolha.
One example is the axiom of dependent choice (DC).	Um exemplo é o axioma da escolha dependente (DC).
Nomenclature ZF, AC, and ZFC In this article and other discussions of the Axiom of Choice the following abbreviations are common AC the Axiom of Choice.	Nomenclatura ZF, AC, e ZFC Nesse artigo e outras discussões sobre o Axioma da Escolha as seguintes abreviações são comuns AC o Axioma da Escolha (Axiom of Choice).
The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced.	O axioma da escolha é evitado em algumas várias matemáticas construtivas, embora existam várias matemáticas construtivas onde o axioma da escolha é vivo.
ZF Zermelo Fraenkel set theory omitting the Axiom of Choice.	ZF Teoria dos conjuntos de Zermelo Fraenkel omitindo o Axioma da Escolha.
Even if a fixed model of set theory satisfies the axiom of choice, it is possible for an inner model to fail to satisfy the axiom of choice.	Mesmo que um modelo fixo da teoria dos conjuntos satisfaz o axioma da escolha, é possível que um modelo interno falhe em satisfazer o axioma da escolha.
With this alternate notion of choice function, the axiom of choice can be compactly stated as Every set has a choice function.	Com essa noção alternativa de função de escolha, o Axioma da Escolha pode ser compactadamente formulado como Todo conjunto tem uma função de escolha.
Variants There are many other equivalent statements of the axiom of choice.	Variantes Existem várias outras afirmações equivalentes ao Axioma da Escolha.
Contemporary set theorists also study axioms that are not compatible with the axiom of choice, such as the axiom of determinacy.	Teóricos contemporâneos da teoria dos conjuntos também estudam axiomas que não são compatíveis com o axioma da escolha, como o axioma da determinação.
ZFC Zermelo Fraenkel set theory, extended to include the Axiom of Choice.	ZFC Teoria dos conjuntos de Zermelo Fraenkel, estendido para incluir o Axioma da Escolha.
For proofs, see Thomas Jech, The Axiom of Choice , American Elsevier Pub.	Para provas, veja Thomas Jech, The Axiom of Choice , American Elsevier Pub.
A cause for this difference is that the axiom of choice in type theory does not have the extensionality properties that the axiom of choice in constructive set theory does.	Uma causa para essa diferença é que o Axioma da Escolha na teoria dos tipos não tem a propriedade da extensionalidade que o Axioma da Escolha na teoria dos conjuntos construtiva tem.
Some results in constructive set theory use the axiom of countable choice or the axiom of dependent choice, which do not imply the law of the excluded middle in constructive set theory.	Alguns resultados na teoria dos conjuntos construtiva usam o axioma da escolha contável ou o axioma da escolha dependente, que não implica a lei do meio excluído na teoria dos conjuntos construtiva.
The status of the axiom of choice varies between different varieties of constructive mathematics.	O estado do Axioma da Escolha varia entre diferentes variedades de matemática construtiva.
Thus the axiom of choice is not generally available in constructive set theory.	Assim o Axioma da Escolha não está geralmente disponível na teoria dos conjuntos construtiva.
External links Axiom of Choice and Its Equivalents at ProvenMath includes formal statement of the Axiom of Choice, Hausdorff's Maximal Principle, Zorn's Lemma and formal proofs of their equivalence down to the finest detail.	Ver também Ligações externas Axiom of Choice and Its Equivalents at ProvenMath includes formal statement of the Axiom of Choice, Hausdorff's Maximal Principle, Zorn's Lemma and formal proofs of their equivalence down to the finest detail.
(A cancellative binary operation is enough, see group structure and the axiom of choice.	(Uma operação binária cancelante é suficiente.
In class theories such as Von Neumann Bernays Gödel set theory and Morse Kelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes.	Na teoria das classes como na teoria dos conjuntos de Von Neumann Bernays Gödel e na teoria dos conjuntos de Morse Kelley, existe um axioma possível chamado de axioma da escolha global que é mais forte do que o Axioma da Escolha para conjuntos porque também se aplica para classes próprias.
This has been used as an argument against the use of the axiom of choice.	Isso vem sendo usado como um argumento contra o uso do Axioma da Escolha.
This gives us a definite choice of an element from each set, and makes it unnecessary to apply the axiom of choice.	Isso nos dá uma escolha definida de um elemento de cada conjunto, e torna desnecessário aplicar o Axioma da Escolha.
The problem then becomes that of constructing a well ordering, which turns out to require the axiom of choice for its existence every set can be well ordered if and only if the axiom of choice holds.	O problema então torna se construir uma boa ordenação, que aparenta necessitar o Axioma da Escolha para sua existência todo conjunto pode ser bem ordenado se e somente se o Axioma da Escolha é válido.
For finite sets X , the axiom of choice follows from the other axioms of set theory.	Para conjuntos finitos X , o Axioma da Escolha segue dos outros axiomas da teoria dos conjuntos.
Consequences of the Axiom of Choice, based on the book by Paul Howard and Jean Rubin.	Consequences of the Axiom of Choice, based on the book by Paul Howard and Jean Rubin.
Theorem (Assuming the axiom of countable choice) The union of countably many countable sets is countable.	Teorema (assumindo o axioma da escolha) A união de um sistema ﬁnito de conjuntos contáveis é contável.
For example, while the axiom of choice implies that there is a well ordering of the real numbers, there are models of set theory with the axiom of choice in which no well ordering of the reals is definable.	Por exemplo, enquanto o Axioma da Escolha implica que existe uma boa ordenação dos números reais, existem modelos da teoria dos conjuntos com o Axioma da Escolha no qual é impossível definir uma boa ordenação dos reais.
For example, the existence of sufficiently large cardinals implies that there is an inner model satisfying the axiom of determinacy (and thus not satisfying the axiom of choice).	Por exemplo, a existência de cardinais suficientemente grandes implica que há um modelo interno satisfazendo o axioma do determinismo (e, portanto, não satisfazendo o axioma da escolha).
Errett Bishop argued that the axiom of choice was constructively acceptable, saying A choice function exists in constructive mathematics, because a choice is implied by the very meaning of existence.	Errett Bishop argumentou que o Axioma da Escolha era construtivamente aceitável, dizendo Uma função de escolha existe na matemática construtiva, porque a escolha é implicada pelo grande significado da existência.
The debate is interesting enough, however, that it is considered of note when a theorem in ZFC (ZF plus AC) is logically equivalent (with just the ZF axioms) to the axiom of choice, and mathematicians look for results that require the axiom of choice to be false, though this type of deduction is less common than the type which requires the axiom of choice to be true.	O debate é suficientemente interessante, entretanto, que é considerado digno de nota quando um teorema em ZFC (ZF mais AC) é logicamente equivalente (com apenas os axiomas de ZF) ao Axioma da Escolha, e matemáticos procuram por resultados que necessitam que o Axioma da Escolha seja falso, embora esse tipo de dedução seja menos comum que o tipo de dedução que necessita que o Axioma da Escolha seja verdadeiro.
We will abbreviate Zermelo Fraenkel set theory plus the negation of the axiom of choice by ZF C.	Iremos abreviar Teoria dos conjuntos de Zermelo Fraenkel mais a negação do Axioma da Escolha por ZF C.
In the category of sets, every surjection has a section, a result equivalent to the axiom of choice.	Na categoriade conjuntos, toda sobrejeção tem uma secção, resultado equivalente do axioma da escolha.
The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.	http www.ddc.net ygg etext godel ) The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.
The study of inner models is common in the study of determinacy and large cardinals, especially when considering axioms such as the axiom of determinacy that contradict the axiom of choice.	O estudo de modelos de interior é comum no estudo do determinismo e grandes cardinais, especialmente quando se considera axiomas que contradizem o axioma da escolha.
It is possible to prove many theorems using neither the axiom of choice nor its negation such statements will be true in any model of Zermelo Fraenkel set theory (ZF), regardless of the truth or falsity of the axiom of choice in that particular model.	É possível provar vários teoremas usando nem o Axiom da Escolha nem sua negação tais resultados irão ser verdadeiros em qualquer modelo da Teoria dos conjuntos de Zermelo Fraenkel (ZF), independentemente da verdade ou falsidade do axioma da escolha nesse modelo particular.
A still weaker example is the axiom of countable choice (ACω or CC), which states that a choice function exists for any countable set of nonempty sets.	Um exemplo ainda mais fraco é o axioma da escolha contável (ACω or CC), que afirma que uma função de escolha existe conjunto contável de conjuntos não vazios.
Assuming the axiom of choice, it can be proved that the Dedekind notions correspond to the standard ones.	Assumindo o axioma da escolha, pode ser provado que as noções de Dedekind correspondem aos padrões.
Category theory There are several results in category theory which invoke the axiom of choice for their proof.	Teoria da categoria Existem vários resultados na teoria da categoria que invocam o Axioma da Escolha para sua prova.
Formally, this may be expressed as follows formula_5Thus the negation of the axiom of choice states, there exists a set of nonempty sets that has no choice function.	Assim, a negação do axioma da escolha diz que existe um conjunto de conjuntos não vazios que não possui função de escolha.
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non empty sets is non empty .	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 .
For example, it can be shown that regardless of whether a model V of ZF satisfies the continuum hypothesis or the axiom of choice, the inner model L constructed inside the original model will satisfy both the generalized continuum hypothesis and the axiom of choice.	Por exemplo, pode se mostrar que, independentemente se um modelo V da ZF satisfaz a hipótese do continuum ou o axioma da escolha, o modelo interno L construído dentro do modelo original irá satisfazer tanto a hipótese do continuum generalizada quanto o axioma da escolha.
In Martin Löf type theory and higher order Heyting arithmetic, the appropriate statement of the axiom of choice is (depending on approach) included as an axiom or provable as a theorem.	Na teoria dos tipos de Martin Löf e altam ordem aritmética de Heyting, a afirmação apropriada do Axioma da Escolha é (dependendo da abordagem) incluída como uma axioma ou provada como um teorema.
) This method cannot, however, be used to show that every countable family of nonempty sets has a choice function, as is asserted by the axiom of countable choice.	) Esse método não pode, entretanto, ser usado para mostrar que toda família contável de conjuntos não vazios tem uma função de escolha, como é afirmada pelo axioma da escolha contável.
This includes the most common axiomatic set theory, Zermelo Fraenkel set theory (ZFC), which includes the axiom of choice.	Estes incluem a mais comum teoria axiomática dos conjuntos, teoria dos conjuntos de Zermelo Fraenkel (ZFC), que inclui o axioma da escolha.
The restriction to ZF renders any claim that relies on either the axiom of choice or its negation unprovable.	A restrição a ZF torna qualquer reivindicação que baseia se ou no Axioma da Escolha ou na sua negação improvável.

Display this page in English