Resultados de la búsqueda

…a de conjuntos)|números cardinales]], siempre que se cumpla el [[axioma de elección]]. Debe su nombre al matemático [[Hungría|húngaro]] [[Gyula Kőnig]]. El enunciado del teorema de König en términos de cardinales bien ordenados es: …

…ente es una herramienta importante para la estática comparativa de modelos de optimización.<ref>{{cita libro |nombre=Michael |apellido=Carter |título=Fou …alpha \in \mathbb{R}^{l}</math> es un parámetro, y considérese el problema de elegir <math>x</math> para una <math>\alpha</math> dada, tal que: …

…lquier [[ideal bilateral]] cuando las operaciones en el conjunto de clases de equivalencia son inducidas por las operaciones en el anillo original. …el de ''anillos de cocientes'', obtenidos por un proceso de [[localización de un anillo]]. …

…nsecuencias que pueden parecer paradójicas, como por ejemplo la [[paradoja de Banach–Tarski]]. …teorema del buen orden se deduce el axioma de elección, pero del axioma de elección no se puede deducir el teorema del buen orden.<ref>Shapiro, Stewart (1991). …

…axiomática de conjuntos]]. Es similar a la teoría de [[teoría de conjuntos de Von Neumann-Bernays-Gödel|Von Neumann-Bernays-Gödel]], pero MK es más poten …da la [[Teoría de conjuntos de Von Neumann-Bernays-Gödel#Notación|notación de NBG]] puede adoptarse aquí. …

…'' establece que el [[Topología producto|producto]] de cualquier colección de [[espacio topológico|espacios topológicos]] [[compacidad|compactos]] es com …a prueba más reciente que se publicó está contenida en un artículo de 1937 de [[Eduard Čech]]. …

…ón |url=https://www.worldcat.org/oclc/427520428 |fechaacceso=28 de febrero de 2019 |fecha=2007 |editorial=Plaza y Valdés |isbn=9788496780194 |página=229 …y las reglas de deducción. El aparataje anterior define la sintaxis de la teoría. …

…po (matemática)|grupos]] con sus [[Grupo cociente|grupos cociente]], y son de gran utilidad para construir isomorfismos entre diversos grupos y grupos co …[[Anillo (matemática)|anillos]] y [[Módulo (matemática)|módulos]] en lugar de grupos. …

…'de [[Kuratowski]]-[[Max Zorn|Zorn]]''', es una proposición de la [[teoría de conjuntos]] que afirma lo siguiente: …,\leq)</math> es un [[conjunto parcialmente ordenado]]. Si además se tiene la siguiente propiedad: …

…spacio de Hilbert]] ''H''₁, y ''H''₂ es otro espacio de Hilbert, y …nción lipschitziana|continuo de Lipschitz]], entonces hay un mapa continuo de Lipschitz …

…ros principios son abstractos y generales, aplicándose a una gran cantidad de casos.<ref name=Rescher/> …s cruzadas a las conclusiones basadas en los axiomas elegidos y asegurarse de que las conclusiones no violen ninguna leyes fundamentales. Los físicos inc …

…temáticas, sabiendo que el significado de esos teoremas se preservará tras la traducción. …categorías)|opuesto (o dual)]] de otra categoría, se habla de '''dualidad de categorías''', y se afirma que ambas categorías son '''dualmente equivalent …

…''Matemáticas discretas'' de Edward R. Sheinerman (2001)pág 1, después de la xxv </ref> …mpla condiciones precisas y específicas. Estas condiciones específicas son la definición del concepto. …

…<math>1/2</math> y <math>2/3</math> de la medida distinta de cero de toda la esfera). …s ideas de Hausdorff. La prueba de esta paradoja se basa en el [[axioma de elección]]. …

…ría de la demostración es uno de los «cuatro pilares» de los [[fundamentos de las matemáticas]].{{cr}} …os matemáticos, escribir una demostración completamente formal es un gasto de tiempo innecesario como para ser práctica común. …

…onocidas paradojas que resaltan anomalías, incoherencias o contradicciones de las teorías matemáticas más conocidas.{{Cita requerida}} …e la numerabilidad del conjunto de los [[números reales]] (en el [[teorema de Cantor]]). …

…s preferencias de los individuos en una preferencia global de la comunidad de modo que al mismo tiempo se cumplan ciertos criterios "racionales": * Ausencia de un "[[Dictadura|dictador]]", es decir, de una persona que tenga el poder para cambiar las preferencias del grupo. …

…iones [[condicion necesaria y suficiente|condiciones necesarias]] a partir de las [[Condicion necesaria y suficiente|condiciones suficientes]]. …s ordinarios de la matemática, en lugar de posibles axiomas para la teoría de conjuntos. …

…n como '''ZF''' o en su forma más común, complementados por el [[axioma de elección]] (''axiom of '''C'''hoice''), como '''ZFC'''. …hoy en día ZFC se ha convertido en el estándar de las teorías axiomáticas de conjuntos. …

…vectorial|espacios vectoriales]], que preserva las operaciones de adición de vectores y multiplicación por un escalar. …guaje de la [[teoría de categorías]] es un [[morfismo]] sobre la categoría de los espacios vectoriales que actúa un [[cuerpo (matemáticas)|cuerpo]] dado. …