Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
well-ordering
Definitie
Vertaling van "well-ordering" in Frans
Definitie
ordonné de manière complète
The sufficient condition for self-balancing - the "well-ordering" - is proved using stability criteria of discrete dynamical systems.
La condition suffisante de l'autoéquilibrage - le "bon ordre" - est démontrée en utilisant les critères de stabilité des systèmes dynamiques discrets.
There is a well-ordering of V. There is a bijection between V and the class of all ordinal numbers.
Il y a un bon ordre de V. Il y a une bijection entre V et la classe de tous les nombres ordinaux.
One can show that there is a definable well-ordering of L which definition works the same way in L itself.
On peut montrer qu'il existe un bon ordre sur L dont la définition fonctionne avec la même définition à l'intérieur de L lui-même.
This even allows one to prove the truth of otherwise unprovable theorems such as the well-ordering theorem and the falsity of others such as the continuum hypothesis.
Cela permet même de prouver la vérité de théorèmes autrement impossibles à démontrer, tel que le théorème du bon ordre et la fausseté d'autres, comme l'hypothèse du continu.
Since these conditions may be easier to verify for a monomial order defined through an explicit rule, than to directly prove it is a well-ordering, they are sometimes preferred in definitions of monomial order.
Ces conditions sont parfois préférées pour définir un ordre monomial, étant donné qu'il est parfois préférable de les vérifier pour un ordre monomial explicite, que de prouver directement qu'il s'agit d'un bon ordre.
This assertion that every set can be linearly ordered is known as the ordering principle, OP, and is a weakening of the well-ordering theorem.
Cette affirmation que chaque ensemble peut être linéairement ordonné est connu sous le nom de principe de classement, OP, et c'est une version faible du théorème de Zermelo.
The first of these, a problem of set theory, was the continuum hypothesis introduced by Cantor in 1878, and in the course of its statement Hilbert mentioned also the need to prove the well-ordering theorem.
Le premier de ces problèmes a trait à la théorie des ensembles, c'est celui de l'hypothèse du continu, formulé par Cantor en 1878.
The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem.
Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.
In the case of finitely many variables, well-ordering of a monomial order is equivalent to the conjunction of the following two conditions
Dans le cas d'un nombre fini de variables, le fait qu'un ordre monomial soit un bon ordre équivaut à la conjonction des deux conditions suivantes
The well-ordering theorem, which is equivalent to the axiom of choice, states that every set can be well ordered.
D'après le théorème de Zermelo, l'axiome du choix dans toute sa force équivaut au fait que tout ensemble peut être bien ordonné.
His proof of the well-ordering theorem, which was based on the axiom of choice, was not accepted by all mathematicians, partly because the lack of axiomatization of set theory at this time.
Toutefois, ses démonstrations utilisent l'axiome du choix, ce qui ennuie certains mathématiciens, entre autres à cause de l'état de formalisation de la théorie des ensembles à l'époque.
A simple application of ordinal parity is the idempotence law for cardinal addition (given the well-ordering theorem).
Une application simple de la notion de parité dans les ordinaux est l'idempotence de la loi additive des cardinaux (en supposant toutefois le théorème du bon ordre, équivalent à l'axiome de choix).
If L(A) contains a well-ordering of the transitive closure of {A}, then this can be extended to a well-ordering of L(A).
L'axiome du choix est utilisable si L(A) contient un bon ordre pour la fermeture transitive de {A}.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Uitdrukkingen met well-ordering: voorbeelden en bijbehorende vertalingen in het Frans
Synoniemen voor well-ordering in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 15. Exact: 15. Verstreken tijd: 22 ms.
