【学习课件】第十讲-唯一决定分式线性映射的条

第十讲唯一决定分式线性映射的条件复变函数与积分变换·共形映射专题Contents目录第十讲·唯一决定分式线性映射的条件01分式线性映射基础回顾02存在唯一性定理与证明03交比与保交比不变性04对应区域的确定方法05典型例题精讲CHAPTER01分式线性映射基础回顾从定义、分解与性质出发，为唯一性定理奠定基础Definition·ComplexAnalysis分式线性映射的定义分式线性映射w=(az+b)/(cz+d)是复分析中最重要的共形映射之一，虽然表达式含四个复常数，但实际只有三个独立自由度，这为后续"三个条件唯一确定映射"的定理埋下伏笔。StandardFormw=(az+b)/(cz+d)其中a,b,c,d为复常数，且ad−bc≠0，该非退化条件确保映射是双方单值的。ad−bc≠0DegreesofFreedom3个独立参数四个常数中可令其中一个为1（如d≠0时令d=1），实际仅有三个独立参数，故只需三个条件即可确定映射。3条件确定MappingScope扩充复平面→扩充复平面分式线性映射将扩充复平面（含无穷远点）一一映射到扩充复平面，是闭复平面到自身的双射。双射Decomposition四种基本变换的分解任意分式线性映射都可分解为平移、旋转、相似和倒数四种基本变换的有限次复合，揭示复杂映射的几何本质。c≠0时：一般分式线性变换w=a/c+(bc−ad)/[c(cz+d)]01改写形式：w=a/c+(bc−ad)/[c(cz+d)]，核心包含倒数变换1/(cz+d)，这是分解的关键步骤02分解步骤：平移cz→倒数1/(cz+d)→伸缩旋转→平移，共四步复合变换03倒数变换：w=1/z实现关于单位圆周的反演和关于实轴的反射，是核心几何操作c=0时：整线性变换w=(a/d)z+b/d01简化形式：w=(a/d)z+b/d，可分解为平移、旋转、相似三种基本变换的叠加02几何意义：先旋转arg(a/d)，再伸缩|a/d|倍，最后平移b/d，保持无穷远点不变03自同构性质：无穷远点映射到无穷远点，是扩充复平面ℂ̂上的保向自同构核心性质分式线性映射的三大核心性质保角性、保圆性和保对称点性是分式线性映射的三大基石性质。保角性保证了局部形状的不变性，保圆性决定了圆与直线的像仍为圆或直线，保对称点性则为确定映射区域提供了关键工具。保角性保持两曲线交角的大小与方向不变，包括无穷远处交角的定义，是分式线性映射作为共形映射的根本特征。该性质保证了映射在局部范围内的几何相似性，使得角度关系在变换过程中严格保持。Conformal保圆性将扩充复平面上的广义圆（圆或直线）映射为广义圆，直线可视为过无穷远点的圆，因此统一处理。这一性质极大简化了区域边界的分析，使得复杂的曲线变换问题转化为圆与直线的对应关系。Circle-Preserving保对称点性若z₁、z₂关于圆C对称，则其像w₁、w₂关于像圆C'对称，这一性质是确定映射区域的理论基础。利用对称点的不变性，可以唯一确定分式线性映射的具体形式，解决边界对应问题。SymmetryCOMPLEXANALYSIS·MÖBIUSTRANSFORMATION保圆性的深入理解保圆性是分式线性映射最直观的几何特征。关键在于理解"广义圆"的概念——直线是过无穷远点的圆。映射结果是圆还是直线，取决于原曲线是否包含被映射到无穷远点的极点z=-d/c，这一判据在实际计算中极为实用。01广义圆概念：在扩充复平面上，直线等价于过∞点的圆，因此圆与直线在分式线性映射下统一处理02判据：若原圆（或直线）上存在点z₀=-d/c（即映射的极点），则该点的像为∞，像曲线必为直线；否则像为圆03实用意义：只需检查原圆上是否含极点，即可预判像的类型，避免不必要的完整计算复平面上分式线性映射的保圆性示意核心问题的提出唯一决定分式线性映射的条件从自由度分析出发，分式线性映射有三个独立参数，因此自然的问题是：给定三对对应点能否唯一确定一个映射？这个问题的回答构成了本节的核心定理。01自由度启示：三个独立参数→三个条件即可确定映射，而最自然的"条件"就是指定点的对应关系3→302核心定理预告：给定z平面上三个相异点和w平面上三个相异点，存在唯一的分式线性映射将它们一一对应∃!03深层意义：唯一性定理不仅解决"能否确定"的问题，更揭示了分式线性映射群的代数结构——三点决定一切代数结构Chapter02存在唯一性定理与证明三点决定一个映射：分式线性映射的根本确定性定理THEOREM定理陈述：存在唯一性定理存在唯一性定理是分式线性映射理论的基石：在z平面给定三个相异点z₁、z₂、z₃，在w平面给定三个相异点w₁、w₂、w₃，则存在唯一的分式线性映射f(z)使得f(zₖ)=wₖ(k=1,2,3)。前提条件：z平面上三个相异点z₁,z₂,z₃（互不相同），w平面上三个相异点w₁,w₂,w₃（互不相同），点可取∞三点相异存在性结论：至少存在一个分式线性映射f(z)=(az+b)/(cz+d)，使得f(z₁)=w₁,f(z₂)=w₂,f(z₃)=w₃f(zₖ)=wₖ唯一性结论：满足上述三对对应关系的分式线性映射有且只有一个，不存在第二个不同的映射也满足条件唯一确定THEOREMPROOF·STEP01定理证明（一）：差值化简证明的关键第一步是计算w−wₖ的表达式。将w=(az+b)/(cz+d)与wₖ=(azₖ+b)/(czₖ+d)做差，分子经过交叉相乘展开后，恰好化简为(z−zₖ)(ad−bc)，分母为(cz+d)(czₖ+d)。这一简洁结果使得后续消去常数成为可能。01设定设w=(az+b)/(cz+d)，ad−bc≠0，将zₖ（k=1,2,3）代入得wₖ=(azₖ+b)/(czₖ+d)02差值计算w−wₖ=[(az+b)(czₖ+d)−(azₖ+b)(cz+d)]/[(cz+d)(czₖ+d)]03关键化简分子展开后交叉项消去，得(z−zₖ)(ad−bc)，故w−wₖ=(z−zₖ)(ad−bc)/[(cz+d)(czₖ+d)]定理证明定理证明（二）：消去常数通过巧妙地做差值的比值，可以逐步消去所有未知常数a、b、c、d。第一步做(w−w₁)/(w−w₂)消去ad−bc和cz+d，第二步做类似比值的比值消去cz₁+d等剩余因子。最终得到一个不含任何待定常数的等式，直接建立了z与w的显式关系。STEP01第一步比值(w−w₁)/(w−w₂)=

[(z−z₁)/(z−z₂)]·[(cz₂+d)/(cz₁+d)]消去了ad−bc和(cz+d)消去ad−bcSTEP02第二步比值(w₃−w₁)/(w₃−w₂)=

[(z₃−z₁)/(z₃−z₂)]·[(cz₂+d)/(cz₁+d)]形式完全类似，以z₃,w₃替换z,w形式类似FINAL03终极消除两式相除，(cz₂+d)/(cz₁+d)完全消去得到纯z、w的关系式，所有常数a,b,c,d均被消除常数归零THEOREMPROOF·03定理证明（三）：最终公式消去所有常数后得到的核心公式，直接建立了z与w的显式关系，同时证明了存在性与唯一性。核心公式：(w−w₁)(w₃−w₂)/(w−w₂)(w₃−w₁)=(z−z₁)(z₃−z₂)/(z−z₂)(z₃−z₁)01核心公式(w−w₁)/(w−w₂)÷(w₃−w₁)/(w₃−w₂)=(z−z₁)/(z−z₂)÷(z₃−z₁)/(z₃−z₂)02存在性该式可解出w关于z的显式表达式，且为分式线性形式，故满足条件的映射确实存在03唯一性公式由三对点唯一确定，不含任何自由参数，故满足条件的映射只有一个04无穷远点处理若某zₖ或wₖ为∞，含有该点的差值因子取极限值为1，公式仍有效SECTION03·LIMITATINFINITY无穷远点的极限处理当三对对应点中出现无穷远点时，利用lim(z→∞)(z-a)/(z-b)=1的极限性质，可将含∞点的因子替换为1，公式自动简化且仍然成立。极限原理当z₃→∞时，(z₃−z₁)/(z₃−z₂)→1，因此公式右侧简化为(z−z₁)/(z−z₂)。这一性质使得含无穷远点的分式线性变换可以直接降维计算。z₃→∞w₃=∞的情况(w₃−w₁)/(w₃−w₂)→1，公式左侧简化为(w−w₁)/(w−w₂)。同理适用于像平面上的无穷远点，简化后的形式更便于求解变换参数。w₃=∞实用口诀哪个点是∞，就去掉含有该点的差值比——公式形式更简洁，计算更方便。这是处理无穷远点对应关系时的核心技巧，能显著降低计算复杂度。∞→1CHAPTER03交比与保交比不变性从三对点的唯一性公式中提炼出四点不变量的深刻结构CrossRatio·射影不变量交比的定义交比(z₁,z₂;z₃,z₄)=[(z₁-z₃)(z₂-z₄)]/[(z₁-z₄)(z₂-z₃)]是扩充复平面上四个点的射影不变量，它是唯一性定理核心公式左右两端的共同结构。交比的值与四点的排列顺序有关，24种排列产生至多6个不同的交比值。公式定义四个点z₁,z₂,z₃,z₄的交比定义为(z₁−z₃)/(z₁−z₄)÷(z₂−z₃)/(z₂−z₄)，记为(z₁,z₂;z₃,z₄)，是分式线性映射的基本不变量。(z₁,z₂;z₃,z₄)∞点处理当z₄=∞时，(z₁,z₂;z₃,∞)=(z₁−z₃)/(z₂−z₃)。含∞的因子取极限后值为1，交比退化为简比形式。z₄→∞排列敏感性交换四点的顺序会改变交比值。24种排列最多产生6个不同的交比值，如λ、1−λ、1/λ等变换形式。24→6INVARIANCE保交比不变性定理分式线性映射保持任意四点的交比不变：若w=f(z)是分式线性映射，则(w₁,w₂;w₃,w₄)=(z₁,z₂;z₃,z₄)。这一性质既是唯一性定理的自然推论，也可作为独立公理出发推导唯一性——两者在逻辑上等价，构成同一数学结构的不同侧面。01定理表述设w=f(z)为分式线性映射，则对任意四点z₁,z₂,z₃,z₄，其像的交比等于原像的交比02与唯一性的等价性保交比性蕴含唯一性定理——令第四点z为变量，利用三点交比等式可解出w=f(z)03代数意义交比是分式线性变换群下的完全不变量，四点共圆（或共线）的充要条件是其交比为实数Methodology利用交比求映射的实用步骤利用保交比不变性求分式线性映射是最高效的计算方法，其标准流程为：列出交比等式→处理无穷远点→解出w=f(z)。01列出交比等式将(w,w₁;w₂,w₃)=(z,z₁;z₂,z₃)的六点已知坐标代入交比公式02处理无穷远点若某点为∞，将含有∞的差值因子替换为1，简化等式形式03解出显式表达式将简化后的等式解出w关于z的显式表达式，即为所求分式线性映射04代入验证将z₁,z₂,z₃分别代入w=f(z)，检查是否得到w₁,w₂,w₃ApplicationofCross-Ratio交比的应用：共圆性判定四点共圆（或共线）的充要条件是它们的交比为实数。交比的辐角等于两组圆周角之差，共圆时该差为0或π。判定定理z₁,z₂,z₃,z₄共圆（含共线）的充要条件是交比(z₁,z₂;z₃,z₄)为实数，即(z₁,z₂;z₃,z₄)∈ℝ。∈ℝ几何解释交比的辐角等于两圆周角之差。共圆时圆周角相等或互补，辐角为0或π，故交比为实数。arg=0orπ与保圆性的联系分式线性映射保交比且保圆，共圆四点的像也共圆——交比的实数性在映射下保持不变。InvarianceCHAPTER04对应区域的确定方法从点的对应到区域的对应：分式线性映射的几何全貌分式线性映射·区域对应区域映射的核心问题圆或直线将复平面分为两个区域，分式线性映射将边界映射为边界后，需要判断原区域的像到底是像曲线的"内部"还是"外部"。由于映射的连续性和双方单值性，区域不可能被"撕裂"或"跨越"边界，因此只需一个测试点即可确定整个区域的像。01问题提出：圆C将平面分为内部D₁和外部D₂，映射后像曲线C'也分为两侧，需判断D₁映射到哪一侧这是区域对应问题的核心：确定原区域在映射后的位置归属02边界对应原理：连续双射保持区域的连通性，C的内部必然整体映射到C'的某一侧，不会跨越边界映射的连续性保证了区域的整体性，不会出现碎片化映射03不可能分裂：D₁不可能一部分映射到C'的一侧、另一部分映射到另一侧，因为映射保持区域的连通性双方单值性确保了整个区域被唯一地映射到确定的像区域CONFORMALMAPPING确定对应区域的两种方法确定映射区域的两种方法各有优势：取点法通过计算区域内一个特殊点的像的位置直接判定；边界走向法利用映射保持定向的性质，通过边界方向推断区域方位。两者本质上等价，实际计算中可根据问题特点灵活选用。METHOD01取点法（内点测试）01在区域D内选一个简单点z₀（如圆心、原点），计算其像w₀=f(z₀)02判断w₀落在像曲线C'的哪一侧（内部还是外部），则D整体映射到该侧03优点：直观易懂，计算量小；适用：区域包含简单点且容易计算的情况计算量小·直观易懂METHOD02边界走向法（定向法）01沿边界C选定方向行走，使区域D位于行进方向的左侧02三对边界对应点确定了C'上的方向，像区域在C'对应方向的左侧03优点：无需额外计算测试点；适用：边界方向容易判断或涉及多段边界的复杂情况无需测试点·适用复杂边界MappingStrategy对称点法与综合策略利用保对称点性可以巧妙确定区域对应：区域内一点z₀与其关于边界圆的对称点z₀*分别位于边界两侧，它们的像w₀与w₀*也关于像圆对称，因此分别在像圆两侧。结合三种方法形成完整的区域判定工具箱，可根据具体问题灵活选用。对称点法原理核心思想：z₀与z₀*关于圆C对称，映射后w₀与w₀*关于C'对称，分别在C'两侧。判定依据：由此确定像区域所在侧，避免复杂的边界参数计算。z₀↔z₀*对称点关系保持操作流程1找z₀关于C的对称点z₀*，利用反演公式计算2计算w₀=f(z₀)，确定像点在像圆的位置3w₀所在侧即为像区域D'，完成区域判定w₀=f(z₀)关键映射计算综合策略三种方法互为补充，根据问题特征灵活选用，形成完整的区域判定工具箱：取点法—简单直观，适用于快速判定边界走向法—方向敏感，保持定向一致对称点法—圆到圆映射，利用保对称性三法合一·灵活选用Chapter05典型例题精讲五个经典例题覆盖交比法、取点法与区域判定的完整实战训练FRACTIONALLINEARMAPPING·EXAMPLE例1：三对点确定映射（含∞点）求将z=0→w=1,z=1→w=i,z=∞→w=−1的分式线性映射。此题含∞点，是交比法的标准训练题。通过交比等式的∞点化简和代数整理，可直接解出映射的显式表达式。01STEP列交比等式因z₃=∞，右端简化为z/(z−1)；左端为(w−1)(w₃−w₂)/[(w−w₂)(w₃−w₁)]，代入w₁=1,w₂=i,w₃=−1。02STEP化简左端(w−1)(−1−i)/[(w−i)(−2)]=(w−1)(1+i)/[2(w−i)]，令其等于z/(z−1)。03STEP解出w交叉相乘整理得w=[(1+i)z+(1−i)]/[(1−i)z+(1+i)]，代入三点验证无误。ComplexAnalysis·Example例2：上半平面→单位圆盘将上半平面Im(z)>0映射到单位圆|w|<1是分式线性映射最经典的应用之一。通用公式中λ为上半平面内任意点，θ为旋转参数。01通用公式：w=eiθ·(z−λ)/(z−λ̄)，其中λ为上半平面内任意点（Im(λ)>0），θ为任意实数。该公式构成从上半平面到单位圆盘的全部映射族。02特例取λ=i，θ=0：w=(z−i)/(z+i)。验证实轴z=x时，|w|=|x−i|/|x+i|=1，确认实轴映射到单位圆周。03区域验证：取上半平面内点z=i，代入得w=0，位于单位圆内部，故上半平面整体映射到|w|<1。CONFORMALMAPPING·EXAMPLE3例3：单位圆盘→单位圆盘单位圆盘到单位圆盘的自同构映射公式为w=e^(iθ)·(z-a)/(1-āz)，其中|a|<1为映射到原点的点，θ控制旋转。该公式利用了对称点原理。01通用公式w=eiθ·(z−a)/(1−āz)其中|a|<1，θ∈ℝ，自由度为3（a的实部、虚部和θ）3DOF02推导思路a→0（圆心），对称点1/ā→∞，由此确定w=K(z−a)/(1−āz)的形式1/ā→∞03确定K由|z|=1时|w|=1的边界条件推出|K|=1，故K=eiθ|K|=1CHAPTER10·分式线性映射例4：带附加条件的区域映射当映射问题附带区域条件（如"内部映射到内部"）或附加点条件（如f(0)=a）时，需要在通用公式基础上利用附加条件确定自由参数。01问题类型：给定边界对应与内部点条件，如|z|<R→|w|<1且f(z₀)=w₀边界+点02求解策略：先写出通用公式（含自由参数），再代入附加条件解出参数，最后用取点法验证区域三步法关键检验：代入区域内的特殊点，确认其像确实在目标区域内部，而非外部CONFORMALMAPPING·ADVANCED例5：复杂区域间的映射复杂区域（如月牙域、角形域、半圆域）之间的映射通常需要分步完成：先用分式线性映射将源区域化为标准区域（上半平面或单位圆盘），再用另一个映射将标准区域化为目标区域。映射的复合是本讲知识的高级应用。STEP1分步策略源区域→（映射₁）→上半平面→（映射₂）→目标区域，最终映射=映射₂∘映射₁STEP2关键技巧选择两圆交点映射到0和∞，可将月牙域化为角形域或带形域，大幅简化问题STEP3区域追踪每一步映射后都要用取点法确认区域方位，避免复合后区域对应关系出错复合映射公式w=f₂(f₁(z))=(f₂∘f₁)(z)Summary五类题型解法总结分式线性映射的计算题型可归纳为五大类，每类有对应的标准解法。核心方法始终是交比法和两类通用公式，辅以取点法验证区域。掌握这五类题型的解法模式，即可应对绝大多数考试和应用场景