- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
6.2 分式线性映射
6.2 分式线性映射 6.2.1 分式线性映射的定义及几何意义 6.2.2 保角性 6.2.3 保圆性 6.2.4 保对称性 6.2.5 保交比性 6.2.6 唯一确定分式线性映射的条件 * * 6.2.1 分式线性映射的定义及几何意义 由函数 所确定的 映射称为分式线性映射,也称 变换。不是恒等映射的分式线性映射至多 只有2个不动点。 返回 分式线性在扩充 上加如下补充定义: 若 在 处, 定义 分式线性的逆映射: 也是分式线性映射。 分式线性映射是由下列3种特殊映射复合而成: ,是一个平移映射。 (1) 如下图所示 : 图(二) (2) 是一个旋转与伸缩映射。 若设 那么 即z先转一个角度 再将 伸长(或缩短) 见图: 倍,得到的。 图(三) (3) ,是一个反演映射,见下图: 图(四) 由定理2,可见映射 6.2.2 保角性 对应的,且具有保角性。因此,有如下定理: 是一一 定理1 分式线性映射在扩充复平面是一一对应 返回 的,且具保角性。 将圆周映射成圆周,这是因为分式线性由平移、 如将直线看做半径为 的圆,则分式线性映射 定理2 分式线性映射将扩充复平面 映射成扩充复平面 上的圆周,具有保圆性。 6.2.3 保圆性 上的圆周 伸缩及反演等3种映射复合而成,可以验证这3 种映射都是将圆周映射成为圆周的,所以有: 6.2.4 保对称性 分式线性映射还有所谓保持对称点不变的性质, 我们知道对称点的一个很重要特性,即 是关于圆周 是经过 的一对对称点的充要条件 的任何圆周 与 正交。见下图 : 返回 图(五) 即保对称性。 综上所述,再由分式线性映射的保角性,有: 定理1 设点 是关于圆周C一对对称点, 那么在分式线性映射下,它们的像点 与 也是关于C 的像曲线 的一对对称点. 6.2.5 保交比性 若 至少了3点是不相同的,称 为扩充复平面中的4个点, 为这4点的交比。 返回 可以证明:在分式线性映射下,有: 即交比在分式线性下是不变的,这就是所谓 保交比性。 定理4 在分式线性映射下,4点的交比不变。 6.2.6 唯一确定分式线性映射的条件 定理5 设分式线性映射将扩充复平面上3个相 异点 指定映射为 写成 则此分式线性映射就被唯一确定,并且可以 返回 证:由定理4,只须指定3对对应点: 再由保交比性 就可得到(6.2.4). 设有两个分式线性映射 同时将 分别映射为 则分式线性映射 有3个不动点 因此它是恒等映射。即 ,故 推论 设 是一分式线性映射,且 可表示为 ,则此分式线性映射 特别地,若 ,则有 例1 在平面上给出中心分别在 与 ,半径为 (如下图所示) ,在映射 的两圆弧所围的区域 平面上的什么区域? 下映射成 图(六) 解:两圆弧的交点为i与-i,且相互正交,交点I 与-i分别映射为W平面上的无穷远点和原点。因 此所给区域经映射后映射成以原点为顶点的角 形域,张角为 要确定角形区域的位置,只要定出它边上异于顶点的任何一点就行。取所给圆弧C1与正实轴的交点 它对应的点是: 这一点在第三象限的分角线 上,由保角性知 C2映射为第二象限的分角 角形区域如图(六)所示。 从而映射成的 例2 求把上半平面 映射成单位圆 的分式线性映射。 解:由于上半平面总有一点 实轴要映射成单位圆,而 与 是关于实轴的一对对称点,所以根据定理5 的推论知,这个分式线性映射有如下形式: 的圆心w=0. 注意到实轴上的点Z对应着 上式两边取模得: 此时 因此|k|=1,即 ,这里 是任意实数。 上的点。
文档评论(0)