conjunto numerable
41Bola (matemática) — Saltar a navegación, búsqueda Una bola, en topología y otras ramas de matemática, es el conjunto de puntos que distan de otro igual o menos que una distancia dada, llamada radio. Es un concepto fundamental en el Análisis Matemático. Se distinguen …
42Medida de Lebesgue — En matemáticas, la medida de Lebesgue es la forma estándar de asignar una longitud, área, o volumen a los subconjuntos del espacio euclídeo. Se usa en el análisis real, especialmente para definir la integración de Lebesgue. Los conjuntos a los… …
43Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …
44Teorema de Löwenheim-Skolem — En lógica matemática, el teorema de Löwenheim Skolem es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.[1] Más precisamente: sea T un subconjunto… …
45Espacio métrico — Saltar a navegación, búsqueda En matemática, un espacio métrico es un tipo particular de espacio topológico donde una distancia entre puntos está definida. Corresponde al caso muy común en que se dispone de una noción de distancia sobre el… …
46Espacio de Hilbert — Saltar a navegación, búsqueda En matemáticas, el concepto de espacio de Hilbert es una generalización del concepto de espacio euclídeo. Esta generalización permite que nociones y técnicas algebraicas y geométricas aplicables a espacios de… …
47Denso en ninguna parte — En topología, un subconjunto A de un espacio topológico X se dice denso en ninguna parte, o también, diseminado en X, si el interior de su clausura es vacío. Destaquemos el papel del espacio ambiente: un conjunto A puede ser denso en ninguna… …
48Espacio de Baire — Saltar a navegación, búsqueda En topología y ramas relacionadas de las matemáticas, un espacio de Baire es un espacio topológico que, hablando intuitivamente es muy grande y tiene suficientes puntos para un cierto proceso límite. Fue nombrado así …
49Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …
50Número trascendente — Un número trascendente (o trascendental) es un tipo de número irracional que no es raíz de ningún polinomio (no nulo) con coeficientes enteros (o racionales). En este sentido, número trascendente es antónimo de número algebraico. La definición no …
