|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
Moved from the article
Angles and orthogonality
Given two intersecting lines in the Cayley–Klein model, which are intersecting chords in the unit disk, we can find the angle between the lines by mapping the chords, expressed as parametric equations for a line, to parametric functions in the Poincaré disk model, finding unit tangent vectors, and using this to determine the angle.
We may also compute the angle between the chord whose ideal point endpoints are and , and the chord whose endpoints are and , by means of a formula. Since the ideal points are the same in the Cayley–Klein model and the Poincaré disk model, the formulas are identical for each model.
If both chords are diameters, so that and , then we are merely finding the angle between two unit vectors, and the formula for the angle is
If but not , the formula becomes, in terms of the wedge product,
If both chords are not diameters, the general formula obtains
Determining angles is greatly simplified when the question is to determine or construct right angles in the hyperbolic plane. A line in the Poincaré disk model corresponds to a circle orthogonal to the unit disk boundary, with the corresponding Cayley–Klein model line being the chord between the two points where this intersects the boundary. The tangents to the intersection at the two endpoints intersect in a point called the pole of the chord. Any line drawn through the pole, which is the center of the Poincaré model circle, will intersect the Poincaré model circle orthogonally, and hence the line segments intersect the chord in the Cayley–Klein model, which corresponds to the circle, as perpendicular lines.
Restating this, a chord intersecting a given chord of the Cayley–Klein model, which when extended to a line passes through the pole of the chord , is perpendicular to . This fact can be used to give an easy proof of the ultraparallel theorem.
I am trying to rewrite this to a bit simpler text:
- more about the two dimensional case - and more of that ilk
- I'm unconvinced that bringing the comparison with the Poincaré disk and the detail of the distance formula into the lead is a simplification. What is it about the prior version that you wanted to simplify? I can see that a section on the two-dimensional case may be beneficial. —Quondum 21:20, 25 April 2015 (UTC)
My idea was especially add more about the 2 dimensional case maybe a bit like what is in the Poincare half-plane model, some constructions, how to calculate angles ed. I did a minor rewrite on the lead , made a history section , but more is to do WillemienH (talk) 04:40, 26 April 2015 (UTC)
- We need to be clear about whether this article is about the general model of the hyperbolic geometry of any number of dimensions, or whether it is primarily about the plane. I see it as being the former, with the "Beltrami–Klein disk model" being the special case in two dimensions. This would argue for keeping mention of two dimensions to a section (which could be quite extensive and could even become its own page), and for keeping it from becoming prominent in the lead. —Quondum 14:27, 26 April 2015 (UTC)
Thanks for the idea about clarity but my idea is that it more should be primarily about the two dimensional Disk model than about the higher dimensional n-Ball model, and I would like to "banish " all higher dimensional parts to a late seperate section.
My reasons are the following:
- the two dimensional case is more basic, easier to understand and therefore more usefull to the reader and better as introduction.
- all illustrations here are 2 dimensional (a wikipedia page is just a 2 dimensional sheet )
I first thought that the page had Disk in its title and therefore this discussion could be considered closed but then realised it hasn't. (but neither there is ball) I would like it a bit conforming to what I did on the hyperbolic geometry page where most higer dimensional parts are moved to hyperbolic space.WillemienH (talk) 20:54, 26 April 2015 (UTC)
- I tweaked your edits a little, not changing much. I did remove the mention of the line at infinity; searching about, I noticed that its name is the absolute. It is incorrect to call it a line: it is really a conic. Hyperbolic geometry is a projective geometry, and so cohesiveness of terminology is important. I suspect that some authors may have adopted some terms in an incompatible way, but not many seem to refer to the absolute as "the line at infinity" in this context. —Quondum 02:42, 22 May 2015 (UTC)
Thanks for your edit, we all work together to make it better, most times I first make big rewrite and then later make some smaller tweaks. I do think that some parts of my layout were a bit better (I like lists more than dense text) so I will tweak your edit again (and again and again ...) You are right about the absolute (but we need to add something about that it is at infinity. Also the text on perpendiculary needs improving. (see editing never ends) I was thinking about adding some constructions ( how to reflect a point , how to find the midpoint of a chord) also some questions remain: - What do circles become?(are they ellipses or other strange forms?) -the same for hypercycles. Another point: any ideas about the metric tensor? It looks a completely different beast than the metric tensor at the poincare disk model (see also http://math.stackexchange.com/q/1292707/88985 ). Btw the poincare disk model is my next target. also thanks for the rewrites at hyperbolic geometry.(also a target of me) Some points where I am struggeling with: -How do we call making lines from chords, in this one article, we have extending and lengthening? - I need to improve my english (I know) - do we need more drawings? see lots to improve :) WillemienH (talk) 06:46, 22 May 2015 (UTC)
- Simply constructing a list as a series of paragraphs is a bit awkward. It comes across as a staccato series of unrelated statements. What you may want to try is to tie points in a list together by introducing the list followed by bullets. Yes, the ideal points can be stated as being "at infinite distance", rather than "at infinity". Horocycles and hypercycles are circles in the Poincaré disk model (AFAICT), but are funny shapes in the Klein disk model. The ultraideal points are naturally mapped to points outside the Klein disk model (these points must be expanded on), but the points outside the Poincaré disk model naturally map to points inside the disk (it is just an inversive map of the interior). Also, in the Poincaré disk model, horocycles would be circles tangent to the border, and hypercycles would be circles intersecting the border at two distinct points (excluding those that are lines). The metric tensor should not be difficult to determine, though I'm a little rusty at the moment. I've not looked much at the metric in non-Euclidean geometries, though these can be deduced from the hyperboloid model. What do you mean by "making lines from chords"? There is a one-to-one correspondence between lines of the geometry and chords of the model. Extending the chords beyond the boundary adds the ideal and ultraideal points, which is useful for reasoning about properties of points inside the geometry. (The ultraideal points form another type of geometry, which is nicely modelled by the exterior of the Klein disk. But this is diverting.) —Quondum 14:08, 22 May 2015 (UTC)