有限集上有界实值函数集B(X)与ℝⁿ的双射构造问题

嘿，我来帮你把这个问题掰明白——你提到的B(1)这类概念的疑惑，还有你初步想的双射思路，其实方向完全正确，咱们一步步理清楚：

首先解决你对B(1)的困惑：
当X是单点集{1}时，B(X)（也就是B(1)）是所有定义在{1}上的有界实值函数的集合。因为定义域只有一个元素，每个函数f ∈ B(1)本质上就是给元素1分配一个实数——说白了，每个这样的函数都能唯一对应到某个实数r，其中f(1)=r。所以B(1)其实和ℝ¹=ℝ是一一对应的，这也刚好契合我们后面要构造的双射逻辑。

接下来把你初步的双射思路严谨化：

定义映射φ: B(X) → ℝⁿ #

对于任意f ∈ B(X)，我们定义φ(f)为ℝⁿ中的向量(f(1), f(2), ..., f(n))。简单说，就是把函数f在每个定义域元素上的取值，按顺序排成一个n维实向量。

为什么φ是单射？ #

假设φ(f₁)=φ(f₂)，这意味着对于每一个i ∈ {1,…,n}，都有f₁(i)=f₂(i)。而X就是{1,…,n}，这说明f₁和f₂在所有定义域元素上的取值都完全相同，那这两个函数本身就是同一个函数，所以φ是单射（不会把不同的函数映射到同一个向量）。

为什么φ是满射？ #

随便拿一个ℝⁿ里的向量(a₁, a₂, ..., aₙ)，我们可以构造一个函数f ∈ B(X)：对每个i ∈ {1,…,n}，让f(i)=aᵢ。因为X是有限集，f的取值只有a₁到aₙ这n个实数，肯定是有界的（最大值和最小值都存在），所以f确实属于B(X)，而且φ(f)正好就是我们拿的那个向量。这说明ℝⁿ里的每个向量都能被φ“覆盖”到，所以φ是满射。

既然φ既是单射又是满射，那它就是B(X)到ℝⁿ的双射啦。

小补充 #

你之前写的“f={f₁,f₂,…,fₙ}”可以更准确地表述为：f是一个函数，满足对每个i=1,…,n，f(i)=fᵢ——函数本质是一种对应关系，用有序的取值序列来代表它，正好和n维实向量一一对应，这就是这个双射的核心逻辑。

内容的提问来源于stack exchange，提问作者George