Page 1

Displaying 1 – 8 of 8

Showing per page

The C k Space

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama (2013)

Formalized Mathematics

In this article, we formalize continuous differentiability of realvalued functions on n-dimensional real normed linear spaces. Next, we give a definition of the Ck space according to [23].

The Differentiable Functions from R into R n

Keiko Narita, Artur Korniłowicz, Yasunari Shidama (2012)

Formalized Mathematics

In control engineering, differentiable partial functions from R into Rn play a very important role. In this article, we formalized basic properties of such functions.

The Lusin Theorem and Horizontal Graphs in the Heisenberg Group

Piotr Hajłasz, Jacob Mirra (2013)

Analysis and Geometry in Metric Spaces

In this paper we prove that every collection of measurable functions fα , |α| = m, coincides a.e. withmth order derivatives of a function g ∈ Cm−1 whose derivatives of order m − 1 may have any modulus of continuity weaker than that of a Lipschitz function. This is a stronger version of earlier results of Lusin, Moonens-Pfeffer and Francos. As an application we construct surfaces in the Heisenberg group with tangent spaces being horizontal a.e.

Two classes of Darboux-like, Baire one functions of two variables

Michael J. Evans, Paul D. Humke (2010)

Czechoslovak Mathematical Journal

Among the many characterizations of the class of Baire one, Darboux real-valued functions of one real variable, the 1907 characterization of Young and the 1997 characterization of Agronsky, Ceder, and Pearson are particularly intriguing in that they yield interesting classes of functions when interpreted in the two-variable setting. We examine the relationship between these two subclasses of the real-valued Baire one defined on the unit square.

Currently displaying 1 – 8 of 8

Page 1