Characterization of epimorphisms of nets by normal decompositions
In this paper,we give the characterization of metric measure spaces that satisfy synthetic lower Riemannian Ricci curvature bounds (so called RCD*(K, N) spaces) with non-empty one dimensional regular sets. In particular, we prove that the class of Ricci limit spaces with Ric ≥ K and Hausdorff dimension N and the class of RCD*(K, N) spaces coincide for N < 2 (They can be either complete intervals or circles). We will also prove a Bishop-Gromov type inequality (that is ,roughly speaking, a converse...
We introduce, using the Mizar system [1], some basic concepts of Euclidean geometry: the half length and the midpoint of a segment, the perpendicular bisector of a segment, the medians (the cevians that join the vertices of a triangle to the midpoints of the opposite sides) of a triangle. We prove the existence and uniqueness of the circumcenter of a triangle (the intersection of the three perpendicular bisectors of the sides of the triangle). The extended law of sines and the formula of the radius...