找回密码
 欢迎注册
楼主: hujunhua

[讨论] 由三角形引导的一个几何变换——三坐标反演

[复制链接]
发表于 2019-3-19 14:16:02 | 显示全部楼层
8#的汇总的信息加上9#验证充分说明了这个变换和平面中反演变换的密切关系。那么两者是否真的有关系呢?

考察基于三角形`\triangle AIJ`的这种几何变换,且将它记为 `Q`。这里`A`仍然为`(0,0,1)`, `I,J`即圆环点`(1,i,0),J(1,-i,0)`.
将三坐标反演记为 `T`, 即\[
T(x,y,z)=\left(\frac1x,\frac1y,\frac1z\right)\]将复射影平面上三角形`\triangle AIJ`至`\triangle ABC`的一个仿射变换记为 `P`, 由\[
P^{-1}:=\begin{pmatrix}\frac12&\frac12&0\\\frac i2&\frac{-i}2&0\\0&0&1\end{pmatrix}\to P=\begin{pmatrix}1&-i&0\\1&i&0\\0&0&1\end{pmatrix}
\]这里`P^{-1}`中两个圆环点的隐形系数设为1/2是精心选择的, 为的是使后面得到的 `P` 的系数简明,并使最后得到的变换间的对应关系直接。
由于这种基于三角形的几何变换在仿射变换下得以保持,即有\[
PQ=TP\]所以,\[\D \begin{split}
Q(x,y,z)^t&=P^{-1}TP(x,y,z)^t\\&=P^{-1}T(x-yi,x+yi,z)^t\\&=P^{-1}\left(\frac{x+yi}{x^2+y^2},\frac{x-yi}{x^2+y^2},\frac1z\right)^t\\&=\left(\frac{x}{x^2+y^2},\frac{-y}{x^2+y^2},\frac1z\right)^t
\end{split}\]特别的,将齐次坐标中z坐标化为常数$1$,便得到通常非齐次坐标下的复反演\[
f(Z)=\frac1Z
\]与通常的圆反演\[
\Omega : (x,y) \to \left(\frac{x}{x^2+y^2},\frac{y}{x^2+y^2}\right)
\]仅相差一个沿x轴的反射(取复共轭)而已,这个差别完全可以忽略不计了。即圆反演(复反演)与三坐标反演的关系为\[
\Omega=Q=P^{-1}TP
\]或者,反过来表示从复反演得到三坐标反演\[
T=P\ \Omega P^{-1}
\]通过一个复射影将圆反演化为三坐标反演,能够更清楚展现了反演变换的细节,比如可以看出变换不只有一个奇异点,而是同时在无穷远直线和另外两条虚直线上也是奇异的。

点评

漂亮!  发表于 2019-3-19 15:47
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-3-19 14:45:26 | 显示全部楼层
wayne 发表于 2019-3-19 13:19
老胡 很有创造性,赞赞赞


不算我的创造吧。
概念源自mathe要求讨论那个基于圆的变换。
我并未细究那个变换,只是凭直觉投了反对票,并试图改进构造。
然后推导过程中发现在代数上很优美,也有一些有趣的结果。

也是我没有星空那么强大的暴力,不敢直接在平面坐标系中推导。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-3-19 14:58:50 | 显示全部楼层
mathe 发表于 2019-3-19 14:16
8#的汇总的信息加上9#验证充分说明了这个变换和平面中反演变换的密切关系。那么两者是否真的有关系呢?
由 ...


确实关系密切。
一个作总量反演,一个同时进行各分量反演,这就存在投影关系。
这种联系使得我们可以将平面上圆反演的一些关于圆和直线的陈述对应到三坐标反演中来,吃现成饭。

在此把11#的 $PQ=TP$ 作 一个补充说明(2019.4.17补)

后面我们知道,由三角形引导的这种几何变换称为等分共轭,这名字不错。
我们已经明确了基于三点形`A(1,0,0), B(0,1,0), C(0,0,1)`的等分共轭的代数式为三坐标反演,我们记为`T`。三基点的坐标矩阵是三阶单位阵`I_{3\times3}`。
我们将基于一个其它三点形 `A'B'C'`的等分共轭的代数式记为`T'` . 记三基点的坐标矩阵为`P`. 由于ABC的坐标矩阵为单位阵,故有\[P(ABC)=A'B'C'\to P^{-1}(A'B'C')=ABC\]
对于平面上一点 `X(x,y,z)`, 假定 `X'(x',y',z')=T(X)`, 即 `xx'=yy'=zz'`
设 `Y=P(X), Y'=P(X')`, 由于同时有`P(ABC)=A'B'C'`, 总之有\[P(ABCXX')=A'B'C'YY'\]而等分共轭关系在 `P` 作用下是不变的,所以 \[T(X)=X'\to T'(Y)=Y'\]代换可得\[
T'P(X)=P(X')=PT(X)
\]即\[PT=T'P\]注意,此处的 `P` 相当于 11# 和 24# 的 `P^{-1}`.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-3-20 17:03:25 | 显示全部楼层

三坐标反演下的不变点集

三坐标反演大体上是一个对合(顶点和边上的点除外),所以每一对对合点就是一个非空的最小不变点集。
较大的不变点集都是这些最小不变点集的并。
我们感兴趣的是其中的代数曲线类。
前面的一个命题已经揭示一类不变二次曲线。
EA6DB159-8B21-47F1-95CF-DF9919FD887D.png
如图,其中的六边形阴影的边界是一个不变点集,对边上的点互相对合。
显然,可以由这个六边形的顶点连一条不变的光滑凸曲线,如图中红线所示。
我们感兴题的是其中次数最低者。非分段更好。

猜想\[\frac{x^2}{y^2}+\frac{y^2}{z^2}+\frac{z^2}{x^2}=c>3\]是一个。@wayne有无兴趣给画画看,俺还画不好

点评

曲面被平面x+y+z=1所截的曲线  发表于 2019-3-20 18:44
是三维空间的,还是按照$z=1$处理  发表于 2019-3-20 18:25
这个方程我应该怎么理解,看上去很神秘  发表于 2019-3-20 18:09
我这是用六段圆弧近似的  发表于 2019-3-20 17:58
额,老大你画的很好了  发表于 2019-3-20 17:51
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-3-20 18:58:24 | 显示全部楼层
@wayne 方程应该是\[\frac{x^2}{y^2}+\frac{y^2}{z^2}+\frac{z^2}{x^2}+\frac{y^2}{x^2}+\frac{z^2}{y^2}+\frac{x^2}{z^2}=c>6\]才是变换下不变的。

点评

形式上确实对称了,^_^  发表于 2019-3-20 19:29
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-3-20 19:14:29 | 显示全部楼层
  1. n = 10; c = 10;
  2. ContourPlot3D[{x^2/y^2 + x^2/z^2 + y^2/x^2 + y^2/z^2 + z^2/x^2 + z^2/
  3.      y^2 == c, x + y + z == c}, {x, -n, n}, {y, -n, n}, {z, -n,
  4.    n}] // Quiet
复制代码


c.png

点评

健康很重要。都不容易...  发表于 2019-3-20 19:43
哈哈,老大观察的真细心,我特地选的这个视角,为的就是尽可能的切合你前面说的六边形边界线  发表于 2019-3-20 19:39
视角选的不错。这么画我也会呀,不过我两天要在医院里陪病号。  发表于 2019-3-20 19:34
不错不错,这个方程果然比较吻合。  发表于 2019-3-20 19:29
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-3-20 19:26:07 | 显示全部楼层
  1. n = 5; c = 8;
  2. ContourPlot3D[{x^2/y^2 + x^2/z^2 + y^2/x^2 + y^2/z^2 + z^2/x^2 + z^2/
  3.      y^2 == c, x + y + z == 1}, {x, -n, n}, {y, -n, n}, {z, -n,
  4.    n}] // Quiet
复制代码

c.png

  1. n = 5; c = 8;
  2. ContourPlot[{x^2/y^2 + x^2/(1 - x - y)^2 + y^2/x^2 +
  3.      y^2/(1 - x - y)^2 + (1 - x - y)^2/x^2 + (1 - x - y)^2/y^2 ==
  4.     c}, {x, -n, n}, {y, -n, n}, PlotPoints -> 50] // Quiet
复制代码


d.png

点评

我想想怎么变换过来。。。  发表于 2019-3-20 21:04
我表示射影几何我还不会玩,功课没做足,惭愧  发表于 2019-3-20 21:04
下面这个是截线在xoy面上的投影,也不错,能看出截线的概貌。  发表于 2019-3-20 19:49
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-3-20 21:26:20 | 显示全部楼层
hujunhua 发表于 2019-3-20 18:58
@wayne 方程应该是\[\frac{x^2}{y^2}+\frac{y^2}{z^2}+\frac{z^2}{x^2}+\frac{y^2}{x^2}+\frac{z^2}{y^2}+ ...


老胡是不是想找满足6个点的代数曲线?

\({x=\frac{2}{3},y=\frac{1}{6},z=\frac{1}{6}}\)

\({y=\frac{2}{3},x=\frac{1}{6},z=\frac{1}{6}}\)

\({z=\frac{2}{3},x=\frac{1}{6},y=\frac{1}{6}}\)

\({x=\frac{1}{9},y=\frac{4}{9},z=\frac{4}{9}}\)

\({y=\frac{1}{9},x=\frac{4}{9},z=\frac{4}{9}}\)

\({z=\frac{1}{9},x=\frac{4}{9},y=\frac{4}{9}}\)

点评

差不多,并且要在三坐标反演下为不变曲线。  发表于 2019-3-20 22:11
而不是我在17楼那样的直接投影到xoy平面上  发表于 2019-3-20 21:34
如16楼所示  发表于 2019-3-20 21:33
想把x^2/y^2 + x^2/z^2 + y^2/x^2 + y^2/z^2 + z^2/x^2 + z^2/y^2 == c 与 x + y + z == c的相交曲线在 x+y+z=1的平面上画出来,转化成二维的直角坐标系。  发表于 2019-3-20 21:31
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-3-20 22:14:56 | 显示全部楼层
带了个平板,下了个Visual math4D,还不怎么会用。
DB47711D-D750-4DFB-8ED2-437385FC3A2E.png
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-3-20 22:19:39 | 显示全部楼层
x^2/y^2 + x^2/z^2 + y^2/x^2 + y^2/z^2 + z^2/x^2 + z^2/y^2 == c 与 x + y + z == c的相交曲线只能出现在x + y + z == c平面上啊
除非投影

点评

再把整体旋转几下子,使得平面 x+y+z=1 变成 平面 z=0,再来看相交曲线  发表于 2019-3-20 22:39
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-3-29 23:34 , Processed in 0.053653 second(s), 18 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表