奇怪这篇IEEE某transactions求张成子空间的基，为何这么古怪？

本文主要是介绍奇怪这篇IEEE某transactions求张成子空间的基，为何这么古怪？，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

今天早上打开小木虫看到有人问下面的问题：

如图中给出b1,b2，那么他这个b3,b4定义是什么意思。如何推到计算出来的

在这里插入图片描述

因为图不太清楚，我就用Google, 取其中一句话，In this sectin we shall prove that the posutre kinematic model of nondegenerate mobile robots 加双引号，搜了一下，找到唯一定位的这篇文章，是一篇IEEE Transactions 刊物1996年的论文，PDF不清晰但可以下载。
在这里插入图片描述针对这个问题，我思考了下，因为是四维向量，似乎的确没有太好的方法表示"[*]"里面的这种计算，不过“正交补”这种子空间应该是有的、在Mathematica里面对应·NullSpace函数。计算了一下，得到的结果明显比论文里面给出的结果优越：

已知
$b_1(z)=\left(\begin{array}{c} -L \cdot \sin \theta\cdot \sin \beta \\ L \cdot \cos \theta\cdot \sin \beta \\ \cos \beta \\ 0 \\ \end{array}\right),\quad b_2(z)=\left(\begin{array}{c} 0 \\ 0 \\ 0 \\ 1 \\ \end{array}\right)$

它们两个的正交补的正交基、容易得到是下面两个列向量：

$b^*_3(z)=\left( \begin{array}{c} \dfrac{\dfrac{1}{\sin\theta} \dfrac{\cos \beta}{\sin\beta}}{L} \\[15pt] 0 \\[10pt] 1 \\[10pt] 0 \\ \end{array} \right) , \quad b^*_4(z)=\left( \begin{array}{c} \dfrac{\cos\theta}{\sin \theta} \\[15pt] 1 \\[10pt] 0 \\[10pt] 0 \\ \end{array} \right)$
整理成：
$b_3(z)={\color{blue}{\left( \begin{array}{c} \cos\beta \\[15pt] 0 \\[10pt] L\sin \theta\cdot\sin\beta \\[10pt] 0 \\ \end{array} \right)}}\left(\color{red}\text{Not good, eliminated}\right) \approx \left(\begin{array}{c} -\sin \theta \cos \beta \\[10pt] \cos \theta \cos\beta \\[10pt] -L \sin\beta \\[10pt] 0\\ \end{array} \right), \quad b_4(z)=\left( \begin{array}{c} {\cos\theta} \\[15pt] \sin\theta \\[10pt] 0 \\[10pt] 0 \\ \end{array} \right)$