In mathematics, the well-ordering theorem states that every set can be well-ordered.
His proof of the well-ordering theorem, based on the powerset axiom and the axiom of choice, was not accepted by all mathematicians, mostly because the axiom of choice was a paradigm of non-constructive mathematics.
Su prueba del teorema del buen orden, que se basaba en el axioma de elección, no fue aceptado por todos los matemáticos, en parte porque la teoría de conjuntos carecía de una axiomatización en ese tiempo.
Set theory Well-ordering theorem: Every set can be well-ordered.
Principio de buena ordenación de Zermelo: todo conjunto puede ser bien ordenado.
Georg Cantor considered the well-ordering theorem to be a "fundamental principle of thought".
Zorn's lemma is equivalent to the well-ordering theorem and also to the axiom of choice, in the sense that any one of the three, together with the Zermelo-Fraenkel axioms of set theory, is sufficient to prove the other two.
Al igual que el teorema del buen orden, el lema de Zorn es equivalente al axioma de elección, en el sentido de que cualquiera de ellos, junto con los axiomas de Zermelo-Fraenkel, basta para probar los otros.
In 1904, Gyula Kőnig claimed to have proven that such a well-ordering cannot exist.
En 1904, Gyula Kőnig anunció haber demostrado que semejante buen orden no puede existir.
The well-ordering theorem has consequences that may seem paradoxical, such as the Banach-Tarski paradox.
El teorema del buen orden tiene consecuencias que pueden parecer paradójicas, como por ejemplo la paradoja de Banach-Tarski.
Since every infinite well-ordered set is Dedekind-infinite, and since the AC is equivalent to the well-ordering theorem stating that every set can be well-ordered, clearly the general AC implies that every infinite set is Dedekind-infinite.
Dado que todo conjunto infinito bien ordenado es infinito-Dedekind, y dado que el axioma de elección es equivalente al teorema del buen orden, que que todo conjunto puede ser bien ordenado, claramente el axioma de elección general implica que todo conjunto infinito es infinito-Dedekind.
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.
En consecuencia, aunque el axioma de elección implica que hay un buen orden en los reales, no da un ejemplo.
Well-ordering principle Kuczma, Marek (2009).
Principio del buen orden Axioma de elección Kuczma, Marek (2009).
His proof of the well-ordering theorem, based on the powerset axiom and the axiom of choice, was not accepted by all mathematicians, mostly because the axiom of choice was a paradigm of non-constructive mathematics.
Su prueba del teorema del buen orden, que se basaba en el axioma de elección, no fue aceptado por todos los matemáticos, en parte porque la teoría de conjuntos carecía de una axiomatización en ese tiempo.
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.
El problema entonces se "reduce" al de encontrar un buen orden en los reales, lo que requiere del axioma de elección para su realización: todo conjunto puede ser bienordenado si y sólo si vale el axioma de elección.
In mathematics, a well-order (or well-ordering or well-order relation) on a set S is a total order on S with the property that every non-empty subset of S has a least element in this ordering.
De Wikipedia, la enciclopedia libre Ir a la navegación Ir a la búsqueda En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo.