平面与空间射影几何小结——空间射影几何

最新推荐文章于 2024-05-05 01:31:32 发布
最新推荐文章于 2024-05-05 01:31:32 发布
阅读量3.1k 收藏 11
点赞数 1
分类专栏： 计算机视觉——射影几何
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44995665/article/details/100988167
版权

平面与空间射影几何小结——空间射影几何

射影空间

在这里插入图片描述

空间平面

在这里插入图片描述
在这里插入图片描述
平面在三维空间中有 3 自由度。

空间平面上的无穷远直线表示

无穷远直线=平面法向量
在这里插入图片描述
点在无穷远平面上，则w=0，且点还在平面上，所以得到上述方程。

平行关系判定

在这里插入图片描述

三点确定一个平面

在这里插入图片描述

  1. 三点不共线，确定一个平面。
  2. 三点共线，确定一个以直线L为轴的平面束。
三点确定平面的具体计算方法

在这里插入图片描述
另一种解法：
在这里插入图片描述

三个平面确定一点

一般位置上的三个平面能唯一确定一个点(有可能是无穷远点)。
在这里插入图片描述
如果三个面共一条直线 L，此时系数矩阵有二维(右)零空间，因而不能唯一确定点X，实际上在直线L上的所有点都满足方程。

平面点的参数化

在这里插入图片描述

空间直线

这是因为对于直线上任何一个异于A、B 的点C，有C = A + sB。

直线的点表示（矩阵W包含两个点）

在这里插入图片描述

L点束与过轴L平面束（W）

在这里插入图片描述

  1. 线性组合为L上的点束。
  2. 右零空间为过轴的平面束。

直线的面表示（矩阵W*包含两个面）

在这里插入图片描述
在这里插入图片描述

L点束与过轴L平面束（W*）
  1. 线性组合为过轴的平面束。
  2. 右零空间为L上的点束。

M与M矩阵（W与W的拓展）

在这里插入图片描述

直线的Plucker 矩阵表示（两点构成矩阵L）

L点束与过轴L平面束（Plucker L）

在这里插入图片描述

  1. 连结A，B 的直线是矩阵L的二维(右)零空间所确定的平面束的轴线。
    在这里插入图片描述
  2. 空间直线有4 个自由度。因为反对称矩阵L 有6 个非零元素，但仅有5个比率是有意义的，另外L 满足约束det(L)=0，所以直线的自由度是4。

直线的对偶Plucker 矩阵表示（两面构成矩阵L*）

在这里插入图片描述

L*与L的关系（表示同一条直线）

A、B在P、Q上，推得
在这里插入图片描述

Plucker 矩阵结论

L*与线外一点X确定一平面

在这里插入图片描述

直线与平面的交点

在这里插入图片描述

两(或更多)条线 L1, L2 的性质，可以由矩阵M = (L1, L2, …)的零空间推出。

在这里插入图片描述

直线的Plucker 坐标

Plucker 直线坐标是4×4 反对称Plucker 矩阵L 的六个非零元素，即在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

( L | L^）判断两直线相交（共面）

在这里插入图片描述
由于两直线L, Lˆ 相交的充要条件是 4点A, B, Aˆ , Bˆ 共面，而4 点共面等价于det(A,B, Aˆ ,Bˆ ) =0。于是，我们有下述结论：
在这里插入图片描述

共线平面束的交比

平面Mobius公式计算四共点线交比（将线束交比计算转换为点交比）
  1. 四该共线点的交比等于该线束的交比
  2. 设线束的交点为 o，{xˆ j : j =1,…,4}分别为这四条直线上不同于o 的点
    则四共点线的交比可由Mobius 公式计算：
    在这里插入图片描述
平面束的交比

在这里插入图片描述
四共线平面束被第五个平面所截，得到四条共点直线。定义平面束的交比为
在这里插入图片描述

共线平面束Mobius公式

在这里插入图片描述

三维射影变换

三维射影变换

三维射影变换是射影空间上的可逆齐次线性变换，这个变换可由4 × 4 的矩阵H 来描述：
X ′ = HX
三维射影变换有15 个自由度，即射影变换矩阵可由它的元素所构成的15个比值唯一确定。
三维射影变换将空间上的点(线、面)变换到点(线、面)，并且保持点的共线(面)性、线的共面性等性质。
任何三维射影变换的逆变换都是三维射影变换、任意两个三维射影变换的合成(对应于两个单应矩阵的积)也是三维射影变换。
因此，三维射影变换的全体构成三维射影空间上的一个变换群，称它为三维射影变换群。

点的射影变换规则（5 点确定三维射影变换）

在这里插入图片描述
在这里插入图片描述

平面与直线的变换规则

平面射影变换规则

在这里插入图片描述
在这里插入图片描述

直线Plucker 矩阵L的变换规则

在这里插入图片描述

二次曲面与变换规则

总的来说联立已知方程求解应该可得到相关性质。

二次曲面的基本性质

在这里插入图片描述
其中Q 是4×4 的对称矩阵。如果Q 是降秩的，则称它为退化二次曲面，否则称为非退化二次曲面。
性质：

自由度

在这里插入图片描述

直线与Q的交点

在这里插入图片描述

平面π 与二次曲面Q 的交是一条二次曲线；
二次曲面相交为四次曲线

在这里插入图片描述

非退化的二次曲面切面与切点

在这里插入图片描述

二次曲面的配极对应

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

二次曲面变换规则

在这里插入图片描述

二次曲面的对偶

  1. 空间曲面的对偶是指以该曲面的切平面为基本元素在对偶空间(面空间)中所构成的曲面，通常称对偶曲面。
  2. 在一般情况下，二次曲面的对偶仍为一个二次曲面。
  3. 令Q 是一个二次曲面，它的对偶曲面记为Q*，按照对偶曲面的定义Q的基本元素是Q 的切平面，也就是说它是Q 的所有切平面所构成的平面集合，而Q 是Q中的所有平面所形成的包络。
  4. 在计算机视觉中，二次曲面的对偶，尤其是锥面与空间二次曲线的对偶具有特别的重要性。

非退化二次曲面的对偶（det(Q) ≠ 0）

二次曲面的对偶仍为一个二次曲面。
切平面π满足
在这里插入图片描述
在这里插入图片描述

锥面的对偶（rank(Q) = 3）

由于rank(Q) = 3，所以 Q 有一维零空间，并且零空间的元素是锥面 Q 的顶点 V 的齐次坐标，即QV=0 的非零解。
在这里插入图片描述
在这里插入图片描述

  1. V的对偶空间：满足方程VTπ =0，将V的坐标直接作为面，将π作为点。
  2. 锥面母线L上的点，除顶点外，都有相同的切平面πL，即母线L上所有点的对偶是同一“点” πL。
  3. 当母线L 绕基线C 运动时，πL 在对偶空间中的轨迹将是“平面” V 上的一条“点”曲线。所以，锥面的对偶是一条平面曲线。
  4. Q+为Q的广义逆。
广义逆矩阵

在这里插入图片描述

空间二次曲线的对偶

用面围出二次曲线，总结这些面满足的方程
在这里插入图片描述
在这里插入图片描述

对偶二次曲面的变换规则

在这里插入图片描述

绝对二次曲线与绝对二次曲面

绝对二次曲线（无穷远面π∞上的二次曲线Ω∞）

圆环点的升级版，变成了线。
在这里插入图片描述
下面不加证明地引进一些常用性质：
平面圆环点确定思路：X在绝对二次曲线上，X在π平面上，x4=0，联立求解x1,2,3相差一个比例系数。
在这里插入图片描述
在这里插入图片描述

？空间中如何表示一个面的无穷远直线？

在这里插入图片描述

射影空间中两直线的夹角

在这里插入图片描述
在这里插入图片描述
基本思想：在无穷远平面上是成立的，利用射影变换H可以将欧氏空间变换到一般射影空间，并且射影变换将平面映射为平
面（平面射影变换）。

绝对二次曲面

（对偶二次曲线是过圆环点的所有直线束）Q*∞ 是所有与 Ω∞ 相切的平面所构成的集合。
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
绝对二次曲面在射影坐标系下有8 个自由度，因为它是退化的对偶二次曲面。这8个自由度也是在一般射影坐标系下确定度量性质所要确定的自由度。

两平面的夹角

在这里插入图片描述

代数表示的几何解释

在三维计算机视觉中，尤其在摄像机自标定与三维重构理论中，绝对二次曲线和绝对二次曲面处于十分重要的地位。
在这里插入图片描述

可以将绝对二次曲线作为球面Qr 在r → ∞时的极限。
在这里插入图片描述

三维射影变换群的子群

仿射变换群

在这里插入图片描述

仿射不变量

1． 保持无穷远平面不变，即将无穷远点变换到无穷远点；
2． 保持直线与直线、直线与平面以及平面与平面之间的平行性；
3． 保持物体的体积比、平行图形(或在同一平面上的图形)的面积比、平行线段(或在同一直线上的线段)的长度比不变。

相似变换群

在这里插入图片描述

相似不变量

相似变换除了仿射不变量作为它的不变量之外，最本质的不变性质是绝对二次曲线与绝对二次曲面。

等距变换群

如果限制U 是一个三维旋转矩阵，则上述变换称为欧氏变换。
在这里插入图片描述
在代数上，一个空间点X 是射影变换H 的不动点的充要条件是X 为H 的特征向量，即HX＝X
在这里插入图片描述
在这里插入图片描述

二次曲面的分类

度量分类

在这里插入图片描述
在这里插入图片描述
这里的A就是Q

仿射分类

在这里插入图片描述

射影分类

在这里插入图片描述

射影坐标系与射影坐标变换

在这里插入图片描述
其中u j不全为零。因为u j的比值不能唯一确定，必须再加约束条件。
在这里插入图片描述
此时
在这里插入图片描述

射影坐标系

特别地，A，B，C，D、E 的新齐次坐标分别为
在这里插入图片描述
这样建立起来的坐标系称为射影坐标系，并称A，B，C，D 所构成的4 面形为射影坐标系的4 面形；A，B，C，D、E 称为射影坐标系的基点(如图2.5.1 所示)。不难看出以欧氏坐标(或仿射坐标)为基础的齐次坐标系是一种特殊的射影坐标系。
在这里插入图片描述

射影坐标变换

在这里插入图片描述

YS_Wang
关注
  • 1
    点赞
  • 踩
  • 11
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
专栏目录
( 现代数学译丛-几何(第1卷)：群的作用、仿射与射影空间-[法]M.贝尔热-周克希＆陈志杰(译)-科学出版社-1987
10-01
( 现代数学译丛-几何(第1卷)：群的作用、仿射与射影空间
空间解析几何与微分几何
03-01
空间解析几何与微分几何 第一章 向量 第二章 平面与直线 第三章 二次曲面 第四章 等距变换 正交变换 仿射变换 第五章 射影平面 第六章 练习题 第七章 局部曲线论 第八章 整体曲线论 第九章 局部曲面论
射影几何 -- 空间射影几何 1
weixin_43575791的博客
05-19 865
在空间中点与平面是对偶的，而直线是自对偶的。 只要不同时为零， 就代表扩展空间(包括所有无穷远点的 三维空间)中的一个点，反之扩展空间中的每一点都可以用不同时为零的 4 个数构成的齐次坐标来表示；时代表有穷点(非无穷远点)， 时代表无穷远点。称这样扩展的三维空间为三维射影空间。不能作为三维射影空间中任何点的齐次坐标。 在三维射影空间中，平面方程为： 空间点的齐次坐标： 该平面的齐次坐标： 于是，平面方程： 三点确定一个平面 三点： 确定平面： 给定...
Plucker坐标与Plucker矩阵
最新发布
yjy420的博客
05-05 1690
Plucker坐标与Plucker矩阵 几何定义 假设x,y\mathbf{x}, \mathbf{y}x,y是直线上的点，直线的Plucker坐标表示为L:=(l,m)\mathbf{L}:=(\mathbf{l},\mathbf{m})L:=(l,m)，其中 l=y−x\mathbf{l}=\mathbf{y}-\mathbf{x}l=y−x m=x×y\mathbf{m}=\mathbf{x}\times\mathbf{y}m=x×y ∥m∥∣∣l∣∣\frac{\|\mathbf{m}\|}{||
MVG读书笔记——三维空间中的射影几何(一）
Faded
08-13 2250
前面讲了2D情况下的射影几何和射影变换，我们用到更多的则是3D情况下的射影几何。这里只需对一些概念进行推广即可。 ##三维齐次坐标
Multiple View Geometry(多视图几何)学习笔记（4）—1D 射影几何与交比
_微尘_的博客
05-09 1241
               1D 射影几何与交比   直线上的点xxx用齐次坐标表示为(x1,x2)T(x1,x2)T(x_1, x_2)^T ，而(x_1,0)^T是该直线的理想点。我们将用记号x¯x¯\bar{x}表示 2 维矢量(x1,x2)T(x1,x2)T(x_1, x_2)^T 。其可用齐次矩阵表示： x¯′=H2×2x¯x¯′=H2×2x¯\bar{x}^{'}=H_{2\ti...
射影几何 -- 空间射影几何 2
weixin_43575791的博客
05-19 1266
三维射影变换 三维射影变换是射影空间上的可逆齐次线性变换，这个变换可由 4 × 4 的矩阵 H 来描述：X ′ = HX 矩阵 H 称为射影变换矩阵或称为单应矩阵。三维射影变换有 15 个自由度 5 点确定三维射影变换：如果 5 个点对应中任意 4 点不共面，则它们唯一确定一个三维射影变换 平面与直线的变换规则 射影变换 H 对平面的变换规则是 射影变换 H 对直线 L 的变换规则是 其对偶形式是： 二次曲面与变换规则 二次曲面方程所定义：，其中 ...
射影几何(清晰稍描版)
09-15
射影几何全本，射影 几何 的理论和习题（f.艾利斯） 目前网络上已经基本找不到的 所以大家请尽快下哦 另外做图像处理，机器视觉类的朋友可以和我联系GIS QQ:22780878 备注：图像分析 谢谢大家支持，本人现在在做使用...
费城大学计算机系-仿射与射影几何
10-30
费城大学计算机系Postscript格式（ Jean Gallier ）共三章内容： 2. 仿射几何基础 48页 3. 仿射空间嵌入到矢量空间中 17页 4. 射影几何基础 70页
复射影空间中的极小曲面的几何 (2012年)
05-21
计算了法数量曲率，得到高斯曲率、K?hler角、第二基本形式长度的平方和法数量曲率之间的基本关系，还给出共形极小球面有常数K?hler角的条件．
射影几何讲义-中科院自动所
10-26
射影几何是研究图形的射影性质，即它们经过射影变换不变的性质。一度也叫做投影几何学，在经典几何学中，射影几何处于一种特殊的地位，通过它可以把其他一些几何联系起来。 射影几何的某些内容在公元前就已经发现...
线性子空间关系运算的Plucker坐标表示 (2001年)
05-24
本文讨论了线性子空间Plficker的线性表示,给出了Plucker关系式的矩阵形式,并由之导出了子空间关联关系、零化子空间、和子空间与交子空间Piucker坐标的矩阵表达式。
图像处理与计算机视觉：3D射影变换
乔卿的博客
07-16 520
仿射空间到相似空间确定无穷远直线（2D）/平面（3D）->确定对偶绝对二次曲线/曲面->变换到标准形式->将对偶绝对二次曲线/曲面进行奇异值分解。射影空间到仿射空间找到无穷远平面在射影空间的表示，变换到标准型，求出H。绝对二次曲线无穷远平面上的一条二次曲线，是无穷平面上的纯虚圆。无穷远平面的标准型(0,0,0,1)^T。当且仅当是仿射变换，绝对二次曲线是不动的。当且仅当是相似变换，绝对对偶二次曲面不动。确定虚圆点->绝对二次曲线相似空间。平行的平面相较于无穷远平面。确定无穷远平面仿射空间。......
计算机视觉中的数学方法——2空间射影几何——2.1 射影空间
YSWang的博客
09-14 3796
计算机视觉中的数学方法
3D射影几何和变换
看风景的人lsy
08-20 844
3为空间，点和平面对偶 平面上的点的参数表示：X=MxX=MxX=Mx，MMM 是4*3矩阵，其列生成πTπT\pi^T的秩为3的零空间，即πTM=0TπTM=0T\pi^TM=0^T 线的表示:A,BA,BA,B是直线上的点，P,QP,QP,Q是过直线的平面 W=[ATBT],W∗=[PTQT]W=[ATBT],W∗=[PTQT]W=\begin{bmatrix} A^T\\ B^T\end...
计算机视觉中的多视图几何 -- 射影空间与齐次坐标
迦小叶的博客
03-06 1087
计算机视觉中的多视图几何 引言 这篇是引言，主要对射影几何的来源、齐次坐标等进行一个高屋建瓴的阐述。 为什么需要射影空间 欧式几何是我们最熟悉的几何空间，描述了真实世界中物体的角度和形状。 但是它有一个特别麻烦的地方：为了推理该几何的一些基本概念，需要给出一些例外。比如直线的交点，我们不能大胆地说，两条直线都交于一点，因为有平行线的存在，一种弥补的方法是说平行线交于无穷远点，但在欧式空间中，并不能从代数上表示无穷远点，所以并不能让人信服。 射影空间则是规避这个问题而产生的，即在平行线的相交处补充无穷远点来
3D射影几何和射影变换
adventure2008的专栏
12-05 5289
点 三维空间的点X用齐次坐标表示为一个4维矢量X=(x1, x2, x3,x4)T. 当x4≠0时表示IP3中非齐次坐标为(X, Y, Z)T的点, 其中X=x1/ x4, Y= x2/ x4, Z= x3/x4. 当x4=0时表示无穷远点. IP3上的射影变换是由4×4非奇异矩阵给出, 它是关于齐次4维矢量的线性变换: X’=HX. 变换矩阵H是齐次的并有15个自由度. 矩阵的
计算机视觉中的数学方法——2.2三维射影变换
YSWang的博客
09-15 645
计算机视觉中的数学方法2.2 三维射影变换2.2.1 三维射影变换 2.2 三维射影变换 2.2.1 三维射影变换
射影几何 -- 空间射影几何 3
weixin_43575791的博客
05-20 1773
三维射影变换群的子群 仿射变换群 三维仿射变换是： ，其中 A 是一个 3 阶可逆矩阵 仿射不变量 1． 保持无穷远平面不变，即将无穷远点变换到无穷远点； 2． 保持直线与直线、直线与平面以及平面与平面之间的平行性； 3． 保持物体的体积比、平行图形(或在同一平面上的图形)的面积比、平行线段(或在同一直线上的线段)的长度比不变。 射影变换 H 保持无穷远平面不变的充要条件是 H 为仿射变换。 相似变换群 相似变换定义： ，其中，U 是三维正交矩阵，s 是相似比...
python 射影几何 直线绘制
05-30
要在 Python 中进行射影几何直线的绘制，可以使用 matplotlib 库。 首先，导入 matplotlib 库和 numpy 库： ```python import matplotlib.pyplot as plt import numpy as np ``` 然后，定义两个点作为直线的端点： ```python p1 = np.array([1, 1]) p2 = np.array([3, 5]) ``` 接下来，定义直线的参数方程： ```python t = np.linspace(0, 1, 100) line = p1[:, np.newaxis] + (p2 - p1)[:, np.newaxis] * t ``` 最后，使用 matplotlib 库的 plot 函数绘制直线： ```python plt.plot(line[0], line[1]) plt.show() ``` 完整代码如下： ```python import matplotlib.pyplot as plt import numpy as np p1 = np.array([1, 1]) p2 = np.array([3, 5]) t = np.linspace(0, 1, 100) line = p1[:, np.newaxis] + (p2 - p1)[:, np.newaxis] * t plt.plot(line[0], line[1]) plt.show() ``` 运行代码后，即可在画布上看到绘制的直线。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值