If , , and are distinct points in a Busemann -space and
we say that lies between and and denote this by .
Let be a formal powerseries of the form , . Its iterative logarithm is the unique formal powerseries of form with that satisfies the Julia equation
(17) |
The Jordan triple product in an associative algebra over a field of characteristic not is the trilinear operation
A complex -dimensional manifold satisfies the -th weak -lemma if for its every real -form such that is a -exact form, there exists an -form such that
(1.1) |