What is the translation of " CHOICE FUNCTION " in Portuguese?

• função de escolha

Examples of using Choice function in English and their translations into Portuguese

Travel speed normal/cutback choice function;
Função de velocidade normal de deslocamento/ escolha de recuo;

Then our choice function can choose the least element of every set under our unusual ordering.
Então nossa função de escolha pode escolher o menor elemento de todo conjunto sob nossa ordenação incomum.

This work will discuss the limits and restrictions of models derived with choice functions.
Esse trabalho se encarregará de discutir os limites e restrições impostos pela utilização de funções de escolha para derivação de modelos de decisão.

Each choice function on a collection"X" of nonempty sets is an element of the Cartesian product of the sets in"X.
Cada função de escolha numa coleção"X" de conjuntos não vazios é um elemento do Produto Cartesiano dos conjuntos em"X.

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.

One variation avoids the use of choice functions by, in effect, replacing each choice function with its range.
Uma variação evita o uso de funções de escolha, com efeito, substituindo cada função de escolha por sua imagem.

A formal proof for all finite sets would use the principle of mathematical induction to prove"for every natural number k, every family of k nonempty sets has a choice function.
Uma prova formal para todos os conjuntos finitos usaria o princípio da indução matemática para provar"para todo número natural k, toda família de k conjuntos não-vazios tem uma função de escolha.

As well as present bounded rational models that uses choice functions, and adapt them to work with choice correspondences.
Bem como apresentar modelos de racionalidade limitada que se utilizam de funções de escolha, e adaptá-los para o uso de correspondências de escolha..

Another equivalent axiom only considers collections X that are essentially powersets of other sets: For any set A, the power set of A(with the empty set removed) has a choice function.
Outro axioma equivalente apenas considera coleções X que são essencialmente conjunto das partes de outros conjuntos: Para qualquer conjunto A, o conjunto das partes de A(com o conjunto vazio removido) tem uma função de 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.

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.

The result is an explicit choice function: a function that takes the first box to the first element we chose, the second box to the second element we chose, and so on.
O resultado é uma função de escolha explícita: uma função que pega a primeira caixa para o primeiro elemento que escolhemos, a segunda caixa para o segundo elemento que escolhemos, e assim sucessivamente.

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.

In the even simpler case of a collection of one set, a choice function just corresponds to an element, so this instance of the axiom of choice says that every nonempty set has an element; this holds trivially.
No caso ainda mais simples de uma coleção de um conjunto, uma função de escolha corresponde a apenas um elemento, então este exemplo do Axioma da Escolha diz que todo conjunto não-vazio tem um elemento; isso é válido trivialmente.

If we try to choose an element from each set, then, because"X" is infinite, our choice procedure will never come to an end, and consequently, we will never be able to produce a choice function for all of"X.
Se tentarmos escolher um elemento de cada conjunto, então, pelo fato de"X" ser infinito, nosso procedimento de escolha nunca vai acabar, e consequentemente, nunca estaremos aptos a produzir uma função de escolha para todo"X.

Authors who use this formulation often speak of the choice function on A, but be advised that this is a slightly different notion of choice function.
Autores que usam essa formulação sempre falam da função de escolha em A, mas esteja avisado que essa é uma noção de função de escolha levemente diferente.

Restriction to finite sets===The statement of the axiom of choice does not specify whether the collection of nonempty sets is finite or infinite, and thus implies that every finite collection of nonempty sets has a choice function.
Restrição a conjuntos finitos===O enunciado do Axioma da Escolha não especifica se a coleção de conjuntos não-vazios é finita ou infinita, e então implica que toda coleção finita de conjuntos não-vazios tem uma função de escolha.

Every such subset has a smallest element, so to specify our choice function we can simply say that it maps each set to the least element of that set.
Todo tal subconjunto tem um menor elemento, então para especificar nossa função de escolha, podemos simplesmente dizer que ela mapeia cada conjunto para o menor elemento desse conjunto.

For example, if we abbreviate by BP the claim that every set of real numbers has the property of Baire, then BP is stronger than¬AC, which asserts the nonexistence of any choice function on perhaps only a single set of nonempty sets.
Por exemplo, se abreviarmos por BP a afirmação que todo conjunto de números reais tem a propriedade de Baire, então BP é mais forte que¬AC, que afirma a inexistência de qualquer função de escolha em talvez apenas um único conjunto de conjuntos não-vazios.

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.

Now this arrow here is sort of, it's what we desire, it's like if we could sit around and decide collectively what kind of outcomes we would like to have given the technology, this is what we collectively decide, this is something called a social choice correspondence or a social choice function.
Agora, esta seta aqui é do tipo, é o que desejamos, tem como se pudéssemos sentar e decidir coletivamente que tipo de resultados que gostaríamos que como a ter dado a tecnologia, isso é o que decidirmos coletivamente, isto é algo chamado uma correspondência de escolha social ou uma escolha social função.

Its domain is the powerset of A(with the empty set removed), and so makes sense for any set A, whereas with the definition used elsewhere in this article, the domain of a choice function on a collection of sets is that collection, and so only makes sense for sets of sets.
Seu domínio é o conjunto das partes de A(com o conjunto vazio removido), e assim faz sentido para qualquer conjunto A, enquanto que com a definição usada em algumas partes desse artigo, o domínio de uma função de escolha em uma coleção de conjuntos é essa coleção, e apenas faz sentido para conjuntos de conjuntos.

In particular, when the branching at each node is done on a finite subset of an arbitrary set not assumed to be countable, the form of König's lemma that says"Every infinite finitely branching tree has an infinite path" is equivalent to the principle that every countable set of finite sets has a choice function.
Em particular, quando a ramificação em cada nó é feita em um subconjunto finito de um conjunto arbitrário supostamente não contável, a forma do lema de Konig diz"Toda toda árvore infinita de ramificação finita tem um caminho infinito" é equivalente ao princípio de que cada conjunto contável de conjuntos finitos tem uma função de escolha.

If the method is applied to an infinite sequence(Xi: i∈ω) of nonempty sets, a function is obtained at each finite stage, but there is no stage at which a choice function for the entire family is constructed, and no"limiting" choice function can be constructed, in general, in ZF without the axiom of choice..
Se o método é aplicado a uma sequência infinita(Xi: i∈ω) de conjuntos naõ-vazios, uma função é obtida a cada etapa finita, mas não existe uma etapa tal que uma função de escolha seja construída para a família inteira, nenhuma função de escolha"limite" pode ser construída, em geral, na ZF sem o Axioma da Escolha..

In particular, when the branching at each node is done on a finite subset of an arbitrary set not assumed to be countable, the form of Kőnig's lemma that says"Every infinite finitely branching tree has an infinite path" is equivalent to the principle that every countable set of finite sets has a choice function, that is to say, the axiom of countable choice for finite sets.
Em particular, quando a ramificação em cada nó é feita em um subconjunto finito de um conjunto arbitrário supostamente não contável, a forma do lema de Konig diz"Toda toda árvore infinita de ramificação finita tem um caminho infinito" é equivalente ao princípio de que cada conjunto contável de conjuntos finitos tem uma função de escolha.

If we try to choose an element from each set, then, because X is infinite, our choice procedure will never come to an end, and consequently, we shall never be able to produce a choice function for all of X. Next we might try specifying the least element from each set.
Se tentarmos escolher um elemento de cada conjunto, então, pelo fato de X ser infinito, nosso procedimento de escolha nunca vai acabar, e consequentemente, nunca estaremos aptos a produzir uma função de escolha para todo X. Depois, poderiamos tentar especificar o menor elemento de cada conjunto.

Studies simulations were done to verify the performance of developed algorithms and the importance of the choice of function asymmetric link.
Estudos de simulação foram realizados para verificar o desempenho dos algoritmos desenvolvidos e a importância da escolha da função de ligação assimétrica.

There is another model DH505 with advanced function for choice.
Existe outro modelo DH505 com função avançada para escolha.