Displaying similar documents to “Control affine systems on solvable three-dimensional Lie groups, I”

Geometry of control-affine systems.

Clelland, Jeanne N., Moseley, Christopher G., Wilkens, George R. (2009)

SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only]

Similarity:

Affine Independence in Vector Spaces

Karol Pąk (2010)

Formalized Mathematics

Similarity:

In this article we describe the notion of affinely independent subset of a real linear space. First we prove selected theorems concerning operations on linear combinations. Then we introduce affine independence and prove the equivalence of various definitions of this notion. We also introduce the notion of the affine hull, i.e. a subset generated by a set of vectors which is an intersection of all affine sets including the given set. Finally, we introduce and prove selected properties...

Affine surfaces with parallel shape operators

Włodzimierz Jelonek (1992)

Annales Polonici Mathematici

Similarity:

We study affine nondegenerate Blaschke hypersurfaces whose shape operators are parallel with respect to the induced Blaschke connections. We classify such surfaces and thus give an exact classification of extremal locally symmetric surfaces, first described by F. Dillen.

Mazur-Ulam Theorem

Artur Korniłowicz (2011)

Formalized Mathematics

Similarity:

The Mazur-Ulam theorem [15] has been formulated as two registrations: cluster bijective isometric -> midpoints-preserving Function of E, F; and cluster isometric midpoints-preserving -> Affine Function of E, F; A proof given by Jussi Väisälä [23] has been formalized.