Función matemática
Una función de elección ( selector , selección ) es una función matemática f que se define en una colección X de conjuntos no vacíos y asigna algún elemento de cada conjunto S en esa colección a S mediante f ( S ); f ( S ) asigna S a algún elemento de S . En otras palabras, f es una función de elección para X si y solo si pertenece al producto directo de X .
Un ejemplo
Sea X = { {1,4,7}, {9}, {2,7} }. Entonces la función f definida por f({1, 4, 7}) = 7, f({9}) = 9 y f({2, 7}) = 2 es una función de elección en X .
Historia e importancia
Ernst Zermelo (1904) introdujo las funciones de elección, así como el axioma de elección (AC), y demostró el teorema de buen ordenamiento [1] , que establece que todo conjunto puede estar bien ordenado . AC establece que todo conjunto de conjuntos no vacíos tiene una función de elección. Una forma más débil de AC, el axioma de elección contable (AC ω ) establece que todo conjunto contable de conjuntos no vacíos tiene una función de elección. Sin embargo, en ausencia de AC o AC ω , todavía se puede demostrar que algunos conjuntos tienen una función de elección.
- Si es un conjunto finito de conjuntos no vacíos, entonces se puede construir una función de elección para eligiendo un elemento de cada miembro de Esto requiere solo un número finito de opciones, por lo que no se necesitan ni AC ni AC ω .
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si cada miembro de es un conjunto no vacío y la unión está bien ordenada, entonces se puede elegir el elemento menor de cada miembro de . En este caso, fue posible ordenar simultáneamente bien cada miembro de haciendo una sola elección de un buen orden de la unión, por lo que no se necesitaban ni AC ni AC ω . (Este ejemplo muestra que el teorema de buen orden implica AC. El recíproco también es cierto, pero menos trivial).
![{\displaystyle \bigcup X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Función de elección de un mapa multivalor
Dados dos conjuntos X e Y , sea F una función multivaluada de X a Y (equivalentemente, es una función de X al conjunto potencia de Y ).![{\displaystyle F:X\rightarrow {\mathcal {P}}(Y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se dice que una función es una selección de F , si:![{\displaystyle f:X\rightarrow Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \para todo x\en X\,(f(x)\en F(x))\,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La existencia de funciones de elección más regulares, es decir, selecciones continuas o mensurables, es importante en la teoría de inclusiones diferenciales , el control óptimo y la economía matemática . [2] Véase Teorema de selección .
Función tau de Bourbaki
Nicolas Bourbaki utilizó el cálculo épsilon para sus fundamentos, que tenían un símbolo que podía interpretarse como la elección de un objeto (si existía uno) que satisface una proposición dada. Por lo tanto, si es un predicado, entonces es un objeto particular que satisface (si existe uno, de lo contrario devuelve un objeto arbitrario). Por lo tanto, podemos obtener cuantificadores de la función de elección, por ejemplo, era equivalente a . [3]![{\estilo de visualización \tau}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización P(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![Estilo de visualización: {\displaystyle \tau_{x}(P)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P(\tau_{x}(P))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\existe x)(P(x))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sin embargo, el operador de elección de Bourbaki es más fuerte de lo habitual: es un operador de elección global . Es decir, implica el axioma de elección global . [4] Hilbert se dio cuenta de esto cuando introdujo el cálculo épsilon. [5]
Véase también
Notas
- ^ Zermelo, Ernst (1904). "Beweis, dass jede Menge wohlgeordnet werden kann". Annalen Matemáticas . 59 (4): 514–16. doi :10.1007/BF01445300.
- ^ Border, Kim C. (1989). Teoremas del punto fijo con aplicaciones a la economía y la teoría de juegos . Cambridge University Press. ISBN 0-521-26564-9.
- ^ Bourbaki, Nicolas. Elementos de matemáticas: teoría de conjuntos . ISBN 0-201-00634-0.
- ^ John Harrison, "La visión de Bourbaki", edición electrónica.
- ^ "Aquí, además, nos topamos con una circunstancia muy notable, a saber, que todos estos axiomas transfinitos son derivables de un único axioma, uno que también contiene el núcleo de uno de los axiomas más atacados en la literatura de las matemáticas, a saber, el axioma de elección: , donde es la función de elección lógica transfinita". Hilbert (1925), “Sobre el infinito”, extractado en Jean van Heijenoort, De Frege a Gödel , p. 382. De nCatLab.
![{\displaystyle A(a)\to A(\varepsilon (A))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización \varepsilon}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Referencias
Este artículo incorpora material de la función de elección en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .