Resultados de la búsqueda

El '''teorema de Schröder y Bernstein''' establece un criterio para establecer si existe una …existe una [[función inyectiva]] de A en B y existe una función inyectiva de B en A, entonces existe una correspondencia biunívoca entre B y A. Formalme …

…ra [[Teoremas de incompletitud de Gödel|el primer teorema de incompletitud de Gödel]] . …de Gödel|El teorema de completitud de Gödel]] trata sobre este último tipo de completitud. …

…orí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: …

…:Totalprobability 01.svg|miniaturadeimagen|Demostración visual del teorema de la probabilidad total para el caso n = 4.]] El '''teorema de la probabilidad total''' afirma lo siguiente: …

…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: …

…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í. …

…' no encontramos en la naturaleza, y estos no medibles son incluso difícil de definir explícitamente en muchos casos. …la [[medida de Lebesgue]] en la que se asientan las bases de la [[integral de Lebesgue]]. …

…fórmulas <math>\Gamma</math> de un lenguaje L, si todo subconjunto finito de <math>\Gamma</math> es satisfacible, entonces <math>\Gamma</math> es satisf …"más potentes" como la [[lógica de segundo orden]] no tienen la propiedad de compacidad. …

…el [[análisis funcional]] mencionados como el '''teorema de representación de Riesz'''. == El teorema de representación de espacios de Hilbert == …

…en lo demostró en 1941) es una generalización del [[teorema del punto fijo de Brouwer]] que describe condiciones para las cuales una [[función multivalua …ularmente para demostrar la existencia de [[equilibrio de Nash|equilibrios de Nash]] en [[estrategia mixta|estrategias mixtas]]. …

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

…ef> ''Matemáticas discretas'' de Edward R. Sheinerman (2001)pág 1, después de la xxv </ref> …un [[lenguaje formal]] propio de los [[sistema formal|sistemas formales]] de la [[lógica matemática]]. …

…=2ahUKEwjaqP2NmuSCAxWVRaQEHcejDGIQ6AF6BAgEEAI|fechaacceso= 27 de noviembre de 2023}}</ref> …h> en <math>P.</math> Dicho de otra manera, para cada <math>v \in V</math> de Lebesgue: casi todos los puntos del [[hiperplano]] <math>v + P</math> se en …

…cuación|ecuaciones]] con [[Transformación natural|isomorfismos naturales]] de [[Funtor|funtores]] satisfaciendo propiedades adicionales. El término cate …maneras en las que se pueden categorificar dichos módulos; tal es el caso de la llamada categorificación abeliana (débil).<ref>{{Obra citada|título=A br …

…ó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. …

…n antipodales si están exactamente en direcciones opuestas desde el centro de la esfera). …ilustrado diciendo que siempre hay un par de puntos opuestos en el ecuador de la tierra con la misma [[temperatura]]. Lo mismo es cierto para cualquier… …

…n]] y [[Peter Scholze]], que tiene como objetivo unificar varios subcampos de las [[matemáticas]], incluidas la [[topología]], la [[geometría compleja]] …que permite el uso de herramientas de [[álgebra homológica]] en el estudio de estas estructuras. …

…e Heine-Borel''. En el resto de los casos, es frecuente llamarlo ''Teorema de Borel-Lebesgue''.{{cita requerida}} El teorema se enuncia de la siguiente manera: …

…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]]). …