Related papers: Generating geometry axioms from poset axioms
We discuss eight new(?) configuration theorems of classical projective geometry in the spirit of the Pappus and Pascal theorems.
Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…
The starting point of this work is the principle that all movement of particles and photons in the observable Universe must follow geodesics of a 4-dimensional space where time intervals are always a measure of geodesic arc lengths, i.e.…
The Interval poset of a permutation is an effective way of capturing all the intervals of the permutation and the inclusions between them and was introduced recently by Tenner. Thi paper explores the geometric interpretation of interval…
The Bazanski approach, for deriving the geodesic equations in Riemannian geometry, is generalized in the absolute parallelism geometry. As a consequence of this generalization three path equations are obtained. A striking feature in the…
We show that by employing the standard projected curvature as a measure of spatial curvature, we can make a certain generalization of optical geometry (Abramowicz and Lasota 1997, Class. Quantum Grav. 14 (1997) A23). This generalization…
It is proposed that the mathematical formalism that is most appropriate for the study of spatially non-integrable cosmological models is the transverse geometry of a one-dimensional foliation (congruence) defined by a physical observer. By…
A geometric graph \G is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call \G a geometric realization of the underlying abstract graph G. A geometric homomorphism from \G to \H is a vertex…
In Part I of this series, the author has shown how to extend the framework of Riemannian geometry so as to include infinitesimals of higher than first order. The purpose of the present contribution is to initiate an investigation into the…
We study two constructions related to the intervals of finite posets. The first one is a poset. The second one is more complicated. Loosely speaking it can be seen as a poset with some extra zero-relations. As main result, we show that…
Paths in an appropriate geometry are usually used as trajectories of test particles in geometric theories of gravity. It is shown that non-symmetric geometries possess some interesting quantum features. Without carrying out any quantization…
We introduce iposets---posets with interfaces---equipped with a novel gluing composition along interfaces and the standard parallel composition. We study their basic algebraic properties as well as the hierarchy of gluing-parallel posets…
Theorists are often told to express things in the "observational plane". One can do this for space-time geometry, considering "visual" observations of matter in our universe by a single observer over time, with no assumptions about…
The geodesic deviation equation (GDE) describes the tendency of objects to accelerate towards or away from each other due to spacetime curvature. The GDE assumes that nearby geodesics have a small rate of separation, which is formally…
There are the longstanding differences in the continuity of continuum among mathematicians. Starting from studies on a mathematical model of contact, we construct a set that is in contact everywhere by using the original idea of Dedekind's…
Masures are generalizations of Bruhat-Tits buildings. They were introduced to study Kac-Moody groups over ultrametric fields, which generalize reductive groups over the same fields. If A and A are two apartments in a building, their…
We introduce the notion of moving absolute geometry of a geometry with triality and show that, in the classical case where the triality is of type $(I_\sigma)$ and the absolute geometry is a generalized hexagon, the moving absolute geometry…
The fact that quantum theory is non-differentiable, while general relativity is built on the assumption of differentiability sources an incompatibility between quantum theory and gravity. Higher order geometry addresses this issue directly…
Constructive properties of uniform convexity, strict convexity, near convexity, and metric convexity in real normed linear spaces are considered. Examples show that certain classical theorems, such as the existence of points of osculation,…
We introduce a definition of symmetry generating vector fields on manifolds which are equipped with a first-order reductive Cartan geometry. We apply this definition to a number of physically motivated examples and show that our newly…