La semana en Calculemus (7 de octubre de 2023)
Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:
- 1. En los espacios métricos, d(x,y) ≥ 0
- 2. En ℝ, {0 < ε, ε ≤ 1, |x| < ε, |y| < ε} ⊢ |xy| < ε
- 3. La suma de una cota superior de f y una cota superior de g es una cota superior de f+g
- 4. La suma de una cota inferior de f y una cota inferior de g es una cota inferior de f+g
- 5. El producto de funciones no negativas es no negativo
A continuación se muestran las soluciones.
Read More “La semana en Calculemus (7 de octubre de 2023)”