Displaying similar documents to “On Reuleaux triangles in Minkowski planes.”

A new type of orthogonality for normed planes

Horst Martini, Margarita Spirova (2010)

Czechoslovak Mathematical Journal

Similarity:

In this paper we introduce a new type of orthogonality for real normed planes which coincides with usual orthogonality in the Euclidean situation. With the help of this type of orthogonality we derive several characterizations of the Euclidean plane among all normed planes, all of them yielding also characteristic properties of inner product spaces among real normed linear spaces of dimensions d 3 .

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.

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...