问题描述
考虑 平面上的三角形区域 ,其边界由 , , 给出。对于以下变换,绘制 在 平面上的影像区域 ,并给出区域边界的方程:
- ;
- ;
- 。
步骤
将复平面 -平面中的区域 映射到 -平面,通常步骤如下:
1. 在 -平面表征区域 :
将区域的边界用方程或参数形式表示。例如本题三角形区域
先确认这三条直线的交点,进而确定三角形三个顶点。
2. 将边界线逐条带入变换 :
- 当 是仿射变换(例如 ,其中 )时,直线映射仍然是直线,圆映射仍然是圆或直线;因此可以将边界的直线方程变换到 -平面得到新直线方程。
- 当 是非线性变换(例如 ),需要用参数法(或直接消元)求出映射曲线的明式方程。
3. 找出变换后区域 的边界方程:
将上一步得到的三个映射结果写清楚:它们在 -平面是三条什么曲线(或直线),然后就能圈出对应的三角形或其它形状。
变换类型
一、仿射变换
仿射变换具有形如
的形式。记 ,将 写成
则
如果 ,,则
因此
在这种变换下:
-
直线 在 -平面上,会映射成 -平面上一条仍是直线的方程,可通过消去 得到。
-
如果仅是平移 ,那 ,边界线方程非常容易转换:
- 变为 ;
- 变为 ;
- 变为 之类的简单直线方程。
示例(第一问)
则 ,。记 ,。由平移可知
边界直线:
- ;
- ;
这三条即是 -平面的三条直线方程。
二、非线性变换
若
不是单纯的线性/仿射(如 、 等),那直线一般会映射成圆或二次曲线。常用做法是:
-
给直线参数
比如本题中边界线 ,可写成然后代入 。如果能将 消去,就能得到 -平面的隐式方程;或者也可以直接把它当成参数方程。
-
找顶点映射
由于是三角形,映射后依然可以在曲线上找到对应的顶点,并将三条曲线连接起来。
示例(第三问)
- 对边界 ,令 。 记 ,则 消去 可得 ,再带回 ,即 在 -平面是抛物线。同理可处理 和 两条边界。
小结
-
线性/仿射变换:
- 直线 直线,圆 圆/直线,方便直接写出新方程;
- 可先把顶点坐标带入 ,也可以将直线方程 直接转换。
-
非线性变换:
- 多用“参数法”或“消元法”获取映射曲线;
- 注重顶点映射,结合三条边界映射曲线画出新的区域形状。
以上是一般化的基本思路。先理解“直线 直线/曲线”的规律,再针对线性与非线性分别处理,就能有条不紊地求得边界方程与映射后的区域。
Cyletix
我有一个疑问, 这里能这么做,其实是假设w能够写成的形式,但是你怎么知道一个复平面下变换后的新坐标下,曲线能写成这样?是否会出现实部和虚部不能分成加法的形式的可能性?
当我们说“”时,实际上利用的是“复数与的一一对应”。不管你怎么把映射到,只要还在同样的复平面(或者说是本身,而不是跳到别的更抽象的空间),那就一定能找到“实部”和“虚部”两个实数,使得
这是复数最基础的定义特性:任何复数都可以分解成“实数部分”加“虚数部分乘”的形式。
在你提到的映射或“坐标变换”场景中,出现的典型映射诸如
它们最终的像仍然是一个复数,因此依然可以写成
不会出现“实部和虚部不能分成加法的形式”这种情况。
简而言之:
- 只要映射结果还在中,就一定是个复数。
- 任何复数都能无歧义地分解成。
- 在做几何或代数运算时,与可视为在中的两个坐标分量,这和普通的“在二维坐标系中”是同一个道理。
因此,你看到我们在做“”之类的变换时,最后总能写出
并不需要额外假设“能拆”或“不能拆”;这是复数天生就带有的一种结构。只要还是在复平面里,的实部和虚部就一定存在且能分离出来。