Publicaciones sobre Funciones reales
- Si `f(x) ≤ f(y) → x ≤ y`, entonces f es inyectiva
- Si una función es creciente e involutiva, entonces es la identidad
- La composición de una función creciente y una decreciente es decreciente
- La función x ↦ -x no es monótona creciente
- La función real f no es monótona syss existen x, y tales que x ≤ y y f(x) > f(y)
- Si f no es monótona, entonces ∃x∃y[x ≤ y ∧ f(y) < f(x)]
- Si ¬(∀a)(∃x)[f(x) > a], entonces f está acotada superiormente
- Si f no está acotada superiormente, entonces (∀a)(∃x)[f(x) > a]
- No para toda f monótona, (∀a,b)[f(a) ≤ f(b) → a ≤ b]
- Si a, b ∈ ℝ tales que a ≤ b y f(b) < f(a), entonces f no es monótona
- Si f es monótona y f(a) < f(b), entonces a < b
- La función identidad no está acotada superiormente
- Si para cada a existe un x tal que f(x) < a, entonces f no tiene cota inferior
- Si para cada a existe un x tal que f(x) > a, entonces f no tiene cota superior
- Si f es una función real suprayectiva, entonces existe x ∈ ℝ tal que f(x)² = 9
- Si c ≠ 0, entonces la función (x ↦ cx + d) es suprayectiva
- Si c ≠ 0, entonces la función (x ↦ cx) es suprayectiva
- La función (x ↦ x + c) es suprayectiva
- Si c ≥ 0 y f está acotada superiormente, entonces c·f también lo está
- Si a es una cota superior de f y c ≥ 0, entonces ca es una cota superior de cf
- La suma de dos funciones acotadas inferiormente también lo está
- La suma de dos funciones acotadas superiormente también lo está
- Si c ≠ 0, entonces la función (x ↦ cx) es inyectiva
- La función (x ↦ x + c) es inyectiva
- Si f es par y g es impar, entonces (f ∘ g) es par
- El producto de una función par por una impar es impar
- El producto de dos funciones impares es par
- La suma de dos funciones pares es par
- La composición de dos funciones monótonas es monótona
- Si c es no negativo y f es monótona, entonces cf es monótona.
- La suma de dos funciones monótonas es monótona
- Si a es una cota superior no negativa de f y b es una cota superior de la función no negativa g, entonces ab es una cota superior de fg
- El producto de funciones no negativas es no negativo
- La suma de una cota inferior de f y una cota inferior de g es una cota inferior de f+g
- La suma de una cota superior de f y una cota superior de g es una cota superior de f+g
- En ℝ, {0 < ε, ε ≤ 1, |x| < ε, |y| < ε} ⊢ |xy| < ε