## More on the Continuity of Real Functions

In this article we demonstrate basic properties of the continuous functions from R to R^{n} which correspond to state space equations in control engineering.

Show Summary Details# More on the Continuity of Real Functions

#### Open Access

## More on the Continuity of Real Functions

## About the article

## Citing Articles

*Formalized Mathematics*, 2012, Volume 20, Number 1*Formalized Mathematics*, 2012, Volume 20, Number 1

More options …# Formalized Mathematics

### (a computer assisted approach)

More options …

Editor-in-Chief: Matuszewski, Roman

4 Issues per year

SCImago Journal Rank (SJR) 2016: 0.207

Source Normalized Impact per Paper (SNIP) 2016: 0.315

Keiko Narita / Artur Kornilowicz / Yasunari Shidama

In this article we demonstrate basic properties of the continuous functions from R to R^{n} which correspond to state space equations in control engineering.

Grzegorz Bancerek. The ordinal numbers.

*Formalized Mathematics*, 1(**1**):91-96, 1990.Google ScholarGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences.

*Formalized Mathematics*, 1(**1**):107-114, 1990.Google ScholarCzesław Byliński. The complex numbers.

*Formalized Mathematics*, 1(**3**):507-513, 1990.Google ScholarCzesław Byliński. Functions and their basic properties.

*Formalized Mathematics*, 1(**1**):55-65, 1990.Google ScholarCzesław Byliński. Partial functions.

*Formalized Mathematics*, 1(**2**):357-367, 1990.Google ScholarCzesław Byliński. Some basic properties of sets.

*Formalized Mathematics*, 1(**1**):47-53, 1990.Google ScholarAgata Darmochwał. The Euclidean space.

*Formalized Mathematics*, 2(**4**):599-603, 1991.Google ScholarNoboru Endou and Yasunari Shidama. Completeness of the real Euclidean space.

*Formalized Mathematics*, 13(**4**):577-580, 2005.Google ScholarNoboru Endou, Yasunari Shidama, and Keiichi Miyajima. Partial differentiation on normed linear spaces R

^{n}.*Formalized Mathematics*, 15(**2**):65-72, 2007, doi:10.2478/v10037-007-0008-5.CrossrefGoogle ScholarKrzysztof Hryniewiecki. Basic properties of real numbers.

*Formalized Mathematics*, 1(**1**):35-40, 1990.Google ScholarArtur Korniłowicz. Arithmetic operations on functions from sets into functional sets.

*Formalized Mathematics*, 17(**1**):43-60, 2009, doi:10.2478/v10037-009-0005-y.CrossrefGoogle ScholarKeiichi Miyajima and Yasunari Shidama. Riemann integral of functions from R into R

^{n}.*Formalized Mathematics*, 17(**2**):179-185, 2009, doi: 10.2478/v10037-009-0021-y.CrossrefGoogle ScholarTakaya Nishiyama, Keiji Ohkubo, and Yasunari Shidama. The continuous functions on normed linear spaces.

*Formalized Mathematics*, 12(**3**):269-275, 2004.Google ScholarHiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. More on continuous functions on normed linear spaces.

*Formalized Mathematics*, 19(**1**):45-49, 2011, doi: 10.2478/v10037-011-0008-3.CrossrefGoogle ScholarBeata Padlewska and Agata Darmochwał. Topological spaces and continuous functions.

*Formalized Mathematics*, 1(**1**):223-230, 1990.Google ScholarJan Popiołek. Real normed space.

*Formalized Mathematics*, 2(**1**):111-115, 1991.Google ScholarKonrad Raczkowski and Paweł Sadowski. Real function continuity.

*Formalized Mathematics*, 1(**4**):787-791, 1990.Google ScholarKonrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers.

*Formalized Mathematics*, 1(**4**):777-780, 1990.Google ScholarZinaida Trybulec. Properties of subsets.

*Formalized Mathematics*, 1(**1**):67-71, 1990.Google ScholarEdmund Woronowicz. Relations and their basic properties.

*Formalized Mathematics*, 1(**1**):73-83, 1990.Google ScholarEdmund Woronowicz. Relations defined on sets.

*Formalized Mathematics*, 1(**1**):181-186, 1990.Google ScholarHiroshi Yamazaki and Yasunari Shidama. Algebra of vector functions.

*Formalized Mathematics*, 3(**2**):171-175, 1992.Google Scholar

**Published Online**: 2012-04-26

**Published in Print**: 2011-01-01

**Citation Information: **Formalized Mathematics, Volume 19, Issue 4, Pages 233–239, ISSN (Online) 1898-9934, ISSN (Print) 1426-2630, DOI: https://doi.org/10.2478/v10037-011-0032-3.

This content is open access.

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

[1]

Keiko Narita, Artur Korniłowicz, and Yasunari Shidama

[2]

Keiichi Miyajima, Artur Korniłowicz, and Yasunari Shidama

## Comments (0)