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

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

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

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 con Lean4 que la suma de dos funciones acotadas superiormente también lo está.

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

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

La composición de funciones inyectivas es inyectiva

Demostrar con Lean4 que la composición de funciones inyectivas es inyectiva.

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

Read More «La composición de funciones inyectivas es inyectiva»

Si c ≠ 0, entonces la función (x ↦ cx) es inyectiva

Demostrar con Lean4 que si \(c ≠ 0\), entonces la función \(x ↦ cx\) es inyectiva.

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

Read More «Si c ≠ 0, entonces la función (x ↦ cx) es inyectiva»