Displaying 2021 – 2040 of 2726

Showing per page

Tangent Lines and Lipschitz Differentiability Spaces

Fabio Cavalletti, Tapio Rajala (2016)

Analysis and Geometry in Metric Spaces

We study the existence of tangent lines, i.e. subsets of the tangent space isometric to the real line, in tangent spaces of metric spaces.We first revisit the almost everywhere metric differentiability of Lipschitz continuous curves. We then show that any blow-up done at a point of metric differentiability and of density one for the domain of the curve gives a tangent line. Metric differentiability enjoys a Borel measurability property and this will permit us to use it in the framework of Lipschitz...

Tarski Geometry Axioms – Part II

Roland Coghetto, Adam Grabowski (2016)

Formalized Mathematics

In our earlier article [12], the first part of axioms of geometry proposed by Alfred Tarski [14] was formally introduced by means of Mizar proof assistant [9]. We defined a structure TarskiPlane with the following predicates: of betweenness between (a ternary relation), of congruence of segments equiv (quarternary relation), which satisfy the following properties: congruence symmetry (A1), congruence equivalence relation (A2), congruence identity (A3), segment construction (A4), SAS (A5), betweenness...

Currently displaying 2021 – 2040 of 2726