Día: 18 noviembre 2023

Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:

• 1. Si f: ℝ → ℝ es suprayectiva, entonces ∃x ∈ ℝ tal que f(x)² = 9
• 2. La composición de funciones suprayectivas es suprayectiva
• 3. En ℝ, a < b → ¬(b < a)
• 4. Si para cada a existe un x tal que f(x) > a, entonces f no tiene cota superior
• 5. Si para cada a existe un x tal que f(x) < a, entonces f no tiene cota inferior

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (18 de noviembre de 2023)”