仿射空间中含给定m-平面与外点的(m+1)-平面唯一性证明思路求助

嘿，你已经握有最关键的工具啦！就是你提到的m+1个仿射独立点能确定唯一的m-平面这个结论，只要把它稍微延伸一下就能解决这个问题，我给你拆解下具体的思路：

首先先明确问题的核心条件：

在仿射空间$A$中，给定m-平面$\alpha$和点$P\notin\alpha$，求证存在唯一的$(m+1)$-平面同时包含$\alpha$和$P$。

我们可以分四步来推导，全程紧扣你已有的知识：

• 第一步：从已知的m-平面$\alpha$入手，在$\alpha$里取一组仿射独立的点$Q_0, Q_1, ..., Q_m$——因为$\alpha$是m-平面，所以必然存在这样的m+1个点，而且它们是唯一确定$\alpha$的。同时，这组点能导出$\alpha$的方向子空间$V = \text{span}{Q_1-Q_0, Q_2-Q_0, ..., Q_m-Q_0}$，这个子空间的维度是m。
• 第二步：利用$P\notin\alpha$这个关键条件，能推出向量$P - Q_0$不在方向子空间V里（如果它在V里，那P就会在α上，和题设矛盾）。这就意味着，向量组${Q_1-Q_0, ..., Q_m-Q_0, P-Q_0}$是m+1个线性无关的向量，对应的点组$Q_0, Q_1, ..., Q_m, P$就是m+2个仿射独立的点。
• 第三步：套用你已经掌握的结论，m+2个仿射独立的点可以确定唯一的$(m+1)$-平面，我们把这个平面记作$\beta$。显然$\beta$包含$\alpha$（因为它包含α的所有生成点），也包含点P，这就证明了存在性。
• 第四步：证明唯一性：假设还有另一个$(m+1)$-平面$\gamma$也包含$\alpha$和P，那$\gamma$必然包含$Q_0, Q_1, ..., Q_m, P$这所有点。而根据你已知的结论，这组仿射独立的点只能确定唯一的$(m+1)$-平面，所以$\gamma$只能等于$\beta$，唯一性得证。

这样整个逻辑就闭环啦，完全基于你已经熟悉的结论延伸出来，是不是很顺畅？

备注：内容来源于stack exchange，提问作者user1262743