17095a66b05b8c19.tex
1: \begin{definition}\label{def:b-heart}\rm
2: Let $x,z\in\alpha\cap\beta$.  
3: A \hypertarget{broken_hearts}{{\bf broken $(\alpha,\beta)$-heart}}
4: \index{broken heart}\index{heart!broken} from $x$ to $z$ is a triple
5: $$
6: h = (u,y,v)
7: $$
8: such that $y\in\alpha\cap\beta$,
9: $u$ is a smooth $(\alpha,\beta)$-lune from $x$ to $y$,
10: and $v$ is a smooth $(\alpha,\beta)$-lune from $y$ to $z$.
11: The point $y$ is called the {\bf midpoint} of the heart.
12: \index{midpoint of a heart}\index{heart!midpoint of}
13: By Theorem~\ref{thm:lune2} the broken $(\alpha,\beta)$-heart 
14: $h$ is uniquely determined by the septuple
15: $$
16: \Lambda_h := (x,y,z,u(\D\cap\R),v(\D\cap\R),
17: u(\D\cap S^1),v(\D\cap S^1)).
18: $$
19: Two broken $(\alpha,\beta)$-hearts $h=(u,y,z)$ and $h'=(u',y',z')$
20: from $x$ to $z$ are called {\bf equivalent} if $y'=y$,  
21: \index{equivalent!broken hearts}\index{hearts!equivalent}
22: $u'$ is equivalent to $u$, and $v'$ is equivalent to~$v$.   
23: The equivalence class of $h$ is denoted by $[h]=([u],y,[v])$.
24: The set of equivalence classes of broken 
25: $(\alpha,\beta)$-hearts from $x$ to $z$
26: will be denoted by $\cH(x,z)$.
27: \end{definition}
28: