Real Function Continuity 1
Konrad Raczkowski · 1990
Summary. The continuity of real functions is discussed. There is a function defined on some domain in real numbers which is continuous in a single point and on a subset of domain of the function. Main properties of real continuous functions are proved. Among them there is the Weierstraß Theorem. Algebraic features for real continuous functions are shown. Lipschitzian functions are introduced. The Lipschitz condition entails continuity. MML Identifier:FCONT_1. WWW:http://mizar.org/JFM/Vol2/fcont_1.html