Circular points at infinity
来源:互联网 发布:小米路由器数据迁移 编辑:程序博客网 时间:2024/04/28 11:16
Circular points at infinity
From Wikipedia, the free encyclopedia
Contents [hide]
1 Coordinates
2 Complexified circles
3 Additional properties
4 References
Coordinates[edit]
The points of the complex plane may be described in terms of homogeneous coordinates, triples of complex numbers (x: y: z), with two triples describing the same point of the plane when one is a scalar multiple of the other. In this system, the points at infinity are the ones whose z-coordinate is zero. The two circular points are the points at infinity described by the homogeneous coordinates
(1: i: 0) and (1: −i: 0).
Complexified circles[edit]
A real circle, defined by its center point (x0,y0) and radius r (all three of which are real numbers) may be described as the set of real solutions to the equation
(x-x_0)^2+(y-y_0)^2=r^2.
Converting this into a homogeneous equation and taking the set of all complex-number solutions gives the complexification of the circle. The two circular points have their name because they lie on the complexification of every real circle. More generally, both points satisfy the homogeneous equations of the type
Ax^2 + Ay^2 + 2B_1xz + 2B_2yz - Cz^2 = 0.
The case where the coefficients are all real gives the equation of a general circle (of the real projective plane). In general, an algebraic curve that passes through these two points is called circular.
Additional properties[edit]
The circular points at infinity are the points at infinity of the isotropic lines.[1] They are invariant under translations and rotations of the plane.
The concept of angle can be defined using the circular points, natural logarithm and cross-ratio:[2]
The angle between two lines is a certain multiple of the logarithm of the cross-ratio of the pencil formed by the two lines and the lines joining their intersection to the circular points.
Sommerville configures two lines on the origin as u : y = x \tan \theta, \quad u' : y = x \tan \theta ' . Denoting the circular points as ω and ω', he obtains the cross ratio
(u u' , \omega \omega ') = \frac{\tan \theta - i}{\tan \theta + i} \div \frac{\tan \theta ' - i}{\tan \theta ' + i} , so that
\phi = \theta ' - \theta = \tfrac{i}{2} \log (u u', \omega \omega ') .
References[edit]
Jump up ^ C. E. Springer (1964) Geometry and Analysis of Projective Spaces, page 141, W. H. Freeman and Company
Jump up ^ Duncan Sommerville (1914) Elements of Non-Euclidean Geometry, page 157, link from University of Michigan Historical Math Collection
Pierre Samuel (1988) Projective Geometry, Springer, section 1.6;
Semple and Kneebone (1952) Algebraic projective geometry, Oxford, section II-8.
Categories: Projective geometryComplex manifoldsInfinity
0 0
- Circular points at infinity
- Infinity
- AT&T Features - Key Knowledge Points
- AT&T Device Conformance Requirements - Knowledge Points
- Static Equilibrium for a Plate with Support at Three Points
- Infinity错误
- Points
- points
- points
- 浮点数值Number 正负无穷infinity -infinity
- [WARNING] 'parent.relativePath' of POM **points at ** instead of **, please verify your project stru
- Infinity Ward异地重生
- 燕飞利仕(Infinity)
- infinity小组成员
- C# Infinity and NaN
- AOJ 2320 Infinity Maze
- Nan 、Infinity错误
- Infinity和NaN
- [Java]leetcode173 Binary Search Tree Iterator
- Linux下常用压缩格式的压缩与解压方法
- 从头到尾彻底理解KMP
- 关于XCode6应用沙盒路径及NSHomeDirectory和NSSearchPathForDirectoriesInDomains
- linux下cron定时任务的总结
- Circular points at infinity
- Android SD卡路径问题以及如何获取SDCard 内存
- yii2学习笔记——03php5.4和php5.3的测试
- PC_excel异常大
- [Android那些破事]Android的一些异常解决——不定时更新
- OpenCV 轮廓提取
- 文件路径和Uri
- SBT(Scala Build Tool)系列教程-入门知识
- Java_语法基础_不要随便设置随机种子