Definition: Constant Function Real Case

Let \(a\) be real number and A constant function is a function defined by

\[f(x):=c\]

for all \(x\in\mathbb R\).

In the following interactive figure, you can drag the slider to manipulate the value of the constant \(c\) and see the behavior of resulting constant function. The initial value is (when the Reset button is pressed) is \(c=0\).



Corollaries: 1

Corollaries: 1 2
Definitions: 3
Proofs: 4 5 6 7 8
Propositions: 9 10 11 12


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983