§6.3 惟一决定分式线性映射的条

§6.3惟一决定分式线性映射的条件复变函数与积分变换·第六章共形映射Contents本节内容概览§6.3惟一决定分式线性映射的条件01分式线性映射基础回顾02唯一决定条件的核心理论03映射公式推导与特殊情况04圆周到圆周映射定理05区域映射的判断方法06典型例题详解07分式线性映射的性质与应用CHAPTER01分式线性映射基础回顾从定义到基本性质，建立知识衔接§6.3·ComplexAnalysis分式线性映射的定义分式线性映射是复变函数中最基本的共形映射形式，由四个复常数参数决定，其核心约束条件ad−bc≠0保证了映射的保角性和非退化性。01映射定义—分式线性映射的一般形式为w=f(z)=(az+b)/(cz+d)，其中a,b,c,d均为复常数，z与w为复平面上的点。02核心约束—要求ad−bc≠0，此条件保证映射具有保角性（共形性），同时避免映射退化为常数函数。03特殊情形—当c=0时，映射退化为整线性映射w=αz+β（α≠0），这是分式线性映射的一种重要特殊形式。04基础地位—分式线性映射是最简单的共形映射，也是共形映射一般理论的基础工具和出发点。GeneralForm

w=f(z)=az+b

cz+d

Constraintad−bc≠0SpecialCase·c=0w=αz+β(α≠0)MöbiusTransformation§6.3·Decomposition分式线性映射的分解任何分式线性映射都可以分解为平移、旋转伸缩和反演三种基本变换的复合，这种分解揭示了分式线性映射的几何本质。整线性映射当c=0时，分式线性映射退化为w=(a/d)z+b/d，这是平移与旋转伸缩的复合变换，属于整线性映射的范畴。此时映射在整个复平面上解析，无奇点。c=0代数分解当c≠0时，通过代数变形可得w=(bc−ad)/(c²·(z+d/c))+a/c。这一表达式清晰展示了映射可分解为平移、反演、旋转伸缩和平移四种基本变换的复合过程。c≠0基本变换分式线性映射由三种基本变换构成：平移w=z+b、旋转伸缩w=az（a≠0）、以及反演w=1/z。这三种变换是构建所有分式线性映射的基石，各自具有明确的几何意义。3Types性质继承平移、旋转伸缩和反演均保持角度不变（保角性），并将圆周映射为圆周或直线（保圆性）。作为这些变换的复合，分式线性映射自然继承了保角性与保圆性这两大核心几何性质。Invariant§6.3·分式线性映射参数分析：三个独立常数分式线性映射虽然形式上有四个参数，但由于分子分母可以同除以一个非零常数而不改变映射本身，实际上只有三个独立参数，这从理论上预示了三对对应点可以唯一决定映射。01四参数形式分式线性映射w=(az+b)/(cz+d)形式上有四个复参数a,b,c,da,b,c,d∈ℂ02消除一个自由度至少有一个参数不为零，可对分子分母同除以该参数，消除一个自由度−1自由度03三个独立常数分式线性映射实际上只依赖于三个独立常数，而非表面上的四个参数3个独立参数04理论依据这一参数分析为"三对对应点唯一决定映射"提供了理论依据和直觉支撑3对→唯一映射CHAPTER02唯一决定条件的核心理论三对对应点唯一决定分式线性映射§6.3惟一决定分式线性映射的条件定理6.9：三对对应点唯一决定映射定理6.9是分式线性映射理论的基石，它表明任意给定z平面和w平面上各三个相异点，存在且仅存在一个分式线性映射将它们一一对应，这为构造特定映射提供了理论保证。01在z平面上任意给定三个相异的点z₁,z₂,z₃，作为映射的起始条件。这三个点确定了复平面上的一个参考框架，为后续映射的建立奠定基础。Z平面02在w平面上也任意给定三个相异的点w₁,w₂,w₃，作为映射的目标。目标点的选择决定了映射的几何变换特性，如保圆性、保角性等。W平面03则存在唯一的分式线性映射，将zₖ分别映射成wₖ（k=1,2,3）。该映射可显式构造，通过交比公式直接求解。一一对应04该定理从存在性和唯一性两个层面给出完整结论，是构造分式线性映射的理论基础。在实际应用中，常利用此定理将特定区域映射为标准区域。存在+唯一§6.3惟一决定分式线性映射的条件定理的几何意义与重要性定理6.9的几何意义在于：三对对应点如同三个"锚点"，一旦确定就固定了整个复平面的映射关系，这类似于用三个点确定一个平面几何变换，体现了分式线性映射的刚性特征。锚点固定三个点对相当于"锚点"，确定后整个复平面的映射关系随之固定，不容任意改变。三对对应点仿射类比平面上仿射变换由三对对应点唯一确定，分式线性映射具有类似的确定性质。仿射变换唯一性保证不存在两个不同的分式线性映射将同样的三点映射到同样的三点，保证映射唯一。映射唯一构造指导该定理为实际构造满足特定条件的分式线性映射提供了明确的方法论指导。方法论§6.3·ProofStrategy定理证明思路分析定理6.9的证明分为唯一性和存在性两部分：唯一性通过反证法证明，若两个映射在三点上取值相同则必相等；存在性通过显式构造公式直接给出满足条件的映射。01唯一性证明假设存在两个映射f和g都将zₖ映射为wₖ，则复合映射f∘g⁻¹保持三点不动。这一假设为后续推导奠定基础。02恒等映射判定利用分式线性映射的性质可证，保持三点不动的映射只能是恒等映射。因此f∘g⁻¹=id，故f=g，唯一性得证。03存在性构造通过显式构造交比公式直接给出满足条件的映射表达式。交比(z,z₁,z₂,z₃)将三点分别映射到0,1,∞，再通过线性变换调整至目标点。04几何意义完整证明涉及交比的不变性，体现了射影几何与复分析的深刻联系。交比在分式线性变换下保持不变的性质是证明的核心工具。§6.3·惟一决定分式线性映射的条件唯一性定理的等价表述唯一性定理的另一种表述是：若两个分式线性映射在三个相异点上取值相同，则这两个映射必然相等。这种表述形式与解析函数的唯一性定理相呼应，但分式线性映射仅需三点即可确定。01等价表述：若f(z)和g(z)都是分式线性映射，且在三个相异点上f(zk)=g(zk)，则f≡gf≡g02对比解析函数唯一性定理：解析函数需要在一个聚点集上相等才能确定相等聚点集03分式线性映射只需三点即可确定，体现了其参数空间的有限维特性（三个复参数）三个复参数04该等价形式在实际应用中常用于验证两个映射是否相同验证等价CHAPTER03映射公式推导与特殊情况从交比不变性到显式构造公式§6.3·CrossRatio映射的一般公式基于交比不变性原理，三对对应点确定的分式线性映射可由交比等式显式给出，该公式将z平面上的点与w平面上的对应点通过交比关系联系起来，是实际计算的核心工具。交比不变性等式交比不变性是分式线性映射的核心性质，建立了z平面与w平面对应点之间的代数关系。(w−w₁)/(w−w₂)÷(w₃−w₁)/(w₃−w₂)=(z−z₁)/(z−z₂)÷(z₃−z₁)/(z₃−z₂)求解显式表达式将交比等式进行代数整理，通过交叉相乘和移项运算，可解出w关于z的显式表达式。所得结果即为所求的分式线性映射w=f(z)，可直接用于数值计算。公式验证条件该公式自动满足三对对应点的映射要求，可直接验证其正确性：z=z₁→w=w₁；z=z₂→w=w₂；z=z₃→w=w₃通用解法该公式是分式线性映射构造问题的通用解法，具有理论完备性和计算实用性双重优势。适用于所有有限点的情形，是复变函数中保角映射计算的标准工具。§6.3·SPECIALCASE无穷远点的特殊处理当三对对应点中出现无穷远点时，映射公式中包含无穷远点的部分应替换为1，这一规则源于极限过程，确保了公式在扩充复平面上的普遍适用性。RULE特殊规则——若zₖ或wₖ（k=1,2,3）中出现∞，则将公式中包含∞的部分改为1CASE示例——若z₂=∞，则(z−z₂)/(z₃−z₂)替换为1，公式变为(w−w₁)/(w−w₂)·(w₃−w₂)/(w₃−w₁)=(z−z₁)/(z₃−z₁)PROOF数学依据——当z₂→∞时，(z−z₂)/(z₃−z₂)→1，这是极限过程的自然结果SCOPE普遍适用性——该规则使公式在扩充复平面上涵盖所有可能的点对配置§6.3·分式线性映射无穷远点情形的公式变形根据无穷远点出现的位置不同，映射公式呈现多种变形形式，掌握这些变形是灵活应用公式的关键，每种情形都可通过取极限的方法严格推导验证。CASE01z₂=∞的情形公式：(w−w₁)/(w−w₂)·(w₃−w₂)/(w₃−w₁)=(z−z₁)/(z₃−z₁)原式中(z−z₂)/(z₃−z₂)项因z₂→∞而取极限为1limz₂→∞CASE02w₃=∞的情形公式：(w−w₁)/(w−w₂)=(z−z₁)/(z−z₂)·(z₃−z₂)/(z₃−z₁)原式中(w₃−w₁)/(w₃−w₂)项因w₃→∞而取极限为1limw₃→∞CASE03z₁=∞且w₁=∞公式：(w−w₂)/(w₃−w₂)=(z−z₂)/(z₃−z₂)两端同时消去含无穷远的项，形式最为简洁limz₁,w₁→∞CHAPTER04圆周到圆周映射定理分式线性映射的保圆性及其应用§6.3·THEOREM6.10定理6.10：圆周到圆周映射定理6.10揭示了分式线性映射的保圆性：扩充复平面上的任何圆周（含直线）都可映射为扩充平面上的任何圆周，这一性质源于分式线性映射可分解为保持圆性的基本变换之复合。陈述01定理陈述扩充z平面上任何一个圆周C，可用分式线性映射映射为扩充w平面上的任何圆周Γ注释02重要注释本定理中的"圆周"是广义概念，包括直线（可视为通过∞的圆）本质03几何本质分式线性映射的四种基本分解变换都保持圆性，故复合变换也保持圆性应用04区域映射基础确定了边界圆周的像，即可确定整个区域的像§6.3·惟一决定分式线性映射的条件保圆性的证明思路分式线性映射的保圆性源于其基本分解：平移和旋转伸缩显然保持圆性，反演变换w=1/z也可证明将圆映射为圆或直线，因此它们的复合必然保持圆性。01平移变换w=z+b圆心平移，半径不变，显然保持圆性02旋转伸缩变换w=az圆心旋转伸缩，半径按比例变化，保持圆性03反演变换w=1/z可证明将圆映射为圆或直线（过原点的圆映射为直线）04复合映射f₁∘f₂∘f₃三种基本变换均保持圆性，故其复合——分式线性映射也保持圆性§6.3惟一决定分式线性映射的条件三点确定圆周映射结合唯一决定定理与保圆性定理可得：若在圆周C上选三点z₁,z₂,z₃，在圆周Γ上选三点w₁,w₂,w₃，则将zk映射为wk的分式线性映射必然把C映射为Γ，这为区域映射提供了实用方法。步骤一选取对应三点在圆周C上选取三个相异点z₁,z₂,z₃，在圆周Γ上选取三个相异点w₁,w₂,w₃，建立点与点之间的对应关系zₖ→wₖ步骤二映射保圆性将zₖ映射为wₖ的分式线性映射，必然把整个圆周C映射为圆周Γ，保持圆的几何特性不变C→Γ步骤三唯一性证明三点唯一确定一个圆，分式线性映射保持圆性，故C的像必为通过w₁,w₂,w₃的圆，唯一确定三点定圆步骤四桥梁作用该结论将"点的映射"与"圆的映射"联系起来，是构造区域映射的关键桥梁，实现从点到面的扩展区域映射CHAPTER05区域映射的判断方法确定圆周内部映射为内部还是外部§6.3·MappingDuality区域映射的二元性C映射为Γ时，内部只能整体映射为Γ的内部或外部，源于一一对应与连续性。01内部映射的二元选择当分式线性映射将圆周C映射为Γ时，C的内部要么映射为Γ的内部，要么映射为Γ的外部，不存在第三种可能。内部↔外部02部分映射的不可能性不可能出现C的内部一部分映射为Γ的内部，另一部分映射为Γ的外部的混合情况。不可能03反证法证明若出现部分在内、部分在外的情况，则存在两个不同点被映射为同一点，违反分式线性映射的一一对应性。反证法04区域判断的简化该二元性简化了区域判断问题：只需检验一个内点的像，即可确定整个区域的映射方向。一个内点§6.3分式线性映射方法一：取内点检验法取内点检验法是最直接的区域判断方法：在C的内部任取一点z₀，计算其像w₀，若w₀在Γ内部则C的内部映射为Γ的内部，否则映射为Γ的外部。01在圆周C的内部任取一点z₀，计算其像w₀=f(z₀)02若w₀落在Γ的内部，则C的内部整体映射为Γ的内部03若w₀落在Γ的外部，则C的内部整体映射为Γ的外部04实用技巧：常取圆心作为检验点，因为圆心的像通常较易计算映射关系示意z₀Cw=f(z)→w₀Γz平面w平面检验w₀与Γ的位置关系即可判定映射方向§6.3惟一决定分式线性映射的条件方法二：绕向判断法绕向判断法利用三点在圆周上的行进方向与区域位置的关系：若C上三点的绕向使得内部在左侧，且像点在Γ上保持相同的绕向-区域关系，则内部映射为内部，否则映射为外部。01选取三点，确定绕向在圆周C上任取三点z₁,z₂,z₃，确定它们在C上的绕向（顺时针或逆时针）。这一绕向决定了观察者沿三点行进时，圆内部区域位于行进方向的左侧还是右侧。02像点形成对应绕向像点w₁,w₂,w₃在Γ上也形成相应的绕向。通过比较原像点与像点的绕向关系，可以建立两个圆周区域之间的对应法则。03绕向相同→内部映射内部若w₁,w₂,w₃在Γ上的绕向与z₁,z₂,z₃在C上的绕向相同，则C的内部映射为Γ的内部。此时分式线性变换保持区域的定向，内部点仍映射为内部点。04绕向相反→内部映射外部若绕向相反，则C的内部映射为Γ的外部。此时分式线性变换反转区域的定向，原内部点映射为外部点，这在共形映射的边界对应问题中需要特别注意。§6.3·惟一决定分式线性映射的条件两种方法的对比与选择取内点检验法与绕向判断法各有优势：前者计算直接、适合代数运算场景；后者几何直观、适合图形分析场景。实际应用中可根据具体问题选择或相互验证。01取内点检验法◆核心优势：计算直接，只需算一个点的像通过选取圆内任意一点，计算其在分式线性映射下的像点位置，即可判断区域的对应关系。代数运算简洁明了，适合程序化实现。◆适用场景：圆心和像圆方程易确定时当给定圆的方程明确、圆心坐标易求，且映射后的像圆方程可快速确定时，此方法效率最高。◆注意事项：检验点必须在C的内部选取的检验点必须严格位于原圆内部，若点在圆上或外部，判断将失效。02绕向判断法◆核心优势：几何直观，可从图形直接判断利用边界曲线的定向与区域位置的内在联系，通过观察绕向即可确定像区域的位置，无需具体计算像点坐标。◆适用场景：图形清晰、绕向易判断时当圆的图形已给出、三点的顺序明确可见，或需要快速定性分析时，此方法最为便捷。◆注意事项：需正确理解绕向与区域的关系左手定则确定区域：沿边界正向行进时，左侧即为所围区域。正向定义为逆时针绕向。CHAPTER06典型例题详解从基础计算到综合应用的完整演练§6.3惟一决定分式线性映射的条件例1：基础三点对映射例1展示了标准的三对对应点映射构造方法：将z₁=-1,z₂=i,z₃=1映射到w₁=-1,w₂=0,w₃=1，通过代入交比公式并化简，得到映射w=(z+iz)/(1+iz)。01已知条件z₁=−1，z₂=i，z₃=1分别映射为w₁=−1，w₂=0，w₃=102代入交比公式(w−w₁)/(w−w₂)·(w₃−w₂)/(w₃−w₁)=(z−z₁)/(z−z₂)·(z₃−z₂)/(z₃−z₁)

03代入数值(w+1)/w·1/2=(z+1)/(z−i)·(1−i)/2

04化简结果w=(z+iz)/(1+iz)即为所求分式线性映射§6.3·分式线性映射例2：含无穷远点的映射例2演示了当对应点中出现无穷远点时的处理方法：将z₃=∞映射为w₃=i时，公式中含z₃的项替换为1，体现了无穷远点处理规则的实际应用。01已知条件z平面三点：z₁=0，z₂=1，z₃=∞映射w平面三点：w₁=1，w₂=1+i，w₃=i02无穷远点替换由于z₃=∞，交比公式中含z₃的项(z−z₃)/(z₂−z₃)在极限下替换为103代入化简(w−1)/(w−1−i)·(i−1−i)/(i−1)=(z−0)/(1−0)04最终结果w=((i−1)z+1)/((i−1)z+i)COMPLEXMAPPING·EXAMPLE3例3：两圆弧区域的映射复杂区域映射策略：先确定边界圆弧交点的像，再确定圆弧的像，最后利用区域判断方法确定映射结果。01题目圆心分别在特定位置、半径已知的两圆弧所围区域，求映射到标准区域的分式线性变换。02第一步：确定交点的像确定两圆弧交点的像，通常将交点映射为0和∞，使圆弧简化为射线。03第二步：确定圆弧的像交点映射为0和∞后，过这两点的圆弧变为从原点出发的两条射线，构成角形区域的边界。04第三步：判断区域方向利用取内点法判断区域映射方向，确定最终像区域为两条射线之间的角形区域。§6.3·ComplexAnalysis例4：上半平面到单位圆的映射上半平面到单位圆的映射是共形映射中的经典问题，其一般形式为w=e^(iθ)·(z-α)/(z-ᾱ)，其中α是上半平面内的点，映射将α映到圆心0，实轴映到单位圆周。01问题目标求将上半平面Im(z)>0映射到单位圆|w|<1的分式线性映射，满足共形性条件，保持角度不变，实现区域间的保角变换02一般形式w=e^(iθ)·(z−α)/(z−ᾱ)，其中Im(α)>0确定上半平面内点，θ为实数参数控制旋转03几何意义α映射为圆心0，ᾱ映射为∞（无穷远点），实轴映射为单位圆周|w|=1，建立边界对应关系04参数确定参数θ提供旋转自由度，可根据额外的对应点条件（如指定某点映射到特定位置）唯一确定映射§6.3·ComplexAnalysis例5：单位圆到单位圆的映射单位圆到单位圆的分式线性映射具有形式w=e^(iθ)·(z-α)/(1-ᾱz)，其中|α|<1，该形式利用反演点对保证圆周映射到自身。01问题：求将单位圆|z|<1映射到单位圆|w|<1的分式线性映射02映射的一般形式：w=eiθ·(z−α)/(1−ᾱz)，其中|α|<1，θ为实数|α|<103核心机制：α与1/ᾱ是关于单位圆周的反演点对，保证圆周映射到圆周α↔1/ᾱ04特殊情况：当α=0时，映射退化为纯旋转w=eiθ·zα=0Chapter07分式线性映射的性质与应用核心性质总结与典型应用场景COMPLEXANALYSIS·复变函数分式线性映射的核心性质分式线性映射具有五大核心性质：保角性、保圆性、一一对应性、保对称性和唯一决定性，这些性质相互关联，共同构成了分式线性映射理论的完整框架。保角性保持曲线间的交角不变（包括角度大小和方向），这是共形映射的本质特征共形保圆性将扩充复平面上的圆周（含直线）映射为圆周，是几何应用的基础圆周一一对应性在扩充复平面上是双射，存在逆变换且逆变换也是分式线性映射双射保对称性关于圆周的对称点经映射后仍关于像圆周对称，是构造映射的重要工具对称唯一决定性三对对应点唯一确定映射，是实际构