Displaying 61 – 80 of 84

Showing per page

Gluing Hyperconvex Metric Spaces

Benjamin Miesch (2015)

Analysis and Geometry in Metric Spaces

We investigate how to glue hyperconvex (or injective) metric spaces such that the resulting space remains hyperconvex. We give two new criteria, saying that on the one hand gluing along strongly convex subsets and on the other hand gluing along externally hyperconvex subsets leads to hyperconvex spaces. Furthermore, we show by an example that these two cases where gluing works are opposed and cannot be combined.

Group of Homography in Real Projective Plane

Roland Coghetto (2017)

Formalized Mathematics

Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group. Then, we prove that, using the notations of Borsuk and Szmielew in [3] “Consider in space ℝℙ2 points P1, P2, P3, P4 of which three points are not collinear and points Q1,Q2,Q3,Q4 each three points of which are also not collinear. There exists one homography h of space ℝℙ2 such that h(Pi) = Qi for i = 1, 2, 3, 4.” (Existence Statement 52 and Existence Statement 53) [3]. Or,...

Grundlagen der räumlichen kinematischen Geometrie. II

Adolf Karger (1980)

Aplikace matematiky

Der Artikel ist eine Vorsetzung des ersten Teiles des Artikels und ist der Analyse und der Synthese der helikoidalen Bewegungen gewidmet. Im der Analyse der helikoidalen Bewegungen gewidmeten Teil sind die helikoidale Bewegungen als die Zweischraubenbewegungen charakterisiert und es sind die Invarianten der helikoidalen Bewegungen gefunden. Im, der Synthese der helikoidalen Bewegungen gewiemeten, Teil sind alle helikoidalen Bewegungen, die eine ebene oder gerade oder sphärische Punkttrajektorie...

Currently displaying 61 – 80 of 84