Si c ≥ 0 y f está acotada superiormente, entonces c * f también lo está

Demostrar que si c ≥ 0 y f está acotada superiormente, entonces c * f también lo está.

Para ello, completar la siguiente teoría de Lean:

Read More «Si c ≥ 0 y f está acotada superiormente, entonces c * f también lo está»

La suma de dos funciones acotadas inferiormente también lo está

Demostrar que la suma de dos funciones acotadas inferiormente también lo está.

Para ello, completar la siguiente teoría de Lean:

Read More «La suma de dos funciones acotadas inferiormente también lo está»

La suma de dos funciones acotadas superiormente también lo está

Demostrar que la suma de dos funciones acotadas superiormente también lo está.

Para ello, completar la siguiente teoría de Lean:

Read More «La suma de dos funciones acotadas superiormente también lo está»

Si f: A → B y g: B → C son inyectiva, entonces g ∘ f es inyectiva

Demostrar que si f: A → B y g: B → C son inyectiva, entonces g ∘ f es inyectiva.

Para ello, completar la siguiente teoría de Lean:

Read More «Si f: A → B y g: B → C son inyectiva, entonces g ∘ f es inyectiva»