Hamilton四元数
我们知道$\mathbb C$可以看做是$2$元数,再来看四元数$\mathbb H$,他的基是$1,\mathbf i,\mathbf j,\mathbf k$,并且按照下面的乘法表运算
$1$ | $\mathbf i$ | $\mathbf j$ | $\mathbf k$ | |
$1$ | $1$ | $\mathbf i$ | $\mathbf j$ | $\mathbf k$ |
$\mathbf i$ | $\mathbf i$ | $-1$ | $\mathbf k$ | $-\mathbf j$ |
$\mathbf j$ | $\mathbf j$ | $-\mathbf k$ | $-1$ | $\mathbf i$ |
$\mathbf k$ | $\mathbf k$ | $\mathbf j$ | $-\mathbf i$ | $-1$ |
由乘法表可以看出$\mathbb H$是一个非交换的结合代数.$\mathbb H$的每个元素类似于复数域$\mathbb C$可被唯一表示成$$\mathbf q=\alpha+\beta\mathbf i+\gamma\mathbf j+\sigma\mathbf k$$其中$\alpha,\beta,\gamma,\sigma\in\mathbb R$.可以类似的定义共轭四元数的概念$$\overline{\mathbf q}=\alpha-\beta\mathbf i-\beta\mathbf j-\sigma\mathbf k$$我们不难验证非零的四元数$\mathbb H^*:=\mathbb H\setminus \{0\}$具有群的结构,并且构成无限阶的非交换群,其幺元是$1$.称为四元数代数乘法群.
类似于$\mathbb C$,我们还可以定义四元数$\mathbf q$的模长的概念$$|\mathbf q|^2:=\mathbf q\cdot\mathbf q^*=\alpha^2+\beta^2+\gamma^2+\sigma^2$$如果我们把四元数对应其共轭看做是一个映射$\pi:\mathbf q\to\overline{\mathbf q}$,利用如下共轭的运算律\begin{align*}\overline{\left(k\mathbf q_1+l\mathbf q_2\right)}&=k\overline{\mathbf q}+l\overline{\mathbf q_2},k,l\in\mathbb R\\\overline{\mathbf q_1\cdot\mathbf q_2}&=\overline{\mathbf q_2}\cdot\overline{\mathbf q_1}\\|\mathbf q_1\cdot\mathbf q_2|&=|\mathbf q_1|\cdots|\mathbf q_2|\end{align*}显然$\pi$是$\mathbb H$的一个反自同构.而映射$\phi:\mathbf q\to|\mathbf q|$是乘法群$\mathbb H^*$到乘法群$\mathbb R^*$的一个同态,同态核$$\mathrm{Ker}\phi:=\{\mathbf q\in\mathbb H:|\mathbf q|=1\}\leq \mathbb H^*$$称为辛群(也就是那些模长为$1$的四元数关于乘法构成的群).如果只考虑$\mathbf{i,j,k}$在$\mathrm{Ker}\phi$中的生成话便会得到一个更简单的子群$$\mathbb Q_8=\{\pm 1,\pm\mathbf i,\pm\mathbf j,\pm\mathbf k\}$$构成一个$8$阶非交换群,称为Hamilton四元数群.
事实上由将$\mathbf{i,j,k}$分别取下列矩阵便能得到一个更为具体的$\mathbb Q_8$的例子,取$$1=E_2,\mathbf i=\left(\begin{matrix}0&1\\-1&0\end{matrix}\right),\mathbf j=\left(\begin{matrix}0&\sqrt{-1}\\\sqrt{-1}&0\end{matrix}\right),\mathbf k=\mathbf{ij}=\left(\begin{matrix}\sqrt{-1}&0\\0&-\sqrt{-1}\end{matrix}\right)$$
事实上之所要建立四元数,源于矢量问题,二维向量我们可以通过复数来研究,因为每个二维向量都对应平面中的一个复数$a+b\sqrt{-1}$.但是如果是三维向量的运算与复数运算差别太大,向量的内积并不是代数运算,而叉乘不满足结合律、交换律.Hamilton发现要建立一个相容的新的数系就必须放弃数的乘法的交换性,从而创立了四元数.
转载于:https://www.cnblogs.com/1036464679hxl/p/7797551.html
Hamilton四元数相关推荐
- 四元数乘法_JPL四元数和Hamilton四元数的区别
四元数的定义: 1.顺序 JPL: 实部在后 , Hamilton: 实部在前 , 2.坐标系 JPL: 左手坐标系 Hamilton: 右手坐标系 3.坐标系的转换方向 JPL: global-to ...
- 右手系转左手系、旋转矩阵转四元数、四元数的两种表达(Hamilton/JPL)
右手系转左手系.旋转矩阵转四元数.四元数的两种表达:Hamilton/JPL 右手系转左手系 旋转矩阵转四元数 四元数的两种表达:Hamilton/JPL 两种转换代码 最近一个项目需要使用unity ...
- MSCKF(一)——四元数的两种表示
文章目录 写在前面 Reference 缘起--旋转的主动性(Active)和被动性(Passive) 旋转方向的定义 被动旋转 主动旋转 结论 乱入--四元数对于旋转的表示 Hamilton四元数表 ...
- 四元数非正式笔记梳理_Quaternion kinematics for the error-state Kalman filter
文章目录 Introduction 0.1 为什么要用到四元数? 0.2 先说一说四元数的Hamilton和JPL流派 1 Quaternion definition and properties 1 ...
- VINS-MONO概述
VINS-Mono是HKUST的Shen Shaojie团队开源的一套Visual-Inertial融合定位算法,https://github.com/HKUST-Aerial-Robotics/VI ...
- VINS-Mono翻译
Abstract 由摄像机和低成本惯性测量单元(IMU)组成的单目视觉惯性系统(VINS)构成了用于度量六自由度状态估计的最小传感器套件.然而,由于缺乏直接距离测量,在IMU处理.估计器初始化.外部标 ...
- 机器人运动估计——IMU运动方程与ESKF原理介绍(上)
Hello! 欢迎来到我的博客 今天的内容关于机器人中常用的传感器IMU,我们用它来实现机器人姿态.速度.位置的估计. 今天将会介绍使用低成本IMU进行机器人运动估计的一个常用方法--ESKF. 1 ...
- 【VINS论文翻译】VINS-Mono: A Robust and Versatile Monocular Visual-Inertial State Estimator
回到目录 写在前面 港科大的VINS-Mono作为目前state of the art的开源VIO项目,是研究视觉与IMU紧耦合的必读算法,网上的论文解读与代码实现也非常丰富(感谢!).为更好地进行学 ...
- (LI论文)LIO-Mapping:Tightly Coupled 3D Lidar Inertial Odometry and Mapping
摘要 自我运动估计是大多数移动机器人应用的基本要求.通过传感器融合,我们可以弥补独立传感器的不足,并提供更可靠的估计.本文介绍了一种紧耦合的雷达-惯性测量单元融合方法.通过联合最小化激光雷达和惯性测量 ...
最新文章
- python特效进度条_六种酷炫Python运行进度条
- 比尔盖茨是这样审查项目的 1
- [九度][何海涛] 乐透之猜数游戏
- curl获取网页内容出现乱码或为空的解决方案,另附curl_getinfo函数解析
- java 同步方式 lock_Java的同步锁(Lock)
- esxi 7.0 封装瑞昱网卡驱动_小科普 | 无线网卡怎么选?
- 使用正则表达式获取连接字符串某项的值
- java 毕向东_毕向东java视频目录
- RocketMQ 学习方法之我见
- 背包问题(动态规划 C/C++)
- 米3从android6降回4,从5G到4G,三个月的思考后我从小米9 pro降级到了小米9T pro
- 译:Dataiku 白皮书之《在银行和保险行业应用数据科学》
- Chapter4.4:综合实例
- springboot源码解析,kafkaredis面试题
- APK瘦身优化检测工具-Matrix ApkChecker 使用
- 今天AWS北京区域挂了近12个小时,您的业务做热备了么?
- 全国高校通信与信息系统专业排名
- 180122 逆向-Frida在Windows下的使用
- [多图]非线性格兰杰因果检验,eveiws详细实现步骤
- 来自一位程序员的经验之谈(三)
热门文章
- mysql tode_FAQ: MyDB Studio for MySQL
- python的模块导入问题_python的模块导入问题
- Glad You Came--带条件的线段树区间更新,区间查询(其实是单点查询)
- build shop
- 计算机组成原理—Cache主存块中的替换算法
- C++11新特性 右值引用与移动语义
- 2018青岛ICPC ZOJ 4061: Magic Multiplication(模拟)
- matlab 实现行程编码 对二值图像进行编解码
- [Python] np.nonzero(ndarray) 返回数组中不为0的元素的索引
- python机器学习案例系列教程——算法总结