几何代数的形式化与初步应用

●序
前言
第1章 绪论
1.1 背景
1.2 几何代数与数学形式化
1.2.1 几何代数的发展历史
1.2.2 数学理论形式化及其发展历史
1.3 主要内容
1.4 本书结构
1.5 符号约定
参考文献
第2章 几何代数简介
2.1 二次型空间
2.2 结构、元素、运算和子空间
2.2.1 公理性质
2.2.2 几何代数基底
2.2.3 多重向量
2.2.4 内积和外积
2.3 几何解释
参考文献
第3章 几何代数结构的形式化
3.1 元素与运算
3.1.1 多重向量
3.1.2 积运算
3.1.3 几何积的逆运算
3.1.4 运算性质和自动解算程序
3.2 Blade 的定义及性质
3.2.1 定义
3.2.2 几何积
3.2.3 外积
3.2.4 线性相关
3.2.5 标量积
3.2.6 反转
3.2.7 共轭
3.2.8 范数
3.2.9 内积
3.2.10 对偶
3.2.11 逆和伪逆
3.2.12 水平投影
3.2.13 垂直投影
3.2.14 相交和连接
3.3 Versor 的定义及性质
3.3.1 定义
3.3.2 性质
3.3.3 几何变换
3.4 多重向量的微分
3.5 具体代数实例
3.5.1 Gibbs 向量代数
3.5.2 复数
3.5.3 四元数
3.5.4 对偶四元数
3.6 本章小结
参考文献
第4章 几何与物理解释的形式化
4.1 引言
4.2 几何空间的表示
4.3 Euclidean 空间
4.3.1 外积零空间表示
4.3.2 内积的几何解释
4.3.3 内积零空间表示
4.3.4 反射
4.3.5 旋转
4.4 射影空间
4.4.1 定义
4.4.2 外积零空间表示
4.4.3 内积零空间表示
4.4.4 反射的表示问题
4.4.5 旋转
4.5 共形空间
4.5.1 Euclidean 空间的立体嵌入
4.5.2 立体嵌入的Minkowski 齐次化
4.5.3 G4,1的内积零空间表示
4.5.4 G4,1的外积零空间表示
4.5.5 各种几何实体表示方法汇总
4.5.6 Gn+1,1中的反射
4.5.7 Gn+1,1中的逆变换
4.5.8 Gn+1,1中的平移
4.5.9 Gn+1,1中的旋转
4.5.10 Gn+1,1中的缩放变换
4.6 基本物理量的几何代数形式化表示
4.6.1 质点系统中经典力学物理量
4.6.2 旋转系统与刚体运动
4.7 本章小结
参考文献
第5章 应用案例
5.1 一种单目相机姿态估计模型的形式化分析
5.1.1 引言
5.1.2 分析方法
5.1.3 逆变换相机模型的形式化
5.1.4 透镜畸变相机的形式化分析
5.1.5 反射相机的形式化分析
5.1.6 姿态估计的形式化
5.2 对称陀螺运动的形式化分析
5.2.1 引言
5.2.2 动能和角动量
5.2.3 欧拉方程与守恒定理
5.2.4 运动分析
5.3 本章小结
参考文献
第6章 总结和展望
6.1 总结
6.2 展望