More on the Continuity of Real Functions

More on the Continuity of Real Functions In this article we demonstrate basic properties of the continuous functions from R to Rn which correspond to state space equations in control engineering.

[1]  Noboru Endou,et al.  Partial Differentiation on Normed Linear Spaces , 2008 .

[2]  Czeslaw Bylinski.  Functions and Their Basic Properties , 2004 .

[3]  Agata Darmochwa.  Euclidean Space , 2018, How to Pass the FRACP Written Examination.

[4]  Yasunari Shidama,et al.  Algebra of Vector Functions , 1992 .

[5]  Edmund Woronowicz.  Relations and Their Basic Properties , 2004 .

[6]  Konrad Raczkowski,et al.  Topological Properties of Subsets in Real Numbers 1 , 1990 .

[7]  Konrad Raczkowski.  Real Function Continuity 1 , 1990 .

[8]  Yasunari Shidama,et al.  Riemann Integral of Functions from R into Real Normed Space , 2011, Formaliz. Math..

[9]  Yasunari Shidama,et al.  The Continuous Functions on Normed Linear Spaces , 2004 .

[10]  Agata Darmochwa,et al.  Topological Spaces and Continuous Functions , 1990 .

[11]  Konrad Raczkowski,et al.  Topological Properties of Subsets in Real Numbers , 1990 .

[12]  Krzysztof Hryniewiecki,et al.  Basic Properties of Real Numbers , 2004 .

[13]  W. Kellaway,et al.  Complex Numbers , 2019, AMS/MAA Textbooks.

[14]  Yasunari Shidama,et al.  Completeness of the Real Euclidean Space , 2005 .

[15]  Artur Kornilowicz.  Arithmetic Operations on Functions from Sets into Functional Sets , 2009, Formaliz. Math..

[16]  J. Popiołek.  Real Normed Space , 1991 .

[17]  J. Harrison.  Formalized Mathematics , 1996 .

[18]  Grzegorz Bancerek,et al.  Segments of Natural Numbers and Finite Sequences , 1990 .

[19]  Edmund Woronowicz.  Relations Defined on Sets , 1990 .

[20]  Yasunari Shidama,et al.  More on Continuous Functions on Normed Linear Spaces , 2011, Formaliz. Math..

[21]  G. Bancerek,et al.  Ordinal Numbers , 2003 .

[22]  Czeslaw Bylinski.  Some Basic Properties of Sets , 2004 .